Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·1w·
Discuss: Hacker News
🌐WebAssembly
Flag this post
A moonlit week
blog.mitrichev.ch·1w·
Discuss: blog.mitrichev.ch
📐Linear Algebra
Flag this post
How we Evolved from Naive RAG to Sufficient-Context RAG & Finally Stopped the Hallucinations
pub.towardsai.net·2w
⚙️Compilers
Flag this post
Even Numbers Are Tautologies
risingentropy.com·8h·
Discuss: Hacker News
🔢Number Theory
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1w·
Discuss: Hacker News
🔢Number Theory
Flag this post
SampCert: Verified Foundations for Differential Privacy (PLDI 2025)
dl.acm.org·13h·
Discuss: Hacker News
🔢Number Theory
Flag this post
Viete on Pythagorean Triples
pballew.blogspot.com·2w·
Discuss: www.blogger.com
🔢Number Theory
Flag this post
An Impossible Perimeter Problem
mindyourdecisions.com·3w
🔢Number Theory
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·1d
⚙️Compilers
Flag this post
Geometric Computability: Functional programming for gauge theory
researchgate.net·3w·
Discuss: Hacker News
🎨Computer Graphics
Flag this post
The Hallelujah Algorithm
github.com·1w·
Discuss: DEV
📐Linear Algebra
Flag this post
Building the Reasoning Engine at Axiom
axiommath.ai·3w·
Discuss: Hacker News
⚙️Compilers
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·2w·
Discuss: Hacker News
🔐Cryptography
Flag this post
Symbolic Evaluation with EGraphs
github.com·1w
⚙️Compilers
Flag this post
Three ways formally verified code can go wrong in practice
buttondown.com·3w·
Discuss: Lobsters, Hacker News
🌐WebAssembly
Flag this post
What Are the Rules of Logic? Your Guide to Mastering the Power of Reason
thecollector.com·3w
🔢Number Theory
Flag this post
Streaming...(AI Thought Process?)
reddit.com·3w·
Discuss: r/u_Eastern-Pin4281
📐Mathematics
Flag this post
Why formalize mathematics – more than catching errors
rkirov.github.io·2w·
Discuss: Lobsters, Hacker News, Hacker News
📐Mathematics
Flag this post
The Not-So Bitter Lesson
blog.mariusvach.com·2w·
Discuss: Hacker News
⚙️Compilers
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·1w·
Discuss: Hacker News
🌐WebAssembly
Flag this post