Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท2d
๐Category Theory
Flag this post
A unified threshold-constrained optimization framework for consistent and interpretable cross-machine condition monitoring
sciencedirect.comยท18h
๐Memory Linearization
Flag this post
When Five Dumb AIs Beat One Smart AI: The Case for Multi-Agent Systems
๐ขAlgebraic Datatypes
Flag this post
Memoization, a useful pattern for quick optimization
event-driven.ioยท4d
๐Weak References
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Speedrunning an RL Environment
โจGleam
Flag this post
Mocking TSAN is fun
๐Bytecode Interpreters
Flag this post
Learning to program "recycles" preexisting F-P pop codes of logical algorithms
๐ชRecursive Descent
Flag this post
De Bruijn Numerals
ฮปLambda Calculus
Flag this post
Smaller Surfaces
๐ฅพBootstrapping Strategies
Flag this post
Beyond Brute Force: 4 Secrets to Smaller, Smarter, and Dramatically Cheaper AI
hackernoon.comยท1d
๐Linear Memory
Flag this post
Vibecoding my way to a crit on GitHub
๐ณTree Shaking
Flag this post
Loading...Loading more...