Quantcast
Sign in with Twitter

Username:

Occasional OCaml programmer

82 Following   1,840 Followers   970 Tweets

Join Twitter 6/21/09

Reverse Tweets
@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"Bootstrap has helped my students understand Algebra better...they asked if we could begin class 15 minutes early!" - Katrien Vance, teacher
Retweeted by Yaron Minsky
7/31
2014
@bos31337 I'm pretty sure Cowen is himself an atheist. I think the claim comes from his reading of the data, not ideology.@bos31337 He says religions that limit alcohol, drugs and gambling are good for people. I don't know that I agree, but it's not crazy.@bos31337 Note that he recommends social programs to improve absolute wealth. He's hardly a right-wing hardliner.@bos31337 But assessing the relative importance of absolute vs relative wealth is subtle. I don't see why his view is beyond the pale.@bos31337 On the substance: I do think he understates the role (esp. political) of inequality.@bos31337 Great. I'm much happier with a disagreement about the substance then about what institution he works for.@skilpat @samth @bos31337 To be fair, he is concerned about absolute wealth of the poor, and he proposes social welfare programs to boot...@ArjunGuha After some debate, we disabled it. It reduces syntactic noise, and the loss in explicitness isn't too bad.@strlen @samth @bos31337 What do you think the original tweet meant? Bryan, am I misreading you?@strlen @samth @bos31337 Indeed. A sad fact of human nature is that people oft respond tribally to disagreements rather than intellectually.@samth @bos31337 Indeed! One should look at the content. Dismissing Cowen (or Krugman) because they write for the NYT seems lazy.@samth @bos31337 Do you guys really mean this? Would you similarly dismiss someone on the left who worked at a left-leaning institution?@samth @bos31337 Then why is Krugman a NYT columnist? I think it's a mistake to too easily dismiss people based on such things.@samth @bos31337 He couldn't be a university professor?@samth @bos31337 Most importantly, does our public blogging mean we're all in the pocket of Big-FP?@samth @bos31337 Sam, do you really have a serious reason to doubt his integrity? Or do you simply disagree with him?@samth @bos31337 His main gig is as a prof at George Mason. Is every left-wing prof who works with some think tank similarly suspect?@bos31337 Ad hominem much? Cowen is a sincere guy, and I think it's deeply unfair to paint him as bought and paid for.
7/30
2014
@ndm_haskell @TacticalGrace To program well, you also need human feedback. To be good, code must be understandable by others.
7/27
2014
Can't believe @avsm tricked me into *wanting* to learn OCaml! My spare time was *already* negative, but I'm staring at "Real World OCaml".
Retweeted by Yaron Minsky
7/24
2014
Very cool work on unikernels and cloud security with MirageOS and @XenProject - Go see @avsm talk tomorrow at 11 a.m. F150 #OSCON2014
Retweeted by Yaron Minsky@diptanu @avsm Hmm. I'm not entirely sure that's a compliment. Does that mean OCaml is the new Verilog?
7/23
2014
There's a real OCaml book out, finally. (And one of the authors is a Jane Streeter, natch.) http://t.co/CKU8u3z6Nk
Retweeted by Yaron MinskyLook who is here signing Real World OCaml... #oscon http://t.co/BqfK34BtjQ
Retweeted by Yaron Minsky
7/22
2014
Income Inequality Is Not Rising Globally. It's Falling (as w/ violence, dataphobic journalism has misled people) http://t.co/9Ny5B9Oi0W
Retweeted by Yaron MinskyForget resources- the real causes of war are ideas, particularly irredentist nationalism. http://t.co/4k7kCS5qHg
Retweeted by Yaron Minsky
7/20
2014
Got my copy of Real World OCaml and a pound of caffeinated mints in the mail see you next week
Retweeted by Yaron MinskyContract law should be turned into a formal language, with static analyzers and solvers. More Haskell, less Perl.
Retweeted by Yaron Minsky
7/16
2014
@marcaruel Sure, but do you re-review post-rebase? Read the interdiff? Or just hope that the resolution was done correctly?
7/15
2014
@marcaruel How do you handle merge conflicts that happen between initial review and final linearization?
7/14
2014
"Read Real World OCaml... It might be the best computer language book I’ve read in my life." Quite a compliment! http://t.co/VhP0hEa7NcI tried to learn OCaml like 9 times before it stuck. So I wrote a Beginner's guide to OCaml Beginner's Guides. http://t.co/v5Bgp5GB7I
Retweeted by Yaron MinskyA sprawling, funny, erudite post from @OlinShivers on the nature of names: https://t.co/Eara9aQfotHunting a packet of death on @openmirage unikernels: fuzzing, confusion, data leakage, and triumph at http://t.co/igiGernsnE
Retweeted by Yaron Minsky
7/10
2014
the only "static vs. dynamic" argument i'm willing to take seriously (between matthias and bob) apparently happened: http://t.co/8onz114SoY
Retweeted by Yaron Minsky
7/8
2014
@yminsky 700 packages in OPAM now! Just need 300 more by September for the feel-good factor...
Retweeted by Yaron MinskyThoughts on automating your release prices to ensure that you never break the build, and the ensuing complications. https://t.co/JY0lUfvWEs
7/7
2014
All told, I think @OneAcreFund is an excellent organization to support if you want to buy the maximum good for your charity dollar.From their research, @OneAcreFund doubles the income of the farmers they work with. Having seen their operation, I believe the numbers.A great NGO: @oneacrefund helps poor farmers by selling training and materials on credit. Clients will only pay if they see the value.
7/4
2014
Don’t put so much faith in the ability of any programming language to solve all your software engineering problems.
Retweeted by Yaron Minsky
7/2
2014
Most large code cleanups involve losing some small bits of functionality, because those are the tendrils keeping systems intertwined.
Retweeted by Yaron Minsky
6/28
2014
Some thoughts on going back and rereading Lamport's classic clocks paper. https://t.co/aI49p7Z30J
6/26
2014
Just had a lovely dinner with Neal Stephenson after his talk at Jane Street. He is just as charming and interesting as you might imagine.My Iron post was clearly judged dull by reddit. Maybe most folk are (sanely) less obsessed than I about code review. http://t.co/Nvh3fEG6gG
6/25
2014
« Prev1234567

0