Pinning is a kind of static borrow
🔒Rust Borrowing
Flag this post
The Easiest Way to Build a Type Checker
✅Type Checking
Flag this post
October 2024 Progress in Guaranteed Safe AI
lesswrong.com·2d
📈Monotonic Logic
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·10h
🧮Combinator Calculus
Flag this post
Concept-Based Generic Programming -- Bjarne Stroustrup
isocpp.org·9h
🗂️Type Indexing
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔶Lattice Theory
Flag this post
A bit about traits in embedded Rust
🦀MIR Optimization
Flag this post
A Pattern Language for Pattern Languages
mcqn.net·7h
📋Backus-Naur Form
Flag this post
Trying Out C++26 Executors
🔮Speculative Execution
Flag this post
Automatic Syntax Error Recovery (2020)
🔧Error Recovery
Flag this post
Rust Isn't the Future of Systems Programming – It's Just the Hype Cycle
🚂Cranelift Backend
Flag this post
How LLM Inference Works
arpitbhayani.me·1d
🚀Tokenizer Performance
Flag this post
Taming the Data Beast: Build Pipelines That Bend, Not Break by Arvind Sundararajan
📋JSON Parsing
Flag this post
Top 2027 recruit Bruce Branch III reclassifies to 2026, reshaping early NBA Draft race
nytimes.com·8h
🔄Copy Propagation
Flag this post
<p>**Abstract:** This paper introduces a novel system for automating the formalization and verification of proofs within Homotopy Type Theory (HoTT). Leveraging...
freederia.com·23h
⚖️Inference Rules
Flag this post
What is the most modern way to implement traits/multiple dispatch/multiple inheritance?
🦀Rust Macros
Flag this post
PyPitfall: Dependency Chaos and Software Supply Chain Vulnerabilities in Python
📦Dependency Analysis
Flag this post
10000
jro.sg·18h
📦Executable Size
Flag this post
Loading...Loading more...