DCP-o-matic • Re: LtRt Matrix Decoder
dcpomatic.com·2d
🎬Cinema Codecs
These are the tools we use to build and maintain our precious tech, and they're on sale for Amazon Prime Day
tomshardware.com·3d
🎮Switch Archaeology
C++26: range support for std:optional
sandordargo.com·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Kubetorch: Fast ML Development on Kubernetes
run.house·2h·
Discuss: Hacker News
🏠Homelab Orchestration
Generative Art
4rknova.com·8h·
Discuss: Hacker News
📐Mathematical Art
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·2d
📐Mathematical Art
Negatives of Coding with AI
kushgoyal.com·8h·
Discuss: Hacker News
💻Local LLMs
A Month Debugging AI Agents: How I Built a 10-Agents and Why I Had to Delete It
news.ycombinator.com·10h·
Discuss: Hacker News
👑Isabelle
Weffort Outdoor Smart Shade Review with Home Assistant over Matter/Thread
cnx-software.com·14h
🏠Home Automation
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·4d·
Discuss: Hacker News
🎯Interactive Provers
Automated Multi-Modal Anomaly Detection in Embryonic Neurogenesis via Hyper-Dimensional Feature Fusion
dev.to·1d·
Discuss: DEV
🔍Vector Forensics
A Trustworthy Industrial Fault Diagnosis Architecture Integrating Probabilistic Models and Large Language Models
arxiv.org·2d
🧠Machine Learning
Leveraging Large Language Models for Cybersecurity Risk Assessment -- A Case from Forestry Cyber-Physical Systems
arxiv.org·17h
🛡Cybersecurity
I Tested Kombai vs Claude Sonnet 4.5 for Frontend: One Was 3.5 Faster🚀
dev.to·54m·
Discuss: DEV
📏Code Metrics
h1: Bootstrapping LLMs to Reason over Longer Horizons via Reinforcement Learning
arxiv.org·17h
✓Automated Theorem Proving
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·3d
🧮Kolmogorov Complexity
Shaken or Stirred? An Analysis of MetaFormer's Token Mixing for Medical Imaging
arxiv.org·1d
📄Document Streaming
Off-Trajectory Reasoning: Can LLMs Collaborate on Reasoning Trajectory?
arxiv.org·17h
📏Linear Logic
Devoxx: MCP in the Wild: Real Time Agentic Systems with Live AB Testing by Arun Gupta
dev.to·1d·
Discuss: DEV
🌐Protocol Synthesis
Latency vs. Accuracy for LLM Apps — How to Choose and How a Memory Layer Lets You Win Both
dev.to·2d·
Discuss: DEV
⚡Performance Mythology