Why TypeScript Won't Save You
cekrem.github.io·53m·
Discuss: r/javascript, r/node, r/programming, r/reactjs, r/typescript, r/webdev
🦀Rust
Flag this post
Inside Pinecone: Slab Architecture
🏗Computer Architecture
Flag this post
The Death of the Demo
🎲Probabilistic Programming
Flag this post
How Perplexity Built an AI Google
blog.bytebytego.com·2d
🎲Probabilistic Programming
Flag this post
The Infrastructure of Modern Ran king Systems, Part 2: The Data Layer - Fueling the Models with Feature and Vector Stores
shaped.ai·3d
🌍Distributed Systems
Flag this post
DeepSeek OCR: The Quiet Revolution That’s Making Documents 10× Cheaper to Process
pub.towardsai.net·4h
🧭SMT Solvers
Flag this post
I'm working on a project I've been dreaming about for months and it feels good
🧮Programming Language Theory
Flag this post
How Hidden Code Decides Who's in Charge: The Silent Governance of AI Through Function-Calling Schemas
🧮Programming Language Theory
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·2d
✅Formal Verification
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·2d
🧮Programming Language Theory
Flag this post
🧠 How We Built an AI Code Reviewer That Understands Intent — Not Just Syntax
🔍Static Analysis
Flag this post
The rise of ‘Slow AI’: Why devs should stop speedrunning stupid
🎲Probabilistic Programming
Flag this post
Atomically accurate de novo design of antibodies with RFdiffusion
⚙Functional Programming
Flag this post
Loading...Loading more...