Tootfinder

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

No exact results. Similar results found.
@dankeck@a11y.social
2025-02-27 02:44:09

Surely I'm not the only one who hears this in my head anytime someone mentions the AI product "Claude."
#AI #LLM #Claude

The character Peridot from the cartoon Steven Universe on a big screen looking down angrily and pointing at the protagonists
@ELLIOTTCABLE@functional.cafe
2025-03-25 19:02:08

Hi! New instance, new pinned post.
Send me cool people to follow (or introduce yourself!)
- leftists
- functional programmers, 'spcly #OCaml folks
- #Queer mfers, #BDSM, or

@migoettingen@academiccloud.social
2025-01-27 09:00:22

Heute vor 100 Jahren im Institut:
```
A. #Ostrowski: Zum Sturmschen Satze. Ausdehnung eines Satzes von Darboux über komplexe Wurzeln der Sturmschen Funktionen auf Funktionen Sturmscher Ketten. [...].
E. #Noether: Ableitung der

A. #Ostrowski: Zum Sturmschen Satze. Ausdehnung eines Satzes von Darboux über komplexe Wurzeln der Sturmschen Funktionen auf Funktionen Sturmscher Ketten. Vereinfachung beim Beweis der Sätze von Budan-Fourier und Newton- Sylvester im Falle mehrfacher Wurzeln. Herleitung der Schlömilchschen Ungleichungen zwischen symmetrischen Funktionen positiver Zahlen aus einfacheren, quadratischen Ungleichungen von Newton.

E. Noether: Ableitung der Elementarteilertheorie aus der Gruppentheorie. Die Elementa…
@jlpiraux@wallonie-bruxelles.social
2025-03-24 16:23:55

#F35 #killswitch
« Bien sûr, il y a un bouton d'arrêt. Tout ce qui est équipé d'un logiciel ou d'une connectivité internet est doté d'un kill switch. C'est comme ça que ça marche - bienvenue dans la société moderne ».

Aujourd'hui, certains pourraient tourner le dos au F-35 suite à des craintes persistantes que l'avion soit équipé d'un « kill switch » (interrupteur d'arrêt) qui pourrait les clouer au sol.

Le Bureau du programme conjoint (JPO) du F-35 nie catégoriquement l'existence d'un tel dispositif, affirmant qu'il « repose sur des partenariats solides avec les alliés et les nations partenaires des États-Unis » et qu'il a toujours été un « effort de collaboration » qui « répond aux besoins opérationnels d…
@scottmiller42@mstdn.social
2025-02-26 15:20:23

One thing I think about is how flat-earth types could convince themselves, without having to trust anyone, their model of the earth is wrong. I don't think the earth is flat, but it is an interesting problem in #epistemology.
A model needs to explain observations if it is to be believed.
Lately, I've been thinking about day length as seasons change, and how cycle is opposit…

@castarco@hachyderm.io
2025-04-24 07:08:26

Yesterday I got for myself the #book "The Ecology of Freedom" (a Spanish translation, I quite liked this particular edition :neocat_book: ).
#books

@deprogrammaticaipsum@mas.to
2025-03-23 08:06:06

"If anything, this author firmly believes that programming skills are second to those related to communication; most engineers coming out of colleges these days are unable to express themselves in public, to teach their peers, to write an essay or a blog post, to communicate their ideas to stakeholders, or to put together a simple documentation bundle without suffering a seizure in the process."
deprogrammaticaipsum.com/banni

@ELLIOTTCABLE@functional.cafe
2025-03-26 16:28:16

Wow, what a weird rabbit-hole I just ended up down.
So, the “Spread Mastodon" page (tutorial?) recommends a cool-sounding browser extension as an alternative to all those constantly-dead 'fedifinder' / Twitter-person-looker-upper-tools: the ‘Whosum Social Assistant' browser extension.
Sounds cool! Sounds like the correct solution to this problem!

screenshot of a ‘getting started on mastodon’ site, describing a browser extension to find Twitter followers.
@castarco@hachyderm.io
2025-03-23 01:13:03

:neocat_nom_cookie: 🍿 #Tesla #boycottTesla #boycottMusk

@castarco@hachyderm.io
2025-03-24 09:18:22

Rant about PHP
You know a technology is declining when the most basic questions about its most bizarre quirks are left completely unanswered for years.
#PHP is like that. Every day I have many of these questions. I look for them. No one asked them before, no one wrote about them before.
I'm baffled by the lack of curiosity and proactivity of its community.
I know it sounds like me piling up on people I don't know anything about, but I used to invest a lot of time programming in PHP. I went to conferences, I made some open source libraries for it, like a PHP kernel for Jupyter Notebooks, I even made a library to work with dataframes, tensors and matrices in PHP (although I lost this one because my laptop was stolen before I released... and I didn't had it in me to rewrite it again).
Then, the ones who I admired the most in that space, like Nikita Popov, started leaving it to work in more intellectually vibrant communities... and it shows.
I'm sure Nikita Popov would be much more gracious than me when talking about it. I can only speculate about his motivations, but at least I can tell you about mine: It was precisely about that same lack of curiosity and creativity that I mentioned before, it felt unbearably grey and sad.