361
NVMM: A full, fast and flexible virtualization stack for NetBSD
NVMM provides the infrastructure needed for both the kernel driver and the userland emulators.
New
The latest blog posts to take off on Hacker News. 498 posts.
362
A fork() in the road
The received wisdom suggests that Unix’s unusual combination of fork() and exec() for process creation was an inspired design. In this paper, we argue that fork was a clever hack for machines and programs of the 1970s that has long outlived its usefulness and is now a liability. We catalog the ways in which fork […]
363
Measuring the overhead of WebAssembly using libsodium
The libsodium cryptographic library added support for WebAssembly back in 2017.
364
Native image lazy-loading for the web
In this post, we’ll look at the new loading attribute which brings native <img> and <iframe> lazy-loading to the web!. For the curious, here’s a ...
365
HermiTux: A Binary-Compatible Unikernel
A binary-compatible unikernel
366
GPS Time Rollover Failures Keep Happening, But They’re Almost Done
This is week "1111111111" in the GPS system. Tomorrow morning it will roll over to week "0000000000". How well will various systems handle this change? Not well, judging by what we've seen so far!
367
Ginseng: Keeping secrets in registers when you distrust the operating system
Ginseng: keeping secrets in registers when you distrust the operating system Yun & Zhong et al., NDSS’19 Suppose you did go to the extreme length of establishing an unconditional root of …
368
Correctness – A paradigm for sustainable software development
Edit (2019-04-09): A quick qualifier for future readers. This post talks about correctness in the sense of correct code and not formal proofs or formal specifications. I refer to correctness in the sense of avoidable runtime errors.
369
370
371
Adventures of putting 16 GB of RAM in a motherboard that doesn’t support it
A while ago, I put 16 GB of RAM into one of my computers. The computer is using a Foxconn P55MX motherboard with a Core i5 750. It’s old and could probably be replaced, but it still works for what I need.
372
PostgreSQL Performance on Raspberry Pi
Have you ever wondered how well PostgreSQL performs on a Raspberry Pi 3B ? Oh. You haven't? Oh well, I asked myself that question and put it to the test. This post covers how I used pgbench to answer this question and the results of what I found.
373
Microsoft finds privilege escalation vulnerability in Huawei driver
Our discovery of two privilege escalation vulnerabilities in a driver highlights the strength of Microsoft Defender ATP’s sensors. These sensors expose anomalous behavior and give SecOps personnel the intelligence and tools to investigate threats, as we did.
374
Compiler Performance and LLVM
I have always wanted the Cone compiler to be fast. Faster build times make it easier and more pleasant for the programmer to iterate and experiment quickly. Compilers built for speed, such as Turbo Pascal, D and Go, win praise and loyalty. Languages that struggle more with this, like C++ or Rust, get regular…
375
Why Do Buses Bunch?
Created by Lewis Lehe (of Setosa and UC Berkeley Trans. Eng. ) with design and art by Dennys Hess . Thanks to Ian Johnson for good advice. Tools: d3 , Angular Material , Coffeescript , Browserify , Gulp and Five-Hour Energy Drink .
376
Who has the fastest website in F1?
I was trying to make my predictions for the new Formula One season by studying the aerodynamics of the cars, their cornering speeds, their ability to run with different amounts of fuel. Then it hit me: I have no idea what I'm doing.
377
378
Splitting atoms in XNU
Posted by Ian Beer, Google Project ZeroTL;DRA locking bug in the XNU virtual memory subsystem all...
379
RaptorQ and performance optimization in Rust
I recently decided to learn more about Rust, and wrote a high performance RaptorQ (RFC6330) library. RaptorQ is a fountain code, and the core of the algorithm is a lot of matrix math over GF(256) – which translates into lots of XORs and reads from lookup tables. After getting the initial implementation working, I set…
380
OCaml on Baremetal Shakti RISC-V Processor
It has been 3 months since I joined IIT Madras and it has been good fun so far. Along with the members of the RISE group , we’ve initiated a project to build secure applications on top of secure extensions of the open-source Shakti RISC-V processor ecosystem. Unsurprisingly, my language of choice to build the…
381
Fibers: An Elegant Windows API
The Windows API — a.k.a. Win32 — is notorious for being clunky, ugly, and lacking good taste. Microsoft has done a pretty commendable job with backwards compatibility, but the trade-off is that the API is filled to the brim with historical cruft. Every hasty, poor design over the decades is carried forward forever…
382
Lucet: Native WebAssembly Compiler and Runtime
Today, we're thrilled to announce the open sourcing of Lucet, our native WebAssembly compiler and runtime. WebAssembly is a technology created to enable web browsers to safely execute programs at near-native speeds, and it's been shipping in the four major browsers since early 2017.
383
Amazon Aurora: Avoiding Distributed Consensus for I/Os, Commits, Membership
Amazon Aurora: on avoiding distributed consensus for I/Os, commits, and membership changes, Verbitski et al., SIGMOD’18 This is a follow-up to the paper we looked at earlier this week on the design…
384
Standardizing WASI: A system interface to run WebAssembly outside the web
WebAssembly is an assembly language for a conceptual machine, not a physical one. This is why it can be run across a variety of different machine architectures. WebAssembly needs a ...
385
Jepsen: YugaByte DB 1.1.9
2019-04-10: The long fork test used in this analysis contained a bug which caused it to (in many cases) fail to identify long fork anomalies. We have re-checked YugaByte DB 1.1.15.0-b16 with a corrected checker, and its long fork tests still pass.
386
An Intel Programmer Jumps over Wall: First Impressions of ARM SIMD Programming
(the pictured dish is apparently materials for “Buddha Jumps Over The Wall”, named for its ability to seduce away vegetarians – sadly it uses shark fin so has some ethical issues&…
387
We improved Tensorflow Serving performance by over 70%
In this blog, we’ll focus on techniques that improve latency by optimizing both the prediction server and client.
388
Redox OS 0.5.0
The Redox official website
389
390
Why We Love QUIC and HTTP/3
We're thrilled to be so invested in QUIC, a new transport protocol that is more responsive, secure, and flexible than what the internet uses today. Learn why, straight from our very own Jana Iyengar, one of the editors of the core document.