Writing and testing business logic in F#
event-driven.io·3d
🔀Control Structures
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
⚖️Inference Rules
Flag this post
Finding Order in the Mayhem: A Novel Concurrency Testing Tool that Improved the Kotlin Compiler
🧪Compiler Testing
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.com·1d
📚Stack Allocation
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.com·11h
🐛Interactive Debuggers
Flag this post
A Senior Developer’s Guide to Vibe Coding and Deep AI Integration in Cursor
🎭Program Synthesis
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.com·1d
⚙️Assembly
Flag this post
GHC 9.14.1-rc1 is now available
📏Linear Haskell
Flag this post
Reflection for Aggregates (2020)
🗂️Type Indexing
Flag this post
Building Up And Sanding Down
endler.dev·1d
🔧API Design
Flag this post
The top 4 JVM languages and why developers love them
infoworld.com·2d
🔮Clojure
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·23h
🔗Category Theory
Flag this post
Void Linux Gets Runkit, a Friendly GUI for Managing runit Services
linuxiac.com·8h
🌱Forth Kernels
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
🔒Rust Borrowing
Flag this post
🎲 On LLMs
kaukas.mataroa.blog·18h
🎮Language Ergonomics
Flag this post
Borrow checker says “No”! An error that scares me every single time!
polymonster.co.uk·1d
🔒Rust Borrowing
Flag this post
What are you doing this weekend?
💬Interactive REPLs
Flag this post
Stacking Threads
📚Stack Allocation
Flag this post
Loading...Loading more...