AAS: The Metric for Monitoring DB Performance
kylehailey.com·21h·
Discuss: Hacker News
🗄️Database Internals
GoMem is a high-performance memory allocator library for Go
github.com·1d
🧠Memory Allocators
Experimenting with ACL2 and Claude Code
mikedodds.org·1d·
Discuss: Hacker News
👑Isabelle
Talking about the Future of AI in Law with David Wakeling
artificialinvestment.substack.com·6h·
Discuss: Substack
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
2025-10-10 # LLMs Are Transpilers
alloc.dev·2d·
Discuss: Hacker News
🔄Language Evolution
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Bayesian Optimization for Dynamic Sample Size Allocation in A/B Testing
dev.to·4h·
Discuss: DEV
🧮Kolmogorov Bounds
GNN Predictions: Hidden Bugs and the Verification Nightmare by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Building an AI Internal Linking Plugin for WordPress
dev.to·14h·
Discuss: DEV
🌀Brotli Internals
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·14h·
Discuss: DEV
📊Multi-vector RAG
Automated Fault Prediction and Residual Lifetime Estimation in Cryogenic Pumps via Dynamic Bayesian Network (DBN)
dev.to·10h·
Discuss: DEV
📊Quantization
METRICALARGS: A Taxonomy for Studying Metrical Poetry with LLMs
arxiv.org·1d
📊HyperLogLog
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·1d
🔄Burrows-Wheeler
94% of Developers Waste Tokens on Reasoning LLMs. Here's Why.
dev.to·1d·
Discuss: DEV
💻Local LLMs
Refactoring: A way to write better Code
dev.to·22h·
Discuss: DEV
⚙️Operational Semantics
Unraveling LCRE-Mediated Chromatin Loops: A Predictive Model for Gene Expression Fine-Tuning in Desert Genomes
dev.to·1d·
Discuss: DEV
📥Feed Aggregation
Enhanced Parasitic R/L Extraction in Die-Stacked ICs via Adaptive Finite Element Modeling and Bayesian Optimization
dev.to·1h·
Discuss: DEV
⚡Circuit Archaeology
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·2d
💻Local LLMs
Code Green: How Big Data and AI are Engineering a Sustainable Planet
dev.to·14h·
Discuss: DEV
🌊Stream Processing
LightReasoner: Can Small Language Models Teach Large Language Models Reasoning?
arxiv.org·1d
🔗Parser Combinators