Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·1d
λFunctional Programming
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Oops, My UUIDs Collided
alexsci.com·13h·
Discuss: Hacker News
🎯GADT
Flag this post
Magisterium
isaacbowen.com·14h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·23h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Quantum-Resistant Federated Learning with Lattice-Based Homomorphic Encryption for Edge AI Systems
dev.to·23h·
Discuss: DEV
❓Existential Types
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.org·1d
🔲Cellular Automata
Flag this post
Minimal Sufficiency: A Principle ‘Similar’ to End-to-End
cacm.acm.org·14h·
Discuss: Hacker News
⚙️Operating System Design
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·1d·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
StreetMath: Study of LLMs' Approximation Behaviors
arxiv.org·1d
🔍CBMC
Flag this post
Build your own Search Engine from Scratch in Java
0xkishan.com·2d·
Discuss: r/programming
🔤Kleene Algebra
Flag this post
Educational Benchmark: 100 Million Records with Mobile Logic Compression (Python + SQLite + Zlib)
reddit.com·2d·
Discuss: r/programming
🧮Z3 Solver
Flag this post
Show HN: Everything it took to run an LLM at 10k tok/s on H200s
relace.ai·2d·
Discuss: Hacker News
🔧ppx
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.org·1d
🧠Automated Reasoning
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·15h·
Discuss: Hacker News
💬Mach Messages
Flag this post
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·2d·
Discuss: r/programming, r/reactjs, r/webdev
📝Nix Language
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Show HN: rstructor, Pydantic+instructor for Rust
github.com·14h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post