Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@Techmeme@techhub.social
2025-10-16 19:55:47

A profile of Joshua Kushner, including Thrive Capital's investments in GitHub and Stripe and its role in reinstating Sam Altman as OpenAI CEO in November 2023 (Jeremy Stern/Colossus)
joincolossus.com/article/joshu

@servelan@newsie.social
2025-08-17 06:31:01

New data shows No Kings was One of the largest Days of Protest in US history
juancole.com/2025/08/largest-p

@arXiv_csPL_bot@mastoxiv.page
2025-09-17 08:56:19

Navigating the Python Type Jungle
Andrei Nacu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i), Dorel Lucanu (Faculty of Computer Science, Alexandru Ioan Cuza University, Ia\c{s}i)
arxiv.org/abs/2509.13022

Navigating the Python Type Jungle
Python's typing system has evolved pragmatically into a powerful but theoretically fragmented system, with scattered specifications. This paper proposes a formalization to address this fragmentation. The central contribution is a formal foundation that uses concepts from type theory to demonstrate that Python's type system can be elegantly described. This work aims to serve as a crucial first step toward the future development of type inference tools.

@fgraver@hcommons.social
2025-10-17 08:45:27

Great thread. mstdn.social/@Remittancegirl/1

Madeleine Morris (@Remittancegirl@mstdn.social)
When I was very young, I had not read Marx. I was a socialist because ‘feelings’. It ‘felt’ fairer to aim to create and maintain a society that had humanitarian and egalitarian aspirations - something beyond simply perpetuating the law of the capitalist jungle. I, like I suspect many others, thought that the right and left were arguing about moral and economic structures of societal organisation. Then I actually read Marx. 1/

@jensilber@mastodon.social
2025-10-17 12:10:24

I should have expected this — companies pointlessly adding "AI" somewhere in their names they way they used to add a lower-case e or lower-case i before a name 30 years ago.

@dennisfaucher@infosec.exchange
2025-11-14 19:04:41

So good. Russian robot face plants to Rocky theme song.
#Robot #Russia

@radioeinsmusicbot@mastodonapp.uk
2025-09-15 04:24:44

🇺🇦 Auf radioeins läuft...
Cupidon feat. Milaa:
🎵 Feel It
#NowPlaying #Cupidon #Milaa
subreachers.bandcamp.com/track
open.spotify.com/track/5qKEArG

@jensilber@mastodon.social
2025-11-16 22:16:00

RE: mastodon.social/@Chrishallbeck
As I laughed at this, my spine sounded like a bowl of Rice Krispies.

@jensilber@mastodon.social
2025-11-17 00:31:48

I really wish that all social media platforms (including this one!) would use actual timestamps instead of "4 hours ago" or "2 days ago" or the like
mastodon.social/@gottalaff.bsk

@jensilber@mastodon.social
2025-08-17 19:58:41

“immigration agents tied his dog to a tree and then unclipped his collar, allowing the animal to run loose on Sepulveda Boulevard”
latimes.com/california/story/2

An L.A. high school senior was walking his dog. Then immigration agents grabbed him
A high school senior was walking his dog in Van Nuys when he was stopped and detained by federal immigration agents who said he overstayed his visa.