I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·22h
🔓Hacking
Intel Simplifying P-State Driver's Energy Model For Newer Core Ultra CPUs
phoronix.com·2h
Homebrew CPUs
We built AI that auto-checks building plans
planchecksolver.com·21h·
Discuss: Hacker News
🔄Reproducible Builds
Walrus, A 1M ops/sec, 1 GB/s Write Ahead Log in Rust
nubskr.com·3d·
💿ZFS Internals
Control Codegen Spend
oreilly.com·2d
⚔️Lean Tactics
OpenAI's inflated valuation, as I understand it
taloranderson.com·21h·
Discuss: Hacker News
💻Local LLMs
Property-based testing of batch-invariant operations
mmaaz.ca·5d·
Discuss: Hacker News
🧪Property-Based Testing
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·17h·
Discuss: DEV
Incremental Computation
Building a Streaming Data Pipeline with Kafka and Spark: Real-Time Analytics Implementation Guide
dev.to·1d·
Discuss: DEV
🌊Apache Kafka
The Porcelain to Come
stackdiver.com·14h·
Discuss: Hacker News
🔲Cellular Automata
End-to-end testing of Gen AI Apps
dev.to·1h·
Discuss: DEV
🔍Concolic Testing
English - the hottest programming language of the future
dev.to·19h·
Discuss: DEV
🔄Language Evolution
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·1d
🧮Kolmogorov Complexity
The Custom Conveyor: Building Your Own Iterators
dev.to·8h·
Discuss: DEV
🔄Burrows-Wheeler
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
Proof Automation
A 7-year-old CLI tool reborn with AI, meet gokill
reddit.com·2h·
Discuss: r/golang
🪟Awesome windows command-line
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
Effect Handlers