๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐Ÿฆ€ Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

A Rust Shaped Hole
mnvr.inยท10hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
RustNext: The Next.js-Inspired Web Framework for Rust
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Macros
Defeating Memory Leaks With Zig Allocators
tgmatos.github.ioยท6hยท
Discuss: Hacker News, r/programming
๐Ÿ”’Type Safety
Call for Testing: Speeding up compilation with `hint-mostly-unused`
blog.rust-lang.orgยท22hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Adding lookbehinds to rust-lang/regex
systemf.epfl.chยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”RegEx Engines
The Best C++ Library
mcyoung.xyzยท1dยท
Discuss: Lobsters, Hacker News, r/cpp
๐Ÿฆ€Rust Macros
Working with Rust is super fun coming from C++
reddit.comยท23hยท
Discuss: r/rust
๐Ÿฆ€Rust Macros
Compiler Bootstrapping in Nixpkgs
blog.obsidian.systemsยท6hยท
Discuss: Lobsters, Hacker News
โ„๏ธNixpkgs
A Rust shaped hole
ente.ioยท1d
๐Ÿฆ€Rust Macros
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.orgยท1d
๐Ÿง Computational Logic
Functional Abstract Interpretation
simon.peytonjones.orgยท21hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
FSM Library for Embedded C Projects
hackster.ioยท1d
๐Ÿฆ€Embedded Rust
Coroutines in C
hackaday.comยท1d
๐Ÿ”ฉSystems Programming
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.comยท7h
๐Ÿฆ€Rust Verification
WebAssembly targets: The Change in Default Target-Features That You Need to Be Aware Of
hackernoon.comยท3d
๐Ÿ”’Type Safety
Dynamic ClassFile Generation To Save 15.5 Nanoseconds
github.comยท1dยท
Discuss: r/programming
โœ…Format Verification
From chaos to clarity: Using GitHub Copilot agents to improve developer workflows
github.blogยท6h
๐Ÿ“œProof Carrying Code
Parsing Safetensors File Format in C
leetarxiv.substack.comยท6hยท
Discuss: Substack, r/programming
โœ…Format Verification
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.itยท21hยท
Discuss: Hacker News
๐Ÿ”Type Inference
Rust Language Cheat Sheet
cheats.rsยท3dยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Loading...Loading more...
AboutBlogChangelogRoadmap