🏗️ Language Design - z7bjv6fs · Scour

A Friendly Tour of Substructural, Uniqueness, Ownership, Capabilities and more! 🦀Rust

federicobruzzone.github.io·2d·Hacker News

Show HN: The X Programming Language 🦀Rust

github.com·4d·Hacker News

Introduction to Hylo 🦀Rust

hylo-lang.org·1d·Hacker News

Zig's New Relationship with LLVM (2020) 🦀Rust

kristoff.it·6h·Hacker News

Two-Level Type Theory and Applications ✅Formal Verification

I Refactored 100 Functions With Claude. CI Was Green. Production Got Slower in 7 Spots. 🦀Rust

kenimoto.dev·2d·DEV

In the News (#1642) 🌐Network Security

maggiemcneill.com·15h

Programming languages designed for AI agents to write 🦀Rust

agentlanguages.dev·1d

May Week 4 🦀Rust

i-programmer.info·7h

higher dimensional automaton in nLab ✅Formal Verification

ncatlab.org·4d

AI Code Audit Taxonomy built with Claude 🦀Rust

kenrinzero.github.io·15h·r/LLM, r/vibecoding

Frank Pfenning Receives Herbrand Award ✅Formal Verification

Zig-pflag，a golang pflag porting package 🦀Rust

A Call for Better Type Hints in AI Safety Tooling 🦀Rust

lesswrong.com·2d

Miniswift, SwiftUI Compiled in the Browser 🦀Rust

miniswift.run·3d·Hacker News

chc4/lunacy: Lua 5.1 LBBV bytecode interpreter + JIT in Rust 🦀Rust

github.com·19h

120,000 Lines of Rust: Inside the Nosdesk Backend 🦀Rust

kyle.au·2d·r/rust

Ask HN: Did forums solve what Discord and Reddit still don't? 🔄DevOps

news.ycombinator.com·2d·Hacker News

Safe Made Easy Pt.1: Single Ownership Is (Not) Optional 🦀Rust

ergeysay.github.io·5d·Hacker News

generics for `wgsl-rs` and more 🦀Rust

renderling.xyz·1d·Lobsters, r/rust, r/rust_gamedev

Log in to enable infinite scrolling