Mathematics of Consensus — Accidental Lecture
tigerbeetle.com·1d
🔶Lattice Theory
Flag this post
The Original OTP: Inside the Only Encryption Proven to Be Unbreakable
hackernoon.com·1d
🔗Hash Functions
Flag this post
OSS Friday Update
📡Erlang BEAM
Flag this post
Math And Programming - Perfectly Matched
i-programmer.info·1d
📖Literate Programming
Flag this post
FAWK: LLMs can write a language interpreter
🐪OCaml
Flag this post
Dual-stage collaborative path planning and task allocation for UAV swarms in complex maritime rescue environments
sciencedirect.com·6m
🚂Cranelift IR
Flag this post
The Hidden Tax You Are Paying Every Day: A Dev's Journey into Ops Automation
🔄Go Scheduler
Flag this post
Recursive Satellite Trajectory Optimization for Collision Avoidance via Hybrid Symbolic-Numeric Simulation
⚡Partial Evaluation
Flag this post
I built a task system that survives Claude sessions and works across any AI tool - entirely made with Claude Code
💬Interactive REPLs
Flag this post
Learning AI From Scratch: Streaming Output, the Secret Sauce Behind Real-Time LLMs
🌊Streaming Lexers
Flag this post
Understanding PL/SQL Collections: Associative Arrays, Nested Tables, and VARRAYs
📋Row Typing
Flag this post
Show HN: Fluxion – Rust async stream composition supporting error propagation
🔗Concurrency Primitives
Flag this post
Building a High-Performance Live Network Sniffer in Rust (Without Kernel Drivers)
⚙️TOML Parsers
Flag this post
Loading...Loading more...