- 64ProofOfThought: LLM-based reasoning using Z3 theorem proving (github.com)
- 135A comparison of Ada and Rust, using solutions to the Advent of Code (github.com)
- 26Knowledge Infusion Scaling Law for Pre-Training Large Language Models (arxiv.org)
- 14Show HN: Run – a CLI universal code runner I built while learning Rust (github.com)
- 85Five years as a startup CTO: How, why, and was it worth it? (2024) (distinctplace.com)
- 7Blog Feeds (blogfeeds.net)
- 90Self-hosting email like it's 1984 (maxadamski.com)
- 137The Buchstabenmuseum Berlin is closing (buchstabenmuseum.de)
- 14The UK Is Still Trying to Backdoor Encryption for Apple Users (eff.org)
- 109Thunderscan: A clever device transforms a printer into a scanner (2004) (folklore.org)
- 158Earth was born dry until a cosmic collision made it a blue planet (sciencedaily.com)
- 187Paged Out Issue #7 [pdf] (pagedout.institute)
- 216Alibaba cloud FPGA: the $200 Kintex UltraScale+ (essenceia.github.io)
- 384Zig builds are getting faster (mitchellh.com)
- 25The mini smartphones from Japan you've never heard about [video] (youtube.com)
- 452Offline card payments should be possible no later than 1 July 2026 (riksbank.se)
- 96Show HN: Cobalt – a pixel-art painting studio for the Nintendo DS (benbridle.com)
- 73Privacy Harm Is Harm (eff.org)
- 205How I influence tech company politics as a staff software engineer (seangoedecke.com)
- 132Systems Programming with Zig (manning.com)
- 9Clavier: An FPGA-based mechanical keyboard with USB hub and comms interfaces (github.com)
- 609Fluid Glass (chiuhans111.github.io)
- 219Flock's gunshot detection microphones will start listening for human voices (eff.org)
- 362Where it's at:// (overreacted.io)
- 9Why NetNewsWire Is Not a Web App (inessential.com)
- 182New antibiotic targets IBD and AI predicted how it would work (healthsci.mcmaster.ca)
- 95How functional programming shaped and twisted front end development (alfy.blog)
- 373PEP 810 – Explicit lazy imports (pep-previews--4622.org.readthedocs.build)
- 8BiDirectional text in the terminal emulators and console programs(2020) (gist.github.com)
- 61The Architecture of Learning: From Statistics to Intelligence (little-book-of.github.io)