Interesting to see an open-source model genuinely compete with frontier proprietary models for coding
🌐Open Source
Flag this post
Servo 0.0.2 Released For Those Wanting To Try Out This Example Rust Web Browser
phoronix.com·21h
🪟Tauri
Flag this post
Architecting for Multitenancy
⚡ClickHouse
Flag this post
Bjarne fix your freaking language
🛡️Error Handling
Flag this post
When Performance Matters, Skip the ORM
🌊SeaORM
Flag this post
Announcing .NET 10
⚡FastAPI
Flag this post
This Isn't a Battle
🐧Linux
Flag this post
Odd-Cycle-Packing-treewidth: On the Maximum Independent Set problem in odd-minor-free graph classes
arxiv.org·2d
🌳Fenwick Trees
Flag this post
ClaudoBiography: The Unauthorized Autobiography of Claude, or: The Life of Claude and of His Fortunes and Adversities
lesswrong.com·3d
💫Effect Systems
Flag this post
One Prompt to Rule Them All: How I Made Cursor, Claude & ChatGPT Code Better
pub.towardsai.net·11h
🎭Program Synthesis
Flag this post
Turning Whispers into Code: My Experience Building The Whisperbound Tome with Kiro
💎Refinement Types
Flag this post
Temporal Properties of Conditional Independence in Dynamic Bayesian Networks
arxiv.org·2d
✅Model Checking
Flag this post
Loading...Loading more...