I built a Go framework: Anclax
github.com·22h·
Discuss: Hacker News
❄️NixOS
Incommensurability
lesswrong.com·4h
➡️Category Theory
My computer science RELEARNING progress logs
rbcrossley.github.io·20h·
Discuss: r/programming
💻CS
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·5d
Automated Theorem Proving
Beginners Guide to IC Reverse Engineering – With a High Likelihood of Survival! (DS2025)
cdn.media.ccc.de·14h
💾Retro Computing
Prompt Strategies for Terraform Test Generation
masterpoint.io·4h·
Discuss: Hacker News
🤖Program Synthesis
The Pattern Collector
sciencenews.org·6h·
Discuss: Hacker News
🧮Lambda Calculus
Garbage Collection (GC) Pauses: A "stop-the-world" GC pause in a critical service
howtech.substack.com·11h·
Discuss: r/programming
📊Runtime Verification
Can a Data Race Happen on a Single-Core Machine?
aoli.al·3d·
Discuss: Hacker News
🔧Unikernel Development
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🐫Embedded OCaml
Tutorial Introduction to Guile
gnu.org·1d·
Discuss: Hacker News
Automated Theorem Proving
Show HN: Optimizing DeepSeek's NSA for TPUs – A Kernel Worklog
henryhmko.github.io·1d·
Discuss: Hacker News
🔧Unikernel Development
Driving Complex Decisions
garrettdbates.com·12h·
Discuss: Hacker News
🤖Program Synthesis
Token Models as Statistical Simulations: A Different Take
medium.com·7h·
Discuss: Hacker News
🧩Parser Combinators
The Meandering Sea of Primordial Soupy Thought
kennethreitz.org·1d·
Discuss: Hacker News
🧮Lambda Calculus
Multiple Kernels on a Single System
lwn.net·7h·
Discuss: Hacker News
🔧Unikernel Development
A brief history of threads and threading
eclecticlight.co·1d·
⚙️Operating System Design
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
💎Refinement Types
Transforming Recursion into Iteration for LLVM Loop Optimizations
dspace.mit.edu·12h·
Discuss: Hacker News
⚙️PL Implementation
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
🏹Effect Systems