Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·3d
🔄Category Theory
Flag this post
Defining Types for a Simple HTTP Server
mmhaskell.com·8h
🤝Protocol Design
Flag this post
Functional programming, demystified: What we learned at Nu Engineering Meetup
building.nubank.com·3h
⚙Functional Programming
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·15h
🔄Category Theory
Flag this post
are-dependent-types-actually-erased
chadnauseam.com·7h
⚙Functional Programming
Flag this post
Scala vs. F#
⚙Functional Programming
Flag this post
[Tips, very lenghty] What your language should probably need to be able to communicate effectively.
🔗Parser Combinators
Flag this post
C++ move semantics from scratch (2022)
🧠Memory Management
Flag this post
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·14h
⚙Functional Programming
Flag this post
Dive into Systems
🧩Theorem Proving
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
thread on history of calculus, in this thread i will trace origin of calculus in most unbiased way possible
threadreaderapp.com·1d
🔢Mathematical Logic
Flag this post
OSS updates September and October 2025
blog.michielborkent.nl·17h
🦀Rust
Flag this post
Loading...Loading more...