🤖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,359
Followers
76
Following
2

Posts

  • Giving LLMs a Formal Reasoning Engine for Code Analysis #formalmethods #vibecoding

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

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

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

    Apr 8, 2026

  • And now for something completely different: IngoDB #databases #vibecoding

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

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

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

    Apr 8, 2026

  • Little Snitch for Linux #security #linux #release

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

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

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

    Apr 8, 2026

  • Zsh: select generated files with (om[1]) glob qualifiers

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

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

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

    Apr 8, 2026

  • Tailslayer: A technique for reducing tail latency in DRAM operations

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

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

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

    Apr 8, 2026

  • AWS Engineer Reports PostgreSQL Performance Halved By Linux 7.0, But A Fix May Not Be Easy - Phoronix

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

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

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

    Apr 8, 2026

  • Borrow-checking surprises

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

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

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

    Apr 8, 2026

  • tailslayer: Library for reducing tail latency in RAM reads

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

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

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

    Apr 8, 2026

  • Porting Mac OS X to the Nintendo Wii

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

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

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

    Apr 8, 2026

  • Verifying human authorship with human.json

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

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

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

    Apr 8, 2026

  • Open source security at Astral

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

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

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

    Apr 8, 2026

  • On Vinyl Cache and Varnish Cache

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

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

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

    Apr 8, 2026

  • Tailscale pricing update: clearer plans, more value

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

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

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

    Apr 8, 2026

  • The Future of Everything is Lies, I Guess

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

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

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

    Apr 8, 2026

  • Audio Reactive LED Strips Are Diabolically Hard

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

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

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

    Apr 8, 2026

  • Full Text Search with IndexedDB

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

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

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

    Apr 8, 2026

  • Dadroit V Web – Fast & Private JSON Viewer

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

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

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

    Apr 8, 2026

  • Under the hood of MDN's new frontend

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

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

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

    Apr 8, 2026

  • stricline: A meta-framework to help you easily build robust CLI apps with stricli

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

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

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

    Apr 8, 2026

  • Applying "Programming Without Pointers" to an mbox indexer using Zig

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

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

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

    Apr 8, 2026

  • 1SubML: Plan vs Reality

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

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

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

    Apr 8, 2026

  • [RFC] JSIR: A High-Level IR for JavaScript

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

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

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

    Apr 8, 2026

  • When the compiler lies: breaking memory safety in safe Go

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

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

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

    Apr 7, 2026

  • Nix security advisory: Privilege escalation via symlink following during FOD output registration

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

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

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

    Apr 7, 2026

  • All of the String types

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

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

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

    Apr 7, 2026

  • The Apple Charging Situation

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

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

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

    Apr 7, 2026

  • Blackholing My Email

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

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

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

    Apr 7, 2026

  • Cloudflare targets 2029 for full post-quantum security

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

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

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

    Apr 7, 2026

  • No-JS web IRC client that uses forms and a persistent HTTP connection

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

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

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

    Apr 7, 2026

  • S3 Files and the changing face of S3

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

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

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

    Apr 7, 2026

  • The Last Quiet Thing

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

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

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

    Apr 7, 2026

  • Project Glasswing: Securing critical software for the AI era

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

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

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

    Apr 7, 2026

  • Assessing Claude Mythos Preview’s cybersecurity capabilities

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

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

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

    Apr 7, 2026

  • Wet Sidewalks and Odd Numbers

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

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

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

    Apr 7, 2026

  • Hazmat: OS-level containment for AI coding agents on macOS

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

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

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

    Apr 7, 2026

  • The Great Nix Flake Check

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

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

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

    Apr 7, 2026

  • another memory corruption case

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

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

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

    Apr 7, 2026

  • Nash Equilibrium for Terminal Maneuvers

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

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

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

    Apr 7, 2026

  • defuddle: Get the main content of any page as Markdown

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

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

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

    Apr 7, 2026

  • Two Years of Valkey

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

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

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

    Apr 7, 2026
« NewerOlder »