RFT Theorems
reddit.com·1d·
Discuss: r/compsci
🔢Algebraic Datatypes
Flag this post
Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🔶Lattice Theory
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·14h·
Discuss: Hacker News
🧩Constraint Solvers
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·18h·
Discuss: Hacker News
🌱Minimal Interpreters
Flag this post
A WebAssembly Interpreter
wasmgroundup.com·2d·
Discuss: Hacker News
🌐WASM Runtimes
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
🎭Program Synthesis
Flag this post
The API Dispatch #7: Not your model's model
bitoff.org·1d
📡Protocol Buffers
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
🔧API Design
Flag this post
Uniface State Management: Mastering the Stateless Beast 🦄💾
dev.to·1h·
Discuss: DEV
⚡Live Programming
Flag this post
Ergo Framework Documentation - major overhaul. Looking for feedback
devel.docs.ergo.services·3d·
Discuss: r/golang
📡Erlang
Flag this post
Introducing Qeltrix: A Content-Derived, Parallel Streaming Obfuscation Container
dev.to·3h·
Discuss: DEV
🛡️Security Type Systems
Flag this post
The Secret Life of Go
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Pinning is a kind of static borrow
nadrieril.github.io·2d·
Discuss: r/rust
🔒Rust Borrowing
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.to·6h·
Discuss: DEV
🛡️Security Type Systems
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
github.com·13h·
Discuss: Hacker News
🎯99-Line Tools
Flag this post
How Packaging Shapes a Binary from Build to Delivery
dev.to·15h·
Discuss: DEV
📜Bytecode
Flag this post
Show HN: Makefiles, Metalanguages, and Matrioshka Automata
robot-wranglers.github.io·1d·
Discuss: Hacker News
🔄Bootstrapping
Flag this post
How to turn AI from a random code generator into a reliable teammate
strategizeyourcareer.com·1h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
A Simple Binary
dev.to·2d·
Discuss: DEV
🏗️Minimal Compilers
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·15h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post