Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

A moonlit week
blog.mitrichev.ch·1d·
λLambda Encodings
Flag this post
What does computer literacy mean for 2026?
sjg.io·16h·
Discuss: Hacker News
🧠Personal Knowledge Base
Flag this post
Engineering is dead, long live engineering.
dev.to·11h·
Discuss: DEV
📏Code Metrics
Flag this post
Human-AI Collaborative Uncertainty Quantification
arxiv.org·2h
🧠Intelligence Compression
Flag this post
GCAO: Group-driven Clustering via Gravitational Attraction and Optimization
arxiv.org·2h
🌊Spectral Clustering
Flag this post
Accelerating IC Thermal Simulation Data Generation via Block Krylov and Operator Action
arxiv.org·2h
🔧Hardware Verification
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·15h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
ENTP: Enhancing Low-Quality SFT Data via Neural-Symbolic Text Purge-Mix
arxiv.org·2h
🧮SMT Solvers
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·2h
🔤Morphological Analysis
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.com·20h·
Discuss: Substack
🦀Rust Borrowing
Flag this post
The ORM for LLM
github.com·11h·
Discuss: Hacker News
📋Document Grammar
Flag this post
Epistemic Deference to AI
arxiv.org·1d
🧮Theoretical Computer Science
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·2h
🔲Cellular Automata
Flag this post
Additive Models Explained: A Computational Complexity Approach
arxiv.org·1d
🧮Kolmogorov Complexity
Flag this post
Three Sins of Contextual Mismatch: Obscurity, Ambiguity, and Confabulation
medium.com·21h·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Flag this post
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
arxiv.org·2h
💻Local LLMs
Flag this post
How AI-Led Data Validation Improves Due Diligence
dev.to·20h·
Discuss: DEV
🤖AI Curation
Flag this post
K-DAREK: Distance Aware Error for Kurkova Kolmogorov Networks
arxiv.org·2h
🧮Kolmogorov Complexity
Flag this post