Sign in with Twitter

Username:

Occasional OCaml programmer

140 Following   5,287 Followers   4,619 Tweets

Joined Twitter 6/21/09


@rickasaurus 300 users for OCaml writ large would be kinda sad and small, also. I'm pretty sure we're well north of that! @rickasaurus I just looked at our internal mailing lists and corporate directory. @rgrinb As a side note, I wonder if there default should be dev rather than prod. Most interactive builds are for d… https://t.co/pInDkkeeGc @rgrinb Should we turn it on for prod too? IIRC, the cost of short paths comes mostly (entirely?) when generating t… https://t.co/iyfI4i21A7 @donsbot Any news on this? Would still really love to see the data...One day, we'll get this to be the default, but there are some patches that need to get upstreamed before that is likely to happen.PSA: Tired of inscrutable type errors from OCaml? If you use jbuilder/dune, just add this to your jbuild build stan… https://t.co/91NicedOpLBack in 2006, "10 programmers and researchers working primarily in OCaml". Today, closer to 150 devs and another 15… https://t.co/zvZYx9sTqr
6/25
2018
This is a nice blast from the past was just pointed out to me. https://t.co/YswZFVfVfQ
6/24
2018
@mattmight Wait, what? Your not starting her out on Racket? You have to get the parens in there early...
6/22
2018
@jedws It comes from a talk I have first at Harvard in 2010. https://t.co/tjWgmJbvem @jedws What do you want to confirm? I do think the phrase originates with me, though the idea is hardly new.
6/21
2018
This looks cool: https://t.co/imQAbhOhjC You can learn some algorithms and some OCaml at the same time. Plus, I go… https://t.co/9NQGFILLCA
6/18
2018
Saturday morning physics lesson. Who needs parents? https://t.co/bzogclIS9y
6/16
2018
@bobbypriambodo @antron__ e.g., if Lwt users were eager to move to Async, but for some technical issues, I suspect… https://t.co/RKwmePZ2Ys @bobbypriambodo @antron__ I don't know what you mean by "problems". This is less an issue of specific technical lim… https://t.co/qsMsGfCaJq
6/15
2018
@dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof Maybe a demo of this would be a nice project for the rig… https://t.co/c4yVcY2t57 @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof I suppose that we really need is, correctly and efficiently! @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof I suppose that in this world, Deferred.bind is different… https://t.co/u9W0fyXAmW @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof Got it. Sounds lovely. @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof Or is this new monad just a way of writing interoperable… https://t.co/HQzFvJLM6m @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof Interesting. What's the migration story, then? Do you ch… https://t.co/IUYWtHc6XY @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof And how different is this from your last attempt in this… https://t.co/QlQvMtycY4 @dimenix @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof How would you change the core from what Async currently… https://t.co/EyWGpOKV1f @ryyppy Huh. The Reason let%await isn't Reason-specfic at all (thankfully). Seems like a fork of let_syntax… https://t.co/IOvMAzUPnb @ryyppy I've never really understood why there is a lwt-specific syntax. Monads are generally useful, so it seems p… https://t.co/c9DDcH3RF6 @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof @dimenix lwt-async specifically was a rewrite of the Lwt API on t… https://t.co/XhRpFiNQbP @ryyppy And, of course, they both have tons of libraries written on top of them. @ryyppy But both libraries have real advantages. Lwt has windows support, better perf for concurrent file access, f… https://t.co/tzDrOAfGzm @ryyppy I don't know what the "promise API" is. A Javascript thing? And I don't know what Lwt's abstraction over is… https://t.co/NypveTtQkr @paulbiggar Not even close. Async is absolutely fundamental to what we do, and the Lwt implementation is very fast… https://t.co/ckzpqMrr2P @jordwalke @leonidasfromxiv @objmag1c @rizo_isrof I don't know anything about the solvuu one. The one @dimenix wrot… https://t.co/WW2V62HjYQ
6/14
2018
@rizo_isrof But Async is the real sticking point, because it creates a real incompatibility. You can use Base or Ba… https://t.co/y455v29R9v @rizo_isrof Base is used by more and more projects, and is very much a Jane Street creation. And Dune is of course… https://t.co/l1CTXbNY8H @rizo_isrof It's a bit better than it seems. Some core pieces like sexplib are very widely shared. The code on… https://t.co/7DErDZ4CZWPro-tip: when embarking on a big new project, plan some investment into your time budget. Testing tools, design wor… https://t.co/Mo1IJZmCq8But it's an unsatisfying state of affairs, and I wish I knew a way out.Maybe the OCaml community will grow its way out of the problem, developing enough mass to support both well. Or may… https://t.co/wMZDqC6hOhThe one good aspect of this is that it has encouraged people to split out synchronous cores from many libraries, to… https://t.co/IFCKzSWG10And so, we keep on minting incompatible libraries that use one concurrency library or the other.No one is exactly incentivized to do the work to reconcile them, and it's not clear that either side would welcome… https://t.co/RiSwprcvwdEach with slightly different ups and downs, both receiving significant ongoing development, while providing virtual… https://t.co/La2UzoQFJoA sad ongoing problem with the OCaml world is that we continue to have Async and Lwt, two incompatible libraries th… https://t.co/fB670gyGdHMerlin's go to definition just received a major improvement https://t.co/eNJow8DiSU. Relevant to all #ocaml users
Retweeted by Yaron Minsky @emblem21CEO I agree the trends on press freedom aren't especially encouraging, but it seems mostly (entirely?) unr… https://t.co/pTmNlGjaee @emblem21CEO How do you reconcile this with evidence that death from all forms of violence (including war) is way d… https://t.co/DjqXzW9dw0
6/13
2018
@emblem21CEO Nope. Go read Better Angels, or look at https://t.co/OW114WsjMi. Violence is down across many time sca… https://t.co/CMIeSCRwdwI suppose that it's "The Complacent Class" which strikes me as coming out the worse from this comparison.But violence has been going down for centuries! So have we been getting more complacent for centuries? Are governme… https://t.co/9ZOXNMsBMAThe former argues sees increasing complacency in the very same signs that the latter marks as signs of the reduction of violence.How to reconcile @tylercowen's "The Complacent Class" and @sapinker's "Better Angels"?Stephen Dolan will present "Bounding Data Races in Space and Time" next week at PLDI 2018: https://t.co/VFRuv1z65G
Retweeted by Yaron Minsky
6/12
2018
Nice thread. +1 for generational GCs. https://t.co/2qmX1c4Qnh
6/11
2018
(we have this internally with Jenga, emacs and vim, but it would be nice to have it for open-source side work too.)Now all I need is integration of ocamlformat with Dune and at the editor level, so that I can specify whether to us… https://t.co/9rTMNiNIZ0 @donsbot Can you share some of the data? I could see that really affecting our behavior.All courtesy of ocamlformat. https://t.co/1vAt6IjXO9Just flipped a big codebase over to doing automatic formatting (indentation, line-breaking, whether to put ;;'s aft… https://t.co/GtPlF6NODlThis. https://t.co/Kz4vvLuwPr
6/10
2018
@reggieperry But I'd love to have something pithier, less oriented towards absolute beginners, and that discusses h… https://t.co/6a3ZArqfxp @reggieperry HtDP? It's using an untyped language, but with a type-friendly mindset. I'm not sure I know anything b… https://t.co/aN4Y0C4uQUAnother omission in Ousterhaut's book is that he doesn't talk about abstraction (or parametricity) explicitly. This… https://t.co/yaA25SdVKDMost shockingly to me, I've found no reference to types as a design tool. Sure, precise names help you avoid confus… https://t.co/2fTl6N7rWbOne oddity is the view of the class as the only real scope at which one can build abstractions. The idea that one c… https://t.co/GAtcoePvN6I'm enjoying Ousterhaut's "A Philosophy of Software Design", but it is striking how much it is shaped and limited b… https://t.co/weHUygJgLS
6/8
2018
The road to hell is paved with well-intentioned GADT usage.
Retweeted by Yaron Minsky
6/7
2018
Are there other data structures that get the level of uncritical hype as blockchain? "Powered by unsigned long inte… https://t.co/FJMSHCOJas
Retweeted by Yaron Minsky
6/6
2018
Witnessing my 16yo explain Racket's syntax-rule to my 11yo. He's explaining that syntax rules aren't a "thing", the… https://t.co/16YSeoJbw2 @let_def Personally, I really like i3, which with some effort can be made to integrate with gnome, so one can run g… https://t.co/F2EmJMWPCXAnd, happily, the installation of Fedora was trivial. Maybe it is the year of Linux on the desktop. At least in my house.One thing that struck me is that the gnome UI, for all the things I don't like about it, is pretty good for a newbi… https://t.co/qm3uII153bHer favorite part so far is having the power to destroy it. I explained sudo, and how having it let her look into m… https://t.co/VoKIye37hNI'm perhaps going too far, but I just installed Linux on an old MacBook for my 11yo daughter.
6/4
2018
@BrandonBloom For the last five years or so, I've adopted a practice of never cutting and pasting. When I do create… https://t.co/CHdKs0W6vhThis thread works for lawyers, too. https://t.co/fJTfktflYe
Retweeted by Yaron Minsky
6/3
2018
The drive to avoid boilerplate can lead to the design of awkward shortcuts with confusing semantics. Boilerplate is… https://t.co/GKhStzzT3lSometimes, the key to designing good software is picking clarity over convenience and concision. @yrashk I think I was. But I want only describing Rust.
6/2
2018
@tforcworc I know Rust less well, but this seems like a core thing for them. The semantics of the unsafe subset are… https://t.co/jyhwYlXGW5
6/1
2018

0