Yaron Minsky

@yminsky

Occasional OCaml programmer

ocaml.janestreet.com
Vrijeme pridruživanja: lipanj 2009.

Medijski sadržaj

  1. 24. lis 2019.

    A great talk from Stephen Dolan, about making OCaml more like C++!

    24 proslijeđena tweeta 105 korisnika označava da im se sviđa
  2. 27. ruj 2019.

    Here's the post of Derek Dreyer's talk at Jane Street on RustBelt. Derek has a real knack for explaining complex things on a simple way. As a result, I almost feel like I understand separation logic now...

    1 reply 15 proslijeđenih tweetova 95 korisnika označava da im se sviđa
  3. 26. ruj 2019.

    Great talk from Stephen Dolan on unboxed types for OCaml. It's still early days, but it's exciting work.

    3 proslijeđena tweeta 38 korisnika označava da im se sviđa
  4. 19. tra 2019.

    I'm pleased to announce I've been inducted into the sequent calculus mafia...

    5 replies 6 proslijeđenih tweetova 89 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  5. 8. ožu 2019.

    A new video from our tech talk series, about Ontology, our system for managing users, groups, permissions, and much more. All built on top of a twelf-influenced typed relational calculus...

    1 reply 6 proslijeđenih tweetova 39 korisnika označava da im se sviđa
  6. 16. pro 2018.

    Some happy weekend hacking...

    32 korisnika označavaju da im se sviđa
  7. 2. pro 2018.

    New video: "Jane and the Compiler", a review of the 15 or so years of interaction that Jane Street has had with the OCaml compiler community, starting out as a mere user of the language, and evolving into a major contributor.

    16 proslijeđenih tweetova 80 korisnika označava da im se sviđa
  8. 24. lis 2018.

    If you missed ' talk on Reflow, you can catch it here.

    1 reply 8 proslijeđenih tweetova 41 korisnik označava da mu se sviđa
  9. 4. lis 2018.

    With actual dogs.

    1 korisnik označava da mu se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  10. 4. lis 2018.

    showing off highly parallel dog computing with Reflow!

    1 reply 2 korisnika označavaju da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  11. 13. ruj 2018.

    Obligatory voting selfie!

    1 reply 26 korisnika označava da im se sviđa
  12. 22. kol 2018.

    Another Jane Street tech talk just hit YouTube. This one is a talk and live demo from Cristina Rosu on how to use Incr_dom for building pure ocaml web apps!

    12 proslijeđenih tweetova 65 korisnika označava da im se sviđa
  13. 24. srp 2018.

    Conversation with my son. He has been well and truly poisoned by logging with me.

    6 replies 27 proslijeđenih tweetova 187 korisnika označava da im se sviđa
  14. 22. srp 2018.

    So, I'm looking into doing some strength training, and got a copy of "Starting Strength", which was recommended by some friends. The technical advice looks reasonable, but man, does the author lay it on thick.

    10 replies 2 proslijeđena tweeta 28 korisnika označava da im se sviđa
    Prikaži ovu nit
    Prikaži ovu nit
  15. 16. lip 2018.

    Saturday morning physics lesson. Who needs parents?

    53 korisnika označavaju da im se sviđa
  16. 11. svi 2018.

    Re-posting Andy Ray's FPGA talk. The first version was low resolution...

    6 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa
  17. 28. tra 2018.

    My daughter showed me a poem she wrote. She has a steady sense of rhythm, I suppose. Still, I'm going to encourage her not to quit her day job.

    9 proslijeđenih tweetova 109 korisnika označava da im se sviđa
  18. 5. tra 2018.

    Leo White's talk on how to seamlessly add an Effect System to OCaml is now up on YouTube. It's a cool glimpse at a potential future for OCaml.

    20 proslijeđenih tweetova 69 korisnika označava da im se sviđa
  19. 24. ožu 2018.

    OCaml workshop in progress. Wasn't able to be there myself, but sounds like it's going well!

    1 reply 7 proslijeđenih tweetova 60 korisnika označava da im se sviđa
  20. 26. velj 2018.

    Shriram's talk ("Curriculum Design as an Engineering Problem") was just posted. It was a lot of fun, but maybe the most impressive thing is how much they've done with so few people!

    1 reply 10 proslijeđenih tweetova 32 korisnika označavaju da im se sviđa

@yminsky još nije poslao/la nijedan tweet s fotografijama ili videozapisima.

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

    ·