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·1d·
Discuss: Hacker News
🧠Personal Knowledge Base
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·1d·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Corpus Frequencies in Morphological Inflection: Do They Matter?
arxiv.org·12h
🔤Morphological Analysis
Flag this post
The New Calculus of AI-based Coding
blog.joemag.dev·23h·
🔄Reproducible Builds
Flag this post
The ORM for LLM
github.com·21h·
Discuss: Hacker News
📋Document Grammar
Flag this post
Epistemic Deference to AI
arxiv.org·1d
🧮Theoretical Computer Science
Flag this post
Rust Gets a Garbage Collector
weeklyrust.substack.com·1d·
Discuss: Substack
🦀Rust Borrowing
Flag this post
Far from the Shallow: Brain-Predictive Reasoning Embedding through Residual Disentanglement
arxiv.org·12h
🔲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·1d·
Discuss: Hacker News
🇸🇪Nordic Algorithms
Flag this post
Artificial Hivemind: The Open-Ended Homogeneity of Language Models (and Beyond)
arxiv.org·12h
💻Local LLMs
Flag this post
How AI-Led Data Validation Improves Due Diligence
dev.to·1d·
Discuss: DEV
🤖AI Curation
Flag this post
K-DAREK: Distance Aware Error for Kurkova Kolmogorov Networks
arxiv.org·12h
🧮Kolmogorov Complexity
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·6d
🏗️Constructive Logic
Flag this post
5 Steps to Conduct Effective Code Reviews
dev.to·4h·
Discuss: DEV
📏Code Metrics
Flag this post
VENI, VINDy, VICI: a generative reduced-order modeling framework with uncertainty quantification
arxiv.org·1d
Effect Handlers
Flag this post
Why I Changed My Mind About Code Comments
dev.to·23h·
Discuss: DEV
🛠Language Design
Flag this post