Making of Printing Types
c82.net·1d
✨Format Preserving
Google's Software is Malware and Malware in Mobile Devices
techrights.org·18h
🛡️Capability Security
NixCon 2025 Trip Report
michael.stapelberg.ch·16h·
Discuss: Lobsters, Hacker News
🏗️Build Systems
garn: A Faster, Friendlier Nix in TypeScript (nixcon2025)
cdn.media.ccc.de·3d
🚂Cranelift IR
Building Search for this Site – Search on a static site
alexleighton.com·15h·
Discuss: Hacker News
📋Tablegen
Annually-Funded Developers' Update: July/August 2025
clojuriststogether.org·4d
🔮Clojure
Python 3.14.0rc3 is go!
pythoninsider.blogspot.com·3d·
Discuss: Lobsters
🌊Gradual Typing
Felling like a imposter.
reddit.com·12h·
Discuss: r/AskProgramming
🪜Recursive Descent
Controlling program flow with capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lexical Scoping
Robust Optimal Control of Stochastic Hybrid Systems via Adaptive Dynamic Programming
dev.to·1d·
Discuss: DEV
⚡Partial Evaluation
A Neural Network for the Identical Kuramoto Equation: Architectural Considerations and Performance Evaluation
arxiv.org·2d
🪜Recursive Descent
CppCon 2025
xania.org·1d
🌱Minimal Languages
structmap - a configurable, type-safe struct mapping generator
reddit.com·14h·
Discuss: r/golang
📋Tablegen
A Windows port of Terry Davis' HolyC from TempleOS called SchismC
github.com·2d·
Discuss: r/programming
📦Portable Bytecode
Guard Your Rust Code with Tests
dev.to·9h·
Discuss: DEV
🎲Test Generators
First Professional C program
reddit.com·1d·
Discuss: r/C_Programming
📚Self-Documenting Code
Python Strings: The Ultimate Guide for Beginners & Beyond
dev.to·15h·
Discuss: DEV
📝Rope Editors
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·3d
⏭️Skip Lists
🚢 Titanic App Streamlit "Machine Learning Scikit Learn-Random Forest"
dev.to·8h·
Discuss: DEV
🔄Incremental Parsers
Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·6d·
Discuss: Lobsters, Hacker News
🐪OCaml