are-dependent-types-actually-erased
chadnauseam.com·11h·
Discuss: Hacker News
🔗Dependent Types
Flag this post
Show HN: Using GitHub Pages as zero-cost APT repository with global CDN
vejeta.com·2d·
Discuss: Hacker News
🔗Language Toolchains
Flag this post
When Code, Coffee, and Burnout Collide & What I Learned About Taking Care of My Developer Body
bountypakistan.pk·1h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Codeminer42 Dev Weekly #85
blog.codeminer42.com·3d
Live Coding
Flag this post
Just Write Tests
theblackarrovv.github.io·13h·
Discuss: Hacker News
🧪Zig Testing
Flag this post
Next steps for Cartesian Tutor
moderndescartes.com·17h
Live Programming
Flag this post
Building a Prompt Engineering Toolkit for Developers
amzn.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
cargo zigbuild
github.com·6h·
Discuss: r/rust
🚂Cranelift Backend
Flag this post
Building a Production-Ready AI Agent
api.github.com·1h·
Discuss: DEV
🎭Program Synthesis
Flag this post
AccessFix Update!
dev.to·1h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
After the Last Git Commit
gist.github.com·1d·
Discuss: Hacker News
🥾Bootstrapping Strategies
Flag this post
The Hybrid Thinking
muzammil.dev·3d·
Discuss: DEV
🎭Program Synthesis
Flag this post
A Roller Coaster Of Emotions
deprogrammaticaipsum.com·19h
🥾Bootstrapping Strategies
Flag this post
Why Multimodal AI Broke the Data Pipeline — And How Daft Is Beating Ray and Spark to Fix It
hackernoon.com·16h
🗺️Region Inference
Flag this post
The AI Capability Gap
blog.dwac.dev·2d·
🛡️Error Ergonomics
Flag this post
The Millennial Engineer vs. The Gen Z Developer: A Modern Engineering Merge Conflict
dev.to·15h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
Show HN: Why write code if the LLM can just do the thing? (web app experiment)
github.com·2d·
Discuss: Hacker News
💬Smalltalk VMs
Flag this post
DAFU🦉 API Revolution: Enterprise Authentication, Logging, Reports & Product Management Are Here! 🚀
dev.to·6h·
Discuss: DEV
🛡️Error Ergonomics
Flag this post
Are y’all really not coding anymore?
reddit.com·6h·
🌳Tree Shaking
Flag this post
AI in Action: How Devs are Revolutionizing Code with Machine Learning
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Flag this post