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·54m
🤝Protocol Design
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·8h
🔄Category Theory
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
Handbook of Satisfiability (2021)
🎯Constraint Programming
Flag this post
Federico Biancuzzi, Shane Warden, & Anders Hejlsberg
deprogrammaticaipsum.com·7h
⚙Functional Programming
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·21h
🔢Mathematical Logic
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·5h
🧫Cellular Automata
Flag this post
Depth-first Unary Degree Sequence - Information Camouflage
bruceediger.com·1d
🔗Parser Combinators
Flag this post
My first fifteen compilers (2019)
🔗Parser Combinators
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
⚙Functional Programming
Flag this post
Best tool for measuring lots of source code
shape-of-code.com·12h
🔍Static Analysis
Flag this post
Loading...Loading more...