Lobsters

@lobsters@robot.villas

Stories from Lobsters

Source: https://lobste.rs/rss

Homepage: https://lobste.rs

Posts

6,633

Posts

Python 3.15.0 #Python #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363701
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363701
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Unison Cloud is now open source #OpenSource #Programming #Cloud
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363593
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363593
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
A tale of four theorem provers, or: A (reasonably) opinionated comparison of Isabelle/HOL, Lean, HOL4, and Agda #Programming #SoftwareEngineering #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363420
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363420
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Why Are Coding Agents So Dumb? #AI #Coding #SoftwareDevelopment
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363423
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363423
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
"Robot" Is A Social Construct: Why Your Dishwasher Is Not A Robot #Robotics #Philosophy #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363495
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363495
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Deepthi Sigireddi from Supabase #Databases #Tech #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363367
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363367
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Spinlocks Considered Harmful (2020) #Performance #Concurrency #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363428
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363428
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Deno is joining Cloudflare #Tech #OpenSource #JavaScript
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363332
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363332
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
HIP and ROCm as first-class citizens in Guix #Guix #OpenSource #HPC
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363295
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363295
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
What are you doing this weekend? #Community #Discussion #Weekend
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363540
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363540
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
On modern hardware, who handles what bit of hardware state can be unclear #Tech #Hardware #Computing
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363284
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363284
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
A minimal kernel in Swift, running in QEMU #Swift #Kernel #OSDev
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363335
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363335
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
There are many themes, but this one is yours #Design #Accessibility #Personalization
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363241
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363241
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Reverse Engineer Anything #ReverseEngineering #Hacking #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363227
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363227
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
The making of a very fast SPI flasher #Hardware #RustLang #Engineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363209
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363209
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Telegram Desktop: one-click account takeover via IPC injection #Security #Vulnerabilities #Cybersecurity
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363198
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363198
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Programming Isn't Special #Programming #Tech #Opinion
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363164
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363164
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
en-html.org is a Scam Site #Security #Web #Scam
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362858
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362858
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Deeper dive: Keyboard differences between Windows and Macs #Tech #Hardware #OS
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362827
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362827
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Whistle: Speech to Text in 16.9 MB #AI #OpenSource #SpeechToText
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363279
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363279
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Reducing undefined behavior in the C language #Programming #CSharp #SoftwareDevelopment
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362888
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362888
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
B-Trees Are Back: Engineering Fast and Pageable Node Layouts #Databases #ComputerScience #Algorithms
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362677
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362677
Don't have an account? Find a server at joinmastodon.org
Oct 9, 2026
Bevy 0.20 #Rust #GameDev #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362639
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362639
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Rolling the Root Key (Update) #Tech #Networking #Security
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362544
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362544
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Demoting i686 Windows targets to std-only #RustLang #Programming #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362797
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362797
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
64-Day Certificate Lifetimes Coming Feb 2027 #Security #LetsEncrypt #DevOps
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362427
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362427
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Please Let Me Contact You Privately #Privacy #Communication #WebDev
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363280
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363280
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Composition over Inheritance Explained using Retro Games #Programming #SoftwareEngineering #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362294
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362294
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs #AI #FormalMethods #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362210
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
The history of the Hetzner Cloud network stack #Networking #Cloud #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362029
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362029
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Beauty in DVD Menus #Art #Design #RetroTech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362320
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362320
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
The Missing Piece in Rust Error Handling #Rust #Programming #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362033
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22362033
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Float and integer arithmetic follow two different paradigms #Programming #ComputerScience #Math
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363282
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363282
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Extending Guix #Guix #Nix #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361884
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361884
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Ending the Casuarina Linux Experiment #Linux #OpenSource #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361980
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361980
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Will Linux phones become a viable alternative to the Android/iOS duopoly? #Linux #Mobile #OpenSource
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363281
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363281
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Recreating an 80s hit song as a shader #Graphics #Audio #CreativeCoding
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363283
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22363283
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
Thinking will become a hobby #Philosophy #AI #Thinking
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361802
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361802
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
`specialArgs` considered harmful #Programming #SoftwareEngineering #Nix
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361735
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361735
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026
The Performance Cost of RwLock in Our Read-Heavy Workload #Rust #Performance #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361920
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.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22361920
Don't have an account? Find a server at joinmastodon.org
Oct 8, 2026

« Newer Older »