spacemanaki

7 ms·

1.
by spacemanaki 12y ago
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 can be represented in linear space as a dag.
2.
by spacemanaki 12y ago
Clearly I should write more blog posts with lots of questions at the end, thanks!
3.
by spacemanaki 12y ago
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 )
4.
by spacemanaki 12y ago
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 unlikely to be an issue in "real" cod
5.
by spacemanaki 12y ago
Thanks, that's very flattering as I've been a long time fan of your blog!
6.
by spacemanaki 12y ago
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 checker to arrive at this. From the little I got out of
7.
by spacemanaki 12y ago
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 believes democratizing luxury products in the US is ju
8.
by spacemanaki 12y ago
Well here's another honest question: what's real object-oriented programming and where can I learn more about it?
9.
by spacemanaki 12y ago
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 are a disruptive e-commerce business that believes that democr
10.
by spacemanaki 13y ago
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 background. Long version: I stumbled a bit when trying to read t
11.
by spacemanaki 13y ago
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 they also not programming languages? Th
12.
by spacemanaki 13y ago
Please feel free to submit things that you think are more suitable for Hacker News.
13.
by spacemanaki 13y ago
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-written recursive descent parsers. While I learned a lot,
14.
by spacemanaki 13y ago
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 provides a negative signal if they fall completely to get anyw
15.
by spacemanaki 13y ago
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.
16.
by spacemanaki 13y ago
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 easy -- no need for hairy lexing and parsing steps. Since (
17.
by spacemanaki 13y ago
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.
18.
by spacemanaki 13y ago
> 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 exhausting to try to find any real time to devote to hobb
19.
by spacemanaki 13y ago
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 its answers on Stack Overflow points to an interpre
20.
by spacemanaki 13y ago
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 submitted here, well worth the read IMHO https://
21.
by spacemanaki 13y ago
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
22.
by spacemanaki 13y ago
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 probably fine). Maybe I'm overly risk-averse, but I&#x
23.
by spacemanaki 13y ago
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 doing this manually with images in a viewer would be prett
24.
WebGL Fundamentals(greggman.github.io)
2 points by spacemanaki 13y ago|0 comments
25.
by spacemanaki 13y ago
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-html/m... Guy Steele suggests tha
26.
by spacemanaki 13y ago
It's not clear from your original top level post whether you've played the game and are complaining about the UI quirks described elsewhere in this thread, or if you're talking about the ASCII art. If you're talking abou
27.
by spacemanaki 13y ago
Well, even Tarn Adams himself agrees: http://www.reddit.com/r/IAmA/comments/1avszc/im_tarn_adams_o...
28.
by spacemanaki 13y ago
I used to feel like this, until I saw Simon Peyton Jones use Comic Sans for a slide deck on Haskell and decided this was a such a petty, knee-jerk reaction to something as superficial as font-choice. At this point, I'd almost choose Co
29.
by spacemanaki 13y ago
Which API were you using? Java's HttpUrlConnection is notoriously badly designed [0] On Android (and elsewhere of course) you can use Apache's HttpClient instead which is a bit less horrible [1]. Part of this problem is checked vs
30.
by spacemanaki 13y ago
> unless of course the recipes you're using are hosted on github Yeah, the problem I was having at the time was that Homebrew was trying to fetch a tarball hosted on Github. I was just whinging though, that was the only time I'

More ›