<rss version="2.0" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Hacker News: kmavm</title><link>https://news.ycombinator.com/user?id=kmavm</link><description>Hacker News RSS</description><docs>https://hnrss.org/</docs><generator>hnrss v2.1.1</generator><lastBuildDate>Fri, 29 May 2026 17:43:04 +0000</lastBuildDate><atom:link href="https://hnrss.org/user?id=kmavm" rel="self" type="application/rss+xml"></atom:link><item><title><![CDATA[New comment by kmavm in "Claude Opus 4.8"]]></title><description><![CDATA[
<p>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>."</p>
]]></description><pubDate>Thu, 28 May 2026 18:47:34 +0000</pubDate><link>https://news.ycombinator.com/item?id=48313604</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=48313604</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=48313604</guid></item><item><title><![CDATA[New comment by kmavm in "We Reproduced Anthropic's Mythos Findings with Public Models"]]></title><description><![CDATA[
<p>Hi, Klaudia and Dawid! Any clue how 4.7 does?</p>
]]></description><pubDate>Fri, 17 Apr 2026 14:57:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=47806651</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=47806651</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47806651</guid></item><item><title><![CDATA[New comment by kmavm in "IRIX 3dfx Voodoo driver and glide2x IRIX port"]]></title><description><![CDATA[
<p>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 hold-off in pthread_mutex_t. (IRIX is a hard RTOS, you see.) As things happened, the dot-dot releases of that minor version would be the last releases of IRIX to roll off the software assembly lines before SGI put it in maintenance mode for these last darn-near-30-years.<p>In 2000, I was the 20th-or-so full-time engineer at VMware, where I worked for 9 years. Then was at Facebook from 2009 to 2016, where I worked on the search backend (now replaced), HHVM (which still runs the Big Blue Application, a shrinking portion of the Meta Empire), and started FAIR in 2015 (which finally seems to have turned around the "open" sign with Yann's departure).<p>In 2016 I started at Slack as Chief Architect, where I mostly did not write a ton of code. I worked on a job queue scheduler which I would not be surprised to find has been replaced. And after that I was mostly encouraging/advising people doing Real Work.<p>All of which is to say, it is quite possible that the last code I've worked on professionally that is out there running on customer machines ... is that libpthread mutex bug fix from when I was barely old enough to drink.</p>
]]></description><pubDate>Tue, 24 Mar 2026 06:00:55 +0000</pubDate><link>https://news.ycombinator.com/item?id=47499061</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=47499061</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47499061</guid></item><item><title><![CDATA[Project Operational Autonomy: our agent-to-agent-future]]></title><description><![CDATA[
<p>Article URL: <a href="https://pebblebed.com/blog/operational-autonomy">https://pebblebed.com/blog/operational-autonomy</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=47281129">https://news.ycombinator.com/item?id=47281129</a></p>
<p>Points: 3</p>
<p># Comments: 1</p>
]]></description><pubDate>Fri, 06 Mar 2026 21:12:22 +0000</pubDate><link>https://pebblebed.com/blog/operational-autonomy</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=47281129</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=47281129</guid></item><item><title><![CDATA[New comment by kmavm in "Kernel bugs hide for 2 years on average. Some hide for 20"]]></title><description><![CDATA[
<p>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.</p>
]]></description><pubDate>Thu, 08 Jan 2026 20:51:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=46546272</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=46546272</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46546272</guid></item><item><title><![CDATA[Kernel bugs hide for 2 years on average. Some hide for 20]]></title><description><![CDATA[
<p>Article URL: <a href="https://pebblebed.com/blog/kernel-bugs">https://pebblebed.com/blog/kernel-bugs</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=46536340">https://news.ycombinator.com/item?id=46536340</a></p>
<p>Points: 294</p>
<p># Comments: 165</p>
]]></description><pubDate>Thu, 08 Jan 2026 02:18:09 +0000</pubDate><link>https://pebblebed.com/blog/kernel-bugs</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=46536340</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=46536340</guid></item><item><title><![CDATA[New comment by kmavm in "Safepoints and Fil-C"]]></title><description><![CDATA[
<p>Hi Fil! Congrats on all the amazing progress on Fil-C.<p>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 expensive (those TLBs! so much associativity!!!), and the CPU on your printer/ethernet card/etc. might not have that much grit. Nowadays not so much.<p>Still. A hard-and-fast use for vfork(2), as requested perhaps.<p>[1] <a href="http://www.ibiblio.org/lou/old/ViewStation/" rel="nofollow">http://www.ibiblio.org/lou/old/ViewStation/</a></p>
]]></description><pubDate>Fri, 19 Sep 2025 22:01:42 +0000</pubDate><link>https://news.ycombinator.com/item?id=45307232</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=45307232</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=45307232</guid></item><item><title><![CDATA[New comment by kmavm in "Releasing weights for FLUX.1 Krea"]]></title><description><![CDATA[
<p>Amazing. I can practically <i>smell</i> that owl it looks so darned owl-like.<p>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 dataset construction mojo?</p>
]]></description><pubDate>Thu, 31 Jul 2025 20:40:02 +0000</pubDate><link>https://news.ycombinator.com/item?id=44749856</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=44749856</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=44749856</guid></item><item><title><![CDATA[FilC: A memory-safe implementation of C and C++]]></title><description><![CDATA[
<p>Article URL: <a href="https://github.com/pizlonator/llvm-project-deluge/blob/deluge/Manifesto.md">https://github.com/pizlonator/llvm-project-deluge/blob/deluge/Manifesto.md</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=43416180">https://news.ycombinator.com/item?id=43416180</a></p>
<p>Points: 3</p>
<p># Comments: 0</p>
]]></description><pubDate>Wed, 19 Mar 2025 19:15:17 +0000</pubDate><link>https://github.com/pizlonator/llvm-project-deluge/blob/deluge/Manifesto.md</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=43416180</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=43416180</guid></item><item><title><![CDATA[New comment by kmavm in "Scan LLM-Codegen for security issues"]]></title><description><![CDATA[
<p>Your LLM of choice generates insecure code. The good folks at Vidoc (<a href="https://www.vidocsecurity.com/" rel="nofollow">https://www.vidocsecurity.com/</a>) built this browser extension to help.</p>
]]></description><pubDate>Tue, 03 Sep 2024 21:36:29 +0000</pubDate><link>https://news.ycombinator.com/item?id=41439517</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=41439517</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41439517</guid></item><item><title><![CDATA[Scan LLM-Codegen for security issues]]></title><description><![CDATA[
<p>Article URL: <a href="https://chromewebstore.google.com/detail/secure-ai-generated-code/bengiidgkchpliicfplbejjnoennfkmo">https://chromewebstore.google.com/detail/secure-ai-generated-code/bengiidgkchpliicfplbejjnoennfkmo</a></p>
<p>Comments URL: <a href="https://news.ycombinator.com/item?id=41439516">https://news.ycombinator.com/item?id=41439516</a></p>
<p>Points: 4</p>
<p># Comments: 1</p>
]]></description><pubDate>Tue, 03 Sep 2024 21:36:29 +0000</pubDate><link>https://chromewebstore.google.com/detail/secure-ai-generated-code/bengiidgkchpliicfplbejjnoennfkmo</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=41439516</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=41439516</guid></item><item><title><![CDATA[New comment by kmavm in "Real-time image editing using latent consistency models"]]></title><description><![CDATA[
<p>(Disclaimer: I'm an investor in Krea AI.)<p>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's a unified screen recording; the right, generated side is keeping pace with the riffing the artist does in the little paint program on the left.<p>There is no substitute for low latency in creative tools; if you have to sit there holding your breath every time you try something, you aren't just linearly slowed down. There are points that are just too hard to reach in slow, deliberate, 30+ second steps that a classical diffusion generation requires.<p>When I first heard about consistency, my assumption was that it was just an accelerator. I expected we'd get faster, cheaper versions of the same kinds of interactions with visual models we're used to seeing. The fine hackers at Krea did not take long to prove me wrong!</p>
]]></description><pubDate>Fri, 10 Nov 2023 22:32:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=38225467</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=38225467</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=38225467</guid></item><item><title><![CDATA[New comment by kmavm in "Paradigms of A.I. Programming: Case Studies in Common Lisp (1991)"]]></title><description><![CDATA[
<p>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 understood enough to seem like AI. But as a path towards machines that succeed at cognitive tasks, these approaches are like climbing taller and taller trees in the hopes of getting to the moon.</p>
]]></description><pubDate>Fri, 05 May 2023 17:30:33 +0000</pubDate><link>https://news.ycombinator.com/item?id=35832482</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=35832482</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=35832482</guid></item><item><title><![CDATA[New comment by kmavm in "Sapling: A new source control system with Git-compatible client"]]></title><description><![CDATA[
<p>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 on HHVM, its JIT successor that initially shared its source tree and runtime.</p>
]]></description><pubDate>Wed, 16 Nov 2022 00:06:01 +0000</pubDate><link>https://news.ycombinator.com/item?id=33617071</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=33617071</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33617071</guid></item><item><title><![CDATA[New comment by kmavm in "SQLite: QEMU All over Again?"]]></title><description><![CDATA[
<p>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]. Hardware support for trap-and-emulate virtualization came to the market in the early 'aughts after VMware had proven the market demand for it.<p>[1] <a href="https://www.vmware.com/pdf/asplos235_adams.pdf" rel="nofollow">https://www.vmware.com/pdf/asplos235_adams.pdf</a></p>
]]></description><pubDate>Wed, 05 Oct 2022 02:08:16 +0000</pubDate><link>https://news.ycombinator.com/item?id=33090181</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=33090181</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=33090181</guid></item><item><title><![CDATA[New comment by kmavm in "Windows 9x Video Minidriver HD+"]]></title><description><![CDATA[
<p>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 do it or something?</p>
]]></description><pubDate>Mon, 06 Jun 2022 17:55:43 +0000</pubDate><link>https://news.ycombinator.com/item?id=31643558</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=31643558</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=31643558</guid></item><item><title><![CDATA[New comment by kmavm in "PlanetScale – Database for Developers"]]></title><description><![CDATA[
<p>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.<p>The assumption that tenants are perfectly isolated is actually the original sin of early Slack infrastructure that we adopted Vitess to migrate away from. From some earlier features in the Enterprise product (which joins lots of "little Slacks" into a corporate-wide entity) to more post-modern features like Slack Connect (<a href="https://slack.com/help/articles/1500001422062-Start-a-direct-message-with-someone-outside-your-company" rel="nofollow">https://slack.com/help/articles/1500001422062-Start-a-direct...</a>) or Network Shared Channels (<a href="https://slack.com/blog/news/shared-channels-growth-innovation" rel="nofollow">https://slack.com/blog/news/shared-channels-growth-innovatio...</a>), the idea that each tenant is fully isolated was increasingly false.<p>Vitess is a meta-layer on top of MySQL shards that asks, per table, which key to shard on. It then uses that information to maintain some distributed indexes of its own, and to plan the occasional scatter/gather query appropriately. In practice, simply migrating code from our application-sharded, per-tenant old way into the differently-sharded Vitess storage system was not a simple matter of pointing to a new database; we had to change data access patterns to avoid large fan-out reads and writes. The team did a great write-up about it here: <a href="https://slack.engineering/scaling-datastores-at-slack-with-vitess/" rel="nofollow">https://slack.engineering/scaling-datastores-at-slack-with-v...</a></p>
]]></description><pubDate>Tue, 18 May 2021 18:56:19 +0000</pubDate><link>https://news.ycombinator.com/item?id=27199360</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=27199360</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=27199360</guid></item><item><title><![CDATA[New comment by kmavm in "Slack’s Outage on January 4th 2021"]]></title><description><![CDATA[
<p>This is accurate: Slack is exclusively using Hack/HHVM for its application servers.<p>HHVM has an embedded web server (the folly project's Proxygen), and can directly terminate HTTP/HTTPS itself. Facebook uses it in this way. If you want to bring your own webserver, though, FastCGI is the most practical way to do so with HHVM.</p>
]]></description><pubDate>Mon, 01 Feb 2021 17:52:45 +0000</pubDate><link>https://news.ycombinator.com/item?id=25991150</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=25991150</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=25991150</guid></item><item><title><![CDATA[New comment by kmavm in "Timeline of Slack’s Tech Stack Evolution"]]></title><description><![CDATA[
<p>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) since then, and are now 100% Hacklang.</p>
]]></description><pubDate>Fri, 21 Jun 2019 20:36:21 +0000</pubDate><link>https://news.ycombinator.com/item?id=20246113</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=20246113</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20246113</guid></item><item><title><![CDATA[New comment by kmavm in "Timeline of Slack’s Tech Stack Evolution"]]></title><description><![CDATA[
<p>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 organizations in Slack today[2], too many to make hard-partitioning most resources economical.<p>[1] <a href="https://www.zdnet.com/article/slack-brings-shared-channels-to-enterprise-grid-intros-bridge-to-email/" rel="nofollow">https://www.zdnet.com/article/slack-brings-shared-channels-t...</a>
[2] <a href="https://sec.report/Document/0001628280-19-004786/" rel="nofollow">https://sec.report/Document/0001628280-19-004786/</a></p>
]]></description><pubDate>Fri, 21 Jun 2019 20:35:07 +0000</pubDate><link>https://news.ycombinator.com/item?id=20246105</link><dc:creator>kmavm</dc:creator><comments>https://news.ycombinator.com/item?id=20246105</comments><guid isPermaLink="false">https://news.ycombinator.com/item?id=20246105</guid></item></channel></rss>