📏 Linear Logic

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

Scheme Macros IX: Algebraic Data Types
blog.veitheller.de·2h
🔧Scheme Macros
Balance between refactoring and inheritance in your code
github.com·18h·
Discuss: Hacker News
🧪Compiler Testing
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·15h·
Discuss: DEV
🎯Finite Automata
What is Algebraic about Algebraic Effects?
interjectedfuture.com·14h
💫Effect Systems
Semantic Dictionary Encoding
falvotech.com·16h·
Discuss: Hacker News
🗂️Type Indexing
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·1d
⏭️Skip Lists
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·12h·
Discuss: Hacker News
🔗Lexical Scoping
How Linear Implemented Multi-Region Support For Customers
blog.bytebytego.com·15h
🛡️Capability VMs
Caffeinated Commits- Day 3
dev.to·14h·
Discuss: DEV
🎓Teaching Compilers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·22h
🪢Rope Data Structures
SOLID Principles for Python Developers
dev.to·16h·
Discuss: DEV
🎭Racket Modules
Verlog: A Multi-turn RL framework for LLM agents
blog.ml.cmu.edu·16h
🎭Erlang OTP
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·1d·
Discuss: Hacker News, r/golang, r/programming
📚Stack Data Structures
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·14h·
Discuss: Hacker News, Hacker News, r/golang
🎯Ring Buffers
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·19h·
Discuss: Hacker News
📡Network Serialization
ECMAScript TC39 proposal-pattern-matching
github.com·17h·
Discuss: Hacker News
🎯Pattern Matching
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
Feedback on my first library
reddit.com·11h·
Discuss: r/rust
🚂Cranelift Backend
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·20h·
Discuss: DEV
💾Cache Algorithms