📏 Linear Logic

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

Feeds to Scour
SubscribedAll
Scoured 259239 posts in 1.71 s
A Validated Semantics for LLVM IR
sf.snu.ac.kr·11h
🔧LLVM IR
Preview
Report Post
Horton persistence progress
terracrypt.net·10h
✨Gleam
Preview
Report Post
Streamlinear, a new MCP for Linear
blog.fsck.com·22h
🔄Incremental Lexing
Preview
Report Post
Linux perf Examples
brendangregg.com·14h
📊perf Tools
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·42m
🔧API Design
Preview
Report Post
The answer is in your heap: debugging a big memory increase in Ruby on Rails
island94.org·21h
📊Memory Profilers
Preview
Report Post
Meeting Seed7
genodians.org·1d
🌱Forth Kernels
Preview
Report Post
Thinking in CRUD: Designing a Clean and Intent-Driven Plan Management API
dev.to·1d·
Discuss: DEV
✅Configuration Validation
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🎯Symbolic Execution
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·9h·
Discuss: Hacker News
🖥️Minimal VMs
Preview
Report Post
Semantic Deception: When Reasoning Models Can't Compute an Addition
arxiv.org·2d
🔍ML Language
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·4h
🌳Tree Walking
Preview
Report Post
SDSL : a new/old shader programming language
stride3d.net·3d·
Discuss: r/programming
📊Pratt Parsers
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.com·32m·
Discuss: Hacker News
🔗Memory Linearization
Preview
Report Post
udlbook/udlbook: Understanding Deep Learning - Simon J.D. Prince
github.com·1h
🛡️Capability Security
Preview
Report Post
IPC in Rust
3tilley.github.io·22h
🔗Concurrency Primitives
Preview
Report Post
What F# Knows About Functors and What Comes Next
dev.to·1d·
Discuss: DEV
🎯Type Theory
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·7h
🚂Error Propagation
Preview
Report Post
Cheney on the M.T.A.
plover.com·2d
🔄Tail Recursion
Preview
Report Post