🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🦀 Rust Verification

Memory Safety Proofs, Linear Types, Borrow Checker, Systems Verification

Optimizing CI/CD with RAM Target Applications
mcuoneclipse.com·40m
🏷️Memory Tagging
Cactus Language • Stylistics 5
inquiryintoinquiry.com·19h
📐Format Grammars
BSD Now 620: Postmortem for jemalloc
discoverbsd.com·1d
🔌Operating system internals
Visualising the Trade Lifecycle - Phase 1 - Building a React SPA with Multiple AIs
blog.scottlogic.com·2d
🔌Interface Evolution
FSM Library for Embedded C Projects
hackster.io·5d
🦀Embedded Rust
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·2d
🔒WASM Capabilities
The Hidden Trap of Fixed and Random Effects
towardsdatascience.com·20h
✨Effect Handlers
How Go 1.24 Swiss Tables saved us hundreds of gigabytes
datadoghq.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🧠Memory Allocators
Asynchrony is not Concurrency
kristoff.it·1d·
Discuss: Lobsters, Hacker News, r/programming
🌊Stream Processing
Thoughts on External Memory for LLMs
medium.com·1d·
Discuss: Hacker News
⚡Hardware Transactional Memory
Proof-theoretic Semantics for First-order Logic
arxiv.org·1d
🏗️Constructive Logic
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·1d·
Discuss: Hacker News
🗂️Vector Databases
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·2d·
Discuss: Hacker News
✨Algebraic Effects
Dual-Numbers Reverse AD for Functional Array Languages
arxiv.org·1d
📊APL Heritage
Crates.io Implements Trusted Publishing Support
socket.dev·2d·
Discuss: Hacker News
🌳Archive Merkle Trees
Breaking to Build: Fuzzing the Kotlin Compiler
blog.jetbrains.com·2d·
Discuss: Hacker News
🐛Fuzzing
Rust is a great fit for the agentic era
kerkour.com·3d·
Discuss: Hacker News
🦀Rust Macros
Automated Function ID Database Generation in Ghidra on Windows
blog.mantrainfosec.com·2d·
Discuss: Hacker News
🔓Decompilation
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·4d·
Discuss: Hacker News
🔍Type Inference
💂Beginner's Guide to "Meeting Rooms III" - LeetCode 2163 (C++ | Python | JavaScript)
dev.to·1d·
Discuss: DEV
⚡SIMD Optimization
Loading...Loading more...
AboutBlogChangelogRoadmap