Felienne Hermans
deprogrammaticaipsum.com·8h
🧬Functional Programming
Codeminer42 Dev Weekly #76
blog.codeminer42.com·2d
🔄Language Evolution
The Barbell of Software Value
mehmetmhy.com·6h·
Discuss: Hacker News
🌀Brotli Internals
Daniel Jackson on WYSIWID: Rethinking software structure to enable LLM coding
essenceofsoftware.com·20h·
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·7h·
Discuss: Hacker News
🧮Z3 Solver
Humans Are Being Hired to Make AI Slop Look Less Sloppy
slashdot.org·12h
📄Document AI
Type-safe and user-friendly error handling in Swift 6
theswiftdev.com·8h·
Discuss: Hacker News
✅Format Verification
Building a Todo App in GPUI | 0xshadow's Blog
blog.0xshadow.dev·1d·
Discuss: r/rust
🦀Rust Macros
The Modern CLI Renaissance | Gabe Venberg
gabevenberg.com·19m
🐚Nordic Shell
A Constructive Look at TempleOS (2015)
codersnotes.com·3h·
Discuss: Hacker News
🔌Operating system internals
How to Avoid Fighting Rust Borrow Checker
qouteall.fun·1d·
Discuss: Hacker News
🦀Rust Verification
Stop Wasting Hours Wiring Up Features: A Smarter Way to Build Projects
dev.to·20h·
Discuss: DEV
🔗Topological Sorting
Normalisation of SWIFT Message Counterparties with Feature Extraction and Clustering
arxiv.org·7h
⚙️ABNF Mining
Structured bindings in C++17, 8 years later – C++ Stories
cppstories.com·17h·
Discuss: Lobsters, Hacker News, r/cpp
⬆️Lambda Lifting
Kern: A production-grade structured Python logger(beats stdlib/loguru/structlog)
medium.com·1d·
Discuss: Hacker News
🔍eBPF
The Prompt Architect's Playbook: 12 Patterns Defining 2025
dev.to·13h·
Discuss: DEV
⚡Proof Automation
A General Framework of Epistemic Forgetting and its Instantiation by Ranking Functions
arxiv.org·7h
🔢Denotational Semantics
The limits of ChatGPT: a week of interaction and AI research
marktarver.com·3d·
Discuss: Hacker News
🔲Cellular Automata
HealthProcessAI: A Technical Framework and Proof-of-Concept for LLM-Enhanced Healthcare Process Mining
arxiv.org·7h
🌊Stream Processing