A Mechanically Verified Garbage Collector for OCaml (via rrampage) — discussion

#formalmethods #ml #pdf

When Nanoseconds Matter: Ultrafast Trading Systems in C++ (via dbremner) — discussion

#c++ #performance #video

Tangled — a git collaboration platform built on atproto (by icy) — discussion

#distributed #show #vcs

Effective Rust (via ucirello) — discussion

#rust

Principles for Package Repository Security (via pyj) — discussion

#security

The Pentium contains a complicated circuit to multiply by three (via calvin) — discussion

#hardware #historical

Cleaner codebase, happier mind (by nathell) — discussion

#practices

Towards a test-suite for TOTP codes (via raymii) — discussion

#security

london micro grants (by montyanderson) — discussion

#culture #event

Nix pragmatism: nix-ld and envfs (via FedericoSchonborn) — discussion

#nix

Emacs Tree-sitter custom highlighting, part 1 (via knl) — discussion

#emacs

Yoke is really cool (by cadey) — discussion

#devops #wasm

How Clay's UI Layout Algorithm Works (via vfoley) — discussion

#c #programming #video

I struggled with Git, so I'm making a game to spare others the pain (by initialcommit) — discussion

#games #programming #python #vcs

Rackmounting that which should not be rackmounted (by naggie) — discussion

#hardware #python

Begrudgingly choosing CBOR over MessagePack (by surprisetalk) — discussion

#api #compilers #networking #plt #programming

Abusing C to implement JSON Parsing with Struct Methods (via bitfield) — discussion

#c

gguser – A Simple CLI to Manage Multiple Git Profiles (by camelcaseguy) — discussion

#show #vcs

Nebu: a spreadsheet editor for Varvara (via surprisetalk) — discussion

#design #osdev #retrocomputing

Infrastructural problems and instabilities caused by cloud services (by BenjaminRi) — discussion

#privacy #security