r/mathematics
🔢Mathematical Logic
Flag this post
Rodrigo Girão Serrão: A generator, duck typing, and a branchless conditional walk into a bar
mathspp.com·2h
⚙Functional Programming
Flag this post
Computation as a Game
arxiv.org·18h
⚖Algorithmic Game Theory
Flag this post
Fluent Visitors: revisiting a classic design pattern
neilmadden.blog·1h
⚙Functional Programming
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
🧭SMT Solvers
Flag this post
Ranking LLMs based on 180k French votes (French government's AI arena)
🧫Cellular Automata
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
🔗Parser Combinators
Flag this post
GDM: Consistency Training Helps Limit Sycophancy and Jailbreaks in Gemini 2.5 Flash
lesswrong.com·6h
🎲Probabilistic Programming
Flag this post
Can-t stop till you get enough
⚙Functional Programming
Flag this post
Logic Theorist: The program that rewrote the foundations of mathematics
bigthink.com·7h
🔢Mathematical Logic
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
⚖Algorithmic Game Theory
Flag this post
Logic point entities (Sourcelike)
🧩Theorem Proving
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
🔗Parser Combinators
Flag this post
OpenSIR: Open-Ended Self-Improving Reasoner
arxiv.org·18h
🧩Theorem Proving
Flag this post
Loading...Loading more...