🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

AIAI Seminar-Monday 14th July 2025 by Magdalena Proszewska
informatics.ed.ac.uk·1d
🧠Machine Learning
Learning by Writing . . . and Revising . . .
poetrywithmathematics.blogspot.com·2d·
Discuss: poetrywithmathematics.blogspot.com
🏗️Constructive Mathematics
AI could be about to completely change the way we do mathematics
newscientist.com·5d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Agentic AI Is Quietly Replacing Developers
thenewstack.io·45m
🔄Language Evolution
Graph foundation models for relational data
research.google·2d·
Discuss: Hacker News, Hacker News, r/programming
🕸️Graph Embeddings
Apple Trace Cache
realworldtech.com·22h·
Discuss: Hacker News
⚡CPU Microarchitecture
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·4d
💻Programming languages
Cultural theory was right about the death of the author. It was just a few decades early
crookedtimber.org·1d·
Discuss: Hacker News
🧮Theoretical Computer Science
Enhancing LLM performance with reasoning using deterministic feedback loops
usekbai.com·5d·
Discuss: Hacker News
🧮Theorem Proving
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·1d
⚙️TLA+
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·1d
🧮Kolmogorov Complexity
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
✨Effect Handlers
Cactus Language • Stylistics 2
inquiryintoinquiry.com·3d
💻Programming languages
Beyond the Linear Separability Ceiling
arxiv.org·1d
🧠Machine Learning
☣︎ Beginner-Friendly Guide: "Reschedule Meetings for Maximum Free Time II" – LeetCode 3440 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
🔄Graph Rewriting
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·1d
🧠Intelligence Compression
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·2d
🎯Interactive Provers
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·23h·
Discuss: Hacker News
⚡Proof Automation
Python Learning Progress for a Japanese Beginner
dev.to·2d·
Discuss: DEV
📚Proof Pedagogy