Tweetovi

Blokirali ste korisnika/cu @rvtond

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

  1. proslijedio/la je Tweet
    24. sij

    If you don’t know it already comby by is probably the best tool for code refactor you need. It saved me many hours of regex/(x paid tool) etc...

    Poništi
  2. 14. pro 2019.

    Also congrats and , bug hunting is hard work :-)

    Prikaži ovu nit
    Poništi
  3. 14. pro 2019.

    Pysa finds actionable bugs in OSS software?! Very exciting. Great to see it coming along since I started working on this project in 2018.

    Prikaži ovu nit
    Poništi
  4. 9. pro 2019.

    (Don't take this seriously but) what about, like, +1 free page or 50% discount coupons in the back of CACM to offset those extra page charges in journals and proceedings and such 😛 ...this is somehow the type of thing and I talk about when we meet...

    Poništi
  5. 3. pro 2019.

    I'll also be joined by my friends at and from my previous research group at CMU (Jeremy is also giving a talk on recovering variable names in binary decompilation). Between them, they own like 15 cats. Come say hello!

    Prikaži ovu nit
    Poništi
  6. 3. pro 2019.

    Spot the odd one out in these code patterns ;) I'll be talking more about searching for structural code patterns like these on Friday! Here's the talk abstract: . If you want a preview of the tooling, check out

    Prikaži ovu nit
    Poništi
  7. 24. stu 2019.

    Imagine a world where this is commonplace

    Poništi
  8. proslijedio/la je Tweet
    18. stu 2019.

    BAP 2.0 is finally out! We have a Knowledge Base that now drives all our analyses as well as a new extensible representation of program semantics, with full support for IEEE754 and not only. Visit or for more information! -

    Prikaži ovu nit
    Poništi
  9. 20. stu 2019.

    This is a special post to me because will support syntax for large scale search-and-replace (among others). I first presented the syntax rewriting work in June at PLDI '19 and we're making it production ready less than 6 months later.

    Poništi
  10. 19. stu 2019.

    Also calling out all you rebels who refuse to add newlines to your files!

    Poništi
  11. proslijedio/la je Tweet

    That's quite neat: reminds me of some of stuff can do.

    Poništi
  12. proslijedio/la je Tweet
    15. stu 2019.

    Refactoring dozens of files in a Reason project with Comby is so easy it makes you feel like you are using an unfair set of secret weapons

    Poništi
  13. proslijedio/la je Tweet
    14. stu 2019.

    We built an integration with to introduce new intelligence in the developer workflow! 🤩

    Poništi
  14. 11. stu 2019.

    Bonus: by default the match/replace operation will only affect *code* for your language, and changes in comments are skipped (doing this with regex would be even more difficult). Example:

    Prikaži ovu nit
    Poništi
  15. 11. stu 2019.

    Definitely the sort of thing that is surprisingly hard in lots of languages :) was designed with this sort of thing in mind. Here's Mathias's example in comby, on the CLI:

    Prikaži ovu nit
    Poništi
  16. 23. lis 2019.
    Poništi
  17. 18. lis 2019.

    And countless hours that didn't produce anything measurable :P

    Prikaži ovu nit
    Poništi
  18. 18. lis 2019.

    PhD certified! I thought I'd tally up some (very rough) stats for the last five years (this excludes coursework). ~55K words contributed directly to the thesis ~20K words did not (small papers, other projects) Lines of code across all projects: ~20K OCaml ~2K Python ~1K Bash

    Prikaži ovu nit
    Poništi
  19. 15. lis 2019.
    Poništi
  20. proslijedio/la je Tweet
    10. lis 2019.

    We're switching to using OCaml and Jupyter for our first year Foundations of Computer Science at (this is the first programming course in our Tripos). Much fun awaits!

    Prikaži ovu nit
    Poništi

Č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:

    ·