Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks
muratbuffalo.blogspot.com·18h·
Discuss: Hacker News
🤝Distributed Consensus
Replacing the Type Checker for the Swift Compiler
forums.swift.org·40m·
Discuss: Hacker News
💧Liquid Types
Preventing Invalid Database Access at Compile Time
svix.com·1d·
Discuss: Hacker News, r/rust
🦀Rust Borrowing
Not all bits are made equal
shash42.substack.com·6h·
Discuss: Substack
🧠Intelligence Compression
Dragon Hatchling: Neural Network That Thinks Like a Brain (and Runs on Your GPU)
medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
A Primer on Memory Consistency and Cache Coherence, Second Edition
link.springer.com·3d·
Discuss: r/programming
⚡Cache Coherence
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
📐Mathematical Art
Parameterized Complexity of Temporal Connected Components: Treewidth and k-Path Graphs
arxiv.org·23h
🎨Graph Coloring
JavaScript Library Runs Machine Learning Models in Browser
thenewstack.io·9h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Adaptive Predictive Maintenance of PLC-Controlled Conveyor Systems via Multi-Modal Data Fusion and Anomaly Scoring
dev.to·4h·
Discuss: DEV
🌊Stream Processing
Beyond the Final Answer: Evaluating the Reasoning Trajectories of Tool-Augmented Agents
arxiv.org·2d
🔍Concolic Testing
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·1d
🧠Machine Learning
LLMs as Policy-Agnostic Teammates: A Case Study in Human Proxy Design for Heterogeneous Agent Teams
arxiv.org·23h
🔲Cellular Automata
Detecting Invariant Manifolds in ReLU-Based RNNs
arxiv.org·1d
🌀Riemannian Computing
Inductive inference of gradient-boosted decision trees on graphs for insurance fraud detection
arxiv.org·23h
🧠Machine Learning
Less is More: Recursive Reasoning with Tiny Networks
arxiv.org·1d·
Discuss: Hacker News, r/LocalLLaMA
🧠Intelligence Compression
Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
arxiv.org·1d
📈Linear programming
The fragility of "cultural tendencies" in LLMs
arxiv.org·23h
🧮Theoretical Computer Science
A Detailed Workflow for Creating an MCP Server that Returns MySQL Schema Information Using Vibe Coding
dev.to·9h·
Discuss: DEV
🗄️Database Internals
On The Fragility of Benchmark Contamination Detection in Reasoning Models
arxiv.org·2d
🧪Hardware Fuzzing