🐿️ 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

Advanced Go Concurrency: Unleashing Lock-Free Data Structures for Real-World Wins
dev.to·6h·
Discuss: DEV
⚡Hardware Transactional Memory
My first experience with Formal Methods | ZipCPU
zipcpu.com·21h
🔧Hardware Verification
Type Inference for Decompiled Code: From Hidden Semantics to Structured Insights
binarly.io·2d
🔓Decompilation
Why Developers Fear Memory Leaks? and How Can Beat Them Easily
middleware.io·40m·
Discuss: Hacker News
🧠Memory Allocators
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net·14h·
Discuss: Hacker News
🔢Denotational Semantics
What I learned from the book Designing Data-Intensive Applications
newsletter.techworld-with-milan.com·16h·
Discuss: r/compsci, r/programming
🗄️Database Internals
Revisiting Knuth’s “Premature Optimization” Paper
probablydance.com·8h·
Discuss: Lobsters, Hacker News
🚀Compiler Optimizations
Linters, Formatters, and Type-Checkers
playfulprogramming.com·1d
🎯Gradual Typing
deepSURF: Detecting Memory Safety Vulnerabilities in Rust Through Fuzzing LLM-Augmented Harnesses
arxiv.org·1d
🦀Rust Verification
OWASP Top for Business Logic Abuse
owasp.org·16h·
Discuss: Hacker News
🔒WASM Capabilities
And the other Big Red Logic Books?
logicmatters.net·15h
🔀Category Theory
Memory safety is at a tipping point
news.mit.edu·1d
🛡️Error Boundaries
Show HN: Turbine – 16-bit CPU Architecture and Emulator built in C
errorcodezero.dev·3h·
Discuss: Hacker News
🔩Systems Programming
**Rust FFI: Integrating C Libraries with Memory Safety and Performance**
dev.to·14h·
Discuss: DEV
🦀Rust Borrowing
In-Memory C++ Leap in Blockchain Analysis
caudena.com·1d·
Discuss: Hacker News
🌊Stream Processing
Beyond Model Stacking: The Architecture Principles That Make Multimodal AI Systems Work
towardsdatascience.com·8h
✨Effect Handlers
Two Pointer Algorithms
mmhaskell.com·3d
🦀Rust Macros
Common Tar Pits to Avoid when developing Big Data Systems
blog.circuitsofimagination.com·2d·
Discuss: Hacker News, r/programming
🗄️Database Internals
Concurrency Is Not Parallelism 🔥
newsletter.systemdesign.one·1d·
Discuss: r/programming
⚡Hardware Transactional Memory
Swift Sendable: Mastering Thread Safety in iOS Development
dev.to·8h·
Discuss: DEV
🔬Refinement Types
Loading...Loading more...
AboutBlogChangelogRoadmap