Reflection for Aggregates (2020)
akrzemi1.wordpress.com·18h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·1d·
Discuss: Hacker News
🍎XNU Internals
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·2d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Durable execution workflow system based on Postgres
github.com·18h·
Discuss: Hacker News
🧱Immutable Infrastructure
Flag this post
Using the expand and contract pattern for schema changes
prisma.io·12h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Torchforge – a PyTorch native library for scalable RL post-training
pytorch.org·1d·
Discuss: Hacker News
📊Runtime Verification
Flag this post
Wacl – A Tcl Distribution for WebAssembly
github.com·3d·
Discuss: Hacker News
📦OPAM
Flag this post
Gröbner Bases Explained: From Abstract Algebra to Real-World Optimization
news.ycombinator.com·2d·
Discuss: Hacker News
📐Linear Algebra
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·9h·
Discuss: r/golang
🎯GADT
Flag this post
Olsrt – OverLab Streams Runtime
news.ycombinator.com·17h·
Discuss: Hacker News
🌐Network Protocols
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
A Senior Developer's Guide to the Model Context Protocol
dev.to·12h·
Discuss: DEV
🛡️seL4
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
The LLM-First Manifesto: From Prose to Programs
dev.to·12h·
Discuss: DEV
✓Automated Theorem Proving
Flag this post
Nim 2.2.6
nim-lang.org·18h·
Discuss: Hacker News
📦Opam
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·1d·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·18h·
Discuss: DEV
🏃Escape Analysis
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·7h·
Discuss: Hacker News
📦OPAM
Flag this post