🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

FreeBSD Errata Notice FreeBSD-EN-25:13.wlan_tkip
bsdsec.net·1d
🛡️eBPF Security
FORGE: Cybersecurity’s “AlphaEvolve Moment” for Threat Detection
sentinelone.com·1d
⚡Proof Automation
Some thoughts from my short trip to London
nandinfinitum.com·23h·
Discuss: Hacker News
🦐Göteborg
Writing culture
splits.org·3d·
Discuss: Hacker News
🧠Personal Knowledge Base
How should we learn from bugs?
typesanitizer.com·5d·
Discuss: Hacker News, r/programming
🦀Rust Macros
Unsupervised Model Improvement via Internal Coherence Maximization
huggingface.co·6d·
Discuss: Hacker News
🧮SMT Solvers
How to Run Your Own OpenAI GPT OSS Server for Fun and Profit
northcodie.blogspot.com·1d·
Discuss: Hacker News
🔓Open Source Software
How gTrade v10 Is Redefining On-Chain Derivatives for Professional Traders
hackernoon.com·2d
🖥️Terminal Renaissance
Machine learning highlights factors associated with Arabidopsis circadian clock
nature.com·4h·
Discuss: Hacker News
📈Time Series
Open source lowcode builder – looks awesome for business needs
github.com·19h·
Discuss: Hacker News
📦Git LFS
Data Engineering vs Data Science: Why the Debate Still Misses the Point
dev.to·1d·
Discuss: DEV
🧪Data science
PwC is training junior accounts to be like managers, because AI is going to be doing the entry-level work
businessinsider.com·1d
🧠Intelligence Compression
Behind the Meta scale AI deal: why more data Isn’t always better for physical AI
techradar.com·3d
🤖AI Curation
Process multi-page documents with human review using Amazon Bedrock Data Automation and Amazon SageMaker AI
aws.amazon.com·2d
🤖Archive Automation
Optimizing Vessel Routing via Hybrid Reinforcement Learning & Predictive Analytics for Reduced Fuel Consumption in Bulk Carriers
dev.to·2d·
Discuss: DEV
🎛️Feed Filtering
Why Most Devs Waste APIs (Do This Instead)
dev.to·2d·
Discuss: DEV
🚀Indie Hacking
Court of LLMs: Evidence-Augmented Generation via Multi-LLM Collaboration for Text-Attributed Graph Anomaly Detection
arxiv.org·5d
🔍Vector Forensics
Your Model Is Unfair, Are You Even Aware? Inverse Relationship Between Comprehension and Trust in Explainability Visualizations of Biased ML Models
arxiv.org·5d
🧠Intelligence Compression
Are you in a mid-career to senior job? Don’t fear AI – you could have this important advantage
theconversation.com·1d·
Discuss: Hacker News
⚡Proof Automation
Update on my Go CLI: You gave feedback, I listened. Announcing Open Workbench v0.6.0 with multi-service support & more.
reddit.com·1d·
Discuss: r/golang
🔓Open Source Software