Sign in with Twitter

Username:

Occasional OCaml programmer

136 Following   4,853 Followers   4,245 Tweets

Joined Twitter 6/21/09


@mpmselenic Good luck to all involved. Mononoke seems like an awesome project. @steve_pant No livestream, but the talks do eventually get posted to YouTube.If you're interested in learning more about work ongoing to add an effect system to OCaml, you can come and hear Le… https://t.co/DcQzJ5O58S @a9_io Similar, but with way more powerful optimizations than dom-diffing @molikto Can't say I really understand the question...
2/16
2018
Proofs and Refutations using Z3: a modest adventure in formal verification while working on the OCaml compiler. https://t.co/clLBTVEqDL
2/15
2018
Another way of thinking about it is as a technique to make yet more illegal states unrepresentable.In some sense, this is just applying an Incr_dom like approach to other applications.This is way better than hand optimizing your state, since a whole class of data inconsistency bugs vanish.The views let you respond to events efficiently, and the normalized data model let's you express state changes cleanly.Your represent your state in a simple normalized form using pure data structures. You use Incremental for building… https://t.co/VNvUTpFkh7So here's a programming thing I'm excited about right now: using Incremental for building applications structured a… https://t.co/WRP3NB2CrGThe Sufficiently Skilled C++ Programmer fallacy is just the human version of the Sufficiently Smart Compiler fallacy.
Retweeted by Yaron Minsky
2/14
2018
@ShriramKMurthi @BrownUniversity @CSforALL @yminsky @Bootstrapworld ..."tech talk". Usually cool stuff about OCaml,… https://t.co/Yrinqo6TN9
Retweeted by Yaron Minsky @ShriramKMurthi lecturing on rigor, scale, and equity in CS education, at the latest Jane Street tech talk! https://t.co/1RP38B8B2oOur paper with Stephen Dolan and @avsm "Beyond Data Races in Space and Time" conditionally accepted to @PLDI 2018:… https://t.co/njIGIiNA70
Retweeted by Yaron Minsky
2/13
2018
@ezyang How does the Ur approach compare to Acar's self adjusting computations? In the end, this is an optimization… https://t.co/JiyDdP1xQp
2/11
2018
Some nice improvements to the docs for Base. There's still a ways to go, both in the tooling and in the prose, but… https://t.co/FbEcZ7LZyU
2/9
2018
The opportunity to live a productive life is the ultimate privilege of all. Just imagine how many Einsteins have sp… https://t.co/nORbEvlt13
Retweeted by Yaron Minsky
2/7
2018
Reminder: this is next Tuesday! https://t.co/l4r1XY0W02
2/5
2018
@marius I've never tried. Have you? That's certainly not what Google is inviting you to do... @marius No. I want something I can code on. We have some Chromebooks, but they're not usable for technical work. @AndriusBartulis @donsbot Those look nice too, but they don't ship with Linux, and I'd prefer not to think about wh… https://t.co/U8FR0nw22n @kuzrob I'd like something that runs Linux with no fuss. I don't imagine that Microsoft ships the Surface with Linux installed... @guidok Linux. @donsbot Do you have a better suggestion for a linux laptop other than the Dell XPS-13 developer edition?An endless grid of possibilities, checkboxes of unclear import. The whole thing looks like it's designed to discour… https://t.co/ZTWjUySkLcI was doing it because I'm fed up with Apple's latest hardware (2016 macbook pro), with it's comically bad keyboard… https://t.co/4ozbswJJX1I just went through the hellish process of buying a Dell laptop online. It's a shockingly bad process, really no be… https://t.co/kp3EnMvNUG
2/4
2018
Awesome! Great to see people putting those libraries to work. https://t.co/v9JMpNdORt
2/3
2018
I'm moving my younger son (8) from applesoft to @racketlang earlier than I did his brother. One thing I am doing di… https://t.co/qz1Ox3QMJ1
Retweeted by Yaron Minsky
2/2
2018
@bcantrill You're welcome! It was great having to with us. @dimenix That idea alone drives a large fraction of Iron's design, and it gives you a sane way to think about revie… https://t.co/QnI4iF82W8 @dimenix Indeed. The idea that a review system should have a model of what the reviewer already knows is so fundame… https://t.co/bMFI2eH8sv25 years ago I got a job at a computer bookstore. We were allowed to borrow and read the books; so I read through a… https://t.co/skn6rGvRku
Retweeted by Yaron Minsky
1/30
2018
@czaplic @gluegadget @mattmight But if you want to understand the societal increase in obesity, that doesn't get you anywhere. @czaplic @gluegadget @mattmight My conjecture is that what's important depends on the level of analysis. If you wan… https://t.co/ckt54P0ksK @czaplic @gluegadget @mattmight Not at all. Nothing wrong with a little debate! @czaplic @mattmight That's for sure interesting stuff, and I do think it's worth taking seriously. That said, I do… https://t.co/3sHMm5EitqOld, but worth a repost . I was very much influenced by @mattmight's "least resistance" philosophy. Also, I appreci… https://t.co/yw4oqcopAWTristan interned with us, so got to use Iron directly, so he knows of what he speaks. I've been doing more work di… https://t.co/ue8MWeQcen
1/29
2018
@fredhsu @ShriramKMurthi Yes!Excited to have @ShriramKMurthi giving a public talk about CS curriculum design. The Racket /Bootstrap world has ta… https://t.co/TDOtCSy8G7
1/26
2018
Full static typing requires adjustment when coming from dynamic. Good type systems aren't: "okay computer, I wrote… https://t.co/6k3c5VO8rk
Retweeted by Yaron Minsky
1/25
2018
@trevorprater This is not going to be that kind of tutorial. More about general OCaml idioms than about building co… https://t.co/UNOsFwlooD @ShonFeder OCaml dabblers would be welcome, and I think would learn plenty.
1/24
2018
Looking forward to this, and hoping to do an tutorial while I'm there as well. https://t.co/wsywM3fl0lBut we hope to post all the tutorial materials, so people should be able to walk through the tutorial at their own pace.Since a few people have asked: no, we're not going to live-stream this or open it up to remote participants. The fa… https://t.co/2Obwff1itT @mockbutler Sure. We're not going to live-stream the tutorial (I don't think it's an experience that will translate… https://t.co/J7nCj0fPyoSo, would you come? Are there any things in particular you'd like to learn about? Things you think we should or sho… https://t.co/HFH5EHiKzHWe're thinking of something suitable for experienced devs who don't know any OCaml, and maybe have never used a fun… https://t.co/JhQBoZC8ZhWe're thinking of running an OCaml tutorial some weekend in the next couple of months in NYC, and I'm looking for feedback.Whoops. Posted a link to a private post. Anyway, short story is, Real World OCaml is getting close to being back in… https://t.co/9KmmqE3i0t
1/23
2018
@importantshock You should totally apply to Jane Street! From your mix of interests and background (FP, type system… https://t.co/G45zqkwwEQ
1/20
2018
NYC folks: Jane Street Tech Talks are free and open to the public, but you need to register. "Curriculum Design as… https://t.co/8Skrxk7VrP
Retweeted by Yaron Minsky
1/19
2018
Nowadays, when I think about the beauty of a software design, how nice it is to write tests is a critical factor.… https://t.co/eXvBNOwTLl @rgrinb @dimenix We're poised to move some more projects out to other github orgs, including a bunch of our PPX rel… https://t.co/2ZXhJhBSlGGlad that this came through! I'm very hopeful that Dune will become the default build system for OCaml, and that OC… https://t.co/q8LtTPSsOw
1/17
2018
@pasiphae_goals OCaml has a pretty good list too. The shocking thing is the number of languages implemented in C an… https://t.co/Gpg7MFPUK8 @michaeljforster I'm always curious to hear what other people feel are essential tools. What is it that you want ou… https://t.co/eDrY1scvoW @bitemyapp Does power management and the like work? @coreload I actually don't think it would. I've also done a more OO mud engine, and I think it's considerably harde… https://t.co/zKVKwoAGBSNot a bad likeness... https://t.co/3Ch1URYWEK @donsbot I've been using xmonad at work for years now, but i3 seems like it's better configured out of the box. All… https://t.co/nC6bSZbpI3Just switched from using my Mac as a Mac to using Ubuntu via VirtualBox, so I can use i3 as my wm. The UI is so muc… https://t.co/oNXVGTFdbO @yminsky @sperbsen @samth @genTauro42 @scratch don't know about you but I often feel paradigm-ed language cloud my… https://t.co/FYHbRt1TQk
Retweeted by Yaron Minsky
1/14
2018
I ended up shaving a bunch of yaks to get here, but I've got the mobile cross-compilation setup to a place where I'… https://t.co/OtJCd7RBEd
Retweeted by Yaron Minsky @samth @sperbsen @genTauro42 @scratch I'm really looking forward to having expect tests well supported in Jbuilder.… https://t.co/Vyeo13t8ra @samth @sperbsen @genTauro42 @scratch Also, you played the game in the shell, so when you did see an error, you had… https://t.co/td8Er7skgm @samth @sperbsen @genTauro42 @scratch The red squiggles are so much faster to find and fix! Also, we didn't have a… https://t.co/YN9IBkYT9r @samth @sperbsen @genTauro42 @scratch What's nice about teaching kids how to think about types in an untyped langua… https://t.co/U6cniE5IVu @samth @sperbsen @genTauro42 @scratch In some sense, it's not that surprising that teaching a type-driven technique… https://t.co/rtFIuA3abi @samth @sperbsen @genTauro42 @scratch But in Racket, you were just on your own, scraping through the code trying to… https://t.co/h8dhaiUtaq @samth @sperbsen @genTauro42 @scratch Building this up iteratively in Racket was torture: whenever you added a new… https://t.co/4vRcQPXwAe @samth @sperbsen @genTauro42 @scratch The project that pushed me to try OCaml again was a purely-functional MUD wri… https://t.co/r8N50yBzgP @samth @sperbsen @genTauro42 @scratch I ended up moving towards using OCaml because some of the Racket based projec… https://t.co/x73l9n4LIm @samth @sperbsen @genTauro42 @scratch It's a good question how often that happens, and how much worse it is than th… https://t.co/kyTGtbXryZ @samth @sperbsen @genTauro42 @scratch Both Racket and OCaml work with my kids had largely been supervised. A big pa… https://t.co/OyqTQoHaYw
1/13
2018
X

0