Quantcast
Sign in with Twitter

Username:

Occasional OCaml programmer

81 Following   1,926 Followers   1,016 Tweets

Join Twitter 6/21/09

Reverse Tweets
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.)@timbray And that long period of GC being unpopular doesn't mean it wasn't useful. The same holds for variant types.@timbray @graydon_moz Why did GC not really make it until the 90's? Something mysterious about language popularity.It amazes me that people who have to do 24 hour support of their code don't insist on using strongly-typed languages
Retweeted by Yaron Minsky@bos31337 and can you say what insights let you get down to the fractional nanosecond level?@bos31337 sweet! Did any of the linear regression tricks come from core_bench?
8/8
2014
@marius the cache invalidation approach in chubby is pretty interesting. Surprised that waiting for acks to all invalidation requests works.@jeanqasaur @nicholasbs @hackerschool Excellent! I really enjoyed my residency, and I expect you'll enjoy yours!@marius But, what happens to the leader's data when it crashes? Is the leader running its own replication algorithm on top?A rollicking talk at Jane Street from @zittrain on the bizarre history of Internet governance. Surprising that the Internet happened at all.@venechka But the ZK docs also have a leader election recipe. What's that used for? http://t.co/96fiLjKpNdI understand why leader election is useful within various algorithms (e.g., paxos), but how so for a standalone service, e.g., on top of ZK?
8/6
2014
There's no problem so hard that choosing the wrong programming language can't make it harder.
Retweeted by Yaron Minsky
8/3
2014
This year's ML workshop looks like a lot of fun. https://t.co/f8d7v6Q8PM
7/31
2014
« Prev1234567

0