🎁 Monads

Functors, Applicatives, Bind Operation, Do Notation

Android development help needed, is this possible?
developer.android.com·8h·
Discuss: r/programming
⏰Timed Automata
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
Using the expand and contract pattern for schema changes
prisma.io·9h·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·11h·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
What are you doing this weekend?
lobste.rs·11h·
Discuss: Lobsters
📝Nix Language
Flag this post
My Wishlist for PHP in 2026
stitcher.io·1d·
Discuss: Hacker News
❓Existential Types
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1d·
Discuss: Hacker News
🔁Fixed-Point Theory
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·2d·
Discuss: Hacker News, r/rust
🏗️Dune
Flag this post
Rdza – Rust Programming, in Polish
github.com·19h·
Discuss: Hacker News
🔀Brzozowski Derivatives
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·13h·
Discuss: Hacker News
🌐ActivityPub
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Reverse engineering Kilter board app
bazun.me·3d·
Discuss: Hacker News
📦Unikernel Systems
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock – Part 1
aws.amazon.com·8h
🧠Automated Reasoning
Flag this post
The case against boolean logic
abuseofnotation.github.io·1d·
Discuss: Hacker News
❓Existential Types
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
Scalable Knowledge Graph Embedding via Adaptive Dimensionality Reduction & Multi-Objective Optimization
dev.to·20h·
Discuss: DEV
🕸️Graph Theory
Flag this post
Oops, My UUIDs Collided
alexsci.com·11h·
Discuss: Hacker News
🎯GADT
Flag this post
Scraping Next.js web sites in 2025
trickster.dev·17h·
Discuss: Hacker News
🔌APIs
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
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