🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

KNN and K-means in Gini Prametric Spaces, at ECAI 2025, in Bologna, Italy
freakonometrics.hypotheses.org·1d
🌀Riemannian Computing
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
At my wits end..
i.redd.it·1d·
Discuss: r/homelab
📐Linear Algebra
How to Detect Text Truncation in SwiftUI?
fatbobman.com·12h·
Discuss: Hacker News
🖋Typography
Graph foundation models for relational data
research.google·3d·
Discuss: Hacker News, Hacker News, r/programming
🕸️Graph Embeddings
Show HN: GrokVocab – I Built a Vocabulary App Without Flashcards or Memorization
grokvocab.com·15h·
Discuss: Hacker News
🌀Brotli Dictionary
A closer look at the Model Context Protocol
jan.scheffczyk.page·14h·
Discuss: r/programming
⚡gRPC
Shipping Linear Drafts
mufeezamjad.com·10h·
Discuss: Hacker News
🌊Streaming Systems
farhanashrafdev/90DaysOfCyberSecurity
github.com·5h
🕵️Penetration Testing
Variadic Generics ideas that won't work for Rust
poignardazur.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming
🦀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
I created a new training dataset for stale SOTA LLMs
news.ycombinator.com·14h·
Discuss: Hacker News
🧲RISC-V Preservation
KPFlow: An Operator Perspective on Dynamic Collapse Under Gradient Descent Training of Recurrent Networks
arxiv.org·3d
🧠Machine Learning
Kimi K2: A New Frontier for Developers
dev.to·6h·
Discuss: DEV
🧠Intelligence Compression
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.com·1d
🦀Rust Borrowing
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·4d
⚛️Quantum Circuits
Self-Review Framework for Enhancing Instruction Following Capability of LLM
arxiv.org·4d
✓Automated Theorem Proving
Controlling Thinking Speed in Reasoning Models
arxiv.org·5d
🧮Constraint SMT