matmat's Top FindsLoading...
The pirate-based logic of Rust shared references
ais523.me.uk¡22h¡
Discuss: Lobsters, Hacker News
đŸĻ€Rust Borrowing
Day 7 of My Quantum Computing Journey: Completing Week 1 & First Steps into Quantum Programming
dev.to¡1d¡
Discuss: DEV
🔐Quantum Cryptography
Apple IIGS released September 1986
dfarq.homeip.net¡6h
🍎Apple Computing
What is Algebraic about Algebraic Effects?
interjectedfuture.com¡1h
✨Algebraic Effects
CoDiCodec: Unifying Continuous and Discrete Compressed Representations of Audio
arxiv.org¡13h
🎧Learned Audio
A Look at Nix and Guix
lwn.net¡10h¡
Discuss: Hacker News
❄Nix
RustGPT: A pure-Rust transformer LLM built from scratch
dev.to¡4h¡
Discuss: DEV
đŸĻ€Rust Macros
UTF-8 Is Beautiful
hackaday.com¡12h
đŸ”ŖUnicode
Digital Forensics Jobs Round-Up, September 15 2025
forensicfocus.com¡2h
🚨Incident Response
skyfloogle/red-viper
github.com¡15h
🎮Gameboy Emulation
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org¡6h¡
Discuss: Hacker News
đŸŒŗArchive Merkle Trees
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com¡2h¡
Discuss: www.blogger.com
🔗Lisp
Sign up or login to customize your feed and get personalized topic recommendations
Sign UpLogin
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io¡19h¡
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Language Models Pack Billions of Concepts into 12,000 Dimensions
nickyoder.com¡13h¡
Discuss: Lobsters, Hacker News
🧮Kolmogorov Complexity
Algebraic Types are not Scary
blog.aiono.dev¡6h¡
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
Back from Open Source Summit Europe 2025: talks from Bootlin
bootlin.com¡7h
⚙ī¸Operating System Design
Preserving the digital legacy of company archives: Last stop, Newhaven.
dpconline.org¡9h
💾Data Preservation
The Master System Girl: A Console with Cooties?
nicole.express¡1d¡
Discuss: Hacker News
🕹ī¸Retro Gaming
Semantic Dictionary Encoding
falvotech.com¡2h¡
Discuss: Hacker News
🌀Brotli Dictionary
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com¡4h¡
Discuss: Hacker News
🔗Lisp