October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
Show HN: Run a Website from an Old Phone
far.computer·15h·
Discuss: Lobsters, Hacker News
📱Pocketbase
Flag this post
X11 Record and Replay
world-playground-deceit.net·1d·
Discuss: Hacker News
🖼️Egui
Flag this post
Breaking News: OpenAI Rebrands to OpaqueAI
dev.to·10h·
Discuss: DEV
🚀Shuttle
Flag this post
Build a Local Kubernetes Cluster in Minutes with Terraform and Multipass
dev.to·9h·
Discuss: DEV
🐝Cilium
Flag this post
Build Claude Desktop Extensions in Minutes with QuickMCP.NET
dev.to·1d·
Discuss: DEV
📦Trunk
Flag this post
Zig in 30 Minutes
gist.github.com·14h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Testing FastAPI and LangChain with Two Response Modes
dev.to·1d·
Discuss: DEV
⚡FastAPI
Flag this post
eBPF Rootkit
synacktiv.com·16h·
Discuss: Hacker News
🔍eBPF
Flag this post
AI Agent Performance Testing in the DevOps Pipeline: Orchestrating Load, Latency and Token Level Monitoring
devops.com·1d
⏱️Temporal Workflow
Flag this post
Learning Xahau: Automating Reward Claims with Hooks and CronSet
dev.to·20h·
Discuss: DEV
💼Thrift
Flag this post
It’s Not Always DNS: Exploring How Name Resolution Works
cefboud.com·1d·
Discuss: r/programming
🌐Network Protocols
Flag this post
Building a Production-Ready DevOps Pipeline: URL Shortener with Docker, GitHub Actions & AWS
github.com·2h·
Discuss: DEV
🔧DevOps
Flag this post
OSS interview-prep repo for AI, agent architectures and tool-calling
github.com·10h·
Discuss: Hacker News
🚀Actix
Flag this post
Go Microservices for AI/ML Orchestration
dev.to·1d·
Discuss: DEV
🔵Go
Flag this post
Beyond the Changelog: Engineering Your Blog for B2B Thought Leadership
getmichaelai.com·21h·
Discuss: DEV
🔨Incremental Compilation
Flag this post
LLM APIs are a Synchronization Problem
lucumr.pocoo.org·1d·
Discuss: Lobsters, Hacker News
🦙Ollama
Flag this post
Show HN: I built a wizard to turn ideas into AI coding agent-ready specs
vibescaffold.dev·12h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
AI Infrastructure on Consumer Hardware
dev.to·1d·
Discuss: DEV
🦙Ollama
Flag this post
Choosing the Best Rust Framework for High-Performance API Backends
reddit.com·20h·
Discuss: r/rust
🌐Axum
Flag this post