Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🔗Parser Combinators
Flag this post
Jordan triple system
ncatlab.org·1d
➡️Arrows
Flag this post
🌀 Brent's Algorithm Explained – Faster Cycle Detection for Beginners
dev.to·9h·
Discuss: DEV
➡️Arrows
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·2d
😴Lazy Evaluation
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·15h
➡️Arrows
Flag this post
Cycle-accurate 6502 emulator as coroutine in Rust
github.com·19h·
Discuss: Hacker News, r/programming, r/rust
🧩Memory Pooling
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·1d·
Discuss: Hacker News
🚫Branch-Free Programming
Flag this post
Oklahoma at Tennessee: Sooners kick Vols out of Playoff race, plus more takeaways
nytimes.com·6h
🔬Hypothesis Testing
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·13h
🗺️Flight Management Systems
Flag this post
Structure
barrel.bearblog.dev·7h
💾information theory
Flag this post
Work In Progress
nathanlowell.com·19h
🪄Magit
Flag this post
Inverse shortest paths in directed acyclic graphs
reddit.com·6h·
Discuss: r/compsci
😴Lazy Evaluation
Flag this post
Scala vs F#
alexn.org·1d
🔵Clojure
Flag this post
Entropy in algorithm analysis
11011110.github.io·11h
⛓️MCMC
Flag this post
Weak-To-Strong Generalization
lesswrong.com·7h
📐Gini Coefficient
Flag this post
De Bruijn Numerals
text.marvinborner.de·2d·
Discuss: Hacker News
➡️Arrows
Flag this post
Ontogeny Recapitulates Phylogeny: Ernst Haeckel's Theory
brighthubeducation.com·1d·
Discuss: Hacker News
💾information theory
Flag this post
Issue 496
haskellweekly.news·2d
λHaskell
Flag this post
Having a bit of a disconnect understanding how to use the Godot Documentation.
preview.redd.it·11h·
Discuss: r/godot
📝Org-Mode
Flag this post
Indexers in C# — Making Your Classes Feel Like Arrays
dev.to·12h·
Discuss: DEV
🌲Persistent Data Structures
Flag this post