⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·16h·
Discuss: r/programming
🔄Burrows-Wheeler
Fun OCaml 2025
fun-ocaml.com·3d·
Discuss: Hacker News
🧬Functional Programming
Using information theory to solve Mastermind
goranssongaspar.com·2d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
Fine-Tuning and Deploying GPT Models Using Hugging Face Transformers
blog.jetbrains.com·1d
🤖Grammar Induction
Statistical mechanics method helps machines better understand complex systems
phys.org·1d
🔲Cellular Automata
Anemoi: A Semi-Centralized Multi-agent Systems Based on Agent-to-Agent Communication MCP server from Coral Protocol
arxiv.org·18h
🤝Consensus Protocols
CRYSTALS - The Gently Introduction
dev.to·5d·
Discuss: DEV
⚗️Algebraic Coding
We should rethink how we teach people to code
deadsimpletech.com·8h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·4h
🔍Concolic Testing
Minimal Multi-Stage Form Wizard with AI Review
dev.to·5h·
Discuss: DEV
✨Effect Handlers
Fox pairing
ncatlab.org·3d
🔱Galois Theory
WOMAC: A Mechanism For Prediction Competitions
arxiv.org·18h
🔲Cellular Automata
An experimental approach: The graph of graphs
arxiv.org·18h
🌈Spectral Methods
A novel auxiliary equation neural networks method for exactly explicit solutions of nonlinear partial differential equations
arxiv.org·18h
🌀Riemannian Computing
Route-and-Execute: Auditable Model-Card Matching and Specialty-Level Deployment
arxiv.org·18h
🦋Format Metamorphosis
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·7h·
Discuss: Lobsters, Hacker News, r/programming
⚡Hardware Transactional Memory
Analysis and Detection of RIS-based Spoofing in Integrated Sensing and Communication (ISAC)
arxiv.org·18h
⚖️RISC-V Formal