๐Ÿค–robot.villas
PostsTagsStatsStatusAbout

ยฉ 2025 - 2026 Nat Welch. All rights reserved.

#rust

726 posts

  • @lobsters Signal Shot: a project to verify the Signal protocol and its Rust implementation using Lean #Security #Rust #FormalMethods

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167536

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167536

    Don't have an account? Find a server at joinmastodon.org

    Apr 21, 2026
  • @hackernews Show HN: Alien โ€“ Self-hosting with remote management (written in Rust) #HackerNews #Tech #Rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22167329

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22167329

    Don't have an account? Find a server at joinmastodon.org

    Apr 20, 2026
  • @lobsters Creusot 0.11.0: VerifyThis winner #Rust #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167237

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167237

    Don't have an account? Find a server at joinmastodon.org

    Apr 20, 2026
  • @lobsters High-performance 2D graphics rendering on the CPU using sparse strips #Graphics #Rust #Performance

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167086

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22167086

    Don't have an account? Find a server at joinmastodon.org

    Apr 19, 2026
  • @lobsters How (and why) we rewrote our production C++ frontend infrastructure in Rust #Rust #Cpp #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166579

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166579

    Don't have an account? Find a server at joinmastodon.org

    Apr 18, 2026
  • @lobsters Lenses in Rust and My Solution #Rust #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166475

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166475

    Don't have an account? Find a server at joinmastodon.org

    Apr 18, 2026
  • @lobsters Building ezli.me, a link shortener in Rust #Rust #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166407

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166407

    Don't have an account? Find a server at joinmastodon.org

    Apr 17, 2026
  • @cloudflare Agents Week: network performance update #Networking #Performance #Rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/cloudflare/posts/22166203

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/cloudflare/posts/22166203

    Don't have an account? Find a server at joinmastodon.org

    Apr 17, 2026
  • @lobsters An early look at tailscale-rs, a tsnet library in Rust #Rust #Networking #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166119

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22166119

    Don't have an account? Find a server at joinmastodon.org

    Apr 17, 2026
  • @lobsters Okay, what actually uses Rust #Rust #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165915

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165915

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026
  • @lobsters A time travel debugger for WebAssembly #WebAssembly #Rust #Debugging

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165709

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165709

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026
  • @lobsters Halloy: An Open Source IRCv3 Client #OpenSource #Rust #Chat

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165696

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165696

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026
  • @lobsters Switching higher-order streams to first-order streams #Programming #Rust #Software

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165557

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165557

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026
  • @lobsters Zero-Copy Pages in Rust: Or How I Learned To Stop Worrying And Love Lifetimes #Rust #Programming #Databases

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165524

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22165524

    Don't have an account? Find a server at joinmastodon.org

    Apr 16, 2026
  • @hamy Why Rust Wins in the Age of AI #Rust #AI #Programming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326893

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326893

    Don't have an account? Find a server at joinmastodon.org

    Apr 15, 2026
  • @lobsters LLM Reviews in cargo-crev #security #rust #ai

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163922

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163922

    Don't have an account? Find a server at joinmastodon.org

    Apr 12, 2026
  • @lobsters Rust is Just a Tool #rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163833

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163833

    Don't have an account? Find a server at joinmastodon.org

    Apr 12, 2026
  • @lobsters Bringing Rust to the Pixel Baseband #rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163660

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163660

    Don't have an account? Find a server at joinmastodon.org

    Apr 11, 2026
  • @lobsters fakecloud โ€“ Free, open-source AWS emulator (LocalStack alternative) #devops #rust #testing

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163609

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163609

    Don't have an account? Find a server at joinmastodon.org

    Apr 11, 2026
  • @lobsters High-Level Rust: Getting 80% of the Benefits with 20% of the Pain #programming #rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163573

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163573

    Don't have an account? Find a server at joinmastodon.org

    Apr 11, 2026
  • @lobsters How Rust is susceptible to supply chain attacks and what we can do to mitigate the inevitable #security #rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163483

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22163483

    Don't have an account? Find a server at joinmastodon.org

    Apr 11, 2026
  • @lobsters Understanding Traceroute #networking #rust

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162548

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162548

    Don't have an account? Find a server at joinmastodon.org

    Apr 9, 2026
  • @lobsters Understanding Pin (for C and C++ Developers) (2019) #rust #c

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162532

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22162532

    Don't have an account? Find a server at joinmastodon.org

    Apr 9, 2026
  • @hamy Getting Started with Datastar - Build a Rust + Axum Todo App #Rust #Programming #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326902

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326902

    Don't have an account? Find a server at joinmastodon.org

    Apr 8, 2026
  • @scattered_thoughts Borrow-checking surprises #Programming #Rust #SoftwareDevelopment

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scattered_thoughts/posts/22377528

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scattered_thoughts/posts/22377528

    Don't have an account? Find a server at joinmastodon.org

    Apr 7, 2026
  • @scattered_thoughts 0058: borrow-checking surprises, books, links #Programming #Rust #DevLog

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scattered_thoughts/posts/22377516

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/scattered_thoughts/posts/22377516

    Don't have an account? Find a server at joinmastodon.org

    Apr 7, 2026
  • @hamy Build a Fullstack SSR Web App with Rust + Maud #Rust #WebDev #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326912

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/hamy/posts/22326912

    Don't have an account? Find a server at joinmastodon.org

    Apr 1, 2026
  • @mark_story Bridging between Tokio and Python #Python #Rust #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/mark_story/posts/22390609

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/mark_story/posts/22390609

    Don't have an account? Find a server at joinmastodon.org

    Mar 27, 2026
  • @alex_selimov Upvoters - Small rust back-end for anonymous likes on static blogs #Rust #OpenSource #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/alex_selimov/posts/22399817

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/alex_selimov/posts/22399817

    Don't have an account? Find a server at joinmastodon.org

    Mar 22, 2026
  • @tutorialedge Part 6 - Configuration & Authentication #Rust #Backend #DevOps

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448958

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448958

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tutorialedge Part 5 - Load Balancing & Health Checks #Rust #Backend #DevOps

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448889

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448889

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tutorialedge Part 4 - Rate Limiting #Rust #APIGateway #BackendDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448812

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448812

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tutorialedge Part 3 - Middleware Pipeline #Rust #Programming #Backend

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448726

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448726

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tutorialedge Part 2 - Routing & Path Matching #Rust #Backend #Dev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448516

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448516

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tutorialedge Part 1 - Project Setup & Your First HTTP Proxy #Rust #Programming #Backend

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448384

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tutorialedge/posts/22448384

    Don't have an account? Find a server at joinmastodon.org

    Mar 20, 2026
  • @tin_rabzelj How to Debug a Deadlock #Rust #Programming #Debugging

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tin_rabzelj/posts/22444308

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tin_rabzelj/posts/22444308

    Don't have an account? Find a server at joinmastodon.org

    Mar 9, 2026
  • @tin_rabzelj Building a Vector Database in Rust: LSM-VEC #Rust #Database #OpenSource

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tin_rabzelj/posts/22444330

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/tin_rabzelj/posts/22444330

    Don't have an account? Find a server at joinmastodon.org

    Feb 23, 2026
  • @matthews_writing Making Nintendo DS ROMs with Rust #Rust #Programming #Gaming

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/matthews_writing/posts/22438297

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/matthews_writing/posts/22438297

    Don't have an account? Find a server at joinmastodon.org

    Feb 18, 2026
  • @turbopuffer_blog Rust zero-cost abstractions vs. SIMD #Rust #Programming #Performance

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/turbopuffer_blog/posts/22448489

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/turbopuffer_blog/posts/22448489

    Don't have an account? Find a server at joinmastodon.org

    Feb 18, 2026
  • @the_ongoing_struggle Rusty Fizz buzz with some Divan #Rust #Programming #Tech

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_ongoing_struggle/posts/22462484

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/the_ongoing_struggle/posts/22462484

    Don't have an account? Find a server at joinmastodon.org

    Feb 2, 2026
ยซ NewerOlder ยป