Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Formal or not formal? That is the question in AI for theorem proving.
xenaproject.wordpress.com·2d
⚔️Lean Theorem
Flag this post
A Vision for Future Low-Level Languages
antelang.org·20h·
🦀Rust Borrowing
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·3d
🏗️Constructive Logic
Flag this post
Empirical Partial Derivatives
brianschrader.com·1d·
Discuss: Hacker News
📚Archive Mathematics
Flag this post
Typst's Math Mode Problem
laurmaedje.github.io·19h·
Discuss: Hacker News
🔗Lisp
Flag this post
We Programmers Need "Results"
rockyj-blogs.web.app·1h·
Discuss: Hacker News
📜Proof Carrying Code
Flag this post
Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·2d
🎯Performance Proofs
Flag this post
Almost Integers, almost incredible
pballew.blogspot.com·8h·
📐Interval Arithmetic
Flag this post
MIT 6.851: Advanced Data Structures (Spring'21)
courses.csail.mit.edu·2h·
Discuss: Hacker News
💻CS
Flag this post
💻 Leveling Up My Python Skills – 3 Weeks, 150 Problems!
dev.to·3h·
Discuss: DEV
λLambda Formalization
Flag this post
Corecursion
en.wikipedia.org·22h·
Discuss: Hacker News
λLambda Encodings
Flag this post
A Proof of the Riemann Hypothesis
future.forem.com·1d·
Discuss: DEV
⚔️Lean Theorem
Flag this post
Specifications like temporal logic but with ordinary mathematics
yodaiken.com·17h
📄PostScript
Flag this post
LaTeX, LLMs and Boring Technology
eli.thegreenplace.net·10m
📝Concrete Syntax
Flag this post
STOC 2026 Experimental Program Announcement
thmatters.wordpress.com·12h
🧮Theoretical Computer Science
Flag this post
Researchers discover three factors that make AI agents significantly smarter
the-decoder.com·3h
🧠Intelligence Compression
Flag this post
AI and Intro Theory
blog.computationalcomplexity.org·2d·
🎯Performance Proofs
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·13h·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
A major week
blog.mitrichev.ch·17h·
🔢Bitwise Algorithms
Flag this post
Half-Quadratic Quantization of large machine learning models
dropbox.tech·2d
📊Quantization
Flag this post