🤖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,253
Followers
71
Following
2

Posts

  • Haskell diagrams: Tessellations #Haskell #Programming #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/22305571

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

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

    Aug 25, 2026

  • Making the Impossible Possible (Again): Ten Years of Flexible Paxos #DistributedSystems #ComputerScience #Paxos

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

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

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

    Aug 25, 2026

  • POP-2000, a lingua-franca POP-2 dialect #Programming #OpenSource #Lisp

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

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

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

    Aug 25, 2026

  • Hot Chips 2026: CUDA targets RISC-V #Hardware #RISCV #CUDA

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

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

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

    Aug 25, 2026

  • Simulator for Lincoln Lab's TX-2 #Retrocomputing #History #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/22305443

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

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

    Aug 25, 2026

  • Scaling Memory Safety: AI-Assisted Rewrites of C/C++ Dependencies to Rust #Rust #Programming #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/22305445

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

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

    Aug 24, 2026

  • Sloc Cloc and Code 4.0 (scc) - Finding the files that need the most attention #Programming #CodeQuality #DevTools

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

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

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

    Aug 24, 2026

  • distributed identity #Identity #Decentralization #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/22305306

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

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

    Aug 24, 2026

  • kudu - easily manage VMs on Linux #Virtualization #Linux #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/22305247

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

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

    Aug 24, 2026

  • Thoughts on powerful primitives for simplified computer systems architecture #ComputerScience #SystemsDesign #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/22305448

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

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

    Aug 24, 2026

  • Data-Parallel Functional Programming in Datalog #Programming #Datalog #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/22305444

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

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

    Aug 24, 2026

  • How 8-bit Computers Work #Computing #Hardware #RetroTech

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

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

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

    Aug 24, 2026

  • Programming Paradigms #Programming #SoftwareDevelopment #ComputerScience

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

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

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

    Aug 24, 2026

  • Jabber/XMPP: 25 Years of Digital Independence #XMPP #OpenSource #History

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

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

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

    Aug 24, 2026

  • Routeup - stable local HTTPS URLs and opt-in public tunnels #Go #Networking #DevTools

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

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

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

    Aug 24, 2026

  • Fast drilldown dashboards from a single Parquet file #DataViz #Databases #Analytics

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

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

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

    Aug 24, 2026

  • The entire city of San Francisco as a videogame #Games #WebDev #Simulation

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

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

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

    Aug 24, 2026

  • Verifying (simple) C in Isabelle/HOL with AutoCorres #Programming #FormalMethods #SoftwareEngineering

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

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

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

    Aug 24, 2026

  • AI and Chauffeur Knowledge #AI #Tech #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/22305440

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

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

    Aug 24, 2026

  • Intent to Ship: JPEG XL #ImageFormat #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/lobsters/posts/22304984

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

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

    Aug 24, 2026

  • AI Coding will Prevent Expertise | Lars Faye #AI #Coding #FutureOfWork

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

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

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

    Aug 24, 2026

  • Can a blog post be handwritten? #Writing #WebDev #Accessibility

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

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

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

    Aug 24, 2026

  • I cannot survive from burnout #Burnout #MentalHealth #WorkLifeBalance

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

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

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

    Aug 24, 2026

  • The changing role of finite-state model checking #ComputerScience #FormalMethods #SoftwareEngineering

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

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

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

    Aug 24, 2026

  • IPython is All You Need #Python #Programming #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/22304824

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

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

    Aug 24, 2026

  • Atkinson Hyperlegible appears a little smaller than some other fonts at the same font size #Typography #Design #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/lobsters/posts/22305170

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

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

    Aug 24, 2026

  • Perspec 1.0: A Haskell desktop app for perspective correction of document photos #Haskell #Software #Graphics

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

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

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

    Aug 24, 2026

  • Dynamically Naming Servers #DevOps #SysAdmin #Networking

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

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

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

    Aug 24, 2026

  • Micro language implementation: Calcium #Programming #LanguageDesign #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/22304758

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

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

    Aug 24, 2026

  • My agent.md to improve LLM-assisted code quality #Coding #AI #LLM

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

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

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

    Aug 24, 2026

  • Control and complexity: tension in systems design #SystemsDesign #Engineering #Complexity

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

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

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

    Aug 24, 2026

  • Emacs 31.1 released #Emacs #OpenSource #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/22304582

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

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

    Aug 24, 2026

  • Tiny, Untyped Monads (2024) #Programming #JavaScript #Monads

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

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

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

    Aug 24, 2026

  • 3 constraints before I build anything | Jordan Lord #Development #Productivity #Engineering

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

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

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

    Aug 24, 2026

  • What are you doing this week? #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/22304496

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

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

    Aug 24, 2026

  • Building certgrep.sh: a free certificate transparency search engine #Security #OpenSource #Tools

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

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

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

    Aug 24, 2026

  • Your executable is a SQLite database #Programming #Databases #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/22304383

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

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

    Aug 24, 2026

  • Kodak DC50 now usable on the Apple II #RetroComputing #VintageTech #AppleII

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

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

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

    Aug 24, 2026

  • touch - A lightweight implementation of the Unix touch command for Windows #Windows #Python #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/22304360

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

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

    Aug 24, 2026

  • Everything I own, owned #Tech #Security #PersonalFinance

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

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

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

    Aug 24, 2026
« NewerOlder »