🦀 Rust Borrowing

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

An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
📈Linear programming
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Love C, Hate C: Web Framework Memory Problems
alew.is·19h·
Discuss: Hacker News
🔩Systems Programming
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·1h·
Discuss: Hacker News
🦀Rust Macros
The Dwarves Beneath the Kernel: Forging BTF for eBPF
bootlin.com·2d
📺VT100
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Vite is like the United Nations of JavaScript
stackoverflow.blog·15h
🔄Language Evolution
This Week in Security: ID Breaches, Code Smell, and Poetic Flows
hackaday.com·9h
🔓Hacking
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
GaloisInc/parameterized-utils
github.com·2d
🧮Algebraic Datatypes
Activation Alchemist: Sculpting Stability with Functional Signatures
dev.to·3h·
Discuss: DEV
🔍Concolic Testing
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🔓Open Source Software
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.com·2d
🧪Binary Fuzzing
Running new applications on old glibc
lightofdawn.org·1d·
Discuss: Hacker News
🔗Static Linking
Multi-Core By Default
rfleury.com·22h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
`shimmy` Rust inference server uses bindings to a C library... and runs Python scripts in the shell
reddit.com·23h·
Discuss: r/rust
🦀Rust Macros
Managing Asynchronous Work with Celery and Redis
dev.to·12h·
Discuss: DEV
🌊Apache Kafka
The Library Method: Understanding @cache
dev.to·22h·
Discuss: DEV
⚡Cache Theory
Show HN: Realization Jsmn on a Pure Zig
github.com·13h·
Discuss: Hacker News
🔗Concatenative Programming
Erlang-Red Walkthrough – Visual FBP for Telecom: Diameter AAA on Erlang/OTP
blog.tadsummit.com·9h·
Discuss: Hacker News
🌐Protocol Synthesis