Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.org·2d
🔗Parser Combinators
Flag this post
Can-t stop till you get enough
🚫Branch-Free Programming
Flag this post
Jordan triple system
ncatlab.org·2d
➡️Arrows
Flag this post
My C++ lockless-ish task scheduler project ive been working on (first real project, also first time using threads) tell me what you think (BSD license) currentl...
🧩Memory Pooling
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.com·1d
➡️Arrows
Flag this post
Java Generics and Collections • Maurice Naftalin & Stuart Marks • GOTO 2025
youtube.com·3d
😴Lazy Evaluation
Flag this post
Duet Night Abyss
taniyn.quest·8h
🧗climbing
Flag this post
Structure
barrel.bearblog.dev·1d
💾information theory
Flag this post
Adaptive continuity-preserving simplification of street networks
sciencedirect.com·1d
🗺️Flight Management Systems
Flag this post
Dynamics in Jordan Algebras
golem.ph.utexas.edu·17h
📐Stochastic Calculus
Flag this post
The Best Steve Yegge Posts (2015)
sam-koblenski.blogspot.com·1h
👀Code Reviews
Flag this post
Chargers-Titans takeaways: Justin Herbert helps L.A. overcome mistakes in win
nytimes.com·5h
📈ROC Curves
Flag this post
Loading...Loading more...