kmavm

5 ms·

1.
by kmavm 4mo ago
Crudely? Because you can't grep a sequence of latent states for variants of "If I kill all the puny humans, I can <achieve my current goal>."
2.
by kmavm 5mo ago
Hi, Klaudia and Dawid! Any clue how 4.7 does?
3.
by kmavm 6mo ago
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 teeny, tiny bit of real code that fixed a real-time hol
4.
Project Operational Autonomy: our agent-to-agent-future(pebblebed.com)
3 points by kmavm 7mo ago|1 comments
5.
by kmavm 8mo ago
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.
6.
Kernel bugs hide for 2 years on average. Some hide for 20(pebblebed.com)
294 points by kmavm 8mo ago|165 comments
7.
by kmavm 1y ago
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 microcontrollers[1]. It used to be that paging MMUs were kinda expens
8.
by kmavm 1y ago
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 from human preferences, or did it take some specific data
9.
FilC: A memory-safe implementation of C and C++(github.com)
3 points by kmavm 1y ago|0 comments
10.
Scan LLM-Codegen for security issues(chromewebstore.google.com)
4 points by kmavm 2y ago|1 comments
11.
by kmavm 2y ago
Your LLM of choice generates insecure code. The good folks at Vidoc ( https://www.vidocsecurity.com/ ) built this browser extension to help.
12.
by kmavm 3y ago
(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 like composited together or something. But it&#x2
13.
by kmavm 3y ago
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 like compilation were poorly unders
14.
by kmavm 4y ago
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 for the PHP dev headers to ease development. Source: I worked
15.
by kmavm 4y ago
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 unrestricted x86 to a safe x86 subset from 1999 on[1].
16.
by kmavm 4y ago
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 driver for the 9x family? Or does QEMU's BIOS not
17.
by kmavm 5y ago
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 that tenants are perfectly isolated is actually the original si
18.
by kmavm 6y ago
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/HTTPS itself. Facebook uses it in this way. I
19.
by kmavm 7y ago
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's gradually typed descendant of PHP) sin
20.
by kmavm 7y ago
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 would be prohibitively expensive: we have over 600,000 organi
21.
by kmavm 7y ago
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.
22.
Scaling Slack(youtube.com)
1 points by kmavm 8y ago|0 comments
23.
How Slack Got Ahead in Diversity(theatlantic.com)
1 points by kmavm 8y ago|0 comments
24.
by kmavm 9y ago
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 engine and supporting runtime libraries itself, an in-a
25.
StarSpace: Facebook AI Research's open source, general-purpose embedding system(arxiv.org)
1 points by kmavm 9y ago|0 comments
26.
Reducing Slack's Memory Footprint(slack.engineering)
1 points by kmavm 10y ago|0 comments
27.
How Slack Works(infoq.com)
3 points by kmavm 10y ago|0 comments
28.
by kmavm 10y ago
You're asking about Hack, and the only response I see so far is about HHVM. So! I've seen Hack used in a multi-tens-of-MLOC codebase to gradually insert types. It made huge differences in the kinds of changes that were possible; y
29.
Taking PHP Seriously(slack.engineering)
8 points by kmavm 10y ago|1 comments
30.
Libslack: a native caching Slack client(slack.engineering)
1 points by kmavm 10y ago|0 comments

More ›