How Does C Code Become Assembly (via freetonik) — discussion

#assembly #c #compilers

A surprising enum size optimization in the Rust compiler (via asb) — discussion

#compilers #rust

Linux 6.15 Features Deliver A Lot For Intel & AMD, Many Other Changes (via laktak) — discussion

#linux

coqoban: Sokoban (in Coq) (via gnyeki) — discussion

#formalmethods #games

Hardened File Backup Routine (via ggpsv) — discussion

#security #unix

The Story Behind 100 Go Mistakes and How to Avoid Them (via bryfry) — discussion

#go

Global Value Numbering Using Random Interpretation (via pkhuong) — discussion

#compilers #pdf

The Barium Experiment (via nc) — discussion

#graphics #lisp

shorty: a C++ library for concise lambdas (via olliej) — discussion

#c++

Mistakes and cool things to do with arena allocators (via Aks) — discussion

#programming

The SRE regular-expression notation (1998) (via tonyg) — discussion

#lisp #plt

Netbird: connect your devices into a WireGuard overlay network with SSO, MFA and granular access controls (via fanf) — discussion

#networking #security

Obituary for Cyc (via veqq) — discussion

#ai #historical #programming

PyReason: Explainable inference for annotated, real valued, graph based and temporal logic (via veqq) — discussion

#programming

Bare: Fast, Lightweight Runtime for Modular JavaScript App (via altano) — discussion

#javascript

How to "get a feel for the data" (via lucasfcosta) — discussion

#science #visualization

dreckly: pkgsrc fork focused on quality and portability to all UNIX-like platforms (via fs111) — discussion

#dragonflybsd #freebsd #linux #netbsd #openbsd #unix

Better typography with text-wrap pretty (via snej) — discussion

#css #design

"Verified" "Compilation" of "Python" with Knuckledragger, GCC, and Ghidra (by philzook) — discussion

#assembly #compilers #formalmethods #python #reversing

Every programming language needs its killer app to succeed (by ngrilly) — discussion

#programming