The Easiest Way to Build a Type Checker
jimmyhmiller.com·13h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·10h·
Discuss: DEV
💻Local LLMs
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·11h
λLambda Encodings
Flag this post
Type-safe `net/rpc` alternative with context support
reddit.com·12h·
Discuss: r/golang
⚡gRPC
Flag this post
Challenges compiling old C++ code on modern Linux
smalldatum.blogspot.com·15h·
Discuss: smalldatum.blogspot.com
🔗Static Linking
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
The Rust Community Knew This Was Coming
lucisqr.substack.com·1d·
Discuss: Substack, r/cpp, r/programming
🦀Rust Borrowing
Flag this post
What To Know Before Building Fluent Bit Plugins With Go
thenewstack.io·1d
💧Liquid Types
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·22h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Mad drunk on the mead of poetry
blog.zarfhome.com·1d
🧪CBOR Fuzzing
Flag this post
Day 43: Python Valid Parentheses Checker, Stack-Based Bracket Validation with Mapping and Loop Scanning
dev.to·1h·
Discuss: DEV
✅Format Verification
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·22h·
Discuss: Substack
💻Programming languages
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·15h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Writing Type-Safe Generics in C
hackaday.com·5d
💧Liquid Types
Flag this post
Railway Oriented Programming
fsharpforfunandprofit.com·3d·
Discuss: Hacker News
🧬Functional Programming
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·23h·
Discuss: Substack
🔩Systems Programming
Flag this post
Taming the Beast: The Move To Declarative API Validation in Kubernetes - Yongrui Lin, Google
youtube.com·1d
✅Format Validation
Flag this post