📏 Linear Logic

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

smartgo: I wish for a Go-like language with Rust-like pointers
iio.ie·16h
🔒Rust Borrowing
Design Principle: Composable Services
sleepingpotato.com·5h·
Discuss: Hacker News
🔀Control Structures
Constraint Satisfaction Approaches to Wordle: Novel Heuristics and Cross-Lexicon Validation
arxiv.org·15h
🧩Constraint Solvers
Dimensional Analysis in Programming Languages (2018)
gmpreussner.com·23h·
Discuss: Hacker News
🔢Algebraic Datatypes
Highly concurrent in-memory counter in GoLang
engineering.grab.com·19h
🧠Memory Models
Recurse Checkins
404wolf.com·17h
🔄Bootstrapping
Event Handling: Automatic Event Bootstrapping
gitlab.com·4h·
Discuss: DEV
📡Protocol Buffers
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·3h·
Discuss: Hacker News
🗺️Region Inference
Cactus Language • Semantics 1
inquiryintoinquiry.com·3h
📋Backus-Naur Form
Simple hash map in C, for learning purpose
reddit.com·7h·
Discuss: r/C_Programming
🏷️Symbol Interning
New Recording on Event modelling anti-patterns from DDDEU
architecture-weekly.com·9h
🌊Reactive Languages
Is Odin Just a More Boring C?
dayvster.com·8h·
Discuss: Hacker News
🐹Go Internals
Atomic and Saturated Models
functor.network·2d·
Discuss: Hacker News
🔗Concatenative Theory
Beating the L1 cache with value speculation (2021)
mazzo.li·3h·
Discuss: Lobsters
🔮Branch Predictors
Property-based testing of batch-invariant operations
mmaaz.ca·20h·
Discuss: Hacker News
🎲Property Testing
Souvenir
deprogrammaticaipsum.com·15h
🔗Weak References
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·14h·
Discuss: DEV
🌳Pattern Match Compilation
Self-Extracting F3
buttondown.com·1h
📊Row Polymorphism
Why We Created Turso, a Rust-Based Rewrite of SQLite
thenewstack.io·4h
💾Minimal Databases
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·15h
📱Bytecode Design