Viewing profile — spacemanaki

Actually, these examples are similar to the first example in my post (under the first "pathological case" heading) and don't quite exhibit the worst case behavior since the type ca…

Clearly I should write more blog posts with lots of questions at the end, thanks!

Thanks for pointing that out! I hadn't made the connection and now I've got another reason to figure out how fold works (have yet to wade through all of http://mlton.org/Fold )

It's unlikely to occur as the type is exponential in size and thus quite unwieldy to do anything with! I haven't worked with generated ML or Haskell code, but I still think it's un…

Thanks, that's very flattering as I've been a long time fan of your blog!

That's very interesting! This seems to me like it might be a different kind of edge case though, since the type of x is still t -> t, even if it takes a long time for the type chec…

Rent the Runway - New York, NY (VISA candidates welcome!) Rent the Runway is building the first online rental platform for retail goods. We're a disruptive e-commerce business that…

Well here's another honest question: what's real object-oriented programming and where can I learn more about it?

Rent the Runway is hiring all sorts of engineers (Java, Data, iOS, full stack) in the NYC area. Rent the Runway is building the first online rental platform for retail goods. We ar…

Short answer: I don't think LYAH would be entirely sufficient background, and I think familiarity with imperative equivalents is a prerequisite, but along with some other backgroun…

A researcher in programming languages once told me that when she encounters the "HTML isn't a programming language" meme she always thinks: Agda and Coq aren't Turing complete, are…

Please feel free to submit things that you think are more suitable for Hacker News.

I have no idea what you're working on, but I spent a few weeks this summer writing parsers and trying to figure out how to tackle the ugliness that seems to be inherent in hand-wri…

The purpose of a question like this, and of the classic FizzBuzz question, is to be a lightweight test of whether a candidate can actually write code or not. That's all. It provide…

It's not about macros, it's about homoiconicity. I encourage you to read chapters 4 and 5 and think about how sweet.js would help you port those chapters to JS.

As others have pointed out, chapters 4 and 5 are as wonderful and rich as they are because Scheme is homoiconic which makes writing Scheme interpreters and compilers in Scheme very…

C-_ is undo in Emacs. That's hold Control, and press "underscore". On my keyboard (most keyboards?) this requires holding Shift and pressing the "minus" key. Hopefully that's clear…

> When did it become something we have to love and wrap up so much of our self-image into? When we started spending 50, 60 hours a week at work. Even at 40 hours a week, it's exhau…

IANAL but I don't think you need to worry about this too much as an application or open source developer USING Clojure the language and Clojure's standard libs. This question and i…

As others have pointed out, apparently the police can seize your property under certain circumstances. This was discussed recently when the article mentioned in this blog post was …

If writing compilers in C++ sounds like a pain, there's also an OCaml version of this tutorial: http://llvm.org/docs/tutorial/OCamlLangImpl1.html

Props to you for actually testing simultaneous pushes where conflicts arise at the Dropbox-level, but I would still never do this (for a multiuser repo, for a single user it's prob…

I think you can preload them or just wait and it will preload them and then you can play it around 10FPS which is as fast as you'd want to in order to catch all the action, but doi…

Because selling C++ programmers on Java was hard enough ;) The full discussion that quote is from is a very interesting read: http://people.csail.mit.edu/gregs/ll1-discuss-archive-…