Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·2d
🤝Paxos Consensus
Is DuckDB Ready for Primetime?
exasol.com·20h·
Discuss: Hacker News
🌊Streaming Databases
Hops Fibration Explorer
dynamicmath.xyz·14m·
Discuss: Hacker News
🕸️Algebraic Topology
Using information theory to solve Mastermind
goranssongaspar.com·4d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Malleable Software Will Eat the SaaS World
mdubakov.me·22h·
Discuss: Hacker News
⚡Incremental Computation
Designing AI factories: Purpose-built, on-prem GPU data centers
datasciencecentral.com·1d
📊Homelab Monitoring
Context Engineering ( RAG 2.0): The Next Chapter in GenAI
medium.com·21h·
Discuss: Hacker News
🌀Brotli Internals
The Power of Digital Twins in Cybersecurity
cacm.acm.org·13h
🔐Capability Systems
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·2d·
Discuss: Hacker News
⚡Proof Automation
How Retrieval Algorithms Shape Better LLM Responses?
dev.to·2d·
Discuss: DEV
🔍Information Retrieval
Breaking the Architecture Bottleneck • Andrew Harmel-Law & Marit van Dijk • GOTO 2025
youtube.com·2d
🔗Topological Sorting
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·2d
⚡Effectful Programming
Benchmarking Class Activation Map Methods for Explainable Brain Hemorrhage Classification on Hemorica Dataset
arxiv.org·2d
🧠Machine Learning
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·2d
💻Local LLMs
Go Coding with Asparagos: The Smartest Peanut in the Neighborhood
dev.to·1d·
Discuss: DEV
💾Binary codes
Automated Appraisal of Property Value Degradation Risk via Dynamic Bayesian Networks
dev.to·3h·
Discuss: DEV
🦴Database Paleontology
STRATA-TS: Selective Knowledge Transfer for Urban Time Series Forecasting with Retrieval-Guided Reasoning
arxiv.org·1d
🧠Machine Learning
StepWiser: Stepwise Generative Judges for Wiser Reasoning
arxiv.org·1d
🔗Constraint Handling
R-ConstraintBench: Evaluating LLMs on NP-Complete Scheduling
arxiv.org·6d
🧮SMT Solvers
Evaluating Movement Initiation Timing in Ultimate Frisbee via Temporal Counterfactuals
arxiv.org·2d
🔲Cellular Automata