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

Driving the circular transition: EU Projects unite at Ecomondo
waste-management-world.com·6h
🌐Portable Assembly
Flag this post
Welcome to the Grid
hackster.io·4h
💾IoT Allocators
Flag this post
Google Is Rolling Out ‘Agentic Checkout’ to Make Your Purchases for You
lifehacker.com·2h
🌊Gradual Effects
Flag this post
The new maxleiter.com
maxleiter.com·16h·
Discuss: Hacker News
🏠indieweb
Flag this post
A few upcoming things, and Visual Refresh v1.2!
chiaerieblossom.itch.io·16h
📝Editor Buffers
Flag this post
Show HN: Automated transformation of digital circuits to Minesweeper boards
github.com·4h·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Microsoft 365 Copilot: Real-world Management and Extension Strategies
dev.to·12h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
I do not know how to upgrade my computer, please help
reddit.com·22h·
Discuss: r/computers
📏Linear Memory
Flag this post
Talk with and trust your data using Looker’s Conversational Analytics, now GA
cloud.google.com·4h
↔️Bidirectional Sync
Flag this post
Three Kinds Of Ontological Foundations
lesswrong.com·3d
⚖️Inference Rules
Flag this post
How I Built a Thunderbird Translator Without Coding Experience Using AI
dev.to·12h·
Discuss: DEV
🎮Language Ergonomics
Flag this post
A surrogate-based approach to accelerate the design and build phases of reinforced concrete bridges
arxiv.org·16h
Partial Evaluation
Flag this post
AI SRE Platforms: Because What DevOps Really Needed Was Another Overpriced Black Box
reddit.com·8h·
Discuss: r/devops
🛡️Capability VMs
Flag this post
When is a System Discoverable from Data? Discovery Requires Chaos
arxiv.org·16h
🔗Concatenative Theory
Flag this post
Annotation-Efficient Universal Honesty Alignment
paperium.net·3d·
Discuss: DEV
🎲Parser Fuzzing
Flag this post
Practical considerations when designing an online learning algorithm for an app-based mHealth intervention
arxiv.org·16h
Effect Inference
Flag this post