1351
New
The latest blog posts to take off on Hacker News. 1,357 posts.
1352
Using TLA+ to Understand Xen Vchan
The vchan protocol is used to stream data between virtual machines on a Xen host without needing any locks. It is largely undocumented. The TLA …
1353
Monorepos: Please don’t
Here we are at the beginning of 2019 and I’m engaged in yet another discussion on the merits (or lack thereof) of keeping all of an…
1354
Exploiting the Math.expm1 typing bug in V8
Minus zero behaves like zero, right?
1355
Programmer as wizard, programmer as engineer (2018)
Context matters. Sometimes we need to get things done, sometimes we need to build things to last.
1356
PANE: Programming with visible data
PANE is a live, functional programming environment built around data-visibility. In PANE, all intermediate values are visible by default, and you construct a program by acting on these concrete values.
1357
Learning KVM – implement your own kernel
Few weeks ago I solved a great KVM escaping challenge from TWCTF hosted by @TokyoWesterns . I have given a writeup on my blog: [Write-up] T...