There's little that's "inevitable" about AI (via cgrinds) — discussion

#vibecoding

Voxlocal: a minimal voice agent written in Rust (by flyingsnake) — discussion

#ai #programming #rust

1-click MMI execution in Android (via rrampage) — discussion

#android #security

Adding Go's defer to the TypeScript Compiler (via nemin) — discussion

#compilers #go #javascript

oh, apparently it's not possible to portably check for string-to-float conversion errors in standard c (by seb) — discussion

#c

Patches Updated To Begin Removing The Linux x32 ABI (via veqq) — discussion

#linux

No Man Is an Island (via facundoolano) — discussion

#philosophy #vibecoding

A Practical Guide to “Plug&Pwn” for Pentesters and Defenders (via 7tehdt3cnw6kir6o) — discussion

#security

Equality Saturation: An “Incomplete” Project (via dbremner) — discussion

#compilers

ASK: Cloudflare shutting down Deno is news, not just PR (by conartist6)

#meta

The importance of communities around software (via stilic) — discussion

#culture

Lifeguard: A static analyzer for Python lazy imports compatibility (by zem) — discussion

#python

How To Write Shared Libraries (2011) (via calvin) — discussion

#pdf #programming

Branches in branch-free code (via rrampage) — discussion

#assembly #c #compilers #rust #zig

Vectorized CLZ and CTZ (via fanf) — discussion

#performance

Two Futures for LLMs in Mathematics (by dga) — discussion

#math #vibecoding

Python 3.15.0 (via kaycebasques) — discussion

#python #release

Unison Cloud is now open source (via bontaq) — discussion

#release

"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot (via icefox) — discussion

#philosophy

A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda (by blueberrywren) — discussion

#design #plt