#rust

@lobsters Freya 0.4 - Rust GUI library #Rust #GUI #OpenSource

@hackernews Show HN: Galois connections for composable numeric casts in Rust #HackerNews #Tech #Rust

@lobsters We're building Postgres in Rust. Using the LLVM of databases #Databases #Rust #OpenSource

@hackernews SQLite should have (Rust-style) editions #HackerNews #Tech #Rust

@hackernews Rustwright: Playwright rewritten in Rust that uses 70% less memory #HackerNews #Tech #Rust

@hackernews Show HN: 18KB ls alternative in no_std rust and Libc #HackerNews #Tech #Rust

@lobsters Comparing Obelisk with Temporal and Restate #Programming #Rust #Tech

@lobsters qr-swastika-avoider v0.1.0 #Rust #Programming #OpenSource

@lobsters 6× faster binary search: from compiled code to mechanical sympathy #Programming #Rust #Optimization

@lobsters crates.io: development update #Rust #Programming #OpenSource

@lobsters Introducing Bobbin: A diskless, API-only AppView for Tangled #Rust #API #OpenSource

@lobsters Closing a three-year-old issue using Rust arenas #Rust #Programming #Tech

@lobsters Postgres rewritten in Rust, now passing 100% of the Postgres regression tests #Rust #Postgres #Databases

@lobsters Cpp2Rust: Automatic Translation of C++ to Safe Rust #Rust #Programming #Cpp

@lobsters Announcing Rust 1.97.0 #Rust #Programming #OpenSource

@lobsters My Thoughts on the Bun Rust Rewrite #Rust #Programming #JavaScript

@hackernews Rewriting Bun in Rust #HackerNews #Tech #Rust

@simon_willison Rewriting Bun in Rust #Rust #Programming #OpenSource

@lobsters Rewriting Bun in Rust #Rust #Programming #OpenSource

@hackernews Rewriting Bun in Rust #HackerNews #Tech #Rust

@hackernews Satteri: A Markdown pipeline forged in Rust for the JavaScript world #HackerNews #Tech #Rust

@lobsters Your Rust Service Isn't Leaking -- It Could Be the Allocator #Rust #Programming #Tech

@lobsters Together for a healthier Clippy #Rust #Programming #OpenSource

@lobsters A Rust-to-Lean verification pipeline with AI provers: An experience report #Rust #AI #Programming

@hackernews Kani: A Model Checker for Rust #HackerNews #Tech #Rust

@lobsters fin: a Jellyfin & Subsonic client for the terminal #Terminal #Rust #Media

@lobsters Jam Programming Language #Programming #Rust #NewLanguage

@hackernews Cargo-nextest: 3x faster than cargo test, per-test isolation, first-class CI #HackerNews #Tech #Rust

@lobsters A Novel Look at Error Handling in Rust #Rust #Programming #Tech

@hackernews DNSGlobe - Rust TUI to watch DNS propagate around the world #HackerNews #Tech #Rust

@lobsters Work In Progress Rust #Rust #Programming #Dev

@lobsters Rust - Handling Results In A Map Closure #Rust #Programming #Coding

@hackernews Show HN: ContextCodeCache in Rust #HackerNews #Tech #Rust

@lobsters crustc: Entirety of rustc, translated to C #Rust #Programming #OpenSource

@hackernews Show HN: I wrote a Rust book ending with a Redis clone #HackerNews #Tech #Rust

@lobsters It's not me, it's the compiler #Rust #Programming #Compiler

@lobsters Slint and the Node.js Event Loop #Programming #Rust #Nodejs

@lobsters May in Servo: user scripts, mp4 compat, blackboxing in DevTools, and more #Rust #WebDev #OpenSource

@lobsters Local Reasoning for Global Properties #Programming #Rust #SoftwareDevelopment

@lobsters Rheo 0.4.0 #Rust #Programming #OpenSource