Quantcast
Sign in with Twitter

Username:

Occasional OCaml programmer

88 Following   2,104 Followers   1,167 Tweets

Joined Twitter 6/21/09

Reverse Tweets
@jordwalke @avsm Jenga might be just the thing for that. Email me directly and I can hook you up to the Jenga devs to discuss.@bos31337 it's a known issue, so it didn't seem worth reporting again. Do you think we should send in a report of our experiences anyway?@avsm @jordwalke Agreed.
3/27
2015
@bos31337 any progress on better support for highly branchy workflows? That's what's currently killing us.@bos31337 our current pain point is that mercurial performance falls apart for highly branchy workflows.@bos31337 does that mean there's some news about improvements to mercurial performance? I'm all ears...
3/26
2015
It is a trivial thing, but I find myself missing the use of lisp-style identifier punctuation in C++ now -- ReadyToSpawn? uid->name etc.
Retweeted by Yaron MinskyHacker School is now the Recurse Center: https://t.co/11kxJmaHqP
Retweeted by Yaron MinskyIf your #OCaml code/repo on @github is being misreported as SML, then it should fix itself on the next push. Pls RT!
Retweeted by Yaron Minsky
3/25
2015
Some notes on progress towards a lighter Core. https://t.co/gsFlfUR2zU
3/23
2015
I am continually astonished every time I do an "opam upgrade" and everything just works. The maintainers have done an amazing job.
3/20
2015
System I created mentioned positively by @ID_AA_Carmack. #achivementunlocked
Retweeted by Yaron MinskyI just dumped the C++ server I wrote last year for a new one in Racket. May not scale, but it is winning for development even as a newbie.
Retweeted by Yaron Minsky
3/17
2015
@samth well, there's a design choice about how much of the semantics to put in the type. More isn't always better.@ndm_haskell I never know how to think about this stuff. I found Scheme to be delightfully intuitive, and ML took me years to appreciate.@ndm_haskell I think it's easier to introduce an 11 year old to Scheme than to an HM language. Then it's nice to add types incrementally.@ambrosebs Arity is one source, the numeric tower another: http://t.co/zfcVxYahIfIn Typed Racket, it seems you routinely work with functions whose types are too big to fit in your head. Wonder how that works out.@das_kube Here's the type of minus, if you want to see what I mean by shockingly detailed: http://t.co/zfcVxYahIf@das_kube Not really. Just a shockingly detailed set of types for numerical functions operating on the highly subtyped numeric tower.Typed Racket's numeric tower is great and terrifying. This http://t.co/kgo5vs8urb doesn't typecheck, but this http://t.co/7bfP459PlS does.Had some fun experimenting with typed racket this morning. There are some bumps on the road, but I'm excited about the teaching potential.
3/15
2015
Spending the morning doing Project Euler problems with my kid. What could be better?
3/14
2015
One of the unheralded advantages of OCaml is how effective functors are for exploring design ideas.And Cohttp getting ported to Async_kernel instead of Async. Portability, here we come... https://t.co/o4WTHkMCtQThank heaven for small compiler improvements: https://t.co/AMwExwx6sWThe first rule of Philosophy Club is hard to define.
Retweeted by Yaron Minsky
3/13
2015
It's unfortunate how hard it is to study effectiveness of coding tools and techniques. There's no pile of sophomores high enough to help.
3/12
2015
@TacticalGrace just need to get an OCaml unikernel compiling to JavaScript and then embed it in a PDF and we reach full enlightenment
Retweeted by Yaron Minsky@amirmc @github it's okay, this is good for the hipster appeal. OCaml was starting to get too mainstream.
Retweeted by Yaron Minsky@MichaelOChurch @aphyr ouch.@aphyr presumably you were browsing Hoogle just for kicks, then. You're a weird guy.@aphyr I'm glad to learn we see eye to eye!@aphyr here's my slogan: ---Types: better than nothing.@aphyr Types aren't the only documentation you need. But they are the only documentation that is highly likely to be correct.
3/11
2015
When you stop working immediately after making a discovery, just to enjoy the brief moment before you realize that you are wrong. #research
Retweeted by Yaron Minsky
3/9
2015
@jakedonham Is it written up anywhere? This area is shot through with subtle semantic questions. It would be nice to learn from others.Writing upgrade/downgrade functions is a drag. Any suggestions on language features, idioms or tools to help?@tapam_ Emacs.Finally! Async_kernel now depends on Core_kernel, and not Core. https://t.co/M5Y3o2heLh
3/6
2015
Using Merlin for a few months, I'm addicted to it. I wonder what other conveniences I'd consider essential if I had them?Another perspective: the rebase-always workflow is just another way of taming merges through centralization. https://t.co/Gc3uTMTDOA@mort___ Whoops. FIxed.@yminsky Rebasing adds no power: it's just merging and then forgetting that you merged. But the forgetting forces a low concurrency workflow@yminsky Not really. To get sane behavior, you need to be doing the rebases sequentially on a central repo.@EyalL Indeed, that's one form of centralization. Iron gives you similar benefits while allowing less constrained workflows.
3/5
2015
@vu3rdd Fixed.Some thoughts on how centralizing your version control system can lead to better merges. https://t.co/Gc3uTMTDOA
3/4
2015
@pchiusano I do think adding an infix operator should be though of as expensive. You should weep a little each time you add one.@pchiusano But I do worry about idioms that work well for the initiated, but that one struggles to explain to more casual readers.@pchiusano there's something to this, and yet, by this criterion, I'd prefer Scheme to typed languages, which I don't.
3/3
2015
My first pull request to the OCaml compiler. A daring change indeed. https://t.co/JvQtSFuLVf
3/2
2015
@rnml0 I'm only flipping part 1. Part 2, where core command is, has some more platform specific bits.
3/1
2015
@das_kube The subtyping facilities of polymorphic variants make them complex, but it's the concision that makes them valuable typically.@das_kube The typing discipline around polymorphic variants is error prone, making some typos typecheck that ordinary variants catch.@das_kube Quite the opposite. I would use polymorphic variants even less, now that type directed disambiguation exists.@avsm @natefoster that's probably for the best.
2/28
2015
@hmansell @ndm_haskell You guys rock. Thanks. I'm hoping this can inform some improvements to OCaml.@hmansell @ndm_haskell Makes sense. Is there a summary I can read of how this function affects gc speed?@ndm_haskell do you know the form of the size hint?
2/27
2015
Wrote a little network server in @racketlang today. Very pleasant. May have to port to something else to avoid freaking out coworkers.
Retweeted by Yaron MinskyA key part of any great @icfp_conference submission is a @PhilipWadler-esque title.
Retweeted by Yaron Minsky
2/26
2015
@yminsky I'll take a look@bitbckt link?@bitbckt but the two are connected. Running the major GC is required for collecting the off heap memory.@bitbckt which is essentially to pretend that they have size zero...@bitbckt OCaml has some heuristics for this. Is the normal approach to ignore the size of these off heap objects entirely?@bitbckt the number and size of off-heap objects should influence how fast you push the collector.@bitbckt e.g., if you wrap gmp, then you will have pointers from your heap to the gmp objects in the malloc managed heap.Anyone know a good approach for adjusting the speed of a GC to account for out-of-heap values? What does Java do? Haskell? Dot-net?Reading code is harder than writing code because you have to understand the code if you're reading it.
Retweeted by Yaron Minsky
2/25
2015
@llaisdy Not sure, but I'm hoping to get a first version online in a month or so. There won't be much new content at first though.
2/24
2015
Really nice paper able OCaml's upcoming(?) ad-hoc polymorphism mechanism. http://t.co/fw31aaNeUp http://t.co/MD2VaXR30R
Retweeted by Yaron Minsky
2/23
2015
@marius also, you might want to recharge...@marius right you are. I'm quite surprised...@marius I'm pretty sure that was SPJ. Bob doesn't think Haskell is the world's best anything.Really, you should judge a functional programming language on how much it helps you program with effects.This comes I worry from an aversion to effects. But this is crazy. Effectful programming is of fundamental importance.@yminsky perhaps they mean that it has no aspects that do not function. Or perhaps they are using purely as an emphatic, like 'hella'
Retweeted by Yaron Minsky@igstan I think that's irrelevant, but that's a somewhat contentious point of view, for reasons that escape me.Never know what to say when someone mentions their "purely functional" networking code. Should I explain that sending a packet is an effect?
2/19
2015
If your language makes illegal states unrepresentable, then only criminals will have unrepresentable states.
Retweeted by Yaron Minsky
2/18
2015
@natefoster Possibly, though the timing seems a bit off...
2/16
2015
@yminsky Learning a new language is a great way to pass time during a blizzard.
Retweeted by Yaron MinskyInterestingly, Amazon stats and website hits for Real World OCaml, and # of opam users are up big in the last 6 weeks or so. Not sure why.
2/15
2015
@tianyi linguists are hard core...
2/10
2015
@avsm @kc_srk also take a look at core's Command library. https://t.co/hwJR7Wa67t@lambdahands FWIW, that should be fixed soonish. We're reorganizing Core to not use packed modules, which will resolve the issue.@das_kube Hah! I don't know that those will land in the same release, but OCaml is surely improving fast.@das_kube more improvements to the current GC than a brand new one. But yes, all changes are intended to be upstreamed.Had fun learning from D. Doligez how poor our understanding of the GC was. But both our understanding, and the GC, are improving rapidly.@typeocaml Mostly because I almost never use it...Just started updating text for a refresh of Real World OCaml. Struggling a bit with how to explain type directed constructor disambiguation.Music to my ears:@yminsky on the importance of increasing productivity to solve the problems that matter. https://t.co/397Ejs79lZ
Retweeted by Yaron Minsky
2/9
2015
Rewriting a bad old RPC system from a decade ago, struck by how little I knew about modular design. I know more now, but it's still hard.@yminsky Though we also need to get opam on Windows working smoothly to truly achieve non-embarrassment.Looking forward to a second edition of Real World OCaml, using Core_kernel instead of Core. Non-embarrassing Windows support here we come!
2/6
2015
@ApocalypseHow @CBR Same here. Looking forward to the comic!The patch making Async_kernel depend only on Core_kernel just got through review. Anyone care to volunteer libuv bindings?@krismicinski You might be surprised to learn we're even willing to hire people who have never gone to grad school!
2/5
2015
« Prev1234567

0