⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Statistical mechanics method helps machines better understand complex systems
phys.org·16h
🔲Cellular Automata
CL-JSON Ambiguity
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🧠Lisp Dialects
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·20h·
Discuss: Hacker News
🌳Archive Merkle Trees
When functions dissolve
rubber-duck-typing.com·1d·
Discuss: Hacker News
🐚Shell Calculus
Alvorada-Bench: Can Language Models Solve Brazilian University Entrance Exams?
arxiv.org·1d
💻CS
how to decide on the sequence of computable numbers
academia.edu·5d·
Discuss: Hacker News, r/compsci, r/programming
🎞️Tape Combinatorics
A Feminist Account of Intersectional Algorithmic Fairness
arxiv.org·6h
🌍Cultural Algorithms
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
jacobasper.com·10h·
Discuss: Hacker News
🦀Rusty Databases
modelSolver: A Symbolic Model-Driven Solver for Power Network Simulation and Monitoring
arxiv.org·6h
✨Algebraic Effects
The Nickel Configuration Language
nickel-lang.org·2d·
Discuss: Hacker News
📋Format Specification
Linear Dynamics meets Linear MDPs: Closed-Form Optimal Policies via Reinforcement Learning
arxiv.org·6h
🔲Cellular Automata
Mojo Vision
docs.modular.com·6h·
Discuss: Hacker News
🔩Systems Programming
L-XAIDS: A LIME-based eXplainable AI framework for Intrusion Detection Systems
arxiv.org·6h
🔍Vector Forensics
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·20h·
Discuss: Hacker News
⚡Proof Automation
Thermodynamically Consistent Hybrid and Permutation-Invariant Neural Yield Functions for Anisotropic Plasticity
arxiv.org·1d
🌀Differential Geometry
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·6h
🧠Intelligence Compression
Fun OCaml 2025
fun-ocaml.com·2d·
Discuss: Hacker News
🧬Functional Programming
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Language Models Coupled with Metacognition Can Outperform Reasoning Models
arxiv.org·6h
🧠Intelligence Compression
CRYSTALS - The Gently Introduction
dev.to·4d·
Discuss: DEV
⚗️Algebraic Coding