Get Ready for Clojure, GPU, and AI in 2026 with CUDA 13.0
dragan.rocks·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
λFunctional Programming
Flag this post
MCP Security: Navigating the Exploit Playbook for Agent
dev.to·4h·
Discuss: DEV
🛡️macOS Security
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
🧮Lambda Calculus
Flag this post
Rouille – Rust Programming, in French
dev.to·14h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
🧮Lambda Calculus
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·1d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Perfetto: Swiss Army Knife for Linux Client Tracing
lalitm.com·22h·
Discuss: Lobsters, Hacker News, r/linux
👁️System Observability
Flag this post
Magisterium
isaacbowen.com·11h·
Discuss: Hacker News
🔲Cellular Automata
Flag this post
Breaking Monoliths Taught Me How to Fix Data
blog.matterbeam.com·13h·
Discuss: Hacker News
🔄Reproducible Builds
Flag this post
A hitchhiker's guide to CUDA programming
seanzhang.me·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Rust's std and parking_lot mutexes – who wins?
blog.cuongle.dev·1d·
Discuss: Hacker News
🏃Escape Analysis
Flag this post
Fil-C: A memory-safe C implementation
lwn.net·3d·
Discuss: Hacker News
🐫Embedded OCaml
Flag this post
On Developers in C-Level Meetings
radekmie.dev·7h·
Discuss: Hacker News, r/programming
🔧DevOps
Flag this post
Nonmonotonic Logic
cambridge.org·4d·
Discuss: Hacker News
🔁Fixpoint Theory
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·1d·
Discuss: Hacker News
🔗Curry-Howard
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
🔢Algebraic Data Types
Flag this post