Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

DCP-o-matic • Re: 5.1 Mix Doubt for DCP
dcpomatic.com·1d
🎭Delimited Continuations
Flag this post
KurtHGR: A Neural Maximal Correlation for Tabular Datasets
freakonometrics.hypotheses.org·1d
⚖️Weighted Automata
Flag this post
Small Pieces [Still] Loosely Joined at #ReclaimOpen25
cogdogblog.com·1d
💬Smalltalk VMs
Flag this post
From Legacy to Cloud-Native: 7 Lessons from Real Oracle Migrations
cockroachlabs.com·1d
🗄️Database Engines
Flag this post
Configure Dokploy Backups with Cloudflare R2 - Complete Guide
bitdoze.com·2d
📁File Systems
Flag this post
How I Build Books, Brands & Products With ChatGPT
vibe.forem.com·1d·
Discuss: DEV
🎮Language Ergonomics
Flag this post
TypeScript, Python, and the AI feedback loop changing software development
github.blog·13h·
Discuss: Hacker News
🌈Gradual Languages
Flag this post
Hotspot: A Go CLI that uses Git history to assess org risk and tech debt
github.com·1d·
📊Profiling
Flag this post
Starting a 5-part “Write an API Gateway in Go from Scratch” series — looking for suggestions & feedback!
reddit.com·17h·
Discuss: r/golang
🌍Minimal HTTP
Flag this post
Zero-Downtime Deployments: Blue-Green vs Canary vs Rolling Updates
dev.to·23h·
Discuss: DEV
📮Persistent Queues
Flag this post
Introducing agent-to-agent protocol support in Amazon Bedrock AgentCore Runtime
aws.amazon.com·2d
🔐Capability Protocols
Flag this post
Enhancing Micro-LED Transfer Yield via Real-time Process Parameter Optimization with Bayesian Neural Networks
dev.to·11h·
Discuss: DEV
Effect Inference
Flag this post
Two can keep a secret if one is dead. So please share everything with at least one person.
lesswrong.com·1d
🤝Session Protocols
Flag this post
Has anyone here explored AI-assisted coding with local models inside a VS Code-like editor?
github.com·17h·
Discuss: r/selfhosted
🔍Comby
Flag this post
Introducing `coderkit` — A Practical Utility Toolkit for Everyday JavaScript Work
dev.to·1d·
Discuss: DEV
📚Self-Documenting Code
Flag this post
<![CDATA[ Electron vs. Tauri ]]>
dolthub.com·1d
🌐Browser Compilers
Flag this post
Show HN: I have zero dev experience and built a 220k LOC fintech SaaS with AI
medium.com·2d·
Discuss: Hacker News
Live Programming
Flag this post
Vibe Coding Meetup Paris Meetup Recap
dev.to·16h·
Discuss: DEV
🎭Program Synthesis
Flag this post