Manage your dotfiles using GNU Stow
🏠Home Manager Modules
Flag this post
Cisco C1000 setup
📡Network Protocol Design
Flag this post
DHH and Omarchy: Midlife Crisis
🌐ActivityPub
Flag this post
The Noise and the Signal
🔲Cellular Automata
Flag this post
Cursor's Composer-1 vs. Windsurf's SWE-1.5: The Rise of Vertical Coding Models
🤖Program Synthesis
Flag this post
Supply Chain Exploitation of Secure ROS 2 Systems: A Proof-of-Concept on Autonomous Platform Compromise via Keystore Exfiltration
arxiv.org·2d
👁️Observability
Flag this post
Jetpack Compose Stability Analyzer: real-time IDE insights, runtime tracing and CI stability checks
📊Runtime Verification
Flag this post
DCcluster-Opt: Benchmarking Dynamic Multi-Objective Optimization for Geo-Distributed Data Center Workloads
arxiv.org·2d
🖥️Self-hosted Infrastructure
Flag this post
Building WriteRight: My Journey Creating an AI Writing Assistant with Mastra
🔤Language Design
Flag this post
Show HN: Extrai – An open-source tool to fight LLM randomness in data extraction
💎Refinement Types
Flag this post
Automated REST API Anomaly Detection via Graph Neural Network-Driven Causal Inference
👁️Observability
Flag this post
A Systematic Literature Review of Code Hallucinations in LLMs: Characterization, Mitigation Methods, Challenges, and Future Directions for Reliable AI
arxiv.org·2d
⚙️Compiler Design
Flag this post
Reasoning models don't degrade gracefully - they hit a complexity cliff and collapse entirely [Research Analysis] [R]
🧠Automated Reasoning
Flag this post
I spent 9 days building a free Git GUI because I was tired of paying $99/year
🔧Unikernel Development
Flag this post
Auditable-choice reframing unlocks RL-based verification for open-ended tasks
arxiv.org·1d
🎮Verification Games
Flag this post
Loading...Loading more...