aseipp

152 ms·

1291.
by aseipp 10y ago
I assume you're referring to the bit about Darcs. To be fair, Pijul is an in-progress version control system, and Darcs (or the now-defunct Camp[1] project, from one of my 'predecessors' in my current job) is probably the clo
1292.
by aseipp 10y ago
and also https://github.com/google/boringssl/blob/master/crypto/newho...
1293.
by aseipp 10y ago
NTRU is patented though and requires you to use their GPL library for patent exemption, or have a paid license (as said in the project README). However, given that, there's also http://tbuktu.github.io/ntru/ as BS
1294.
by aseipp 10y ago
The sendfile/TLS work from Netflix does _not_ rely on the TLS stack running in kernel space. TLS session management, negotiation, and data framing is dealt with at the application layer, via nginx/openssl. Once the TLS handshake i
1295.
by aseipp 10y ago
Solaris has its own form of completion ports too, I believe. https://web.archive.org/web/20110719052845/http://developers... NT's IOCP is good, sensible model overall having used it some recently. I
1296.
by aseipp 10y ago
It's been in the works for quite a while (I remember reading some of the initial RFC postings), although I haven't seen people talk much of it until now. To be fair, I believe this work was primarily done by Google, who also have
1297.
by aseipp 10y ago
It does exist - I implemented it several months ago and demoed it for a local meetup for fun: https://github.com/thoughtpolice/afl/commit/e54c0237e934d734... There was seemingly no interest at all in upstream
1298.
by aseipp 10y ago
> The world moved away from such designs because the observability and stability were awful. We might have "safe" languages now that improve stability of the application, but those could just run as a process in an environment
1299.
by aseipp 10y ago
You can install packages by installing nix into your homedir. But you will never get binary packages this way. The reason is because when the software is compiled, it's stashed in the /nix directory, and might refer to other artif
1300.
by aseipp 10y ago
I agree in general. But in this case - look at the actual source code: https://github.com/qemu/qemu/blob/master/qemu-seccomp.c There's also no further refinement of seccomp privileges at runtime, so
1301.
by aseipp 11y ago
I'm happy and honored every day that a nobody like me gets to work with Simon, and talk to him regularly. His work on Computing at School, in particular his ICFP 2013 keynote, continues to be incredibly inspiring to me. Aside from his
1302.
by aseipp 11y ago
> Haskell's type system made it frustratingly easy to construct types that would force the typechecker into an infinite loop [4]. It's more akin to C++ templates, where the type checker only has a bounded number of reductions i
1303.
by aseipp 11y ago
LLVM doesn't ever even bother with rewrite rules. That's done substantially earlier in the compiler, at the Core phase (rewrite rules are 'just' equational reasoning optimizations that the compiler is aware of, so it wor
1304.
by aseipp 11y ago
That was fixed in LLVM 3.6 in a more general way, by one of my coworkers, Ben. http://reviews.llvm.org/D6454 The prologue support directly subsumes previous behavior (the `prefix` form) and is more flexible, and with it, GH
1305.
by aseipp 11y ago
I don't know about their implementation, but I wrote exactly this plugin for GCC several months ago and announced it on the afl mailing list, as a patch to the source. The lack of replies lead me to believe it was mostly uninteresting