Clever Cloud: Automated hosting for developers to easily deploy apps
clever.cloud·13h·
Discuss: r/programming
🐳Containerization
Using domain inspired ML for embedded DSP
buchanan.one·3d·
Discuss: Hacker News
📚Automata Learning
Securing MCP Servers
corgea.com·2d·
Discuss: Hacker News
🛡️seL4
The Expression Problem and its solutions
eli.thegreenplace.net·3d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🏹Effect Systems
Using Claude Code SDK to Reduce E2E Test Time by 84%
jampauchoa.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
95% of AI Pilots Fail
selector.ai·2d·
Discuss: Hacker News
👁️System Observability
LLMs Are Adaptive Data Organisms
worldgov.org·4d·
Discuss: Hacker News
📚Automata Learning
EmbeddingGemma Model Card
ai.google.dev·4d·
Discuss: Hacker News
🧩Parser Combinators
Package Managers are Evil
gingerbill.org·2d·
Discuss: Lobsters, Hacker News, r/programming
🔄Reproducible Builds
Why Using Software Is Like Eating at a Brazilian Steakhouse Run by Vegans
spin.atomicobject.com·3d·
Discuss: Hacker News
🔄Reproducible Builds
Orchestrate multiple AI agents with cagent by Docker to create coding assistant
tobiasfenster.io·2d·
Discuss: Hacker News
🐳Containerization
Cargo-remark: view LLVM optimization remarks for Rust
github.com·3d·
Discuss: Hacker News
🛡️seL4
Learning Rust in a corporate machine and dealing with antivirus false positives (os error 5)
reddit.com·1d·
Discuss: r/rust
❄️Nixified Development
LiDAR-BIND-T: Improving SLAM with Temporally Consistent Cross-Modal LiDAR Reconstruction
arxiv.org·2d
🔄Finite State Machines
RT-VLM: Re-Thinking Vision Language Model with 4-Clues for Real-World Object Recognition Robustness
arxiv.org·2d
📚Automata Learning
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·2d·
Discuss: Substack
🤖Program Synthesis
Apple's biggest announcement today was Memory Integrity Enforcement
victorwynne.com·1d·
Discuss: Hacker News
🍎Apple
Advice for a 4-node Spark Cluster for PhD Project - Mini PC vs. Tower Thermals?
reddit.com·1d·
Discuss: r/homelab
🏠HomeLab
The Little Book of Everything
github.com·2d·
Discuss: Hacker News
➡️Category Theory
Qodo Aware Is a ‘Second Brain’ for AI Coding Agents
thenewstack.io·15h
🤖Program Synthesis