🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Musings of a Trust Architect: When Technical Standards Meet Geopolitical Reality
lifewithalacrity.com·1d
🤝Distributed Consensus
Creating a Colorscheme
robinroses.xyz·14h·
Discuss: Hacker News
🌈Color Science
C++: Maps on Chains
bannalia.blogspot.com·5d·
Discuss: Hacker News
📐Interval Arithmetic
The Component Manifesto
lifeiscontent.net·16h·
Discuss: Hacker News
🧩WASM Components
10 GitHub Repositories for Python Projects
kdnuggets.com·22h
🌀Brotli Internals
Preliminary Analysis of Construction Work Zone on Roadways in Florida by Crash Severity
arxiv.org·1d
🛡️eBPF Programs
AI slows down open source developers. Peter Naur can teach us why
johnwhiles.com·2d·
Discuss: Hacker News, r/programming
🔩Systems Programming
Generative SQL: How LLMs are transforming query development and unlocking data agility in the energy sector
dev.to·1d·
Discuss: DEV
📋Document Grammar
BlueGlass: A Framework for Composite AI Safety
arxiv.org·1d
🔒WASM Capabilities
Python Fundamentals: break
dev.to·3d·
Discuss: DEV
🛡️Error Boundaries
MatrixTransformer – A Unified Framework for Matrix Transformations
news.ycombinator.com·3d·
Discuss: Hacker News
🕸️Tensor Networks
15 Common Product Discovery Mistakes I Made (And How You Can Avoid Them)
hackernoon.com·1d
📟CLI Design
Bridging Robustness and Generalization Against Word Substitution Attacks in NLP via the Growth Bound Matrix Approach
arxiv.org·1d
🤖Grammar Induction
Adversarial Activation Patching: A Framework for Detecting and Mitigating Emergent Deception in Safety-Aligned Transformers
arxiv.org·1d
💻Local LLMs
This Prompt Puts You Ahead of 99.9% of ChatGPT Users 🚀
dev.to·12h·
Discuss: DEV
⚡Proof Automation
The Ever-Evolving Dev: Growing Beyond the Code
dev.to·3d·
Discuss: DEV
🔩Systems Programming
Queueing for Civility: User Perspectives on Regulating Emotions in Online Conversations
arxiv.org·10h
⚖️Feed Ranking
An Interpretable AI framework Quantifying Traditional Chinese Medicine Principles Towards Enhancing and Integrating with Modern Biomedicine
arxiv.org·10h
🧠Machine Learning
What Factors Affect LLMs and RLLMs in Financial Question Answering?
arxiv.org·2d
🌳Context free grammars
TXT Notepad: Meet TXT OS — An Open-Source AI Reasoning System in One .txt File
dev.to·3d·
Discuss: DEV
⚡Proof Automation