cyrus omar

@neurocy

laying foundations for the future of programming at ⁙ assistant professor PhD ⁙ former neurobiologist ⁙ still dendritic af ⁙ 🎶

ann arbor [he/him]
Vrijeme pridruživanja: veljača 2009.

Tweetovi

Blokirali ste korisnika/cu @neurocy

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

  1. Prikvačeni tweet
    3. sij

    The first FP Lab Hackathon was super fun and energizing! Can't wait to show everyone what we've got in the pipeline for 2020 (incl. @dmoon1221's beautiful new Hazel Editor UI, livelits, and a lifetime visualizer for Rust!)

    Poništi
  2. proslijedio/la je Tweet
    prije 11 sati

    When do programs die? A great answer:

    Prikaži ovu nit
    Poništi
  3. proslijedio/la je Tweet

    With , we are looking for candidates for two internships at + to explore social and technical aspects of the creation of the Coq & OCaml platforms. Making and more accessible is a top priority for us!

    Poništi
  4. 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!

    Prikaži ovu nit
    Poništi
  5. proslijedio/la je Tweet
    30. sij

    "how do i systematically go from a type theory to a bidirectional system suitable for implementation?" most anyone interested in type-systems design/implementation could learn a few things from Dunfield and Krishnaswami's "Bidirectional Typing" (2019):

    Prikaži ovu nit
    Poništi
  6. proslijedio/la je Tweet
    29. sij

    And this is why we need basic research. Someone is out there today is coming up with answers to questions you'll have tomorrow.

    Poništi
  7. 23. sij

    bummed I can't make it to POPL this year, but Twitter+streaming is the next best thing...

    Poništi
  8. proslijedio/la je Tweet
    20. sij
    Prikaži ovu nit
    Poništi
  9. proslijedio/la je Tweet
    19. sij

    How Emacs fixed its garbage collector is chef's kiss.

    Poništi
  10. proslijedio/la je Tweet
    18. sij

    I'm sorry to report that the kids are being indoctrinated into the ideology of *gasp* imperative programming

    Poništi
  11. proslijedio/la je Tweet

    Looks like math twitter is having an argument about applications of category theory again, so let me share this again:

    Prikaži ovu nit
    Poništi
  12. proslijedio/la je Tweet
    15. sij

    A quick glance at POPL papers suggests that the proportion of papers including mechanizations in an ITP is up from roughly 10% in 2009 and 2014 to more than 20% in 2019. Cool! Hope to have this in a citeable format at some point.

    Poništi
  13. proslijedio/la je Tweet
    30. pro 2019.

    Happy New Year! A bunch of us are trying to develop "applied category theory" - and now we've started a new journal on this subject, called "Compositionality". It's free to publish in, and free to read. The first issue just came out! (1/n)

    Prikaži ovu nit
    Poništi
  14. proslijedio/la je Tweet
    26. pro 2019.

    This is awesome. Red giants look nothing like the glowing spheres of the textbooks.

    Poništi
  15. proslijedio/la je Tweet

    Here’s a new music video for you - aesthetics of the infinite via Roger Penrose’s tiling system which can go on forever without falling into simple repeating units. Many thanks to for turning this idea into an animated structure for the new show

    Poništi
  16. proslijedio/la je Tweet
    24. pro 2019.

    I know it feels uncomfortable for quite awhile, but my goodness, programming in Reason is *so* nice. I'm at least 10x faster prototyping with it.

    Poništi
  17. proslijedio/la je Tweet
    23. pro 2019.

    The first Future of Coding newsletter! A concise way to catch up on exciting projects and interesting finds by members of our community. (Visual programming folks, don’t miss the video about the design of Glance)

    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.

    Poništi
  19. proslijedio/la je Tweet
    19. pro 2019.

    Winter reading: this beautiful 523-page monograph from the scientist who recently discovered why snowflakes form in two primary shapes. Two decades of individual and family exploration of snowscapes, published this year:

    Poništi
  20. proslijedio/la je Tweet
    14. pro 2019.

    Interesting-looking academic book on neuroscience history "Brain, Mind and Medicine: - Essays in Eighteenth-Century Neuroscience"

    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:

    ·