Tweets
- Tweets, current page.
- Tweets & replies
- Media
You blocked @yminsky
Are you sure you want to view these Tweets? Viewing Tweets won't unblock @yminsky
-
Pinned Tweet
Interested in applied PL research? Jane Street is hiring!https://blog.janestreet.com/applied-PL-research/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Sigh. Just deleted all my repos from bitbucket, migrating them to git and github. The dropping of Mercurial support is quite sad.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
First they came for Meta Language And I did not speak out Because I used OCaml...https://twitter.com/laurence_diver/status/1223179516417323008 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
This year the
@PLDI conference hosts the first Build Automation and Programming Languages workshop: https://pldi20.sigplan.org/home/bapl-2020 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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
I had to miss the first lecture of http://cs3110.org , so I got some friends to tell my students why they love functional programming. Enjoy!https://youtu.be/Fi83KOAqWb4
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
Wednesday afternoon hipster topic session at
@poplconfpic.twitter.com/kbpF52iB2i
Thanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
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.https://twitter.com/lexi_lambda/status/1219103128836100098 …
Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Courtesy of
@natefoster, Simple OCaml: http://simpleocaml.org/Thanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
This is revolting. Attn
@UMichLaw 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.#changetheculture https://twitter.com/jdlollman/status/1211825526140215298 …This Tweet is unavailable.Thanks. Twitter will use this to make your timeline better. UndoUndo -
Yaron Minsky Retweeted
Enjoying
#ocaml powerful type system and (secretly) finding#python/#jupyter very convenient for fast iteration? Get the best of both worlds!https://blog.janestreet.com/using-python-and-ocaml-in-the-same-jupyter-notebook/ …Show this threadThanks. Twitter will use this to make your timeline better. UndoUndo -
Hey tweeps: does anyone use project management software that they really like? I'd love to hear some suggestions...
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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.https://twitter.com/JohnCendpts/status/1205516175528075272 …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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.https://blog.janestreet.com/deep-learning-the-hardest-go-problem-in-the-world/ …
Thanks. Twitter will use this to make your timeline better. UndoUndo -
I know you've been dying to write your neovim extensions in OCaml. Well, now's your chance. https://github.com/janestreet/vcaml … Think of this as a sibling to ecaml, our elisp alternative for emacs.
Thanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo -
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 threadThanks. Twitter will use this to make your timeline better. UndoUndo
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.