🦀 Rust programming language - merp · Scour

Slint-zig: Zig bindings for Slint GUI Rust library 🦀Rust language programming

Behavior-Oriented Concurrency for Python: Lock-less, Deadlock-free, Ownership-based 🔵Go

lobste.rs·1h·Lobsters

Despite these not being traditional memory corruption, a memory safe language with a better type system would definitely help. Containing low-level handling ... 📏Linear Types

grapheneos.social·12h

Mitigating False Positives in Static Memory Safety Analysis of Rust Programs via Reinforcement Learning 📏Linear Types

Rust is participating in Outreachy 🦀Rust

blog.rust-lang.org·4d

Applying formal grammars in a custom programming language 🌲Tree-sitter

youtu.be·21h·r/programming

tsz: a performance-first TypeScript checker 📘TypeScript

tsz.dev·1d·Hacker News

JavaScript server-side interoperability with rcompat 📋Dhall

bytecode.news·19h·Hacker News

oops, cubic macro! 🦀Rust language programming

bal-e.org·3d·Lobsters, r/rust

A case study with Aeneas and jxl-rs 💎Refinement Types

jonathan.protzenko.fr·2d·Hacker News

Arc at 3 Weeks (2001) 🔗Dependent Types

paulgraham.com·20h·Hacker News

RUSTSEC-2026-0121: steamworks: Denial of service in Steamworks game clients/servers using P2P authentication 🦀Rust

rustsec.org·2d

Rust Terminal Suite 🦀Rust

The MPS 2026.1 Early Access Program Has Started 🔗Dependent Types

blog.jetbrains.com·22h

Rust-Written Redox OS Sees Improvements For Running On Real Hardware 🦀Rust

phoronix.com·1d

Compiler Back End 📋Dhall

c9x.me·6h·Hacker News

Rust Arc Refactor That Turned 18 ms p99 Into 2 ms 🦀Rust

baarse.substack.com·5d·r/rust

NLnet Labs with Arya Khanna and Martin Hoffmann - Rust in Production Podcast 🦀Rust language programming

corrode.dev·1d·r/rust

CVE-2026-7270: How I Get Root on FreeBSD with a Shell Script 🐚Shell Scripting

malware.news·17h

From Stringly to Strongly Typed 💎Refinement Types

eignex.com·1d·Hacker News

Sign up or log in to see more results

Log in to enable infinite scrolling