Quantcast
Sign in with Twitter

Username:

Occasional OCaml programmer

75 Following   1,435 Followers   709 Tweets

Join Twitter 6/21/09

Reverse Tweets
@glassbottommeg @CAIndy Love scratch, but he graduated from it (to racket, a scheme dialect) a couple years ago. Also, no iOS.
4/23
2014
@glassbottommeg @CAIndy we tried it, but it felt opaque: we were pretty stymied by the unknown identifier errors we hit.@CAIndy @UnrealEngine Corona http://t.co/xD3obrOmw0 sounds interesting mostly because it uses Lua, a fairly simple and sane language.@CAIndy @UnrealEngine does it support 2d games? And what language does it use? We tried stencyl, but found it pretty hard to grok.My 12 year old who was trained on taker wants to make iOS games. Any suggestions for a good game platform to get him started on?
4/22
2014
Frenetic got a Google Summer of Code project approved, and a student assigned! This summer's gonna be a good one, I can feel it.
Retweeted by Yaron Minsky@kmett @RachelB_Citrix @jonharrop seems like a poor statistical inference, even if the result is true...
4/21
2014
If you have experience using functional languages in practical settings, please consider giving a talk at #cufp2014. http://t.co/nFUnag5HPi
Retweeted by Yaron Minsky
4/20
2014
Caught my daughter reading "How to Program in C" today which she swiped from my office. Need to have that talk about buffer overruns.
Retweeted by Yaron Minsky
4/19
2014
Upside of taking care of my daughter alone: more father-daughter time. Downside: more father-daughter time at 4:45am.
Retweeted by Yaron Minsky
4/16
2014
Interesting intern project: patdiff4, a tool for reading merges. I expect we'll release it pretty soon.@MalcolmKDiggs should be fixed now.@marius I was surprised that there was little discussion of diff and patch, which are surprisingly important.
4/12
2014
@natefoster No, but that's a great resource. Thanks.@yminsky Great responses! Especially interested in more non-PL suggestions. I'm already planning on Lamport's clocks paper, but what else?@mattmight Hah! Excellent idea, considering that he is presently sitting right next to me!Hey Twitterverse! We'd like to do a "great CS papers" seminar this summer. What classic papers should a bunch of FP system hackers read?Records inlined in variants: excellent new feature that will hopefully hit with 4.02 - https://t.co/bmXf4XJXTB
4/10
2014
@migueldeicaza It's time for memory safe language folks to look smug. Waiting for the first TLS bug caused by type inferencing.
Retweeted by Yaron Minsky#dreaming SSL implementation written in a language with automatic bounds checks... http://t.co/5GM72kIhyE #ocaml https://t.co/TMgqalnj9t :)
Retweeted by Yaron MinskyYesterday's solutions to today's problems brought to you by PL. #heartbleed
Retweeted by Yaron Minsky
4/8
2014
Just build my first ocaml program from @RealWorldOCaml in @CodioHQ :) http://t.co/9AI6PntApg
Retweeted by Yaron Minsky
4/6
2014
The @CodioHQ OPAM part now includes a precompiled @realworldocaml Core environment. 1 minute to get started with https://t.co/my2W73CJGz
Retweeted by Yaron Minsky
4/4
2014
@estherbaruk Congratulations! And now at least some of what Bloomberg is using OCaml for becomes clear...Bloomberg Licenses LexiFi’s Technology to Strengthen Derivatives and Structured Products Coverage: http://t.co/uFZi3cvhdm
Retweeted by Yaron MinskyI teach a retro AppleSoft computer lab for son and friend on Sundays. On the whiteboard: D&D, encryption, hangman. http://t.co/S4ZoisVn1P
Retweeted by Yaron Minsky
3/31
2014
.@CodioHQ adds OCaml and OPAM support, and it is insanely slick. http://t.co/EWtmFnpPhr (/ht @philtor)
Retweeted by Yaron MinskyTwo-part episode on OCaml/network hackery over at http://t.co/0Me5ZZADn5 and http://t.co/0hLNr58YFp . tl;dr : parrrrrrserrrrrrrrrs :|
Retweeted by Yaron Minsky
3/26
2014
@jakedonham No joke!. Our early Jenga rules included rules for building Jenga rules from omake rules, to ease the transition. Tricky stuff.@jakedonham We do not, though it had its own monad for expressing dependencies. I think incremental isn't quite right for the problem...lots of cool stuff happening in OCaml land http://t.co/WwH1e8GjLO might go back into OCaml retirement (== full-time recreational hacking)
Retweeted by Yaron Minsky@jakedonham Jenga is getting there. Once you have a good build system a lot of that is more about getting the dependencies right...http://t.co/Culws5dfVo: Summer internship opportunity with Jane Street. Learn #OCaml, functional programming, and more. /cc @yminsky
Retweeted by Yaron Minsky
3/25
2014
@sapinker That said, formal statistics is not the only path to knowledge. Old fashioned reasoning without explicit stats is valuable too.@sapinker "Is numeracy really what American public discourse most urgently lacks?" Actually, yes.
3/22
2014
@TacticalGrace I don't know anyone, but the internet does: https://t.co/WXYJJtwhCc@TacticalGrace @jakedonham I'm not sure, but I know they were hiring, and they're listed on http://t.co/7qZ4cZLTNU@TacticalGrace @jakedonham And FB is not even the biggest company using OCaml! Don't forget Bloomberg. Still, a big win for OCaml.@TacticalGrace @jakedonham Not to carp, but by # of people programming in OCaml, Jane Street is surely bigger!
3/21
2014
I'm pleased to say there is (finally) an SSL library for Async. Cohttp support to follow soon... https://t.co/jl06mhCkWBThe single most important page of Hack documentation: http://t.co/Zyuw9K3C71
Retweeted by Yaron Minsky@jakedonham next step: Facebook starts writing front end code using js_of_ocaml...@jakedonham Great news! I was disappointed that the Wired story didn't name check OCaml.
3/20
2014
video of my PhD thesis advisor popping news of breakthrough cosmic inflation discovery! https://t.co/uzeeeybRL4
Retweeted by Yaron Minsky@tsimeris @caitelatte thanks for having us! I quite enjoyed all the exclaiming, and I'm glad I didn't bore you all to death...Interesting reason to choose OCaml http://t.co/CEmaHmsnaa I totally agree with it http://t.co/FtopOHial7
Retweeted by Yaron Minsky
3/18
2014
@prasanna Oddly, that sounds totally plausible.Started noticing fake twitter accounts with nonsense sentences ending with a random character sequence. What gives? https://t.co/TwQ1SwFQ1FI'm not usually riveted by a talk based on its technical merits, but @avsm is currently blowing my mind with his OCaml micro-OS. #fpx
Retweeted by Yaron Minsky
3/17
2014
@JohnMartinIT @etorreborre I already have a bridge climb scheduled. Any other stuff I need to reserve in advance?"Are you coming to bed?" "I can't. This is important." "What?" "There's an article about xkcd." http://t.co/WV7El1rXBn
Retweeted by Yaron Minsky
3/16
2014
They say never to meet your heroes, but meeting @ID_AA_Carmack was inspiring and fun. And I think I need to learn functional programming.
Retweeted by Yaron Minsky
3/15
2014
@marius Also, the idea that the difference between software and building reliability is the use of specs is just silly.@marius One of my favorite tricks is to write little programs as partial specs. In ML, functors are a great way to do the mocking.@marius I don't think he's totally off base, though. Specs can be very valuable.@marius I find Lamport's dislike of types in specs uncompelling. He's highly confident about it, without knowing the theory or current toolsGoing to be have a free day or two in Sydney, in between university visits and talks. So, twitterverse: what should I do?Big chunks of time spent talking about session types and flow control. Another grueling day at the office.
3/14
2014
Programming is much like I imagine sculpting. The details of the thing, and sometimes even its structure, only becomes evident over time.
Retweeted by Yaron Minsky@ArjunGuha Shouldn't that be Professor.pat self Back?
3/13
2014
@existentialtype Code. http://t.co/ZzGuYCakgt is one such.As they say, when all you have is a hammer, everything looks like a timestamped, ordered, replayable sequence of state changes.
Retweeted by Yaron MinskyStarted using nature-sound generator thorough a noise canceling headset while coding. The sense of solitude it generates is stunning.I enjoy the fugue state created by a big refactor. OCaml's type errors guide you so well that it is a bit mindless, like knitting.
3/12
2014
A nice example of how not having variants pushes you to make error-prone APIs: http://t.co/O5IH1XHiBR
3/10
2014
@yminsky I remember wanting to learn C because it was an adult language. Now it's just for kids... Grownups use Ocaml, Scala and Haskell.
Retweeted by Yaron MinskyJust got a sparki robot. Time to teach the kids C! http://t.co/osCYT0QeISFun when I get to use Real World OCaml http://t.co/5XwxkB7CQP to explain a tricky issue at work. Like this one: http://t.co/heifEVGbXU
3/9
2014
The flip side of Apple's "it just works" promise is that, when it doesn't, you're left with no data to help you figure out why.
3/6
2014
Give me cheap concurrency and sound static types and I will write code in hieroglyphics. Syntax is way less important than programmers think
Retweeted by Yaron Minsky
3/5
2014
I finally watched the "Effective ML" talk by `@yminsky - http://t.co/ESMJX4Mddp. Lot of great advice. Largely applicable to Scala, F# too.
Retweeted by Yaron Minsky
3/3
2014
As you get older and more experienced, systems design becomes ever harder. The naïveté of youth cuts most branches before they sprout.
Retweeted by Yaron Minsky
3/1
2014
Just switched http://t.co/Td4Pvn86z5 over to Wordpress. Surprised to discover that our own David House was one of the Wordpress developers.Got this thank-you from @hackerschool for my time as a resident. Thanks guys! It was a lot of fun for me too. http://t.co/SifGrjxtLw
2/27
2014
@barrkmadley yeah, I saw this too. Should be fixed tomorrow. Apologies....Horribly out of place, but great to see Real World OCaml in a real book store! http://t.co/9qhGdfKQ2A
Retweeted by Yaron Minsky
2/26
2014
@littlecalculist @lmeyerov Easy to understand code is the goal. Equational reasoning is just one way to get it. A good one, but not unique.@littlecalculist @lmeyerov In this case, the non-equational solution is unusually confusing. I'm not in general opposed to imperative code.@rshestakov Incremental is, sadly, not open-source, and we have no plans to do so.@littlecalculist @lmeyerov Kind of. I think equational reasoning is one way to make something easy to understand, but not the only one.Adapton, a calculus for demand-driven incremental computation: http://t.co/6WqkLPXIDQ and here is the ocaml library: https://t.co/xTKGdy1jyM
Retweeted by Yaron Minsky
2/25
2014
A follow-up on @czaplic's talk at Jane Street: an attempt to explain and extend Evan's taxonomy of FRP. https://t.co/u7dCJWJLmm
2/24
2014
@dijkstracula @avsm Async_kernel is pretty interesting, though it's pretty subtle stuff.
2/23
2014
Things you don't want to find in your filesystem's source code: https://t.co/s7XORRlLeD
Retweeted by Yaron Minsky
2/21
2014
@donsbot Which continent were you on?A couple of guys with "OCaml since 2002" tshirts at the pub. Of course they work at Jane Street.
Retweeted by Yaron MinskyLooks like I'm going to be giving a talk at QCON NY. Should be fun. https://t.co/BoT33N9enO@czaplic it's supposed to be about efficiency. Does it deliver?@czaplic And what about this one? http://t.co/xIZcTYq4Sm It has monadic in the title!@czaplic How does this paper fit in?http://t.co/KaJu3MVI3K It does seem to include a monadic interface in there.@hausdorff_space @czaplic We recorded. We'll see how well it comes out.For our uses, dynamism is important, so we jettison history. (And where we need history, we jettison equational reasoning!)@lambda_foo @czaplic If the recording turns out OK and Evan doesn't mind, I'd be happy to post it.@jakedonham @czaplic the example Evan gave was that (count mouseclicks) depends on when it is evaluated. It's a real problem we see too.... and impure monadic FRP jettisons equational reasoning.Seems like self adjusting computations jettison history, applicative FRP jettisons dynamism, and pure monadic FRP jettisons performance.Excellent talk from @czaplic at Jane Street, giving a taxonomy of FRP that highlights the tension between dynamism, performance and history.
2/20
2014
Reminder: Silicon Valley OCaml meetup tonight 6:30pm at the Rose and Crown in downtown Palo Alto. http://t.co/Cu4jZmFgsf
Retweeted by Yaron Minsky
2/19
2014
@yminsky there's no strict deadline, but April is pretty late. I'd aim to get it in by mid March.@TacticalGrace @sperbsen @dterei Is referencing noisy data when it "rings true" of any real value? Better not to muddy the waters...
2/17
2014
« Prev1234567

0