Quantcast
Sign in with Twitter

Username:

Occasional OCaml programmer

83 Following   1,945 Followers   1,029 Tweets

Join Twitter 6/21/09

Reverse Tweets
@samth Indeed, imagine teaching htdp in C. Language choice affects the pragmatics of different pedagogical approaches. And pragmatics matter@samth Yes, but language isn't trivial. Different topics (e.g., abstraction and machine model) are easier in some and harder in others.
12/21
2014
@typeocaml Fixed! Brown out in Cambridge.
12/18
2014
@samth Makes sense. If you don't think of hack and flow as ML-like, are they TR-like? And are they pragmatically ML-like?@samth interesting! I would have thought that pragmatically, ML and typed rkt would be closer, with more idioms transportable between them.@samth How would you describe Typed Racket? I think of it as more ML-like than, say, Eiffel-like. But I'm probably thinking about it wrong.Is it accurate to describe hack and flow's type systems as being ML-like?@jeffreysco Given that you've used OCaml on iOS, I'm really curious how you think Swift compares.@tianyi Indeed. It seems to be the fashion now for dynamic language. Even Guido is onboard... https://t.co/GQ5Nd5PSVc
12/15
2014
@typeocaml Scratch for the young ones, Scheme and Lua for the oldest.
12/8
2014
@chromecasteando My daughter codes with Scratch and casts the tab. I look at her code and talk with her without looking over her shoulder.protip: Scratch + Chromecast is a good environment for pair-programming iwth your kid, and it stops you from grabbing their keyboard.
12/6
2014
@Mads_Hartmann Sounds lovely, but aren't they supposed to be from a single person's point of view?
11/29
2014
I think the revelation that GNU less has (numerous) remote code execution exploits is a tipping point in my distrust of modern computers.
Retweeted by Yaron MinskySER 204: @robertblumen interviews @avsm about the Mirage Operating System and the OCaml programming language http://t.co/QCKGbkSZ3u
Retweeted by Yaron Minsky
11/25
2014
@yminsky Aging seems huge. I'm looking forward to trying it out in OCaml. I'm curious about the value of multiple generations in addition.@ezyang Btw, I saw your feature request. https://t.co/AaIZ54lrG2 Did any form of card marking get added to GHC?@ezyang Oh, I think I get it now. That's a neat trick. What's the magic number of generations? 1.7? Is this fractional trick worth it?@ezyang Is there a chain of block sets, with objs moving from one to the next when they survive? Still don't see how to get fractional steps@ezyang So, post 6.13, does that mean that each word needs extra bits to track the age? And how does tracking fractional age work?@ezyang You guys rock! Although weirdly, now that website has just gone down...@ezyang Do you know how aging is implemented? Damien is looking at doing something similar for OCaml, and I'm curious about related work.Is there a good guide to how Haskell's GC works? I'm specifically curious about what is done to avoid false promotion.
11/21
2014
@jakedonham I'm totally up for it, but I'm over scheduled right now. February or March should work though.@jakedonham That sounds like fun! Maybe I can justify coming out if I can arrange talks at a few different places.. @yminsky @samth We've never managed to resist the temptation of fancy types.
Retweeted by Yaron Minsky@abdullin Well, at Jane Street, we've had pretty good luck with "just using a good language", so it can work sometimes...
11/20
2014
@lojikil @samth @killerswan True, but tragic: bad tools are used because they're used, with much effort needed later to clean up the mess.@samth @killerswan For sure.@samth @killerswan oh, so no disagreement then. But I think my original point still stands.@samth. If the temptation to use fancy types was resisted, it could have been done pretty simply. No worse than in php, I think.@killerswan @samth but that was for ecosystem reasons (e.g., libraries), not language issues, which is what I think Sam is referring to.@samth I dunno. What do you think was missing, other than programmers who knew the language?
11/19
2014
@bitemyapp I can't speak for Bob, but I'm curious what things I've said have gotten interpreted in that way.@bitemyapp Sure, though I didn't know we were in a state of war...Projects like Hack and Flow are surely impressive, but consider how much effort could have been saved by using good languages to begin with.@eikke just smile and think of your favorite statically typed language as the competitive advantage it is.A nice new application of OCaml at Facebook. And it's package 800 in OPAM! https://t.co/f8MwTWNSSe http://t.co/YxfpKvgM4U
11/18
2014
@How_I_Start @girishsastry Indeed. I was thinking the same thing. It's a busy time at work, but I'll get to it...New blog post: If you were teaching a programming course, what language would you teach it in, and why? https://t.co/EmFTsRvsqr
11/17
2014
@afcowie @ioerror Not a strange choice at all! Allow me to recommend my own http://t.co/RAuBFV8rBA as a starting point.
11/14
2014
Teaching a class using OCaml, or considering it? Find resources here: http://t.co/p0TboQZTwL or join the mailing list http://t.co/rCoDWzPDcZ
11/13
2014
What's wrong with this sentence: "When I visited, many of the cartons remained unpacked"? http://t.co/Ey3UFjO14X
Retweeted by Yaron Minsky
11/8
2014
You can boot a #MirageOS VM in response to a TCP request (10ms). That's elasticity! @avsm casually dropping jawdropping stats at #codemesh
Retweeted by Yaron Minsky
11/5
2014
Hey twitterverse: how do I make a multi-stage build in Keynote out of an Omnigraffle diagram? Doing them in keynote directly is painful...
10/30
2014
@PLT_cheater @gclaramunt It comes up in highly modular designs when you're using existentials and need to recover a type equality.
10/25
2014
It took ~3 years from learning about Univ in OCaml to finding a use case. Now, I use them regularly. Some ideas take a while to sink in...@bitemyapp No. The world would be better if everyone learned FP; but we're happy to hire those who haven't learned it, and teach them here.A guide to the Jane Street programming interview: https://t.co/5X7C0AtxYS
10/24
2014
@jenskl @larsberg_ if you're interested in how we use slashes, you can read this: https://t.co/FbpoHY7qj8@larsberg_ we used that approach for a long time, but eventually abandoned in favor of diffs of diffs, which I think are worth trying out.
10/23
2014
@larsberg_ Another thing: do the slashes in Critic review names mean anything? Curious because Iron uses them to track dependent changes.@larsberg_ Awesome! Thanks.@larsberg_ does it show just the new diff on the conflicting hunk? The approach I prefer is to show the interdiff in that case.@jakedonham That's unfortunate. There are better ways of reviewing a merge...@larsberg_ that's what I mean. How does that work in practice? Do people really carefully reread a diff they mostly read already?Can anyone explain how reviewboard and phabricator deal with review of a conflict resolution? Do you just need to re-review the diff?
10/22
2014
I was not expecting to see this on a Chipotle bag... http://t.co/mwNBpzsjPPTechnology transfer: from puzzling through garden path sentences with the kids to helping them think about comma placement in their writing.
10/20
2014
@OndrejKlejch Sure.Interested in what it's like to be a Jane Street intern? See what kinds of projects they work on here. https://t.co/HluW9fvEla
10/16
2014
I feel like this sign is describing a very specific incident. Minimalist storytelling. http://t.co/8o6hq3vLpL
Retweeted by Yaron Minsky
10/13
2014
@nitbix Not hallucinating! Here with my family for a couple of weeks!
10/10
2014
A little pre-soccer breadboard work... http://t.co/xsh5soWDsl
10/5
2014
@whitequark indeed. Much fun territory to explore.@whitequark the trick I think would be to take advantage of Rust's types to generate bindings that we're guaranteed to be safe.Great talk at Jane Street by Niko Matsakis about Rust. Feeling tempted to work on Rust/OCaml interop layer...
10/2
2014
@JackJNYC sigh. Not a terribly thoughtful review, I'm afraid. And Gwynne's Grammar sounds like a parody of prescriptivism.
10/1
2014
Everyone with a non-monadic build system eventually wants real monadic power, as this #ninja user proves: https://t.co/2C1vbSKZyk
Retweeted by Yaron Minsky
9/30
2014
I'm really looking forward to #sedshock and #shellshawk
Retweeted by Yaron Minsky
9/29
2014
@marius @JackJNYC Do you ever do table-like alignment within your code? I find that, done tastefully, it's quite good for readability.@marius @JackJNYC the pragmatics of that seem difficult, given the importance of alignment in making code easy to read.@JackJNY Pretty. The interesting thing for me is how it looks small and without anti aliasing, given how emacs and Unix terminals render.Code review tools should not show other reviews/shipits before you provide your own. I think current interfaces lead to a lot of groupthink.
Retweeted by Yaron Minsky
9/26
2014
New @CACMmag review article on SDN with @martin_casado and @ArjunGuha http://t.co/ngqDdqmn17
Retweeted by Yaron Minsky
9/23
2014
H.261 decoder in OCaml, compiled to javascript. Why not? http://t.co/24hYnPDH1Y
Retweeted by Yaron Minsky
9/20
2014
A talk I gave at InfoQ about why we use OCaml at Jane Street, including some of the history as to how it happened. http://t.co/90IrfRzzAv
9/18
2014
Fun looking talk on integrating R and OCaml, at the NYC OCaml meetup tomorrow. http://t.co/TzBYurgNne
9/16
2014
Just gave a talk on Async.Rpc. instead of explaining the API, I explained how to implement it. Oddly, I think that worked much better.
9/11
2014
Love. http://t.co/io946Z0F57
Retweeted by Yaron Minsky
9/9
2014
#ocaml2014 Improving Type Error Messages in #OCaml - this looks great! http://t.co/wlSmfvH6v0
Retweeted by Yaron Minsky
9/8
2014
... And it's all on github.Live coded music in Clojure in Emacs with rainbow delimiters and an animated background. Mind: blown. http://t.co/RxzLeRgF8SNow I know what a syntax error sounds like... http://t.co/DdFxMFno5bPair programming at its best. http://t.co/Je6pOCdWfyRocking out to Amiga 64 based music with the ICFP crowd. Surreal... http://t.co/IWZuRhD4KB
9/6
2014
Kathleen Fisher: FBI discovered the US Navy bought counterfeit routers that exfiltrate info by noting how cheap the routers were #icfp2014
Retweeted by Yaron Minsky
9/1
2014
@jakedonham @jco @Eigenvariable @dijkstracula The Jane Street stuff is, too. (Core, Async, etc. I sometimes read it for fun.)
Retweeted by Yaron Minsky
8/27
2014
More OCaml : Algorithms, Methods & Diversions http://t.co/nXkAzd43yf or http://t.co/V1l3JX6PoJ for the DRM-free PDF eBook
Retweeted by Yaron MinskyAbout Utop, the recommended toplevel for working through Real World OCaml (interactive history, tab completion, etc!) http://t.co/3RIrSwZ1TB
Retweeted by Yaron Minsky
8/26
2014
Clearly Failing: The Parable Of The Perfect Connection Every programmer in the Intertube connected era ... http://t.co/jVoSCqxb8F #ocaml
Retweeted by Yaron Minsky
8/23
2014
@eriangazag @avsm @loverdos can it be used across different files? That's where the big win is I think.@loverdos @avsm I'm hoping to get something like this eventually from Merlin, but there are bigger fish for those guys to fry right now.
8/21
2014
Typed Racket is not just a nice language ... it's also informing PL research at every level http://t.co/Ml8t6CJlJW
Retweeted by Yaron Minsky
8/17
2014
The 1.2.0 beta of the #OCaml OPAM package is out, brimming with new features, bugfixes and ASCII art! https://t.co/B5tivL5bix
Retweeted by Yaron Minsky
8/14
2014
@bitemyapp @cartazio @smdiehl linear regression actually. The technique comes from here: https://t.co/0CHbRu2DcZ@timbray I hear you, and yet the missed opportunities hurt. Good, 40 year old ideas were ignored that could have made it much better.@timbray And substantively, Go is boring. Channels are nice, but the type-system is pretty juvenile. A huge missed opportunity.@timbray Open source is a requirement for me too, but I still think the impact of Swift is likely very high.@timbray But Go gets all the key ideas wrong! Swift is a way better candidate. (And this is about types rather than functional purity.)
8/8
2014
« Prev1234567

0