Microsoft exec called AI scraping 'the largest theft of labor in human history'

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

Astra for Law

Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint

I don't like passkeys

OpenJev

Qwen 3.8 Omni Flash

Bend 2 and the Vibe-Coding Trap

Jemalloc 5.4.0

How to Write with an LLM

ZCode, the GLM coding agent, silently uploads your Git history

The scourge of x86 emulation

Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him

An Empirical Study of Harness Design for Coding Agents

Replacing Pull Requests with Delta

When the fractional part of a float fixes your shader

Subnormal floating-point numbers are expensive on Intel processors

I Vibed a Proof of Conway's Conjecture

I was making a web project about some of my 1996 era 386 graphics code when I saw the visualizations related to the recent solution to the smoothness problem of Navier-Stokes and thought &quot;that would look cool as a 90s-era demo&quot;.  So here you go, a palette cycler and a particle animation, both using the real equations and both as sub-1kB binaries, rendered online via js-dos&#x2F;DOSBox as well as JavaScript ports with knobs to go far beyond 386 quality. All source and pre-compiled 386 binaries included and free in every way.<p>And since I know this is divisive on HN, I should be up front that this effort was AI-assisted, but hey, so was OpenAI&#x27;s solution of the Millennium problem that inspired my effort.

Show HN: Navier-Stokes Visualized as 1kB i386 demos

The Shadows Lurking in the Equations – Underwater Islands