Chasing a -O2 pessimization in antcc (by lemon) — discussion

#c #compilers

Where is all the new, good software? (via gerikson) — discussion

#practices #vibecoding

500+ Billion Tokens Later: Letting AI Agents Decompile A First-Person Shooter (via tie) — discussion

#reversing #vibecoding

Creusot 0.14.0 release - Contracts for Rust, formally proved (by lyxia) — discussion

#formalmethods #rust

Freeze the Controller, Defrost the Food: Uncovering Vulnerabilities in Danfoss Refrigeration Controllers (via Verfeuil) — discussion

#security

A slightly faster slimmer curl (via wonk) — discussion

#performance

DataCube: A Relational Aggregation Operator Generalizing Group-By, Cross-Tab, and Sub-Totals (1997) (via typesanitizer) — discussion

#databases #pdf

Who is vfmaddrnd231pd?? (via valdemar) — discussion

#assembly

Vi Hart's Big Navier-Stokes Post (via archagon) — discussion

#ai #math

ESP32 As Your Raspberry Pi’s Linux Wireless Co-processor (via hoistbypetard) — discussion

#hardware #networking

Speeding up the Unreal editor by… not using unnecessarily secure hash methods (via fanf) — discussion

#performance

A modern web app in c (via thasso) — discussion

#c #web

512 bytes at a time: reconstructing IBM i save-file checksums (via calvin) — discussion

#reversing

ASK: What are you doing this week? (by caius)

#ask #programming

your c is not standard c (via nytpu) — discussion

#c

What I've been seeing lately (in software) (by mei) — discussion

#culture #vibecoding

nobloat/poll - designing a minimal poll tool (via simmac) — discussion

#go #programming

Parsing JSON at tens of gigabytes per second… in Python (via raymii) — discussion

#python

Finding a $90,000 Remote Code Execution Vulnerability in Google (via hoistbypetard) — discussion

#security

(Post-Quantum) Cryptographic Right Answers (via jtdowney) — discussion

#cryptography