September 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
OSS Friday Update
noteflakes.com·1d·
Discuss: Lobsters, Hacker News
🌊Glommio
Flag this post
Series Week 9/52 — Oracle Compliance for CTOs: RBI & IRDAI Expectations
dev.to·17h·
Discuss: DEV
🌐YugabyteDB
Flag this post
Remote Control your Browser via Remote MCP
rtrvr.ai·12h·
Discuss: Hacker News
🏗️Gazebo
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·11h·
Discuss: Hacker News
🎭Program Synthesis
Flag this post
From Prototype to Production: How to Engineer Reliable LLM Systems
dev.to·10h·
Discuss: DEV
🦙Ollama
Flag this post
The Hidden Tax You Are Paying Every Day: A Dev's Journey into Ops Automation
dev.to·2h·
Discuss: DEV
🦀Rust
Flag this post
Arconia for Spring Boot Dev Services and Observability - Piotr's TechBlog
piotrminkowski.com·1d·
Discuss: r/devops, r/programming
🚀Shuttle
Flag this post
How Google Does It: Building the largest known Kubernetes cluster, with 130,000 nodes
cloud.google.com·1d·
Discuss: Hacker News
☸️Kubernetes
Flag this post
Tips for Debugging Issues in the AMD Display Kernel Driver
melissawen.github.io·1d·
Discuss: Hacker News
🦅Falco
Flag this post
Building a Distributed Database in Elixir (Part 2: Architecture and the Beam)
medium.com·1d·
Discuss: Hacker News
🌐YugabyteDB
Flag this post
lazyfile: a Rust TUI for managing files with rclone
reddit.com·15h·
Discuss: r/rust
🌊Glommio
Flag this post
Learning Xahau: Automating Reward Claims with Hooks and CronSet
dev.to·18h·
Discuss: DEV
💼Thrift
Flag this post
Foundry Local comes to Android–plus on-device speech, and on-prem support
devblogs.microsoft.com·1d·
Discuss: Hacker News
🌐Ntex
Flag this post
eBPF Rootkit
synacktiv.com·14h·
Discuss: Hacker News
🔍eBPF
Flag this post
Building a Serverless Ad Tracker: Scaling to Events and Back
paulhenri-l.com·12h·
Discuss: Hacker News
📈Prometheus
Flag this post
From Raw to Refined: Data Pipeline Architecture at Scale
dev.to·11h·
Discuss: DEV
🔥DataFusion
Flag this post
Building a Durable Execution Engine With SQLite
morling.dev·2d·
Discuss: Lobsters, Hacker News, r/programming
⏱️Temporal Workflow
Flag this post
Don't Sleep on MCP
goto-code.com·3d·
Discuss: Hacker News
🦙Ollama
Flag this post
I built a self-hosted Google Forms alternative and made it open source! 🎉
dev.to·21h·
Discuss: DEV
📝Poem
Flag this post