📏 Linear Types

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

Opportunistically Parallel Lambda Calculus
dl.acm.org·7h·
Discuss: Hacker News
💻Programming languages
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·17h
🧩Types
Flag this post
Advances In Formal Verification Technology
semiengineering.com·23h
🧮SMT Solvers
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·12h·
Discuss: Hacker News
🔎Tantivy
Flag this post
Roadmap for Improving the Type Checker
forums.swift.org·5h·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Raising the Bar on ML Model Deployment Safety
uber.com·16h
🏗️LLM Infrastructure
Flag this post
Quadric: Revolutionizing Edge AI
semiwiki.com·13h
📱Edge AI Optimization
Flag this post
Myths Programmers Believe about CPU Caches
software.rajivprab.com·5h·
Discuss: Hacker News
🔄Cache Coherence
Flag this post
Ajla Tutorial
ajla-lang.cz·5h·
Discuss: Hacker News
💻Programming languages
Flag this post
How We Found 7 TiB of Memory Just Sitting Around
render.com·15h·
Discuss: Hacker News
🧠Memory Allocation Strategies
Flag this post
Your Transformer is Secretly an EOT Solver
elonlit.com·1h·
Discuss: Hacker News
🧠LLM Inference
Flag this post
Inside Rust's std and parking_lot mutexes - who wins?
reddit.com·14h·
Discuss: r/rust
🔓Lock-Free Structures
Flag this post
wastrel, a profligate implementation of webassembly
wingolog.org·7h·
Discuss: Lobsters, Hacker News
📦WASM
Flag this post
AI #140: Trying To Hold The Line
lesswrong.com·11h
🤖AI
Flag this post
My Wishlist for PHP in 2026
stitcher.io·21h·
Discuss: Hacker News
🔌API Design Theory
Flag this post
How We Saved 70% of CPU and 60% of Memory in Refinery’s Go Code, No Rust Required.
honeycomb.io·5h·
Discuss: r/programming
🔬Rust Profiling
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·14h·
Discuss: Substack
🧠Memory Management
Flag this post
You Don't Need Types in Ruby
zhisme.com·20h·
Discuss: Hacker News
🦀Rust Compiler Internals
Flag this post
From Scripts to Scale: Python, Mypy, and the Rise of Static Typing
simplethread.com·5h·
Discuss: Hacker News
📘Typescript
Flag this post
How to Build Digital Twins for Operational Efficiency
databricks.com·15h
🏗️LLM Infrastructure
Flag this post