📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Feeds to Scour
SubscribedAll
Scoured 19850 posts in 1.19 s
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·17h·
Discuss: Lobsters, Hacker News
🏊Memory Pools
Preview
Report Post
A Complete Finitary Refinement Type System for Scott-Open Properties
arxiv.org·2d
🔺GATs
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·1h
🔤Tokenization
Preview
Report Post
Functional Programming Bits in Python
martynassubonis.substack.com·1d·
Discuss: Substack, r/programming, r/webdev
💻Programming languages
Preview
Report Post
Reflections on Reflection
blog.nyxcode.com·1d·
Discuss: r/rust
⚙Rust Compiler Internals
Preview
Report Post
HyperOffload: Graph-Driven Hierarchical Memory Management for Large Language Models on SuperNode Architectures
arxiv.org·1d
🏗️LLM Infrastructure
Preview
Report Post
Taming the Flat AST: Ergonomics in the Age of Zero Allocations
modern-c.blogspot.com·11h·
Discuss: Lobsters, r/golang
🪄Prompt Engineering
Preview
Report Post
Re-architecting End-host Networking with CXL: Coherence, Memory, and Offloading
danglingpointers.substack.com·17h·
Discuss: Substack
📡Low-Level Networking
Preview
Report Post
How to Build Safe Natural Language-Driven APIs
techcommunity.microsoft.com·17h·
Discuss: Hacker News
🦙Ollama
Preview
Report Post
ML for Energy-Performance-Aware Scheduling On Heterogeneous Multicore Architectures (Cambridge)
semiengineering.com·1d
📊Model Serving Economics
Preview
Report Post
How I Structure My Data Pipelines: The Silver Layer
loglevelinfo.substack.com·3h·
Discuss: Substack
🌳B-Trees
Preview
Report Post
Lambda cube
en.wikipedia.org·1d·
Discuss: Lobsters
🧩Types
Preview
Report Post
nilpunch/massive-ecs: Bitset-based ECS with rollbacks. C# library and Unity package.
github.com·3h
🗄LiteFS
Preview
Report Post
Recent Advances in LLMs for Mathematics
youtube.com·22h·
Discuss: Hacker News
🧮SMT Solvers
Preview
Report Post
"Five-Point Haskell": Total Depravity (and Defensive Typing)
blog.jle.im·1d·
Discuss: Lobsters, Hacker News, r/programming
🔄Serde
Preview
Report Post
Mad Rust: The JVM Developer's Journey. Kotlin/Java Developer's Road to Valhalla
sobolev.substack.com·9h·
Discuss: Substack
⚙Rust Compiler Internals
Preview
Report Post
AIStor Tables: Native Iceberg V3 for On-Premises Object Storage
blog.min.io·16h
📱Embedded Databases
Preview
Report Post
Effection 4.0 - Easy path to Structured Concurrency in JavaScript
frontside.com·1d·
Discuss: r/javascript
🧵Async
Preview
Report Post
Noel Welsh: Direct-style Effects Explained
noelwelsh.com·7h
💻Programming languages
Preview
Report Post
RUSTSEC-2026-0007: bytes: Integer overflow in `BytesMut::reserve`
rustsec.org·18h
🔒Borrow Checker
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help