🔒 Type Safety - matmat · Scour

Rust 1.77.0: C-String Literals and More

hackernoon.com·12h

🦀Rust Borrowing

freest-lang/freest: A programming language for safe concurrency powered by context-free session types.

github.com·5h

🔗Functional Compilers

The Rust Calling Convention We Deserve

mcyoung.xyz·8h·

Discuss: Hacker News

🦀Rust Borrowing

RustyDL: A Program Logic for Rust

arxiv.org·3d

🦀Rust Borrowing

Mutability Considered Harmful

psteitz.blogspot.com·6h·

Discuss: Hacker News

🌳Persistent Data Structures

Rust's plan for improvements to immovable types and async ergonomics over the next few years

bsky.app·1d·

Discuss: Bluesky

🦀Embedded Rust

Lil' Fun Langs' Guts

taylor.town·1d·

Discuss: Hacker News, r/programming

🔗Functional Compilers

sunshowers.io·10h

🦀Rust Borrowing

Formal methods for the unsafe side of the Force

antithesis.com·3d·

Discuss: Hacker News

🦀Rust Verification

F# Weekly #9, 2026 – Crunching the Technical Debt with Repo Assist

sergeytihon.com·15h

💧Liquid Types

Swapping NULL for NUL - a better way to find nothing!

research.exoticsilicon.com·2d

🧠Lisp Dialects

PEP 827 – Type Manipulation

peps.python.org·3d

🎯Gradual Typing

What you don't see

pentesterlab.com·1d

✅Archive Fixity

Array-Carrying Symbolic Execution for Function Contract Generation

arxiv.org·2d

⬆️Lambda Lifting

Let’s stop copying C

eev.ee·2d

🔗Concatenative Programming

tsink - Embedded Time-Series Database for Rust

saturnine.cc·6h·

Discuss: Lobsters, Hacker News, r/SideProject, r/rust

🔄Sync Engine

🎲 Garbage collection in Rust got a little better

claytonwramsey.com·2d

🦀Rust Borrowing

Devirtualization and Static Polymorphism | David Álvarez Rosa

david.alvarezrosa.com·4d·

Discuss: Lobsters, Hacker News, r/programming

⬆️Lambda Lifting

tomtomwombat/cold-string: A 1-word (8-byte) sized representation of immutable UTF-8 strings. In-lines up to 8 bytes. Optimized for memory usage and struct packing.

github.com·3h·

Discuss: Hacker News

🧪Binary Fuzzing

Hello Walter! Learning Rust on ESP32

blog.matthewbrunelle.com·1d

🦀Embedded Rust

Loading more...