Modern Data File Formats
stuartellis.name·7h
💾Database Formats
How I provide technical clarity to non-technical leaders
seangoedecke.com·18h
⚙️Proof Engineering
Toy Binary Decision Diagrams
philipzucker.com·6d
🧮Algebraic Datatypes
Roles and Intelligence for Individual Contributors
raees.me·1h·
Discuss: Hacker News
🧠Intelligence Compression
What's new in the Buildkite MCP server
buildkite.com·3h·
Discuss: Hacker News
❄️Nix Flakes
The Wild Vibe
jarv.org·23h·
Discuss: Hacker News
🌀Brotli Internals
Replacing the Type Checker for the Swift Compiler
forums.swift.org·3d·
Discuss: Hacker News
💧Liquid Types
The Coming Collapse of White-Collar Work
buildingbetter.tech·7h·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Deep Learning-Driven Anomaly Detection in JEOL Transmission Electron Microscopy Image Analysis
dev.to·2h·
Discuss: DEV
🔍Vector Forensics
Nicholas Renotte: I Spent 6 Weeks using Reinforcement Learning to Beat This GoDot Game
dev.to·1d·
Discuss: DEV
⚔️Lean Tactics
Advanced Multiphase Flow Characterization via Hybrid Acoustic-Optical Tomography
dev.to·18h·
Discuss: DEV
🏺Computational Archaeology
Recurrent Natural Policy Gradient for POMDPs
arxiv.org·2d
🔲Cellular Automata
The Feature Understandability Scale for Human-Centred Explainable AI: Assessing Tabular Feature Importance
arxiv.org·3d
🧠Intelligence Compression
Building Self-Correcting Database Agents with Meta's Llama-4-Scout: From Natural Language to SQL Insights
dev.to·3d·
Discuss: DEV
🗄️Database Internals
(FULLY OPEN SOURCE) open-computer-use: Computer agents working on their own VMs
github.com·15h·
Discuss: Hacker News
🏠Homelab Orchestration
TaTToo: Tool-Grounded Thinking PRM for Test-Time Scaling in Tabular Reasoning
arxiv.org·4d
🎯Performance Proofs
StruSR: Structure-Aware Symbolic Regression with Physics-Informed Taylor Guidance
arxiv.org·3d
🧠Machine Learning
ChainMPQ: Interleaved Text-Image Reasoning Chains for Mitigating Relation Hallucinations
arxiv.org·3d
🧮Kolmogorov Complexity
Intro to RL: Off-Policy Methods
neelsomaniblog.com·3d·
Discuss: Hacker News
🔲Cellular Automata
Why People Say “F*** LeetCode”: Difficulty, Fairness, Real-World Value — and a Better Way
dev.to·3d·
Discuss: DEV
📏Code Metrics