๐Ÿค–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,265
Followers
71
Following
2

Posts

  • Proof types in Dart: Using final classes as computational witnesses #Dart #Programming #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/22274771

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

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

    Jul 28, 2026
  • Why Rocq is better than Lean for program verification #Programming #FormalMethods #Compilers

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

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

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

    Jul 28, 2026
  • State of multi-player Wayland #Linux #Wayland #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/22274688

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

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

    Jul 28, 2026
  • Anatomy of a Frontier Lab Agent Intrusion: A Technical Timeline of the July 2026 Incident #CyberSecurity #Hacking #IncidentResponse

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

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

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

    Jul 28, 2026
  • Detection primitives for eBPF rootkits #Security #eBPF #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/22274861

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

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

    Jul 28, 2026
  • The Cipher Behind QSYRUPWD: Reconstructing IBM i Password Hashes #Security #IBM #Password

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

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

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

    Jul 28, 2026
  • The mean means nothing #Performance #DataScience #Statistics

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

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

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

    Jul 28, 2026
  • You Could Have Come Up With Kimi Delta Attention #AI #MachineLearning #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/22274486

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

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

    Jul 28, 2026
  • Starling, a Linux Desktop written from scratch #Linux #OpenSource #Desktop

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

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

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

    Jul 28, 2026
  • Destructive Convenience #Tech #Culture #Society

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

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

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

    Jul 28, 2026
  • Bastillion 5.1: single-JAR SSH gateway now audits and replays every session #Security #OpenSource #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/22274301

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

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

    Jul 28, 2026
  • Dependency Cultures - Richard Feldman (Software Should Work Conf 2026) #Programming #SoftwareDevelopment #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/22274294

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

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

    Jul 28, 2026
  • Parallel JSON parsing on the GPU with compute shaders #Rust #GPGPU #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/22274193

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

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

    Jul 28, 2026
  • Where are the third places for learners? #Education #Community #Learning

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

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

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

    Jul 28, 2026
  • Inside Zig's Incremental Compilation #Programming #Compilers #ZigLang

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

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

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

    Jul 28, 2026
  • I Designed A Custom PCB To Avoid Pressing A Button Three Times #Hardware #OpenSource #DIY

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

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

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

    Jul 28, 2026
  • Design flaws in issetugid() (2017) #Security #Programming #Unix

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

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

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

    Jul 28, 2026
  • Building (systems) software with Nix #Nix #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/22274101

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

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

    Jul 28, 2026
  • Aux Control -- Let the whole room vote on the music #Music #Tech #Social

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

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

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

    Jul 28, 2026
  • Tracked Capabilities for Safer Agents #Programming #AI #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/22274073

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

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

    Jul 28, 2026
  • What even are microservices? #Microservices #SoftwareArchitecture #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/22274045

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

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

    Jul 28, 2026
  • Golang Maps: How Swiss Tables Replaced the Old Bucket Design #Go #Programming #DataStructures

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

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

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

    Jul 28, 2026
  • Improving Heuristics (2015) #ComputerScience #Algorithms #GameDev

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

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

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

    Jul 28, 2026
  • Develop Cross-Platform CLI and GUI Tools With Tcl/Tk #Programming #CrossPlatform #TclTk

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

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

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

    Jul 28, 2026
  • Making KIO copy many files fast #Performance #Cpp #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/22273941

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

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

    Jul 28, 2026
  • One Ring to Rule Them All: Wiring Radios to Laptops the Hard Way #Hardware #Radio #DIY

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

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

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

    Jul 28, 2026
  • PyTorch: a reference language #AI #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/lobsters/posts/22273782

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

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

    Jul 28, 2026
  • Exercises in benchmarking and evals, part 7: DeepSWE, Senior SWE-Bench, napkin math, and winter tires #Performance #Benchmarking #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/22273767

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

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

    Jul 28, 2026
  • Object Pascal bindings for J #Programming #Pascal #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/22273736

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

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

    Jul 28, 2026
  • The Most Valuable Commodity in the World is Friction #Friction #Value #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/22273746

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

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

    Jul 28, 2026
  • Framework 13 Pro review: Much better battery, much worse price #Hardware #Tech #Review

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

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

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

    Jul 28, 2026
  • The epoll uaf #Security #Linux #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/22273673

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

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

    Jul 28, 2026
  • Replace Your CI With a Merge Queue #DevOps #CI #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/22273654

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

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

    Jul 28, 2026
  • Try the New Firefox Design in Nightly #Firefox #WebBrowser #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/22273652

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

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

    Jul 28, 2026
  • Apple MIE exploitation challenge #Security #Apple #Exploit

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

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

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

    Jul 27, 2026
  • Setup a Simple, Self-Hosted Web Server with OpenBSD #OpenBSD #SelfHosted #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/22273555

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

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

    Jul 27, 2026
  • The Pad-O-Matic prints one-time pads at the press of a button #Hardware #Crypto #DIY

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

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

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

    Jul 27, 2026
  • How to Deal with 1,000 Failing Specs in a Rails App (2019) #Ruby #Rails #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/22273446

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

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

    Jul 27, 2026
  • Towards a Theory of Bugs: The Ruliology of the Unexpected #Software #Science #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/22273447

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

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

    Jul 27, 2026
  • Seriously, what is the large code-model even for? #AI #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/lobsters/posts/22273350

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

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

    Jul 27, 2026
ยซ NewerOlder ยป