A dream of AI DLC A peek into the future based on tools and tech that we have
⚙️Proof Engineering
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Beyond the Hype: How to Use AI to Actually Increase Your Productivity as a Dev
docker.com·1d
⚡Proof Automation
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
🦀Rust Macros
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.com·2d
📟CLI Design
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Static Linking
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
No Deus ex Machina
🔩Systems Programming
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
🎵Audio ML
Flag this post
A Complete Guide to AI Coding Tools: Choosing the Right Tools Without the Hype
🏗️Compiler Archaeology
Flag this post
Dingo: A Meta-Language for Go
🦀Rust Macros
Flag this post
Agent design is still hard
simonwillison.net·6h
🔐Capability Systems
Flag this post
Hands-On With Antigravity: Google’s Newest AI Coding Experiment
thenewstack.io·18h
✨Effect Handlers
Flag this post
Trying Out C++26 Executors
🦀Rust Macros
Flag this post
Loading...Loading more...