🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

Postgres 18rc1 vs sysbench
smalldatum.blogspot.com·1d·
Discuss: smalldatum.blogspot.com
🗄️PostgreSQL WAL
Maybe Everything is OSS Now (but Not F)
jeffwofford.com·11h·
Discuss: Hacker News
🔓Open Source Software
Bypassing WAFs for Fun and JavaScript Injection with Parameter Pollution
blog.ethiack.com·1d·
Discuss: Hacker News
🛡️WASM Sandboxing
What’re Your Top 4 CSS Properties?
css-tricks.com·2d
🖋Typography
Show HN: I Built Davia–A New Way to Create Interactive Documents with Code
news.ycombinator.com·1d·
Discuss: r/davia_ai
📄PostScript
Opposing the 'inevitability' of AI in academia is both possible and necessary, argue researchers
phys.org·7h
🔲Cellular Automata
Indic NLP: AI4Bharat papers explainer part 1
shubhamg.bearblog.dev·2d·
Discuss: Hacker News
📝Text Parsing
Elastic Metal: From Game Servers to Global Infrastructure
blog.hathora.dev·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Back from Chaos (1998)
theatlantic.com·2d·
Discuss: Hacker News
🏛️Philosophy
Ban&Pick: Achieving Free Performance Gains and Inference Speedup via Smarter Routing in MoE-LLMs
arxiv.org·3d
💻Local LLMs
Ultrafast Deep Learning-Based Scatter Estimation in Cone-Beam Computed Tomography
arxiv.org·17h
🏺Computational Archaeology
Real-Time Genome Sequencing Error Correction via Dynamic Bayesian Graph Refinement
dev.to·2d·
Discuss: DEV
🧬Bitstream Evolution
PersonaFuse: A Personality Activation-Driven Framework for Enhancing Human-LLM Interactions
arxiv.org·2d
🏛Digital humanities
How London Stock Exchange Group is detecting market abuse with their AI-powered Surveillance Guide on Amazon Bedrock
aws.amazon.com·2d
📥Feed Aggregation
Efficient Multi-Agent Coordination via Dynamic Joint-State Graph Construction
arxiv.org·2d
🔄Graph Rewriting
Modality-Agnostic Input Channels Enable Segmentation of Brain lesions in Multimodal MRI with Sequences Unavailable During Training
arxiv.org·17h
🧠Machine Learning
Predictive Phytochemical Profiling via Dynamic Multi-Omics Integration and Bayesian Hyper-Scoring
dev.to·15h·
Discuss: DEV
📈Mutual Information
🧠Loop of Truth: From Loose Tricks to Structured Reasoning
dev.to·5d·
Discuss: DEV
📏Linear Logic
Automated Bias Mitigation via Causal Graph Interventions and Hyperparameter Optimization
dev.to·2d·
Discuss: DEV
🎛️Feed Filtering
Building AI-Resistant Technical Debt
oreilly.com·2d
📏Code Metrics