KC Sivaramakrishnan

@kc_srk

Prof at CSE. Interested in PL, FP, language runtimes, concurrency & distribution.

Chennai, India
kcsrk.info
Vrijeme pridruživanja: siječanj 2015.
52 fotografije ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @kc_srk

Jeste li sigurni da želite vidjeti te tweetove? Time nećete deblokirati korisnika/cu @kc_srk

  1. proslijedio/la je Tweet
    31. sij

    My student Denis wrote a formal semantics for the French tax code, complete with Coq proof of soundness and SMT queries to uncover unfair tax hikes. PL for fiscal justice!

    13 replies 211 proslijeđenih tweetova 525 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  2. proslijedio/la je Tweet
    27. sij

    Help us build the next-generation hardware and software stacks for AI ! We are looking for both engineers and researchers in compilers, programming languages, systems etc (London & Paris)

    1 reply 13 proslijeđenih tweetova 33 korisnika označavaju da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    25. sij

    I had to miss the first lecture of , so I got some friends to tell my students why they love functional programming. Enjoy!

    22 proslijeđena tweeta 69 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. proslijedio/la je Tweet
    22. sij

    Distinguished Scientist leads Microsoft research efforts in India. He discusses the unique challenges and opportunities, addressing societal scale issues like healthcare, and rethinking what we know about underserved groups:

    61 proslijeđeni tweet 244 korisnika označavaju da im se sviđa
    Poništi
  5. proslijedio/la je Tweet
    28. lis 2019.

    New blog post on the merge of the new low-latency garbage collector for GHC 8.10:

    38 proslijeđenih tweetova 72 korisnika označavaju da im se sviđa
    Poništi
  6. proslijedio/la je Tweet
    21. sij

    "Proofs written by computer scientists are boring; they read as if the author is programming the reader." -- Xavier Leroy quoting John C. Mitchell

    1 reply 8 proslijeđenih tweetova 63 korisnika označavaju da im se sviđa
    Poništi
  7. 21. sij

    PaPoC is a great venue to get expert feedback on your distributed consistency work. Do submit!

    Working on CRDTs or other consistency mechanisms for distributed data?💡 Please submit your work to PaPoC! 📝 Work in progress and practical experience reports welcome. 👍 Deadline in one month 📆 and the workshop is in Crete on 27 April 2020 ☀️
    Prikaži ovu nit
    1 proslijeđeni tweet 7 korisnika označava da im se sviđa
    Poništi
  8. 20. sij

    I wrote up some notes on running an OCaml + Prolog course using Jupyter notebooks:

    1 reply 8 proslijeđenih tweetova 39 korisnika označava da im se sviđa
    Poništi
  9. proslijedio/la je Tweet
    16. sij

    Looking for semantics and verification postdocs (and research engineers) to make real systems less terrible: . Find me at if you're there, or email.

    1 reply 20 proslijeđenih tweetova 23 korisnika označavaju da im se sviđa
    Poništi
  10. proslijedio/la je Tweet
    15. sij
    Odgovor korisniku/ci

    1 reply 1 proslijeđeni tweet 3 korisnika označavaju da im se sviđa
    Poništi
  11. proslijedio/la je Tweet
    13. sij

    I recently learned that the built-in calculator in Android now uses constructive real numbers: but also aims to be usable for calculating with integers and low-height rationals (eg for splitting restaurant bills and so on)

    1 reply 27 proslijeđenih tweetova 87 korisnika označava da im se sviđa
    Poništi
  12. proslijedio/la je Tweet
    11. pro 2019.

    Videos from ICFP 2019 are now up on YouTube! Also, videos from PLMW @ ICFP are available as well: Thanks to our video chairs for all their hard work.

    44 proslijeđena tweeta 57 korisnika označava da im se sviđa
    Poništi
  13. proslijedio/la je Tweet
    11. sij

    Know someone who wants to join twitter but isn’t quite sure how to get started? I was there not long ago and this column is for them. Thank you to and for the opportunity to contribute to !

    21 reply 244 proslijeđena tweeta 554 korisnika označavaju da im se sviđa
    Poništi
  14. proslijedio/la je Tweet
    1. sij

    A decade in UK electricity generation. Encouraging but a lot more work to do.

    17 proslijeđenih tweetova 28 korisnika označava da im se sviđa
    Poništi
  15. proslijedio/la je Tweet
    26. pro 2019.

    As a school boy, I encountered this question that made an impression on the way I thought about science: You step out of the house during an eclipse, and see little rings beamed onto the pavement by the trees. Find the density of the sun. [solution follows]

    eclipse, at home
    14 replies 198 proslijeđenih tweetova 431 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  16. proslijedio/la je Tweet
    20. pro 2019.

    The Journal of Machine Learning Research (JMLR) provides an international forum for the electronic and paper publication of high-quality scholarly articles in all areas of machine learning. All published papers are freely available online.

    JMLR has been all open access all the time for almost 20 years
    1 reply 3 proslijeđena tweeta 11 korisnika označava da im se sviđa
    Poništi
  17. proslijedio/la je Tweet
    20. pro 2019.

    ACM's proposition: "Give us your research to be locked up and sold, otherwise you can't have student scholarships and other nice things". USENIX is showing this is false. We don't need to turn to paywalls to fund good things for our community.

    1 reply 14 proslijeđenih tweetova 26 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  18. 19. pro 2019.

    Come January, 3 out of the 4 PL faculty in cse will be students of .

    11 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  19. 19. pro 2019.

    Happy to have at , who delivered the first colloquim.

    1 reply 14 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  20. proslijedio/la je Tweet
    19. pro 2019.

    Category theory goes mainstream with an appearance on Rick and Morty! They use quantum reasoning in symmetric monoidal categories to travel in time, as in

    5 replies 89 proslijeđenih tweetova 263 korisnika označavaju da im se sviđa
    Poništi

@kc_srk još nije objavio nijedan Tweet.

Čini se da učitavanje traje već neko vrijeme.

Twitter je možda preopterećen ili ima kratkotrajnih poteškoća u radu. Pokušajte ponovno ili potražite dodatne informacije u odjeljku Status Twittera.

    Možda bi vam se svidjelo i ovo:

    ·