Blaisorblade0

8 ms·

31.
by Blaisorblade0 9y ago
I mostly agree but there is a small effect: "Claims spectacular proofs with flawed arguments" might still be reason to doubt his future proofs more until verified. And mathematicians do use such criterions before reading unverifie
32.
by Blaisorblade0 9y ago
That's only obvious in a vacuous sense. As a PhD student in Programming Languages, can I request a reference?* Nobody managed to provide one on MathOverflow, and that's the StackExchange for professional mathematicians: https:&#x
33.
by Blaisorblade0 9y ago
Until recently, MSR was also very disconnected from product development. There was a distinct change last year. Also, in general most papers are more useful for writing further papers to improve on their limitations (until something's
34.
by Blaisorblade0 9y ago
> So, we have numerous secure and high-uptime systems deployed whose methods were published even if source wasn't. He or others can always build on these if they want to replicate the results. I know that's technically true, bu
35.
by Blaisorblade0 9y ago
Is there some website with some more info to read, for all those like me who dislike videos? I already googled "reflex facebook programming language" and found very little. Quoting the talk abstract ( http://www.curry-on
36.
by Blaisorblade0 10y ago
Knowing assembly won't teach you the difference between legal overflows and ones triggering undefined behavior, or why you might need -fno-strict-aliasing to cast your pointers, and many more things. Does anybody know any correct nontr
37.
by Blaisorblade0 10y ago
You're talking past each other — other, more fundamental features used to require hacking OS X. See for instance https://news.ycombinator.com/item?id=12467149 . IIRC ArsTechnica wrote at some point that monkey-patching
38.
by Blaisorblade0 10y ago
Many app stores (even for smartphone) have sandboxes where you can grant additional privileges. Of course the user (who else) has to decide whether they trust the app or not. But I'd be happier trusting a sandboxed Dropbox, especially
39.
by Blaisorblade0 10y ago
https://en.wikipedia.org/wiki/Godwin%27s_law ? :-D
40.
by Blaisorblade0 10y ago
Are you the OP author, or working on Pyston? I have basically two questions/curiosities — I'm not asking adversarially: 1) For which code is the C runtime most expensive? Typical Python code tries to leave heavy-lifting in librari
41.
by Blaisorblade0 10y ago
Unlike Scala, you can't figure out what Python code means correctly and statically — you have little idea what will be called by a function without running the code up to that point, so it's hard to do semantics-preserving refacto
42.
by Blaisorblade0 10y ago
For anybody curious, I think he's hinting at modern effect systems, on which there's lots of research these days. He advised for instance Lukas Rytz PhD thesis at EPFL (and Lukas Rytz is still working on Scala, now at Lightbend).
43.
by Blaisorblade0 10y ago
Assuming I get him correctly, that's bad sarcasm. I'd recommend instead this joke on JavaScript toolchain: http://cube-drone.com/comics/c/relentless-persistence Compilers are huge beasts, but good ones a