Viewing profile — kmavm

Crudely? Because you can't grep a sequence of latent states for variants of "If I kill all the puny humans, I can ."

Hi, Klaudia and Dawid! Any clue how 4.7 does?

I was an intern at SGI in the summer of 1998, when we shipped the latest minor version of IRIX, 6.5. I worked on a test suite for IRIX's pthreads implementation, and got to ship a …

It's an easter egg on the website that usually goes unnoticed. It's our first time on the front page of HN, so it's a little overutilized right now. Capital-C clears it.

Hi Fil! Congrats on all the amazing progress on Fil-C. We needed to port all the user-level fork(2) calls to vfork(2) when working on uCLinux, a port of Linux to MMU-less microcont…

Amazing. I can practically smell that owl it looks so darned owl-like. From the article it doesn’t seem as though photorealism per se was a goal in training; was that just emergent…

Your LLM of choice generates insecure code. The good folks at Vidoc ( https://www.vidocsecurity.com/ ) built this browser extension to help.

(Disclaimer: I'm an investor in Krea AI.) When Diego first showed me this animation, I wasn't completely sure what I was looking at, because I assumed the left and right sides were…

It's "out of favor" because it completely failed as a research program. Let's not equivocate about this; it's nice to understand heuristic search, and there was a time when things …

Slight correction: HipHop for PHP was cleanroom, including rewriting large families of native extensions to work with its C++ runtime, although it eventually developed workalikes f…

The idea that "virtualization" began with Zen in 2004 is rather difficult to read as an early VMware employee. Before QEMU independently discovered it, VMware was JIT'ing unrestric…

When I was at VMware in the 'aughts, VESA often saved us as an unaccelerated option for guests that didn't yet have a driver for our virtual display. Was there really no VESA drive…

I was Chief Architect at Slack from 2016 to 2020, and was privileged to work with the engineers who were doing the work of migrating to Vitess in that timeframe. The assumption tha…

This is accurate: Slack is exclusively using Hack/HHVM for its application servers. HHVM has an embedded web server (the folly project's Proxygen), and can directly terminate HTTP/…

Hi! We didn't do a great job writing about this at the time, but Slack's migration into HHVM took place in 2016. We've been gradually increasing the coverage of Hacklang (Facebook'…

We decided early on to colocate most aspects of the back-end, in part because we anticipated shared channels[1], but also because provisioning even virtual hardware for each team w…

A lot of VC funds are required to liquidate and return proceeds to LPs in the event of an exit, whether through IPO or acquisition.

I'm chief architect at Slack, and we migrated to Hack from PHP 5 throughout 2016. The toolchain for HHVM is all installed as a single big deliverable, which gives you the language …