Tweets

You blocked @yminsky

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @yminsky

  1. Pinned Tweet
    16 Aug 2019

    Interested in applied PL research? Jane Street is hiring!

    Undo
  2. 20 hours ago

    Sigh. Just deleted all my repos from bitbucket, migrating them to git and github. The dropping of Mercurial support is quite sad.

    Undo
  3. Retweeted

    First they came for Meta Language And I did not speak out Because I used OCaml...

    Undo
  4. Retweeted
    Jan 29

    This year the conference hosts the first Build Automation and Programming Languages workshop: If you are coming to PLDI or just happen to be in London on Saturday (20 June) morning, please attend and/or submit a talk!

    Show this thread
    Undo
  5. Retweeted
    Jan 24

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

    Show this thread
    Undo
  6. Retweeted
    Jan 22

    Wednesday afternoon hipster topic session at

    Undo
  7. Retweeted
    Jan 21

    I enjoy using dynamically typed languages (especially Scheme) from time to time. I feel like I take a type driven approach when I do, but there's some kinds of exploration when it just feels like a nice way to work.

    Show this thread
    Undo
  8. Retweeted
    Jan 9

    I think the biggest GC-related performance benefit of value types isn’t that you can allocate them on the stack, since a generational GC will easily eat up those allocations. It’s so that more *long-lived* data can become pointer-free and not scanned at all.

    Show this thread
    Undo
  9. Jan 9

    Courtesy of , Simple OCaml:

    Undo
  10. Retweeted
    Jan 1

    This is revolting. Attn aspiring prosecutors: be better than this and stand up to those who aren’t. These are people whose lives and freedom you are taking away. They have families and loved ones. They are more than a pound of flesh. Never forget that.

    This Tweet is unavailable.
    Undo
  11. Retweeted
    19 Dec 2019

    Enjoying powerful type system and (secretly) finding / very convenient for fast iteration? Get the best of both worlds!

    Show this thread
    Undo
  12. 18 Dec 2019

    Hey tweeps: does anyone use project management software that they really like? I'd love to hear some suggestions...

    Undo
  13. 15 Dec 2019

    This is a scary read. I don't know much about the space, but if the incentives for developing new antibiotics are this messed up, we're in trouble.

    Undo
  14. 6 Dec 2019

    A super fun post. The whole KataGo experience shows how much benefit you can get in a machine learning context by leveraging a deep understanding of the problem-space, over an entirely generic solution.

    Undo
  15. 5 Dec 2019

    I know you've been dying to write your neovim extensions in OCaml. Well, now's your chance. Think of this as a sibling to ecaml, our elisp alternative for emacs.

    Undo
  16. 5 Dec 2019

    It's as if people imagine that the only thing that good engineering can be used for is premature preparation for scale. Weird.

    Show this thread
    Undo
  17. 5 Dec 2019

    Architectural choices aren't the only thing that determines those abilities, but they surely contribute. A poorly factored, hard to test, spaghetti mess of a system might be easier to come up with at first, but will tank your productivity soon enough.

    Show this thread
    Undo
  18. 5 Dec 2019

    Isn't it clear that the ability to delivery new features, quickly and reliable, matters? To implement complex ideas to surprise and delight your customers?

    Show this thread
    Undo
  19. 5 Dec 2019

    They're seems to be a broad skepticism about the idea that companies succeed or fail in part based on their architectural choices. I find this mystifying.

    Show this thread
    Undo
  20. 4 Dec 2019

    That's because often there are better architectural choices available that won't slow you down. And engineers who know how to make such choices are worth their weight in gold.

    Show this thread
    Undo
  21. 4 Dec 2019

    Obviously, if your choice is: pick a nice architecture, and fail as a company because it took too long, or, make quick but messy technical choices and succeed, the choice is clear. But it's a false choice.

    Show this thread
    Undo

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·