Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
λFunctional Programming
Flag this post
What are you doing this weekend?
lobste.rs·11h·
Discuss: Lobsters
🔬Static Analysis
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦OPAM
Flag this post
Rouille – Rust Programming, in French
dev.to·14h·
Discuss: DEV
🔀OCaml Multicore
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.com·20h
🔄Finite State Machines
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
λFunctional Programming
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·1d
🧩Parser Combinators
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·1d·
🏗️Dune
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·11h·
Discuss: Hacker News
🧩Parser Combinators
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
The Same App in React and Elm: A Side-by-Side Comparison
cekrem.github.io·2d·
📊Runtime Verification
Flag this post
What's new in Swift: October 2025 Edition
swift.org·13h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.com·23h
λFunctional Programming
Flag this post
Context Engineering: The Foundation for Reliable AI Agents
thenewstack.io·9h
🔤Language Design
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·12h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Text-Mode Games as First Haskell Projects
jackkelly.name·22h·
Discuss: Hacker News
🔠Type-Level Programming
Flag this post
Building from First Principles
marvinh.dev·1d·
Discuss: Hacker News
🔧DevOps
Flag this post