ezyang

10 ms·

61.
by ezyang 10y ago
In my observation, the problem is recompilation avoidance. If you miss it the first time around (maybe you're just trying to get the thing to run) they won't come back unless you do a full rebuild. With a little care you can build
62.
by ezyang 10y ago
Note that R7RS does not really have any sort of sophisticated phase system for macros.
63.
by ezyang 10y ago
I didn't make it past the fizzbuzz example. But I wouldn't call the solution with cycle all that clever. Here's a better one: https://themonadreader.files.wordpress.com/2014/04/fizzbuzz.... the punc
64.
by ezyang 10y ago
Credit where credit is due: nix-local-build is mostly Duncan Coutts work (I just wrote the announcement, and contributed some patches!)
65.
by ezyang 10y ago
Well, if you are a user using Stack, packages which are not in the LTS have to be added manually. So in a Stack universe, treating LTS as the universe of packages is not unreasonable. I don't think either Stack users or Cabal users thi
66.
by ezyang 10y ago
Well, at least one motivation for launching a new site is so that https://haskell-lang.org/get-started is a much more streamlined way to onboard users than the existing https://www.haskell.org/downloads Unf
67.
by ezyang 10y ago
Ur/Web uses region based memory management. Details are in http://adam.chlipala.net/papers/UrWebICFP15/ search for "memory management".
68.
by ezyang 11y ago
In fact, most garbage collection variants are very pleasant to implement if you assume that your system only has one type of object. (Simple enough to ask undergraduates to do as a weekly homework.) Things get more hairy when you (1) want t
69.
by ezyang 11y ago
I think it is uncontroversial that many tools would benefit from access to the frontend. But what is the interface to the frontend? There is tremendous diversity among frontends; it's the key distinguishing feature of most languages. W
70.
by ezyang 11y ago
I mentored Giovanni on the two-step allocator patch, and in the process we discovered that on Windows, page tables for all of your reserved address space are counted towards the memory limits of your process. This also affects Go ( https:&
71.
by ezyang 11y ago
Yes. https://en.wikipedia.org/wiki/Bird_strike
72.
by ezyang 11y ago
You are almost certainly misstating the Haskell programmer's question, because C makes it very easy to test if two function pointers are equal (intensional equality) whereas Haskell makes it very hard.
73.
by ezyang 11y ago
First class modules let you package up a module in the module level language into a value, so you can pass it around in the expression language. But 1ML's goal is to eliminate the separation between the module language and expression
74.
by ezyang 11y ago
The talk was given to a packed room at ETAPS, a European computer science conference leaning more on the theoretical side (I suppose everyone was curious how optimizing compilers were dying). All in all, the audience did not bust out the pi
75.
by ezyang 12y ago
Everyone here is talking about Timsort, but you should also check out the materials they've published about the KeY project, which they used to carry out this verification. http://www.key-project.org/~key/eclipse&#
76.
by ezyang 12y ago
Does StackOverflow notify when your answer is edited?
77.
by ezyang 12y ago
JavaScript sandboxing is a sort of orthogonal concern to what Cowl is after. Cowl needs sandboxing to work (either by built-in browser support, or by Caja et al), but even with a sandbox, you still need some sort of policy for when to all
78.
by ezyang 12y ago
Hello, one of the paper authors here. One of the jobs that our implementation has to do is close down all channels by which JavaScript could leak data: so this includes postMessage, the DOM, XHR, cookies, local storage... fortunately, these
79.
by ezyang 12y ago
I draw my slides in Xournal on slide sized pages, and then export to PDF to present them. I roll a few patches to the software to make it easier to make build slides, but otherwise it's pretty self-explanatory. ( https://gith
80.
by ezyang 12y ago
I don't know what you are talking about, but all of those vegetables are delicious if cooked properly.
81.
Blind Return Oriented Programming (BROP)(scs.stanford.edu)
11 points by ezyang 13y ago|0 comments
82.
by ezyang 13y ago
Yes.
83.
by ezyang 13y ago
Re (3), no, :set paste does not fix his problem.
84.
by ezyang 13y ago
Are you referring to thunk update after lazy evaluation? This is a very special kind of mutation, because after the update, it is guaranteed never to be mutated again. This is quite helpful for generational GC, actually, and underlies the
85.
by ezyang 13y ago
I've been running maildir-label-syncing Sup for a while. It works great, but you need the master Sup client to be running for new email to get sorted. http://blog.ezyang.com/2012/12/maildir-synchronizing-sup&#
86.
by ezyang 13y ago
It is a little hard to tell what the point of Terra is from the website; you should check out the PLDI paper for a better sense for what is going on http://terralang.org/publications.html (in particular, the example apps are telling: "Our
87.
by ezyang 13y ago
This would not work; suppose someone was using the point distribution "wait one hour and then withdraw", then it would be trivial to deanonymize Zerocoins.
88.
by ezyang 13y ago
Expected wait time: infinity!
89.
by ezyang 13y ago
Here is a puzzle for HNers. Suppose that I am a user who wants to anonymize some Bitcoins, and I am willing to wait expected time N before redeeming my Zerocoins. What is the correct probability distribution for me to pick my wait time from
90.
NLP: the missing framework(blog.ezyang.com)
1 points by ezyang 14y ago|0 comments

More ›