📏 Linear Logic

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

Feeds to Scour
SubscribedAll
Scoured 253569 posts in 4.26 s
Understanding Automata Theory Through Route Maps
dev.to·2h·
Discuss: DEV
🎯Finite Automata
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·1d
🔄Incremental Lexing
Preview
Report Post
Horton persistence progress
terracrypt.net·19h
✨Gleam
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·20h
🔧LLVM IR
Preview
Report Post
Linux perf Examples
brendangregg.com·23h
📊perf Tools
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·9h
🔧API Design
Preview
Report Post
The answer is in your heap: debugging a big memory increase in Ruby on Rails
island94.org·1d
📊Memory Profilers
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.com·8h·
Discuss: Hacker News
💾Persistent Heaps
Preview
Report Post
Meeting Seed7
genodians.org·1d
🌱Forth Kernels
Preview
Report Post
No, Small Models Are Not the "Budget Option" (English)
mostlylucid.net·6h
🚂Error Propagation
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·17h·
Discuss: Hacker News
🖥️Minimal VMs
Preview
Report Post
C -> Java != Java -> LLM
observationalhazard.com·2h·
Discuss: r/programming
🎮Language Ergonomics
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
📊Pratt Parsers
Preview
Report Post
udlbook/udlbook: Understanding Deep Learning - Simon J.D. Prince
github.com·10h
🛡️Capability Security
Preview
Report Post
IPC in Rust
3tilley.github.io·1d
🔗Concurrency Primitives
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·13h
🌳Tree Walking
Preview
Report Post
Im sure this has been said before, but..
reddit.com·7h·
Discuss: r/Zig
📚Factor
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·15h
🚂Error Propagation
Preview
Report Post