@lobsters Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean #Security #Rust #FormalMethods
@hackernews Show HN: Alien โ Self-hosting with remote management (written in Rust) #HackerNews #Tech #Rust
@lobsters Creusot 0.11.0: VerifyThis winner #Rust #Programming #OpenSource
@lobsters High-performance 2D graphics rendering on the CPU using sparse strips #Graphics #Rust #Performance
@lobsters How (and why) we rewrote our production C++ frontend infrastructure in Rust #Rust #Cpp #Programming
@lobsters Lenses in Rust and My Solution #Rust #Programming #OpenSource
@lobsters Building ezli.me, a link shortener in Rust #Rust #Programming #OpenSource
@cloudflare Agents Week: network performance update #Networking #Performance #Rust
@lobsters An early look at tailscale-rs, a tsnet library in Rust #Rust #Networking #OpenSource
@lobsters Okay, what actually uses Rust #Rust #Programming #OpenSource
@lobsters A time travel debugger for WebAssembly #WebAssembly #Rust #Debugging
@lobsters Halloy: An Open Source IRCv3 Client #OpenSource #Rust #Chat
@lobsters Switching higher-order streams to first-order streams #Programming #Rust #Software
@lobsters Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes #Rust #Programming #Databases
@hamy Why Rust Wins in the Age of AI #Rust #AI #Programming
@lobsters LLM Reviews in cargo-crev #security #rust #ai
@lobsters Rust is Just a Tool #rust
@lobsters Bringing Rust to the Pixel Baseband #rust
@lobsters fakecloud โ Free, open-source AWS emulator (LocalStack alternative) #devops #rust #testing
@lobsters High-Level Rust: Getting 80% of the Benefits with 20% of the Pain #programming #rust
@lobsters How Rust is susceptible to supply chain attacks and what we can do to mitigate the inevitable #security #rust
@lobsters Understanding Traceroute #networking #rust
@lobsters Understanding Pin (for C and C++ Developers) (2019) #rust #c
@hamy Getting Started with Datastar - Build a Rust + Axum Todo App #Rust #Programming #OpenSource
@scattered_thoughts Borrow-checking surprises #Programming #Rust #SoftwareDevelopment
@scattered_thoughts 0058: borrow-checking surprises, books, links #Programming #Rust #DevLog
@hamy Build a Fullstack SSR Web App with Rust + Maud #Rust #WebDev #OpenSource
@mark_story Bridging between Tokio and Python #Python #Rust #WebDev
@alex_selimov Upvoters - Small rust back-end for anonymous likes on static blogs #Rust #OpenSource #WebDev
@tutorialedge Part 6 - Configuration & Authentication #Rust #Backend #DevOps
@tutorialedge Part 5 - Load Balancing & Health Checks #Rust #Backend #DevOps
@tutorialedge Part 4 - Rate Limiting #Rust #APIGateway #BackendDev
@tutorialedge Part 3 - Middleware Pipeline #Rust #Programming #Backend
@tutorialedge Part 2 - Routing & Path Matching #Rust #Backend #Dev
@tutorialedge Part 1 - Project Setup & Your First HTTP Proxy #Rust #Programming #Backend
@tin_rabzelj How to Debug a Deadlock #Rust #Programming #Debugging
@tin_rabzelj Building a Vector Database in Rust: LSM-VEC #Rust #Database #OpenSource
@matthews_writing Making Nintendo DS ROMs with Rust #Rust #Programming #Gaming
@turbopuffer_blog Rust zero-cost abstractions vs. SIMD #Rust #Programming #Performance
@the_ongoing_struggle Rusty Fizz buzz with some Divan #Rust #Programming #Tech