Felienne Hermans
deprogrammaticaipsum.com·4h
🧬Functional Programming
Jujutsu for Everyone
jj-for-everyone.github.io·16h·
Discuss: Lobsters, Hacker News
🌳Git Internals
Learn about building a Rust Plugin System
blog.anirudha.dev·1h·
Discuss: Hacker News
🦀Embedded Rust
Miso: A swiss table implementation from scratch in rust
reddit.com·22h·
Discuss: r/rust
🦀Rust Verification
This Page Is a Quine
pranavg.me·21h·
Discuss: Hacker News
🔤Type Theory
Codeminer42 Dev Weekly #76
blog.codeminer42.com·2d
🔄Language Evolution
Use Bayes rule to mechanically solve probability riddles
cloud.disroot.org·4h·
Discuss: Hacker News
⚡Proof Automation
Antonio Cuni: Porting the JIT to CLI (part 3)
antocuni.eu·2d
⚙️RISC-V Microcode
I Taught Myself to Vibe Code: A Free Bootcamp
rafaelviana.com·1d·
Discuss: Hacker News
🏺ZIP Archaeology
The importance of self-approval
dev.to·10h·
Discuss: DEV
🔓Reverse engineering
Compiler-Driven Development: Building an Elm Playground That Compiles in the Browser
cekrem.github.io·21h·
Discuss: Hacker News, r/programming, r/webdev
🏗️Compiler Archaeology
Output Schema for CodeAct AI Agents: From Trial-and-Error to Predictive Planning
huggingface.co·18h·
Discuss: Hacker News
🌊Stream Processing
The use of Claude Code in SciML repos
discourse.julialang.org·2d·
Discuss: Hacker News
📏Code Metrics
The Origins of Python
inference-review.com·1d·
Discuss: Hacker News
💻Programming languages
things rust shipped without (2015)
graydon2.dreamwidth.org·6h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
The Barbell of Software Value
mehmetmhy.com·3h·
Discuss: Hacker News
🌀Brotli Internals
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·17h·
Discuss: Hacker News
🔄Language Evolution
Answering some questions about Baba Yaga
eli.li·1d·
Discuss: Hacker News
🎯Dependent Types
What Is Complexity in Chess?
lichess.org·4h·
Discuss: Hacker News
🧮Z3 Solver
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·4h·
Discuss: Hacker News
✅Format Verification