[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
reddit.com·3h·
Discuss: r/programming
🌐ActivityPub
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.me·5h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
Opportunistic Mutation in Roc
roc-lang.org·3d·
Discuss: Hacker News
🔧ppx
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Smaller Surfaces
nrempel.com·1h·
Discuss: Hacker News
💎Refinement Types
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·1d·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post
The Python Coding Stack: And Now You Know Your ABC
thepythoncodingstack.com·10h
🔬Static Analysis
Flag this post
The Development of Pie
terathon.com·17m·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·21h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.com·5h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
My Wishlist for PHP in 2026
stitcher.io·2d·
Discuss: Hacker News
❓Existential Types
Flag this post
Why Programming Languages Are Not 'Just Tools'
bloominlabs.substack.com·3d·
Discuss: Substack
⚙️Compiler Design
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·8h·
Discuss: Substack
⚡Process Calculi
Flag this post
Oops, My UUIDs Collided
alexsci.com·1d·
Discuss: Hacker News
🎯GADT
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Engineering a Rust optimization quiz
fasterthanli.me·11h
❄️Nixified Development
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
A mathematical certification for positivity conditions in Neural Networks with applications to partial monotonicity and Trustworthy AI
arxiv.org·1d
🧮SMT Solvers
Flag this post
#7 Learning Python Functions
dev.to·2d·
Discuss: DEV
🔀Brzozowski Derivatives
Flag this post