🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Genesis CCA: Special Effects and Final Polish
bumbershootsoft.wordpress.com·11h
📼Retro Games
A Lot of Packets
funcall.blogspot.com·1d·
Discuss: www.blogger.com
📡Network Archaeology
🥩 Red Meat Friday: We Should Stop Whining
irreal.org·1d·
Discuss: Hacker News
🦀Rust Macros
Valuing Assets with Different Volatilities
niklasbuschmann.github.io·3d·
Discuss: Hacker News
🎯Arithmetic Coding Theory
Can U.S. Math Research Survive NSF Funding Cuts?
scientificamerican.com·1d
📚Archive Mathematics
‘Unethical’ or ‘Shady’?: Accusations fly in manslaughter case against San Leandro officer
mercurynews.com·1d
🚨Incident Response
It Takes Two to Tango
avivbenyosef.com·20h·
Discuss: Hacker News
🤝Distributed Consensus
Caterham Seven CSR 20: Hostage to a fortune
the-independent.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: New Audiobook Generator for Nvidia Using Chatterbox TTS
github.com·1h·
Discuss: Hacker News
🎙️Whisper
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blog·4d
📜Proof Carrying Code
In Defense of Not-Invented-Here Syndrome
joelonsoftware.com·1d·
Discuss: Hacker News
⚖️Emulation Ethics
Simplify your Agent "vibe building" flow with ADK and Gemini CLI
developers.googleblog.com·3d
⚔️Lean Tactics
Grappling with the Existential Panic over AI
easydns.com·3d·
Discuss: Hacker News
⚡Proof Automation
GoXStream: My Go Stream Processing Side Project
reddit.com·20h·
Discuss: r/golang
🌊Streaming Systems
Uncensored Multi-Agent AI Debate System Locally with Knowledge Base Now with a UI! (Part 3)Full code.
dev.to·4d·
Discuss: DEV
📝ABNF Parsing
🔥 De‑constructing Cognition and Why LLMs Can’t Replicate It
dev.to·4d·
Discuss: DEV
🔲Cellular Automata
An Empirical Study of Multi-Agent RAG for Real-World University Admissions Counseling
arxiv.org·4d
💻Programming languages
AI Quietly Getting Stronger: How Many Jobs Has It Already Taken?
dev.to·1d·
Discuss: DEV
🤖AI Translation
Ask HN: How to Argue Against AI Enthusiasts?
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
You can get unfathomably rich building AI. Should you?
vox.com·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing