🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🧠 Separation Logic

Memory Safety, Heap Analysis, Formal Verification, Pointer Reasoning

shared_ptr<T>: the (not always) atomic reference counted smart pointer (2019)
snf.github.io·17h·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🦀Rust Borrowing
Understanding Tool-Integrated Reasoning
arxiv.org·14h
🔗Constraint Handling
Optimize Go Performance: Value vs. Pointer Types for Fewer Memory Allocations
dev.to·18h·
Discuss: DEV
🧠Memory Allocators
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1d
✅Format Verification
Sets & Heaps in Haskell and Rust
mmhaskell.com·2d
🔒Type Safety
Dependent types I › Universes, or types of types
jonmsterling.com·12h·
Discuss: Hacker News
🔤Type Theory
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
TMO: Transparent Memory Offloading in Datacenters
cacm.acm.org·2h
💾Memory Mapping
Deep dive into Mojo object initialization
connorgray.com·1h·
Discuss: Hacker News
🦀Rust Borrowing
Thoughts on creating a tracking pointer class, part 13: Restoring the strong exception guarantee
devblogs.microsoft.com·4h
🦀Rust Borrowing
How Cloudflare runs more AI models on fewer GPUs: A technical deep-dive
blog.cloudflare.com·4h·
Discuss: Hacker News
🔩Systems Programming
How to Slow Down a Program? And Why it Can Be Useful.
stefan-marr.de·8h·
Discuss: Lobsters, Hacker News, r/programming
🚀Compiler Optimizations
Make and SQL: An old new way for Data Science workloads
vasvir.wordpress.com·1d·
Discuss: Hacker News
🦀Rust Macros
Beyond the Checkbox: How Backblaze’s SOC 2 Type 2 Certification Secures Your Cloud Data
backblaze.com·3h
✅Archive Fixity
C++ or Rust: Differences Explained
harshal.is-cool.dev·8h·
Discuss: Hacker News
🔩Systems Programming
State of the art for reducing executable size with optimized program
discourse.llvm.org·7h·
Discuss: Lobsters, Hacker News, r/programming
🔗Static Linking
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Binary Exploitation 101 - Introduction
r1ru.github.io·1d
📼Cassette Hacking
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
🧪Binary Fuzzing
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
🎯Performance Proofs
Loading...Loading more...
AboutBlogChangelogRoadmap