⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Is Anything Random?
bbc.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Genomics coordinate systems
docs.rs·3d·
Discuss: Hacker News
🧬Copy Number Variants
Tang Nano 9K Series [tutorial]
learn.lushaylabs.com·1d·
Discuss: Hacker News
🔍FPGA Verification
Delphi Raises $16M Series A from Sequoia Capital to Pioneer "Digital Minds"
delphi.framer.website·1d·
Discuss: Hacker News
🔌Interface Evolution
Reflecting JSON into C++ Objects
brevzin.github.io·3d·
Discuss: Lobsters, Hacker News, r/cpp, r/programming
🔧Binary Parsers
Building static websites for dummies (2024)
kirancodes.me·1d·
Discuss: Hacker News
🌀Brotli Internals
The Bitter Lesson
finbarr.ca·3d·
Discuss: Hacker News
🔲Cellular Automata
How Questions Build Software
akdev.blog·2d·
Discuss: Hacker News
🔍Concolic Testing
Is DeepSeek a New Voice Among LLMs in Public Opinion Simulation?
arxiv.org·4h
💻Local LLMs
Bias, Accuracy, and Trust: Gender-Diverse Perspectives on Large Language Models
arxiv.org·4h
📝ABNF Parsing
Characterization Of Diseases In Temporal Comorbidity Networks
arxiv.org·4h
📐Information Geometry
Async/Await in C# vs JavaScript: Same Hoodie, Different Superpowers
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Daily JavaScript Challenge #JS-214: Find Missing Numbers in Sequence
dev.to·1d·
Discuss: DEV
📊APL Heritage
Memory Safety and Ultimate Performance Finding Perfect Balance in Rust（1751201279898700）
dev.to·19h·
Discuss: DEV
🔒Type Safety
Language Modeling by Language Models
arxiv.org·4d
🤖Grammar Induction
OptGM: An Optimized Gate Merging Method to Mitigate NBTI in Digital Circuits
arxiv.org·3d
⚙️Logic Synthesis
I Built My Own Programming Language and its Virtual Machine In Python!
dev.to·5d·
Discuss: DEV
🔗Concatenative Programming
The AI Journaling Revolution: Free, Local, and Powerful with Rovo Dev + Frontmatter MCP
dev.to·1d·
Discuss: DEV
🌳Incremental Parsing
Revolutionizing LLM Interactions: Code2Prompt – Your Code's New AI Assistant
dev.to·18h·
Discuss: DEV
🌳Incremental Parsing
NodeJS Fundamentals: export
dev.to·2d·
Discuss: DEV
🛡️WebAssembly Security