🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

At my wits end..
i.redd.it·19h·
Discuss: r/homelab
📐Linear Algebra
I was laid off at 59, but not ready to retire. I started my own handyman business to stay busy.
businessinsider.com·16h
🏠Personal Archives
Learning by Writing . . . and Revising . . .
poetrywithmathematics.blogspot.com·1d·
Discuss: poetrywithmathematics.blogspot.com
🏗️Constructive Mathematics
AI could be about to completely change the way we do mathematics
newscientist.com·5d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
The Data Engineering Toolkit: Infrastructure, DevOps, and Beyond
ssp.sh·2d
🌊Stream Processing
Graph foundation models for relational data
research.google·2d·
Discuss: Hacker News, r/programming
🕸️Graph Embeddings
Using Gemini and Claude for SQL Analytics
benjaminwootton.com·2d·
Discuss: Hacker News
🧮Datalog
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Homeostatic Adaptation of Optimal Population Codes under Metabolic Stress
arxiv.org·1d
🔲Cellular Automata
☣︎ Beginner-Friendly Guide: "Reschedule Meetings for Maximum Free Time II" – LeetCode 3440 (C++ | Python | JavaScript)
dev.to·2d·
Discuss: DEV
🔄Graph Rewriting
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·4d
💻Programming languages
Cactus Language • Stylistics 2
inquiryintoinquiry.com·2d
💻Programming languages
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·1d
🧮Kolmogorov Complexity
Prompt Engineering for Requirements Engineering: A Literature Review and Roadmap
arxiv.org·1d
⚙️TLA+
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·3d
✨Effect Handlers
Beyond the Linear Separability Ceiling
arxiv.org·1d
🧠Machine Learning
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·18h·
Discuss: Hacker News
⚡Proof Automation
Taming LLMs: How to Get Structured Output Every Time (Even for Big Responses)
dev.to·17h·
Discuss: DEV
📝Concrete Syntax
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