🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

CAIDA’s Annual 2024 Report
blog.caida.org·20h
🔗Data Provenance
Oral-B’s Genius X toothbrush has never been cheaper, but how good is its AI?
the-independent.com·1d
🧲Magnetic Recording
welp ¯\_(ツ)_/¯
kivikakk.ee·10h
📰RSS Reading Practices
James Talarico Is on the Run
wired.com·3d
🌊CBOR Streaming
British Transport Police cuts will endanger railway staff, union warns
the-independent.com·8h
📡Feed Security
Multipurpose app...
dev.to·3d·
Discuss: DEV
🔗Concatenative Languages
Concerning the Responsible Use of AI in the U.S. Criminal Justice System
cacm.acm.org·3d·
Discuss: Hacker News
🔍Vector Forensics
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·5d·
Discuss: DEV
🌀Brotli Internals
💡 The Ultimate 2025 AI Cheat Sheet: Top LLMs & Generative AI Tools You Can’t Ignore 🚀
dev.to·4d·
Discuss: DEV
🌀Brotli Internals
The Beauty of Anisotropic Mesh Refinement: Omnitrees for Efficient Dyadic Discretizations
arxiv.org·5d
💎Information Crystallography
DAPP: Lagging Bitcoin And Ether Lately, Remaining Cautious
seekingalpha.com·2d
🔍BitFunnel
Introducing Amazon Bedrock AgentCore Gateway: Transforming enterprise AI agent tool development
aws.amazon.com·23h
⚡gRPC
Towards Safer AI Moderation: Evaluating LLM Moderators Through a Unified Benchmark Dataset and Advocating a Human-First Approach
arxiv.org·4d
🤖AI Curation
Memory Enhanced Fractional-Order Dung Beetle Optimization for Photovoltaic Parameter Identification
arxiv.org·4d
🧠Machine Learning
Reward-Directed Score-Based Diffusion Models via q-Learning
arxiv.org·4d
🧠Machine Learning
Model-Agnostic Sentiment Distribution Stability Analysis for Robust LLM-Generated Texts Detection
arxiv.org·4d
🔤Character Classification
Enhanced Hydrogen Isotope Separation via Dynamic Nanoporous Membrane Optimization in Buffered Alkali Vapor Cells
dev.to·22h·
Discuss: DEV
⚛️Information Physics
Age of Information Minimization in Goal-Oriented Communication with Processing and Cost of Actuation Error Constraints
arxiv.org·4d
🧮Kolmogorov Complexity
Automated Feasibility Assessment via Dynamic Bayesian Network Optimization
dev.to·3d·
Discuss: DEV
⚡Incremental Computation
Hierarchical Variable Importance with Statistical Control for Medical Data-Based Prediction
arxiv.org·3d
🧠Machine Learning