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

Deepities and Deepifuls
spencergreenberg.com·4h·
Discuss: Hacker News
🔗Concatenative Theory
Flag this post
TLA+ Modeling of AWS outage DNS race condition
muratbuffalo.blogspot.com·1d·
📡Erlang BEAM
Flag this post
CloudEvents as a Data Product
codesimple.blog·4d
↔️Bidirectional Sync
Flag this post
Most DevSecOps Advice Is Useless without Context—Here’s What Actually Works
docker.com·4h
🛡️Security Type Systems
Flag this post
A security platform to ruin your next weekend 😍
google.com·8h·
Discuss: r/selfhosted
🛡️Security Type Systems
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·2d·
Discuss: r/programming
🎭Program Synthesis
Flag this post
A Middle Layer for Offloading JVM-Based SQL Engines' Execution to Native Engines
github.com·16m·
Discuss: Hacker News
📋Tablegen
Flag this post
Show HN: Elden Stack – A mini game where your stack overflows in glorious combat
github.com·1d·
Discuss: Hacker News
📚Stack Data Structures
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🤖Abstract Machines
Flag this post
Understanding the Bridge Design Pattern in Go: A Practical Guide
reddit.com·1d·
Discuss: r/programming
🪞Metaprogramming
Flag this post
Meeting Minutes That Don't Suck: A Developer's Guide to AI Documentation
dev.to·2h·
Discuss: DEV
📚Self-Documenting Code
Flag this post
Plan of Knowledge: Retrieval-Augmented Large Language Models for Temporal Knowledge Graph Question Answering
arxiv.org·13h
🪜Recursive Descent
Flag this post
TwIST: Rigging the Lottery in Transformers with Independent Subnetwork Training
arxiv.org·13h
🪜Recursive Descent
Flag this post
Repository Pattern in Golang: A Practical Guide
dev.to·15h·
Discuss: DEV
🎨Domain-Specific Languages
Flag this post
Fair and Explainable Credit-Scoring under Concept Drift: Adaptive Explanation Frameworks for Evolving Populations
arxiv.org·13h
🔍ML Language
Flag this post
Beyond Chat: a Framework for LLMs as Human-Centered Support Systems
arxiv.org·13h
🎮Language Ergonomics
Flag this post
The Rise of the Specialist: Why Small Language Models are the Future of Enterprise AI
dev.to·1d·
Discuss: DEV
🖥️Minimal VMs
Flag this post
💡 Next-Level Deployments in AWS ECS: Step-by-Step Guide to Linear & Canary Releases 🚀
dev.to·5h·
Discuss: DEV
🛡️Capability VMs
Flag this post
Large Language Models Do NOT Really Know What They Don't Know
paperium.net·22h·
Discuss: DEV
🪜Recursive Descent
Flag this post