You Are in a Box
jyn.devΒ·1dΒ·
Discuss: Lobsters, Hacker News
🐚Nordic Shell
Enough unix to get by
thoughtbot.comΒ·2d
πŸ“Shell Parsing
A Programmer’s Guide to x86-64 Assembly (Series Overview)
blog.codingconfessions.comΒ·5h
πŸ”§RISC-V Assembler
Cactus Language β€’ Stylistics 4
inquiryintoinquiry.comΒ·19h
🌳Context free grammars
Functional Abstract Interpretation
simon.peytonjones.orgΒ·1dΒ·
Discuss: Hacker News
πŸ”—Functional Compilers
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.ilΒ·13hΒ·
Discuss: Hacker News
🎯Interactive Provers
A distributed systems reliability glossary
antithesis.comΒ·19hΒ·
Discuss: Lobsters, Hacker News, r/programming
βœ…Archive Fixity
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.ioΒ·1dΒ·
Discuss: Hacker News, r/programming
πŸ›‘οΈPreservation Proofs
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgΒ·2d
🧠Computational Logic
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.comΒ·20h
πŸ¦€Rust Verification
Why Hoon?
docs.urbit.orgΒ·2dΒ·
Discuss: Hacker News
🐚Bash Monads
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.comΒ·5hΒ·
Discuss: r/MachineLearning
πŸ—οΈCompiler Archaeology
Zero-cost statics in C++
cofault.comΒ·2dΒ·
Discuss: Hacker News, Hacker News
πŸ¦€Rust Macros
Song recommendations with pipes and filters
blog.ploeh.dkΒ·1d
Ξ»Lambda Formalization
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itΒ·1dΒ·
Discuss: Hacker News
πŸ”Type Inference
W1seGuy | TryHackMe Walkthrough β€” XOR? BrUt3_F0rC3 iT
infosecwriteups.comΒ·1d
πŸ”Cryptographic Archaeology
Cheeky Python Shell Script
leontrolski.github.ioΒ·26mΒ·
Discuss: Hacker News
🐚Shell scripting
A Rust shaped hole
ente.ioΒ·2d
πŸ¦€Rust Macros
Inheritance over composition, sometimes
death.andgravity.comΒ·1d
πŸ¦€Rust Macros
Interacting with an unreliable process
mbork.plΒ·2d
🐚Bash FP