pointers and arrays

Please advice - looking for methods and tooling to prove correctness of shared-memory concurrency algorithms, preferably JVM oriented

Haskell's do notation is an imperative DSL

New intermediate report on missionary github.com/leonoel/missio…

Has anyone ever managed to implement an algorithm from a paper/textbook as a blind translation from pseudocode, without understanding how it works ? Asking for a friend.

"Why greatness cannot be planned" is the best book I've read about AI so far Kenneth Stanley Joel Lehman

All abstractions are premature, but some are useful

Tomorrow, Tuesday! 1:30ET, 1830 London. We have an awesome talk prepared for you!

> Naturally, if an error happens, it propagates upwards, and remaining subtasks are automatically canceled.

Static typers are so obsessed with getting their types right, they're unable to imagine more interesting problems to solve. Not surprising that dynamic languages are still driving innovation

Not nearly as much satisfying as this one

Dustin Getz, one of our Legendary Keynotes, breaks down his upcoming talk on Electric Clojure ⚡️ Get tickets: eventbrite.com/e/lambdaconf-2…

Baptiste Dupuch David Ackerman Yeah, its deeply unfortunate that France in particular is exporting so much skill to the US. leonoel has a large equity position in Hyperfiddle, and we want to open a French subsidiary when we can afford to. We are both motivated to create economic opportunity in France and