Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท2d
โก๏ธCategory Theory
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
Weak-To-Strong Generalization
lesswrong.comยท12h
๐คKleene Algebra
Flag this post
Handbook of Satisfiability (2021)
๐งฉSAT Solvers
Flag this post
Go's New WaitGroup.Go
ฮปFunctional Programming
Flag this post
My first fifteen compilers (2019)
โ๏ธCompiler Design
Flag this post
Pronto: JavaScript Functional Library for Eventuality and Concurrency
ฮปFunctional Programming
Flag this post
Quantum-Resistant Federated Learning with Homomorphic Encryption for Medical Imaging Diagnostics
๐งฎLambda Calculus
Flag this post
Minimal Sufficiency: A Principle โSimilarโ to End-to-End
โ๏ธOperating System Design
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท1d
๐ง Automated Reasoning
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท3d
ฮปFunctional Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท2d
๐งฎZ3 Solver
Flag this post
[Project] UnisonDB: A log-native KV database that treats replication as a first-class concern
๐ActivityPub
Flag this post
[R] TempoPFN: Synthetic Pretraining of Linear RNNs for Zero-Shot Timeseries Forecasting
๐Automata Learning
Flag this post
De Bruijn Numerals
๐งฎLambda Calculus
Flag this post
Loading...Loading more...