🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Dining across the divide: ‘She felt people had become hypersexualised – I don’t think the solution is to go completely the other way’
theguardian.com·3h
🔢Coding Theory
AIAI Seminar-Monday 14th July 2025 by Magdalena Proszewska
informatics.ed.ac.uk·2d
🧠Machine Learning
Agentic AI Is Quietly Replacing Developers
thenewstack.io·23h
🔄Language Evolution
Apple Trace Cache
realworldtech.com·1d·
Discuss: Hacker News
⚡CPU Microarchitecture
Using Clouds for too long might have made you incompetent
loudwhisper.me·22h·
Discuss: Hacker News
📦Container Security
Identifiability in Causal Abstractions: A Hierarchy of Criteria
arxiv.org·4d
✨Effect Handlers
Cactus Language • Stylistics 2
inquiryintoinquiry.com·4d
💻Programming languages
Beyond the Linear Separability Ceiling
arxiv.org·2d
🧠Machine Learning
Adventures in Vibe Coding with AI from a Non-Coder
ozeanmedia.com·1d·
Discuss: Hacker News
⚡Proof Automation
☣︎ Beginner-Friendly Guide: "Reschedule Meetings for Maximum Free Time II" – LeetCode 3440 (C++ | Python | JavaScript)
dev.to·3d·
Discuss: DEV
🔄Graph Rewriting
MoSE: Skill-by-Skill Mixture-of-Expert Learning for Autonomous Driving
arxiv.org·2d
🧠Intelligence Compression
Why 87% of Developers Write Trash Prompts (And How You Can Level Up)
dev.to·3h·
Discuss: DEV
📐Proof Assistants
Learning Deliberately, Acting Intuitively: Unlocking Test-Time Reasoning in Multimodal LLMs
arxiv.org·3d
🎯Interactive Provers
Python Learning Progress for a Japanese Beginner
dev.to·3d·
Discuss: DEV
📚Proof Pedagogy
Time Series Foundation Models for Multivariate Financial Time Series Forecasting
arxiv.org·2d
📈Time Series
Bioinformatics in Rust
reddit.com·2d·
Discuss: r/rust
🦀Rust Macros
Expediting data extraction using a large language model (LLM) and scoping review protocol: a methodological study within a complex scoping review
arxiv.org·3d
🔄Archival Workflows
I ported the jsmn C JSON tokenizer to Go with goroutines for parallel parsing, seeking feedback
reddit.com·1d·
Discuss: r/golang
🔗Monadic Parsing
KPFlow: An Operator Perspective on Dynamic Collapse Under Gradient Descent Training of Recurrent Networks
arxiv.org·3d
🧠Machine Learning
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·1d
🦀Rust Borrowing