My first verified (imperative) program (via runxiyu) — discussion

#formalmethods #plt

How Janet's PEG module works (via veqq) — discussion

#lisp

You Should Run a Certificate Transparency Log (via giffengrabber) — discussion

#cryptography #security

CODE AND TRUST: vibrators to pacemakers (by jackdoe) — discussion

#programming

Applied Cryptography: comprehensive, novel course materials released under Creative Commons (by nadim) — discussion

#cryptography

Iceberg, The Right Idea - The Wrong Spec - Part 1 of 2: History (via hp77) — discussion

#databases

Adding a feature because ChatGPT incorrectly thinks it exists (by adrian) — discussion

#programming

Generic interfaces (via cgrinds) — discussion

#go

Case study of over-engineered C++ code (via carlana) — discussion

#c++

Stop putting nix setup in your checked-in .envrc files (by offby1) — discussion

#nix #practices

Inverse Triangle Inequality (via jmiven) — discussion

#practices

The Future of Forums is Lies, I Guess (via Student) — discussion

#ai

In defence of swap: common misconceptions (2018) (via JordiGH) — discussion

#linux

Automatically Packaging a Haskell Library as a Swift Binary XCFramework (by romes) — discussion

#haskell #mac #swift

Upgrading my 25gbit internet router to VyOS (via jummo) — discussion

#networking

Jepsen & TigerBeetle (via jorangreef) — discussion

#databases #distributed

Prompt Coding Experiment: No code edits, only complete rewrites (by no_gravity) — discussion

#ai #javascript #programming

Am I online? (via jummo) — discussion

#networking #web

Deep Dive: Good Enough Programming (by DanielBMarkham) — discussion

#philosophy #programming #unix

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

#ask #programming