All Posts

220,259 posts

@lobsters Intuitionistic Type Theory (2024) #ComputerScience #Logic #Mathematics
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/22336723
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/22336723
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@the_race Senior TT moved from Isle of Man finale slot in 2027 changes #Motorsport #TT #Racing
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/the_race/posts/22336247
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/the_race/posts/22336247
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@gizmodo Are Truckers Really Going on Strike Oct. 1? #Transportation #Labor #News
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/gizmodo/posts/22336253
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/gizmodo/posts/22336253
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@hackernews NATS publishes preliminary report on technical incident of 8 September #HackerNews #Tech #Aviation
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/hackernews/posts/22336305
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/hackernews/posts/22336305
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@hackernews Regeneration of used batteries via electrode-electrolyte interphase dissolution #HackerNews #Tech #Batteries
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/hackernews/posts/22337842
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/hackernews/posts/22337842
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@kottke From our own Edith Zimmerman for the New Yorker, some... #Writing #Culture #Media
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/kottke/posts/22336240
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/kottke/posts/22336240
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news How Iraola is moving Liverpool on from the Slot era #Football #Sport #News
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/bbc_news/posts/22336544
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/bbc_news/posts/22336544
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@military_times Marine boots fail in the Arctic amid push for US manufacturing: Report #Military #News #Arctic
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/military_times/posts/22336252
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/military_times/posts/22336252
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news 'Insufficient funds' to pay Brewdog creditors and unpaid wages after takeover deal #Business #Finance #News
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/bbc_news/posts/22336506
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/bbc_news/posts/22336506
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports NYCFC set to sign American defender Matt Miazga after Cincinnati departure #Soccer #Sports #TransferNews
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/nyt_sports/posts/22336234
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/nyt_sports/posts/22336234
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@lobsters Typst makes big strides #Typst #Programming #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/22336228
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/22336228
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@npr_news_now NPR News: 09-18-2026 9AM EDT #News #NPR #Audio
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/npr_news_now/posts/22336231
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/npr_news_now/posts/22336231
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_world Manitoba Joins List of Canadian Provinces to Stop Changing Clocks #WorldNews #Canada #DaylightSavingTime
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/nyt_world/posts/22336233
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/nyt_world/posts/22336233
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@fast_company Claude, Anthropic's AI model, is helping to develop the next version of itself #AI #Innovation #FutureOfWork
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/fast_company/posts/22336248
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/fast_company/posts/22336248
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@hackernews An Empirical Study of Harness Design for Coding Agents #HackerNews #Tech #AI
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/hackernews/posts/22336239
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/hackernews/posts/22336239
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Oxford apologise for United 93 shirt advert #News #Sports #Apology
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/bbc_news/posts/22337180
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/bbc_news/posts/22337180
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Oxford apologise for United 93 shirt advert #News #Sports #Apology
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/bbc_news/posts/22336238
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/bbc_news/posts/22336238
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Football club apologises for United 93 shirt advert #Football #Apology #Advertising
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/bbc_news/posts/22336241
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/bbc_news/posts/22336241
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@guardian_world British Sikh man granted bail in India nine years after arrest #WorldNews #HumanRights #Justice
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/guardian_world/posts/22336235
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/guardian_world/posts/22336235
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Russian hybrid attacks against Europe intensifying, says Macron #News #Europe #Politics
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/bbc_news/posts/22336232
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/bbc_news/posts/22336232
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@gizmodo 'Optimus Prime: Awakening' Is the Strangest Apology I've Ever Seen #Science #Culture #Reviews
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/gizmodo/posts/22336224
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/gizmodo/posts/22336224
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports The season of ABS, PCA and the CBA is drawing to a close. Let's discuss in our MLB Mailbag #MLB #Baseball #Sports
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/nyt_sports/posts/22336217
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/nyt_sports/posts/22336217
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_arts There's Freedom at Every Mind-Bending Corner #Arts #Gaming #Reviews
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/nyt_arts/posts/22336216
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/nyt_arts/posts/22336216
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_business More U.S. Households Are Struggling Financially, Analysis Finds #Economy #Finance #Money
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/nyt_business/posts/22336214
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/nyt_business/posts/22336214
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@engadget Samsung Galaxy S26 FE review: An incremental price hike for incremental updates #Tech #Smartphones #Gadgets
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/engadget/posts/22336221
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/engadget/posts/22336221
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@wired Meta's Copyright System Is Being Weaponized Against Albanian Protesters #Tech #SocialMedia #Activism
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/wired/posts/22336219
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/wired/posts/22336219
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@wsj_markets ETFs Are Getting Wackier. Investors Must Stay Sane. #Finance #Investing #Markets
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/wsj_markets/posts/22336222
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/wsj_markets/posts/22336222
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@lifehacker This Garmin Fenix 8 Pro Is $250 Off Right Now #Tech #Deals #Wearables
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/lifehacker/posts/22336237
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/lifehacker/posts/22336237
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Resident Evil: The video game adaptation with a lot to prove #Gaming #VideoGames #Entertainment
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/bbc_news/posts/22336266
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/bbc_news/posts/22336266
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@the_city 'Pretty Poor Prognosis': One-Third of NYC Students Are Chronically Absent, Data Shows #NYC #Education #Data
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/the_city/posts/22336225
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/the_city/posts/22336225
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports FC Cincinnati set to sign Tyrell Malacia on free transfer following Manchester United exit #Soccer #Sports #TransferNews
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/nyt_sports/posts/22336218
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/nyt_sports/posts/22336218
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@gothamist Early Addition: Watch out for Jalen Brunson in 'Law & Order: SVU' #News #TV #NYC
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/gothamist/posts/22336226
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/gothamist/posts/22336226
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports Noahkai Banks commits to representing Germany over the USMNT #Soccer #International #Sports
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/nyt_sports/posts/22336223
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/nyt_sports/posts/22336223
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@lobsters I don't like passkeys #Security #Passkeys #Privacy
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/22336212
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/22336212
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_homepage A Timeline of Warren Buffett's Career Defining Moments #Business #Investing #Finance
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/nyt_homepage/posts/22336213
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/nyt_homepage/posts/22336213
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports The Dodgers win NL West, but plenty of work remains before October #Sports #Baseball #MLB
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/nyt_sports/posts/22336204
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/nyt_sports/posts/22336204
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports SF Giants mailbag: Bader's future, Webb's alarming stretch and a Corbin Burnes trade idea #Sports #Baseball #MLB
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/nyt_sports/posts/22336206
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/nyt_sports/posts/22336206
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@nyt_sports Deebo Samuel is back. His 49ers teammates think he's better than ever #Sports #NFL #Football
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/nyt_sports/posts/22336209
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/nyt_sports/posts/22336209
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Ronaldo named in Jesus' first Portugal squad #Football #Sports #Portugal
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/bbc_news/posts/22336245
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/bbc_news/posts/22336245
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026
@bbc_news Ronaldo named in first Portugal squad since World Cup - at age of 41 #Football #Sports #Portugal
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/bbc_news/posts/22336420
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/bbc_news/posts/22336420
Don't have an account? Find a server at joinmastodon.org
Sep 18, 2026

« Newer Older »