First screen, captured .
177 points by luu | 10 comments
Matt Keeter's project page for Halfspace, an experimental IDE for solid modeling using distance fields with scripted, node-based 3D model editing.
78 points by luu | 6 comments
Matt Keeter blog post on testing that WebGPU/WGSL shader struct data layouts match host-side Rust types using the Facet reflection library.
172 points by mkeeter | 60 comments
124 points by fisian | 32 comments
32 points by dcre | 6 comments
57 points by andsoitis | 38 comments
Matt Keeter's blog post on writing an interpreter for the Uxn stack-based CPU in hand-written assembly to outperform compiler-generated code.
457 points by lemper | 209 comments
A blog post by jyn, a compiler engineer, arguing that programming isn't a competition and that they write about technical topics simply for fun.
456 points by artninja1988 | 225 comments
A Xena Project blog post about mathematicians being outpaced at finding counterexamples, from the blog on mathematicians learning the Lean theorem prover.
361 points by 6bitquant | 380 comments
Scott Aaronson blog post reacting to OpenAI releasing hundreds of AI-generated math results, including a claimed proof of Khot's Unique Games Conjecture.
329 points by ayhanfuat | 151 comments
A Python discussion forum post from PSF staff announcing Anthropic's $1.5 million, two-year donation to the PSF focused on security work.
399 points by mfiguiere | 471 comments
Matthew Ball essay analyzing Roblox's scale as the world's biggest game and why the company remains unprofitable.
546 points by fagnerbrack | 213 comments
A blog post arguing that many so-called abstractions in codebases are merely layers of indirection that add complexity and hurt performance without real value.