I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·17h
🔓Hacking
We built AI that auto-checks building plans
planchecksolver.com·16h·
Discuss: Hacker News
🔄Reproducible Builds
Tiny AI model outperforms o3‑mini and Gemini 2.5 Pro in ARC‑AGI benchmark
the-decoder.com·1d
🧠Intelligence Compression
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
Discuss: Lobsters, Hacker News
💿ZFS Internals
Control Codegen Spend
oreilly.com·1d
⚔️Lean Tactics
Zelos Tech Manages Hundreds of Millions of Files for Autonomous Driving with JuiceFS
dev.to·1d·
Discuss: DEV
💾Proxmox Storage
AsyncSpade: Efficient Test-Time Scaling with Asynchronous Sparse Decoding
arxiv.org·1d
⚙️Compression Benchmarking
Memory Retrieval and Consolidation in Large Language Models through Function Tokens
arxiv.org·1d
💻Programming languages
OpenAI's inflated valuation, as I understand it
taloranderson.com·16h·
Discuss: Hacker News
💻Local LLMs
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·2d
🕸️Graph Algorithms
PLSEMANTICSBENCH: Large Language Models As Programming Language Interpreters
arxiv.org·4d
💻Programming languages
Property-based testing of batch-invariant operations
mmaaz.ca·5d·
Discuss: Hacker News
🧪Property-Based Testing
The Trillion Dollar AI Software Development Stack
a16z.com·11h·
Discuss: Hacker News
⚡Proof Automation
ARES: Multimodal Adaptive Reasoning via Difficulty-Aware Token-Level Entropy Shaping
arxiv.org·1d
🧮Kolmogorov Complexity
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·4d·
Discuss: r/rust
🦀Rust Verification
⚙️ Mastering Python Context Managers: Beyond with open()
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·12h·
Discuss: DEV
⚡Incremental Computation
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·23h·
Discuss: DEV
🌊Apache Kafka
The Porcelain to Come
stackdiver.com·9h·
Discuss: Hacker News
🔲Cellular Automata
English - the hottest programming language of the future
dev.to·14h·
Discuss: DEV
🔄Language Evolution