Ilya Sergey

@ilyasergey

Tenure-track Associate Professor at and . Lead language designer at . Programming languages, verification, distributed systems.

Singapore
ilyasergey.net
Vrijeme pridruživanja: listopad 2008.
89 fotografija ili videozapisa Fotografije i videozapisi

Tweetovi

Blokirali ste korisnika/cu @ilyasergey

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

  1. Prikvačeni tweet
    18. ruj 2019.

    My project "CertiChain: A Framework for Mechanically Verifying Blockchain Consensus Protocols" has been funded by NSOE-TSS. Get in touch if you are interested in a postdoc on verification, program synthesis, and mechanised proofs!

    1 reply 9 proslijeđenih tweetova 45 korisnika označava da im se sviđa
    Poništi
  2. 30. sij

    Student: my Emacs doesn't highlight OCaml errors. Me: No worries, let me see (trying to open ~/.emacs with no success) S: Oh, in my keyboard layout Ctrl and Caps Lock are swapped. Me: Ok, now let's start the mode (no luck here either) S: ... and I also swapped Alt and Shift.

    1 proslijeđeni tweet 46 korisnika označava da im se sviđa
    Poništi
  3. proslijedio/la je Tweet
    29. sij

    The quest to mechanize proofs of programming language properties was spurred by the POPLmark Challenge, 15 years back. considers where we are now while recapping the distinguished panel she organized to discuss POPLmark's impact.

    1 reply 6 proslijeđenih tweetova 20 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  4. 27. sij

    Don’t panic!

    2 proslijeđena tweeta 10 korisnika označava da im se sviđa
    Poništi
  5. 24. sij

    Me: "A value of type `ref` in OCaml is like a box with a value inside. How do we get it out?" Students: "We bang it!"

    3 proslijeđena tweeta 37 korisnika označava da im se sviđa
    Poništi
  6. 21. sij

    Here’s some great visual analysis of trends in the history of Ethereum transactions, by .

    Over time (x axis is block number), direct ETH transfers have become a smaller % of transaction volume, supplanted by transactions which invoke a single smart contract. Multi-call transactions have hovered around 20% of volume for all of Ethereum's lifespan.
    Prikaži ovu nit
    3 korisnika označavaju da im se sviđa
    Poništi
  7. proslijedio/la je Tweet
    21. sij

    5 replies 48 proslijeđenih tweetova 279 korisnika označava da im se sviđa
    Poništi
  8. 17. sij

    This is why I always delete the first version of every rebuttal I write and then redo it from scratch.

    Nothing makes me happier than receiving a passive-aggressive rebuttal. Reviewers sometimes are bad, but authors sometimes are worse...
    5 korisnika označava da im se sviđa
    Poništi
  9. 16. sij

    It’s time to end the brainwashing by programming languages!

    5 proslijeđenih tweetova 38 korisnika označava da im se sviđa
    Poništi
  10. 14. sij

    I’m surprised that, according to this tweet, CCS/Oakland ostensibly have low tolerance to brave new ideas. I don’t think this is an issue for the POPL/PLDI community, but it might be so because truly anything can be made better with a right/new programming methodology.

    A: let's do something about inclusivity! Really! AA: let's reject papers from "outsiders" adversarially and with no constructive feedback! A: let's do something about impact of our work! AA: let's only accept attacks or papers improving a bit over prior work. Fuck new ideas!
    Prikaži ovu nit
    1 korisnik označava da mu se sviđa
    Poništi
  11. proslijedio/la je Tweet
    12. sij

    this is a review for a hardware random number generator

    14 replies 124 proslijeđena tweeta 783 korisnika označavaju da im se sviđa
    Poništi
  12. 9. sij

    I've put together a step-by-step instruction on getting fully fledged modern OCaml setup (w/ Emacs support) on Windows via WSL. Nothing magical, but hopefully it will save time someone. Comments are welcome:

    8 replies 6 proslijeđenih tweetova 50 korisnika označava da im se sviđa
    Poništi
  13. 3. sij

    As obvious as it is, I don’t think anyone conveyed that to me when I just started, so for a long time I’ve had an impression that only getting a Turing Award is worthy of mentioning to your management.

    1 proslijeđeni tweet 22 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  14. 3. sij

    Fellow junior faculty: when you get an award, a grant funded, or just a very cool paper accepted, don’t be shy and email about it to you Head of Department and the PR office (yes, your dept has one)! Your success is their success, too, and they will love to share it.

    6 replies 20 proslijeđenih tweetova 92 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  15. 27. pro 2019.

    Thanks to a few calm days of holidays, I’ve managed to reach Inbox Zero. And now it’s depressing as hell.

    22 korisnika označavaju da im se sviđa
    Poništi
  16. 25. pro 2019.

    ☑️ Seen full solar Eclipse. Next one in 90 years. – mjesto: Yale-NUS College

    4 proslijeđena tweeta 34 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
    Poništi
  17. 24. pro 2019.

    Our paper on fast and robust synthesis of imperative programs with Read-Only Borrows, with , and , will appear at ESOP'20! Check our new shiny framework ROBoSuSLik: Draft paper is available online:

    7 proslijeđenih tweetova 53 korisnika označavaju da im se sviđa
    Poništi
  18. proslijedio/la je Tweet
    23. pro 2019.

    Distributed systems are hard to design, and it's hard to understand why they work. Ideas from PL research can help on both fronts, says in today's PL Perspectives post.

    1 reply 23 proslijeđena tweeta 63 korisnika označavaju da im se sviđa
    Poništi
  19. 23. pro 2019.

    Thanks... I guess.

    7 korisnika označava da im se sviđa
    Poništi
  20. 18. pro 2019.

    PL research community is great at problem solving, but not at problem finding. Case in point: how frequently do you see an AI/Systems/Security researcher being like: “Oh, here’s this really important problem in PL, I’m going to study it, so I could solve it with my tools”?

    2 proslijeđena tweeta 28 korisnika označava da im se sviđa
    Poništi
  21. 16. pro 2019.

    Seems like it’s about to end duck typing.

    rustc on the way to fuck your code up
    Prikaži ovu nit
    6 korisnika označava da im se sviđa
    Poništi

@ilyasergey 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:

    ·