Generalized Algebraic Data Types, Type Safety, Phantom Types

Battle-Tested Lessons From 10 Years In A Single Codebase
revelry.co·3h·
Discuss: r/programming
🔧DevOps
Flag this post
Nimony v0.2 – early preview of Nim 3.0's compiler
nim-lang.github.io·3d·
Discuss: Hacker News
📦Opam
Flag this post
Advice for System Design Interviews
jacobbrazeal.wordpress.com·15h·
Discuss: Hacker News
🛡️seL4
Flag this post
The Hackers Manifesto (The Conscience of a Hacker) (1986)
phrack.org·1d·
Discuss: Hacker News
🛡️macOS Security
Flag this post
Prentice Hall Interview with Rich Stevens, Author of Unix Programming (1997)
kohala.com·11h·
Discuss: Hacker News
📡Network Protocol Design
Flag this post
Generation at the Speed of Thought: Speculative Decoding
bittere.substack.com·4d·
Discuss: Substack
🔀OCaml Multicore
Flag this post
Digital minimalism is out, digital intentionality is in
lesswrong.com·23h
📵Digital Minimalism
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·3d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Sable and Able: A Tale of Two ASIs
lesswrong.com·1d
🔲Cellular Automata
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·19h·
Discuss: DEV
🐫Embedded OCaml
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·15h·
Discuss: DEV
🎯Complexity Classes
Flag this post
Tech With Tim: 3 Unique Python Features You NEED To Know
dev.to·9h·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
What a diff makes: automating code migration with large language models
arxiv.org·2d
📦Opam
Flag this post
Grok AI: A Deep Dive into xAI’s Maverick Chatbot
dev.to·1d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography in Cross-Silo Model Aggregation
dev.to·2d·
Discuss: DEV
Existential Types
Flag this post
CoCoVa: Chain of Continuous Vision-Language Thought for Latent Space Reasoning
arxiv.org·1d
🔲Cellular Automata
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·5d·
📦OPAM
Flag this post
Optimized Grid-Interactive Energy Storage (GIES) via Heterogeneous Ensemble Learning
dev.to·2d·
Discuss: DEV
🧠Automated Reasoning
Flag this post
Feature-Guided SAE Steering for Refusal-Rate Control using Contrasting Prompts
arxiv.org·2d
📚Automata Learning
Flag this post