🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

← All bots

Lobsters

@lobsters@robot.villas

Stories from Lobsters

Source: https://lobste.rs/rss

Homepage: https://lobste.rs

Follow from your server

Enter the server your account is on. You'll finish following there.

or
Or search your app for@lobsters@robot.villas

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

Posts
6,244
Followers
71
Following
2

Posts

  • Formalizing Fermat's Last Theorem #Math #FormalVerification #Research

    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/22319454

    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/22319454

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

    Sep 5, 2026

  • Gleam and BEAM- Looking beyond the JVM #Programming #GleamLang #JVM

    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/22319317

    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/22319317

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

    Sep 5, 2026

  • Visualizing Rust's Vtables: How dyn Trait Works In Memory #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/22319296

    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/22319296

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

    Sep 5, 2026

  • NYC PIT Crew #Jobs #NYC #TechJobs

    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/22319282

    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/22319282

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

    Sep 5, 2026

  • Knowing Where to Type 'Zero' (2015) #Programming #Performance #Optimization

    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/22319262

    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/22319262

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

    Sep 5, 2026

  • Trusting-Trust Attack against an Entire Linux Distribution (via the strip utility) #Security #Linux #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/22319241

    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/22319241

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

    Sep 5, 2026

  • AI handles incidents, engineers lose touch with their systems #AI #Engineering #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/lobsters/posts/22319243

    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/22319243

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

    Sep 5, 2026

  • Bespoke: A Programming Language for People Who Say Please #Programming #Satire #BespokeLang

    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/22319074

    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/22319074

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

    Sep 5, 2026

  • Is it too much to ask devs to use AI to review their hand-crafted code? #AI #Programming #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/lobsters/posts/22319073

    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/22319073

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

    Sep 5, 2026

  • Git Submodules as a Package Manager #Git #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/22319059

    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/22319059

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

    Sep 5, 2026

  • Reverse Engineering a Chip (or well, a GDS) #ReverseEngineering #Hardware #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/lobsters/posts/22319007

    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/22319007

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

    Sep 5, 2026

  • MISRust: Mapping MISRA-C++ Coding Guidelines to the Rust Programming Language #Rust #Coding #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/22318992

    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/22318992

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

    Sep 5, 2026

  • Mongotar: Files to prompt, and back #Programming #OpenSource #Data

    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/22318869

    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/22318869

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

    Sep 4, 2026

  • Exploring Mojo's raw pointer type #Programming #MojoLang #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/22318788

    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/22318788

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

    Sep 4, 2026

  • Plush's New Register-Based Interpreter Is Insanely Fast #Programming #RustLang #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/22319049

    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/22319049

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

    Sep 4, 2026

  • AI it's not bad but it's a tool #AI #Technology #Tool

    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/22319038

    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/22319038

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

    Sep 4, 2026

  • Stop Thinking of LLMs as Next-Token Predictors #AI #LLM #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/lobsters/posts/22318770

    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/22318770

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

    Sep 4, 2026

  • FLT: Anthropic has beaten me to it #AI #Research #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/lobsters/posts/22318689

    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/22318689

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

    Sep 4, 2026

  • Babashka 1.13.220 gets FFI #Clojure #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/22318633

    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/22318633

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

    Sep 4, 2026

  • jank reimagines C++ errors and gets an official native package repo #Programming #Cpp #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/22318588

    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/22318588

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

    Sep 4, 2026

  • deft: A gradual type system for Janet #Programming #Lisp #TypeSystem

    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/22318693

    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/22318693

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

    Sep 4, 2026

  • A preview of the future Intel Architecture documentation #Tech #Hardware #Intel

    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/22318563

    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/22318563

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

    Sep 4, 2026

  • The new Go JSON API: twice as fast, or 1.5x slower? #GoLang #Performance #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/22318437

    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/22318437

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

    Sep 4, 2026

  • What's New in Neovim 0.13 #Neovim #Editors #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/22318988

    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/22318988

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

    Sep 4, 2026

  • Imperial Colors Manifesto #Design #Satire #Art

    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/22318416

    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/22318416

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

    Sep 4, 2026

  • Is AI ruining my brain? #AI #Technology #SelfImprovement

    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/22318327

    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/22318327

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

    Sep 4, 2026

  • The tech behind the RSA-260 crack #Tech #Cryptography #Science

    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/22318318

    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/22318318

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

    Sep 4, 2026

  • Collider: An experimental Minecraft server #Minecraft #Gaming #Clojure

    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/22318261

    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/22318261

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

    Sep 4, 2026

  • A defense of object-orientated programming #Programming #SoftwareDevelopment #ObjectOrientedProgramming

    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/22318238

    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/22318238

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

    Sep 4, 2026

  • Surviving Code Reviews in the era of AI #AI #CodeReview #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/lobsters/posts/22318223

    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/22318223

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

    Sep 4, 2026

  • Inserting State Transitions in Postgres #Postgres #Databases #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/22318227

    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/22318227

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

    Sep 4, 2026

  • Performance Engineering on Hard Mode #Performance #Engineering #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/lobsters/posts/22318204

    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/22318204

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

    Sep 4, 2026

  • FORCE_COLOR: Keep Your Command Line Colorful, Even when Piping - Retain Text Colors in Logs, Output Streams, and More #CLI #DevTools #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/22318301

    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/22318301

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

    Sep 4, 2026

  • OpenAI agents hijacked German website in previously undisclosed AI breakout this spring #AI #Cybersecurity #OpenAI

    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/22318143

    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/22318143

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

    Sep 4, 2026

  • smolts: a pedagogical IDE for a teaching language (eighty-twenty news) #Education #Programming #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/lobsters/posts/22318074

    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/22318074

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

    Sep 4, 2026

  • Bug triaging help needed #BugTriage #OpenSource #Linux

    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/22318041

    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/22318041

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

    Sep 4, 2026

  • What are you doing this weekend? #Community #Discussion #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/22317939

    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/22317939

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

    Sep 4, 2026

  • The Incomplete Guide to Lazy Evaluation in Haskell (2015) #Haskell #Programming #FunctionalProgramming

    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/22317930

    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/22317930

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

    Sep 4, 2026

  • Dynamic linking best practices (2021) #Programming #SoftwareEngineering #BestPractices

    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/22317932

    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/22317932

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

    Sep 4, 2026

  • Hillingar - MirageOS Unikernels on NixOS #NixOS #Unikernels #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/22317935

    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/22317935

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

    Sep 4, 2026
« NewerOlder »