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

#ask #programming

SIMD Within a Register: How I Doubled Hash Table Lookup Performance (via fanf) — discussion

#performance

Dynamic Phase Alignment in Audio (via gingerBill) — discussion

#audio #programming #video

The Bard and The Shell (via draga79) — discussion

#unix

Bringing together Clazy and Clang-Tidy (via Aks) — discussion

#c++

EU age verification app to ban any Android system not licensed by Google (via BenjaminRi) — discussion

#android #security

The ultimate meeting culture (via krig) — discussion

#practices

The many JavaScript runtimes of the last decade (via aapoalas) — discussion

#historical #javascript

LLVM integrated assembler: Engineering better fragments (via jmillikin) — discussion

#assembly #compilers

Yalep - Micro language based on Lean for teaching mathematical high-school proofs (via jeanthomas) — discussion

#education #formalmethods

[trane] (via veqq) — discussion

#art #lisp

multiplex: Command-line process mutliplexer (by sebastien) — discussion

#devops #python

Programming Languages: Application and Interpretation (3rd edition) (via nextos) — discussion

#book #lisp #pdf #plt

Enough AI copilots! We need AI HUDs (via ucirello) — discussion

#vibecoding

Designing a flatpack bed (via mtlynch) — discussion

#hardware

How I hacked my washing machine (via veqq) — discussion

#reversing

IPng Networks - Certificate Transparency - Part 1 (via raymii) — discussion

#security

Formal specs as sets of behaviors (via amw-zero) — discussion

#formalmethods

Protest footage blocked as online safety act comes into force (via dfawcus) — discussion

#law

TIL: Exception.add_note (via spookylukey) — discussion

#python