October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
🧮SMT Solvers
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·9h
🦙Ollama
Flag this post
No Deus ex Machina
⚙️Systems Programming
Flag this post
Azure HorizonDB
🗄️Databases
Flag this post
CBOR vs. the Other Guys
📦Binary Formats
Flag this post
Data Science Weekly – Issue 626
📊Data Science
Flag this post
Quick Recap: SQL Databases
🗄️Databases
Flag this post
Performance Testing Databases the Right Way: A Real-World Engineering Journey
🚀Performance
Flag this post
Prisma releases v7 of their ORM
⛽Diesel
Flag this post
Agentic AI Project: Build a Multi-Agent Text2SQL Chatbot for E-commerce Database
pub.towardsai.net·3d
🔥DataFusion
Flag this post
How I Optimized an Extremely Slow Oracle SQL Query (Real Case Study)
🔍Query Optimization
Flag this post
Loading...Loading more...