Inside Pinecone: Slab Architecture
pinecone.io·1d·
Discuss: Hacker News
🏗Computer Architecture
Flag this post
Up and Down the Ladder of Abstraction
worrydream.com·10h·
Discuss: Hacker News
🎲Probabilistic Programming
Flag this post
Composing and Decomposing AI Functions (Tutorial with Python Examples)
lightcapai.medium.com·2h·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
CEF.AI is hiring for Principal Software Engineer position in SF
join.com·8h·
Discuss: Hacker News
🌍Distributed Systems
Flag this post
Dive into Systems
diveintosystems.org·2d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
The Demo-Driven Development Framework
supaamp.com·17h·
Discuss: Hacker News
👐Open Source Software
Flag this post
Building Custom LLM Judges for AI Agent Accuracy
databricks.com·23h
🧭SMT Solvers
Flag this post
Quietly intelligent app features with OpenAI Agent Builder
ashryan.io·1d
🧩Theorem Proving
Flag this post
A Decade of AI Platform at Pinterest
medium.com·1d·
Discuss: Hacker News
🧩Theorem Proving
Flag this post
No, you don’t need Lit, Vite, or TypeScript to Extend the Umbraco Backoffice
dev.to·8h·
Discuss: DEV
📝Text Editors
Flag this post
Mastering Angular Signals: A Complete Guide Beyond RxJS
dev.to·8h·
Discuss: DEV
🔌Network Programming
Flag this post
Show HN: First Principles articles teaching a variety of languages
github.com·1d·
Discuss: Hacker News
🦀Rust
Flag this post
Can Conversational AI Counsel for Change? A Theory-Driven Approach to Supporting Dietary Intentions in Ambivalent Individuals
arxiv.org·14h
🔢Mathematical Logic
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✅Formal Verification
Flag this post
Web Developer Travis McCracken on API Gateway Design with Rust and Go
dev.to·6h·
Discuss: DEV
🦀Rust
Flag this post
Two products, one Rails codebase
dev.to·2h·
Discuss: DEV
👐Open Source Software
Flag this post
10 top devops practices no one is talking about
infoworld.com·1d
🌍Distributed Systems
Flag this post
OpenAI launched Atlas and I killed it with a Chrome extension
dev.to·4h·
Discuss: DEV
🦀Rust
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
github.com·20h·
Discuss: r/webdev
👐Open Source Software
Flag this post
All decisions are wrong, but some are better
dev.to·1d·
Discuss: DEV
🔍Static Analysis
Flag this post