Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 (via sergeyb) — discussion

#c #formalmethods #video

Building a Single-Page App with htmx (via pondidum) — discussion

#web

Rust is rolling off the Volvo assembly line - Blog - Tweede golf (via vaguelytagged) — discussion

#rust

Python 3.13 released: what's new (via itamarst) — discussion

#python #release

Google's AI thinks I left a Gatorade bottle on the moon (via agent281) — discussion

#ai

C++ coroutines without heap allocation (by cramertj) — discussion

#api #c++

Put business logic in the application, not the database (via ratsclub) — discussion

#databases

Can You Get Root With Only a Cigarette Lighter? (via crazyloglad) — discussion

#security

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

#ask #programming

An Adaptive Packed-Memory Array (via pkhuong) — discussion

#pdf #performance

The programmer's obsession with version numbers (via bitfield) — discussion

#practices #rant

AVX Bitwise ternary logic instruction busted (via knl) — discussion

#programming

Smolderingly fast b-trees (via knl) — discussion

#performance

Big Ball of Mud (1999) (via rtpg) — discussion

#practices

A Seven-Dimensional Analysis of Hashing Methods (via jamii) — discussion

#pdf #performance

Source-Level Debugging of Compiler-Optimised Code: Ill-Posed, but Not Impossible (via jamii) — discussion

#compilers #debugging #pdf

Bet Against SQL: Queries as Code (via jamii) — discussion

#databases #javascript #video

Octothorpes: hashtags for the open internet (via coby) — discussion

#web

My Wayland Your Wayland Our Wayland (via janus) — discussion

#culture #graphics

Compiling and running sqlite3-rsync (via raymii) — discussion

#databases