Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·1d
🔗Parser Combinators
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·1d
😴Lazy Evaluation
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
Why DFS Topological Sort Writes Nodes on Backtracking
dev.to·11h·
Discuss: DEV
➡️Arrows
Flag this post
Ontogeny Recapitulates Phylogeny: Ernst Haeckel's Theory
brighthubeducation.com·1h·
Discuss: Hacker News
💾information theory
Flag this post
Issue 496
haskellweekly.news·1d
λHaskell
Flag this post
De Bruijn Numerals
text.marvinborner.de·1d·
Discuss: Hacker News
➡️Arrows
Flag this post
Attempting to create a metroid prime style map (badly)
i.redd.it·40m·
Discuss: r/godot
📝Org-Mode
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·7h·
Discuss: r/golang
🔵Clojure
Flag this post
Wednesday’s Trailheads
scattershot.blog·2d
🧭Outdoor Navigation
Flag this post
A prvalue is not a temporary
blog.knatten.org·21h·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.me·2d·
Discuss: r/javascript, r/programming
➡️Arrows
Flag this post
Chibi Izumi: Phased dependency injection for TypeScript
github.com·4h·
Discuss: Hacker News
📦Cabal
Flag this post
Asking Paul Fussell for Writing Advice
lesswrong.com·2h
💾information theory
Flag this post
Transition to Collective Motion in Nonreciprocal Active Matter: Coarse Graining Agent-Based Models into Fluctuating Hydrodynamics
journals.aps.org·1d
📐Stochastic Calculus
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.com·15h·
Discuss: Lobsters, Hacker News
λHaskell
Flag this post
The Structure of Data
theprogrammersparadox.blogspot.com·10h·
Discuss: theprogrammersparadox.blogspot.com
🌲Persistent Data Structures
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🎓Scheme
Flag this post
The 5 GitHub Repositories Every Prompt Engineer Should Bookmark
amzn.to·3h·
Discuss: DEV
👀Code Reviews
Flag this post
Magisterium
isaacbowen.com·11h·
Discuss: Hacker News
🌪️Chaos Engineering
Flag this post