Sign in with Twitter

Username:

Occasional OCaml programmer

137 Following   5,051 Followers   4,418 Tweets

Joined Twitter 6/21/09


A unified theory of Rust. https://t.co/GNt7GqorPJ
4/22
2018
@johnregehr @Hillelogram @RanjitJhala FWIW, I think ML does a decent job of letting you express things cleanly in b… https://t.co/cTxtXWwWaR @Hillelogram @johnregehr @RanjitJhala If you decide that "modular" is the same as "has no observable effects", then… https://t.co/jJSKJLPiyA @Hillelogram @johnregehr @RanjitJhala But that's not how real-world imperative programs work. Even well designed, m… https://t.co/V5Ckeuj9zA @Hillelogram @johnregehr @RanjitJhala Yeah, and if you write big imperative programs out of little modules that are… https://t.co/LhtQiBLKpJ @Hillelogram @johnregehr @RanjitJhala Actually, I often find small imperative programs easier to read than their functional counterparts. @Hillelogram @johnregehr @RanjitJhala In other words, I would have guessed that imperative programs are hard to pro… https://t.co/EtUcqtHEhg @Hillelogram @johnregehr @RanjitJhala A little imperative function can easily be modeled as a little functional pro… https://t.co/0I0wIpWNLR @Hillelogram @johnregehr @RanjitJhala I'm also a non-specialist (never formally proved anything), but I would have… https://t.co/AXQfwwy8ZjTFW one of your undergraduate project students send a pull request :) (...having implemented BGPv4 in #OCaml from scratch for #mirageos)
Retweeted by Yaron Minsky
4/21
2018
This is great to hear. I do worry that OCaml is in various ways too hard to get in to, so it's nice to hear about t… https://t.co/bChgi2CFNi
4/20
2018
Registration for the Oregon Programming Language Summer School on Concurrency and Parallelism (held in July) is ope… https://t.co/zGq1onfRbi
Retweeted by Yaron MinskyGoing to be in Sydney in May? Interested in learning OCaml? I'm running a workshop, the day before LambdaJam.… https://t.co/I08Y5wUVVjThe Jane Street ppx infrastructure is now developed on github :) https://t.co/BxDXxJP7u3
Retweeted by Yaron Minsky @bradlarsen @ezyang It's not about idiot-proofing. Each of us is sometimes an expert and sometimes a newbie, depend… https://t.co/3eHEgV9l5Y @akaLakret That said, I see where your reading comes from. @akaLakret That's not how I took it. I'm often the person who doesn't know anything! And I appreciate it when other… https://t.co/M69B3GN2UqVery knowledgeable and accurate summary of a dreadful project that wasted a whole bunch of time, money, and (most o… https://t.co/3T6xYQPzWm
Retweeted by Yaron MinskyThis is an excellent point. The best part of having static types is that as a designer, you get to build correctnes… https://t.co/Mkj6MB3jq3
4/17
2018
So, I'm going to have a free weekend in Sydney right before Yow LambdaJam. Any suggestions for things to do/see in Sydney in May?
4/16
2018
My CSV strategy is to open in Emacs and bash away with query-replace-regexp until I have a Racket S-expression.
Retweeted by Yaron Minsky
4/15
2018
A complete #compiler to x86 in one page for my lecture today. https://t.co/PwFl4V5czy
Retweeted by Yaron Minsky @keleshev Excessively_clever_list.tJoin @yminsky's 1-day "Introduction to OCaml workshop at #ylj18 in Sydney on May 21 You'll walk away with a basic… https://t.co/0HDwZgDlAH
Retweeted by Yaron Minsky @TacticalGrace After 10 years on mac laptops, I'm as surprised as anyone to have left the platform. But at this poi… https://t.co/vM3L3YbDZJ @TacticalGrace And so many of the UIs I depend on are hosted in Chrome these days that the things I would tradition… https://t.co/coVjXxnPMC @TacticalGrace And things have actually gotten reasonable in terms of managing external devices; I can just plug my… https://t.co/Rl36ZDWCR2 @TacticalGrace I would have said the same thing! But I was driven so crazy by the latest mac hardware that I broke… https://t.co/2KFYgsr91T @TacticalGrace Funny. I couldn't feel more differently. The touchbar, along with the failure-prone keyboard, drive… https://t.co/GJe3Y9dQyw
4/13
2018
Gandalf standing in front of the Gates of Moria trying to remember a password makes a lot more sense to me now than it did in 1984.
Retweeted by Yaron Minsky
4/12
2018
DDD founder Jeremy @hockenstein and @BarbsBirungi from @wituganda at the #SkollWF talking about how to close the te… https://t.co/Ib27CujDkQ
Retweeted by Yaron Minsky @mvanier42 ocp-indent is indentation only. OCamlformat does line breaking as well. The concrete syntax is dolly determined by the AST.It's also been fun seeing the flurry of activity around ocaml itself as we approach the feature freeze for the rele… https://t.co/NAzldRncyEIt's been fun seeing the pick-up of energy around ocamlformat. Lots of new contributors, including several folk fro… https://t.co/pAdYlY42PWThis is pretty great. A riff off an example from one of my talks, seeing how well the OCaml idioms can be rendered… https://t.co/CL7zL18YI9
4/11
2018
"Kathleen Fisher, professor and chair of the Department of Computer Science and #cybersecurity expert, is almost i… https://t.co/M6MhQg1Ov3
Retweeted by Yaron MinskyWe are at that... https://t.co/79c1nmcN99
4/10
2018
@paul_snively Given that Scheme landed in 75 and Simula in 67, that doesn't seem that likely. Lisp, maybe."We began with Simula. This is hard to say now, for all of us who came of age in the golden years of programming la… https://t.co/GvP6D2Unmt
4/9
2018
@kc_srk @evilkid We're thinking of running a version at Cambridge, after we see how the New York version goes.
4/7
2018
This also suggests some fun compiler projects: whole program dead code elimination, new backends for these mini CPUs.All of this motivates us to figure out how to get our OCaml applications to fit better into an embedded world, whic… https://t.co/Y15v9DASPYAnd of course, we write some of these embedded applications in OCaml. The Async scheduler turns out to be a nice al… https://t.co/x1quj3DMR2In particular, you implement parts of your application by writing simple embedded programs that run on simple CPUs… https://t.co/g2SsbcxkWGObvious in retrospect, but I was surprised at how quickly our work on synthesizing fpgas is starting to include tra… https://t.co/RwtO1lqvueIt helps that we have 10m lines of code all of which we can build, and so we know the dependency structure precisely.As we start building decent internal code search, it became obvious that you could use the detailed, function-level… https://t.co/wGR7K49yfJ @chemouil And I'll wait to write a Bob chapter until Bob exists! @chemouil Gadt and testing chapters are definitely on my to-do list! I'm less sure that an incr-dom chapter is appr… https://t.co/k7WoQD2h2D @chemouil The book already does use ppx_jane in various spots, so I'm not sure what you're asking for there.
4/6
2018
@ploeh @thecleancoders That picture seems fine. And I appreciate the attribution.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… https://t.co/xzyvYHuyKf
4/5
2018
A little more on why I'm excited about this upcoming talk, and how it connects to how we develop software more broa… https://t.co/mHf6E8LJgiInterested in hearing about how we're leveraging typed functional programming to make hardware design faster and mo… https://t.co/NJge1zUNkKAoPS is really an incredible resource. All of my kids have benefited from it in one form or another. If you have ki… https://t.co/UeDERDWyWv
4/4
2018
Oh, and it also features jbuilder as the build tool throughout the book, in addition to being the build system for building the book itself.My hope is that at the end, we have some really good authoring tools for OCaml documents, as well a great book!There's more to do. We want to improve the authoring story yet more, provide a robust feedback mechanism, let some… https://t.co/K1jYHbHK4pSome of the improvemnts: - Rewritten build system - Many chapters converted to Base (check out the new Maps and Com… https://t.co/crLxUH8dQ0If you haven't looked at it in awhile, take a look at https://t.co/R1tqcyfn1H, look again. Many thanks to @eriangazag for the work!
4/3
2018
@plragde What are you doing in NYC? If you have time, you welcome to seeing by Jane Street's office and say hello...
4/2
2018
Modularity is the ability to answer no to question: "Do I have to reread every line of source code when I make this change?"
Retweeted by Yaron Minsky
3/31
2018
@indygreg @ImYoric And what does Mozilla use these days?With the 1.3.4 release of zstandard today (https://t.co/MzZvz57T2K), compression parameters can now be tuned to go… https://t.co/fUTrpKzaFe
Retweeted by Yaron Minsky @indygreg @ImYoric Neat. Are all those build systems still in active use at the companies in question?
3/30
2018
Wow. 405 of the 2000 opam packages are now using Dune. That's pretty quick uptake. I wonder what the percentage loo… https://t.co/7rco56tubX @chadaustin I have seen the paper. We passed it around internally. It's a nice summary of some of the basic structures. @ndm_haskell @sclv @andreymokhov That's not a bad start.One of the problems is cutting through the sameness. Many of the build systems out there solve many problems the sa… https://t.co/4MmPB79lUnAnd how would you organize it to make it productive? Is what you want closer to a bunch of talks, or going to a bar to talk for a few hours? @buchgr That makes sense. I'm really talking about both. I imagine Blaze has both features, but the distributed ver… https://t.co/BNJ8FNyehQ @buchgr One thing that confuses me: doesn't Bazel already support caching in builds? I thought that was one of the built-in features.So, how about we organize a build system workshop? Get a bunch of the people who have worked on major build systems… https://t.co/1tBcXLpBU7 @buchgr Have you guys considered any clever backing stores that do effective deduplication? There's a lot of back l… https://t.co/HFbhPfCkD5 @buchgr And doesn't rsync only help you when you have a whole slice of the artifacts that you know you need? Wherea… https://t.co/FMjE2e58tG @buchgr Interesting. We're using zstd for compression on various places, but I wouldn't call rsync's algorithms compression exactly. @seanparsons Hmm. I sense an incompatibility. Our existing build daemon is already called Hydra.- Is there a natural way of doing distributed builds on top of this? multi-machine caching gives you some distribut… https://t.co/m0tgz6p08d- Have you had latency issues with just grabbing things at the individual build-artifact level? Do you need optimiz… https://t.co/UpLeulFBr8
3/29
2018

0