🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

PEP 757 – C API to import-export Python integers
vstinner.github.io·2d
📊APL Heritage
Book Review: All That We See or Seem by Ken Liu ★★★★★
shkspr.mobi·4h·
Discuss: shkspr.mobi
🔓Hacking
Choices (2000)
joelonsoftware.com·1d·
Discuss: Hacker News
🖋Typography
Reid Hoffman’s Superagency
feld.com·20h·
Discuss: Hacker News
🌊Streaming Systems
Generating Website Banners Algorithmically
golfed.xyz·2d·
Discuss: Hacker News
📸PNG Optimization
Goals per Week: A Proven Productivity Method for Stem Professionals – Execute3
execute3.com·4d·
Discuss: Hacker News
⚡Effectful Programming
Self-Assembly Gets Automated in Reverse of ‘Game of Life’
quantamagazine.org·3d·
Discuss: Hacker News
🔲Cellular Automata
Show HN: CarbonCodeX – AI Coding Assistant Built for Web Developers
carboncodex.app·8h·
Discuss: Hacker News
🎬WebCodecs
Are We Offloading Critical Thinking to Chatbots?
undark.org·1d
🤖AI Curation
Journey starts here
i.redd.it·1d·
Discuss: r/homelab
🧬Bitstream Evolution
⌥ When All You Have Is a Robots.txt Hammer
pxlnv.com·2d
⚖️Emulation Ethics
Automated Regulatory Impact Assessment via Multi-Modal Decomposition and HyperScore Evaluation
dev.to·4d·
Discuss: DEV
✨Effect Handlers
Letters: Front-page story didn’t capture full measure of Charlie Kirk
mercurynews.com·16h
🏠Personal Archives
Automated Life Support System Analysis: Predicting & Mitigating Physiological Drift
dev.to·2d·
Discuss: DEV
🛡️Error Boundaries
Automated Artifact Mitigation in High-Resolution ECG via Adaptive Spectral Filtering and Deep Learning
dev.to·18h·
Discuss: DEV
🌊Digital Signal Processing
How I Handle 15-Second AI Tasks Without Losing 87% of Users
dev.to·13h·
Discuss: DEV
🌊Stream Processing
5 AI Prompting Secrets: What Big Techs Know About Talking to AI
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Python and JSON: Your Guide to Speaking the Web's Language
dev.to·2d·
Discuss: DEV
📝Concrete Syntax
ACE-RL: Adaptive Constraint-Enhanced Reward for Long-form Generation Reinforcement Learning
arxiv.org·5d
🔲Cellular Automata
The LLM Has Left The Chat: Evidence of Bail Preferences in Large Language Models
arxiv.org·5d·
Discuss: Hacker News
🧠Intelligence Compression