First-class custom smart pointers
🦀Rust Lifetimes
Flag this post
Generalized Security-Preserving Refinement for Concurrent Systems
arxiv.org·2d
🔓Lock-Free Programming
Flag this post
Roc with Richard Feldman
corrode.dev·34m
🦀Rust
Flag this post
Christoph Breitkopf: Interval Tables in Common Lisp
bokesan.blogspot.com·54m
📐Type Theory
Flag this post
Fun-reliable side-channels for cross-container communication
simonwillison.net·1d
🔒Futex
Flag this post
ClaudoBiography: The Unauthorized Autobiography of Claude, or: The Life of Claude and of His Fortunes and Adversities
lesswrong.com·2h
💫Effect Systems
Flag this post
Exhaustive profiling toolkit: elfutils and libdwfl_stacktrace
developers.redhat.com·1d
📊Profiling Tools
Flag this post
Ditch your (Mut)Ex, you deserve better
🔒Futex
Flag this post
Monotonic Collections: a middle ground between immutable and fully mutable
neilmadden.blog·1d
λFunctional Programming
Flag this post
PHP Game Changing Editions
🦀Rust Macros
Flag this post
Loosely, yet Tightly Coupled
💎Refinement Types
Flag this post
Building Rust Web Apps
🐧Rust for Linux
Flag this post
Loading...Loading more...