Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท1d
๐งฎAlgebraic Archives
Flag this post
AI and Intuition
๐ฏContent Recommendation
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท2d
๐Category Theory
Flag this post
Jordan triple system
ncatlab.orgยท22h
๐Linear Algebra
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท2d
๐Combinatory Logic
Flag this post
A Laser-Cut Tromino Puzzle
divisbyzero.comยท3h
๐งฎSMT Solvers
Flag this post
Issue 496
haskellweekly.newsยท2d
๐Functional Compilers
Flag this post
Build reliable AI systems with Automated Reasoning on Amazon Bedrock โ Part 1
aws.amazon.comยท1d
โกProof Automation
Flag this post
Linkage
11011110.github.ioยท22h
๐Mathematical Art
Flag this post
Speedrunning an RL Environment
โ๏ธLean Tactics
Flag this post
Proof of the \( \left( \frac{c k^2 \ln m}{\ln \ln m} \right)^m \)-Bound (1)
sites.psu.eduยท4d
๐Error Bounds
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท2d
ฮปLambda Formalization
Flag this post
Text rendering and effects using GPU-computed distances
blog.pkh.meยท4h
๐Mathematical Art
Flag this post
Testing Unnatural Prompt Engineering Across Five Large Language Models
blog.codeminer42.comยท1d
โกProof Automation
Flag this post
Magisterium
โจAlgebraic Effects
Flag this post
#28 Cumulative / Accumulate...History and Etymology of Math Terms
๐Archive Mathematics
Flag this post
Meta's Free Transformer introduces a new approach to LLM decision-making
the-decoder.comยท9h
๐Document AI
Flag this post
From Lossy to Lossless Reasoning
๐จCompilers
Flag this post
Loading...Loading more...