Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท2d
โก๏ธCategory Theory
Flag this post
Weak-To-Strong Generalization
lesswrong.comยท18h
๐คKleene Algebra
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...
๐พCachix
Flag this post
Can-t stop till you get enough
๐Linear Algebra
Flag this post
Chain of Pattern: Rethink
๐คLanguage Design
Flag this post
build system tradeoffs
๐๏ธDune
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
๐ง Automated Reasoning
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท3d
ฮปFunctional Programming
Flag this post
Reflections on Trusting Trust (1984)
๐ก๏ธseL4
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
Hou Tu Pranownse Inglish
๐Automata Learning
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท3d
๐งฎZ3 Solver
Flag this post
The case against boolean logic
โExistential Types
Flag this post
Loading...Loading more...