Integer Set Library (ISL) - A Primer
jeremykun.comยท1h
๐งฎAlgebraic Datatypes
Flag this post
Speeding up C++ functions with a thread_local cache
lemire.meยท22m
๐จCache Optimization
Flag this post
Kazhdan Seminar fall 2025 โ Starting Today Oct. 19, 2026.
gilkalai.wordpress.comยท15h
๐งฎTheoretical Computer Science
Flag this post
computational trilogy in nLab
ncatlab.orgยท1d
ฮปLambda Formalization
Flag this post
The Complete Guide to Vector Databases for Machine Learning
machinelearningmastery.comยท2d
๐๏ธVector Databases
Flag this post
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
arxiv.orgยท2d
๐๏ธConstructive Mathematics
Flag this post
mikeizbicki/HLearn
github.comยท1d
๐Monadic Parsing
Flag this post
Conceptual Frameworks for Data Science Projects
towardsdatascience.comยท5h
๐Constraint Handling
Flag this post
SwiReasoning helps large language models switch reasoning modes to boost efficiency and accuracy
the-decoder.comยท13h
๐ณContext free grammars
Flag this post
Most proofs are trivial
lawrencecpaulson.github.ioยท4d
๐ฒProof Irrelevance
Flag this post
The Spherical Cows of Programming
๐Shell Calculus
Flag this post
Unlocking Efficiency: Streamlining AI Planning Through Axiom Optimization
โกZ3 Optimization
Flag this post
Fast calculation of the distance to cubic Bezier curves on the GPU
blog.pkh.meยท1d
๐Interval Arithmetic
Flag this post
Formalising external APIs
๐ฆRust Macros
Flag this post
Loading...Loading more...