🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

CodeSOD: An Exert Operation
thedailywtf.com·5d
🔗Dependently Typed
Weeknotes #335 — Lip service
andrewdoran.uk·2d
🔤EBCDIC Mining
A 2019 WEF-aligned your body is the new interface
theruminationcompilation.wordpress.com·14h·
Discuss: Hacker News
⏳Time Capsule Networks
Defining 'Toast' Messages (2020)
adrianroselli.com·28m·
Discuss: Hacker News
📟Terminal Typography
Digital Marketing Best Tips
forums.anandtech.com·8h
🎯Content Recommendation
Show HN: I built a voice-first tool for Twitter, pivoted to cursor for X
x11.social·1d·
Discuss: Hacker News
📰RSS Archaeology
[$] On becoming a Python contributor
lwn.net·2d
🎯Gradual Typing
The surprisingly sound financial advice I got from a chatbot
vox.com·2d
🔍BitFunnel
HIRE A LEGITIMATE RECOVERY CONSULTANT FOR CRYPTO AND ASSETS RECOVERY - META TECH RECOVERY PRO
dev.to·1d·
Discuss: DEV
🧬PostgreSQL Forensics
VRISE: A Virtual Reality Platfrom for Immersive and Interactive Surveying Education
arxiv.org·2d
🏺Computational Archaeology
HexaMorphHash HMH- Homomorphic Hashing for Secure and Efficient Cryptographic Operations in Data Integrity Verification
arxiv.org·3d
🔐Hash Functions
BANG: Dividing 3D Assets via Generative Exploded Dynamics
arxiv.org·3d
🏺Computational Archaeology
Two Coffees In, My AI Still Won’t Build This App
hackernoon.com·3d
🔗Concatenative Languages
Geometric Operator Learning with Optimal Transport
arxiv.org·4d
🌀Riemannian Computing
LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning
arxiv.org·4d
💻Local LLMs
HJB-based online safety-embedded critic learning for uncertain systems with self-triggered mechanism
arxiv.org·4d
✨Algebraic Effects
Aligning Large Language Model Agents with Rational and Moral Preferences: A Supervised Fine-Tuning Approach
arxiv.org·4d
💻Local LLMs
HypKG: Hypergraph-based Knowledge Graph Contextualization for Precision Healthcare
arxiv.org·4d
🕸️Graph Embeddings
Fuchs SE (FUPBY) Q2 2025 Earnings Call Transcript
seekingalpha.com·18h
🧠Query Planners
Weight-Parameterization in Continuous Time Deep Neural Networks for Surrogate Modeling
arxiv.org·3d
📊Quantization