Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·1d·
Discuss: Hacker News
🔢Algebraic Datatypes
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
How to rebuild a project from scratch
markjgsmith.com·5d
🌳Tree Shaking
Toy Binary Decision Diagrams
philipzucker.com·1d
✅Type Checking
Data-driven fine-grained region discovery in the mouse brain with transformers
nature.com·3h
🗺️Region Inference
Characteristics of successful AI chat integrations
waleedk.medium.com·1d·
Discuss: Hacker News
🎮Language Ergonomics
The Case for Comment-Driven Development
usetusk.ai·3d·
Discuss: r/programming
🎮Language Ergonomics
Are Linked Lists necessary?
dev.to·21h·
Discuss: DEV
🤐Zipper Structures
Three important things to get right for successful AI Coding
kau.sh·1d
🎭Program Synthesis
Your-Error-Handling-is-a-Mess-and-Its-Costing-You-💸
dev.to·14h·
Discuss: DEV
🚂Error Propagation
Working pipe operator today in pure JavaScript
github.com·3d·
Discuss: Hacker News
🌪️V8 Pipeline
Unified Unsupervised Anomaly Detection via Matching Cost Filtering
arxiv.org·9h
✨Effect Inference
AI Analytics: A Beginner's Guide to Smarter Business Decisions
dev.to·2h·
Discuss: DEV
🎮Language Ergonomics
Your-Projects-a-Mess-Its-Not-You-Its-Your-Frameworks-Fault
dev.to·16h·
Discuss: DEV
📦Monorepos
Trust Engineering for Builders: A No-Fluff PR Playbook That Actually Works
dev.to·1d·
Discuss: DEV
💬Error Message Design
RAG Chunking Strategies That Actually Work (and Why Most Don’t)
dev.to·4h·
Discuss: DEV
🚀Tokenizer Performance
Optimized Minimal 4D Gaussian Splatting
arxiv.org·9h
🔄Loop Optimization
Stop Hitting Runtime Errors: Why TypeScript Is the Full-Stack Developer's Secret Weapon
dev.to·1d·
Discuss: DEV
🔧API Design
Bound-Preserving WENO Schemes for Temple-class systems
arxiv.org·9h
🧩Constraint Solvers
The Anti-Corruption Layer: Your Application's Bouncer Against Legacy Chaos
dev.to·9h·
Discuss: DEV
🔐Capability Calculus