My Homelab. Finally finished, mostly.
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
A short statistical reasoning test
emiruz.com·1d·
Discuss: Hacker News
🧮Kolmogorov Bounds
Modelling Exactly-Once Delivery Using TLA+
medium.com·5h·
Discuss: Hacker News
⚙️TLA+
Versatile Video Tokenization with Generative 2D Gaussian Splatting
arxiv.org·4h
📄Document Streaming
Defects4Log: Benchmarking LLMs for Logging Code Defect Detection and Reasoning
arxiv.org·4h
👁️System Observability
Dyna – Logic Programming for Machine Learning
dyna.org·1d·
Discuss: Lobsters, Hacker News, r/compsci
🔗Constraint Handling
Can Multi-modal (reasoning) LLMs detect document manipulation?
arxiv.org·4h
🤖Advanced OCR
The System Inside the System
worksonmymachine.ai·4h·
Discuss: Lobsters, Hacker News
🔲Cellular Automata
Your MCP Doesn’t Need 30 Tools: It Needs Code
lucumr.pocoo.org·8h
🐚Shell Calculus
Automated Quantum Wire Defect Mapping via Multimodal Bayesian Inference
dev.to·3h·
Discuss: DEV
⚛️Quantum Error Correction
Documenting Code is boring ….but it doesn’t have to be
medium.com·8h·
Discuss: r/programming
⏱️Interval Archives
CarAT: Carbon Atom Tracing across Industrial Chemical Value Chains via Chemistry Language Models
arxiv.org·3d
🕸️Algebraic Topology
Understanding Go Error Types: Pointer vs. Value
blog.fillmore-labs.com·2d
📜Proof Carrying Code
Presheaf automata
arxiv.org·4h
🎯Automata theory
Clojure Async Flow Guide
clojure.github.io·7h·
Discuss: Hacker News
🐚Shell Calculus
Automated Sterilization Protocol Optimization via Dynamic Bayesian Network Analysis
dev.to·15h·
Discuss: DEV
📄Document Digitization
The Death of HLD: How AI Renders High-Level Design Obsolete
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Lifting the Hood on Trace Propagation in OpenTelemetry
dev.to·8h·
Discuss: DEV
⚡gRPC
The Impact of Large Language Models (LLMs) on Code Review Process
arxiv.org·4h
📏Code Metrics
Functional Analysis of Variance for Association Studies
arxiv.org·4h
🔠Type-Level Programming