🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Open Security News week 33-2025
nocomplexity.com·1d
🔓Hacking
The Folk Economics of Housing - American Economic Association
aeaweb.org·2d·
Discuss: Hacker News, r/Economics, r/science
💰Archive Economics
Proto Rig and Proto Fleet: A paradigm shift in Bitcoin mining
proto.xyz·2d·
Discuss: Hacker News
🖥️Modern Terminals
You Can Now Control How Long GPT-5 Will ‘Think’
lifehacker.com·3d
🖥️Terminal Renaissance
Using Metadata to find Paul Revere (2013)
kieranhealy.org·2d·
Discuss: Hacker News
📡DNS Archaeology
Lasso Transactions – Fund Creators and Combat Free-Riders Without Copyright
rasmuskirk.com·2d·
Discuss: Hacker News
🔓Open Source Software
Designing With AI, Not Around It: Practical Advanced Techniques For Product Design Use Cases
smashingmagazine.com·5d·
Discuss: Hacker News
📟CLI Design
Automating my University's STS Course & Lecturer Evaluation Process with Python + Selenium
dev.to·3d·
Discuss: DEV
🌊Stream Processing
Generative AI designs compounds that can kill drug-resistant bacteria
phys.org·2d
🔍Vector Forensics
We Built a Live Scoreboard for Developers: Now 1K+ Devs Are Competing on It🔥🏂
dev.to·2d·
Discuss: DEV
📏Code Metrics
Robots are not that bad
dev.to·3d·
Discuss: DEV
📊Feed Optimization
So I think I am fundamentally misunderstanding ling aggregation?
reddit.com·2d·
Discuss: r/homelab
📡Tape Networking
MuaLLM: A Multimodal Large Language Model Agent for Circuit Design Assistance with Hybrid Contextual Retrieval-Augmented Generation
arxiv.org·4d
⚡Circuit Design
Exploring Safety Alignment Evaluation of LLMs in Chinese Mental Health Dialogues via LLM-as-Judge
arxiv.org·4d
✨Effect Handlers
Diffeomorphic Neural Operator Learning
arxiv.org·4d
🕸️Tensor Networks
Cut2Next: Generating Next Shot via In-Context Tuning
arxiv.org·4d
📊Learned Metrics
Testing the Limits of Machine Translation from One Book
arxiv.org·4d
🧮Kolmogorov Complexity
LLM Hallucination Seems Like a Big Problem, Not a Mere Speedbump
freddiedeboer.substack.com·4d·
Discuss: Substack
💻Local LLMs
Topological spin textures: Scientists use micro-structured materials to control light propagation
phys.org·15h
⚛️Quantum Archives
A Newbies Attempt at Making the Classic Game Battleship
dev.to·4d·
Discuss: DEV
🦀Rust Borrowing