I Replaced My Toaster's Firmware and Now I'm a Fugitive
jxself.org·1d
🔓Hacking
We built AI that auto-checks building plans
planchecksolver.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Sandy Maguire: Theorems for Free Redux
reasonablypolymorphic.com·2d·
Discuss: Hacker News
λLambda Encodings
Multi-Cluster command execution?
reddit.com·5h·
Discuss: r/kubernetes
📦Container Security
OpenAI's inflated valuation, as I understand it
taloranderson.com·1d·
Discuss: Hacker News
💻Local LLMs
Property-based testing of batch-invariant operations
mmaaz.ca·5d·
Discuss: Hacker News
🧪Property-Based Testing
Why is allocating in this example so fast? Am I actually allocating?
reddit.com·5d·
Discuss: r/rust
🦀Rust Verification
Every Line of Code Is a Philosophy in Disguise
dev.to·1d·
Discuss: DEV
⚖️Emulation Ethics
Real-time Anomaly Detection in Financial Transactions via Hybrid Reinforcement Learning and Graph Neural Networks
dev.to·1h·
Discuss: DEV
🔍Vector Forensics
⚙️ Mastering Python Context Managers: Beyond with open()
dev.to·1d·
Discuss: DEV
🪟Awesome windows command-line
End-to-end testing of Gen AI Apps
dev.to·5h·
Discuss: DEV
🔍Concolic Testing
AgentAsk: Multi-Agent Systems Need to Ask
arxiv.org·1d
🧮Kolmogorov Complexity
Scalable Semantic Map Generation via Hierarchical Graph Optimization
dev.to·22h·
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·19h·
Discuss: Hacker News
🔲Cellular Automata
English - the hottest programming language of the future
dev.to·1d·
Discuss: DEV
🔄Language Evolution
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·4d
⚡Proof Automation
Unsure what to do as lab has grown
reddit.com·18h·
Discuss: r/homelab
🖥Home Lab Setup
The Custom Conveyor: Building Your Own Iterators
dev.to·13h·
Discuss: DEV
🔄Burrows-Wheeler
Injecting Hallucinations in Autonomous Vehicles: A Component-Agnostic Safety Evaluation Framework
arxiv.org·1d
✨Effect Handlers