Solal Pirelli
@solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
"péroniste (centre gauche)"
(Je suis pas pour Milei mais comme beaucoup d'élections récentes en Amérique du Sud, voir ça comme gauche vs droite ça dit pas grand chose, surtout vu les résultats des "péronistes" quand ils étaient au pouvoir, je plains surtout les électeurs forcés à faire ce choix)
(Je suis pas pour Milei mais comme beaucoup d'élections récentes en Amérique du Sud, voir ça comme gauche vs droite ça dit pas grand chose, surtout vu les résultats des "péronistes" quand ils étaient au pouvoir, je plains surtout les électeurs forcés à faire ce choix)
October 27, 2025 at 7:20 AM
"péroniste (centre gauche)"
(Je suis pas pour Milei mais comme beaucoup d'élections récentes en Amérique du Sud, voir ça comme gauche vs droite ça dit pas grand chose, surtout vu les résultats des "péronistes" quand ils étaient au pouvoir, je plains surtout les électeurs forcés à faire ce choix)
(Je suis pas pour Milei mais comme beaucoup d'élections récentes en Amérique du Sud, voir ça comme gauche vs droite ça dit pas grand chose, surtout vu les résultats des "péronistes" quand ils étaient au pouvoir, je plains surtout les électeurs forcés à faire ce choix)
October 18, 2025 at 3:44 PM
The kind of hard-hitting science you can find in @acm.org's International Conference Proceedings Series, a.k.a. the stuff that no established group is sponsoring.
doi.org/10.1145/3456...
doi.org/10.1145/3456...
October 18, 2025 at 3:44 PM
The kind of hard-hitting science you can find in @acm.org's International Conference Proceedings Series, a.k.a. the stuff that no established group is sponsoring.
doi.org/10.1145/3456...
doi.org/10.1145/3456...
He even had hyphens to make this extra clear!
October 13, 2025 at 6:54 PM
He even had hyphens to make this extra clear!
Swiss far-right propaganda vs Switzerland in the real world
September 16, 2025 at 9:07 PM
Swiss far-right propaganda vs Switzerland in the real world
Using French words as-is can be dangerous as well. Nobody's safe.
(🇫🇷"petite bite" = "small dick")
(🇫🇷"petite bite" = "small dick")
August 30, 2025 at 1:28 PM
Using French words as-is can be dangerous as well. Nobody's safe.
(🇫🇷"petite bite" = "small dick")
(🇫🇷"petite bite" = "small dick")
Latest addition to the periodic table
August 24, 2025 at 6:50 AM
Latest addition to the periodic table
This is the maximal complexity I can handle when looking for duplications, but I found one 😂
August 22, 2025 at 6:28 PM
This is the maximal complexity I can handle when looking for duplications, but I found one 😂
More IEEE-published oddities for your enjoyment or consternation.
Zoo-inspired algorithms, a Chinese paper about integrating "ideological and political education" in a software testing course with AI, and a take on feminism in Africa from a conference on "AI in cybersecurity".
Zoo-inspired algorithms, a Chinese paper about integrating "ideological and political education" in a software testing course with AI, and a take on feminism in Africa from a conference on "AI in cybersecurity".
![Paper title: "Rethinking the Place of African Kitchen Hut as a Hub for Business Management, Marketing, Education, Health and Strategies in the age of Artificial Intelligence".
The abstract contains "[...] There is an adage which says that the place of a woman is a kitchen. [...] The kitchen hut embodies women's power rather than belittling them as some feminists portray [...]"](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:dlq4ppfgxmuyzcly2xdz2uzs/bafkreicuegpfdhukibllv7s6vsantd43v4j34tl6hoxrmcura2fvoyfje4@jpeg)
August 3, 2025 at 2:10 PM
More IEEE-published oddities for your enjoyment or consternation.
Zoo-inspired algorithms, a Chinese paper about integrating "ideological and political education" in a software testing course with AI, and a take on feminism in Africa from a conference on "AI in cybersecurity".
Zoo-inspired algorithms, a Chinese paper about integrating "ideological and political education" in a software testing course with AI, and a take on feminism in Africa from a conference on "AI in cybersecurity".
Fun titles from the @ieeexplore.bsky.social catalog.
And by "fun" I mean "depressing given the implications for the peer review thoroughness at IEEE-published conferences".
But I prefer laughing to crying, so laugh with me.
And by "fun" I mean "depressing given the implications for the peer review thoroughness at IEEE-published conferences".
But I prefer laughing to crying, so laugh with me.
August 1, 2025 at 5:35 PM
Fun titles from the @ieeexplore.bsky.social catalog.
And by "fun" I mean "depressing given the implications for the peer review thoroughness at IEEE-published conferences".
But I prefer laughing to crying, so laugh with me.
And by "fun" I mean "depressing given the implications for the peer review thoroughness at IEEE-published conferences".
But I prefer laughing to crying, so laugh with me.
Weather report: baaaaaa. 🐑
August 1, 2025 at 8:19 AM
Weather report: baaaaaa. 🐑
How not to send recruiting emails, courtesy of Outlier AI:
- use "Action Required" in the title for a cold email
- send to many folks in To: instead of Bcc:, disclosing addresses
- invite someone who deleted their account there when their terms of use ban signing up after a deletion
- use "Action Required" in the title for a cold email
- send to many folks in To: instead of Bcc:, disclosing addresses
- invite someone who deleted their account there when their terms of use ban signing up after a deletion
![Screenshot of an email from "Outlier AI Careers Team". The email title begins with "[Action Required]". The recipients list contains multiple email addresses, which are redacted in this screenshot for privacy.](https://cdn.bsky.app/img/feed_thumbnail/plain/did:plc:dlq4ppfgxmuyzcly2xdz2uzs/bafkreiagtrrmnm36krc6c2puiggjsmarlwxwvr75zhy6fyzxmzft5tytoa@jpeg)
July 23, 2025 at 11:48 AM
How not to send recruiting emails, courtesy of Outlier AI:
- use "Action Required" in the title for a cold email
- send to many folks in To: instead of Bcc:, disclosing addresses
- invite someone who deleted their account there when their terms of use ban signing up after a deletion
- use "Action Required" in the title for a cold email
- send to many folks in To: instead of Bcc:, disclosing addresses
- invite someone who deleted their account there when their terms of use ban signing up after a deletion
Here's the new @acm.org "demographic survey".
It's funny how US-based folks assume their worldview is universal.
Surely Koreans thinks they share a "race" with the Japanese, right? And South Americans think of themselves as "latinx". Also Central America + the Caribbean are the same somehow?
It's funny how US-based folks assume their worldview is universal.
Surely Koreans thinks they share a "race" with the Japanese, right? And South Americans think of themselves as "latinx". Also Central America + the Caribbean are the same somehow?
June 25, 2025 at 8:03 AM
Here's the new @acm.org "demographic survey".
It's funny how US-based folks assume their worldview is universal.
Surely Koreans thinks they share a "race" with the Japanese, right? And South Americans think of themselves as "latinx". Also Central America + the Caribbean are the same somehow?
It's funny how US-based folks assume their worldview is universal.
Surely Koreans thinks they share a "race" with the Japanese, right? And South Americans think of themselves as "latinx". Also Central America + the Caribbean are the same somehow?
I remembered the ballot being worse than it is but it's still funny
June 23, 2025 at 10:00 PM
I remembered the ballot being worse than it is but it's still funny
Google's AI overview is happy to help even non-humans. This works even if you claim to be a fictional creatures from D&D or Pokémon!
June 8, 2025 at 2:09 PM
Google's AI overview is happy to help even non-humans. This works even if you claim to be a fictional creatures from D&D or Pokémon!
Absolute unit of a spring onion. Yay for supermarket prices by unit. (Banana for scale)
June 6, 2025 at 12:17 PM
Absolute unit of a spring onion. Yay for supermarket prices by unit. (Banana for scale)
This cat figured out that intercepting my morning walk means getting pet.
May 24, 2025 at 7:25 AM
This cat figured out that intercepting my morning walk means getting pet.
Weather report: cat.
May 23, 2025 at 7:33 AM
Weather report: cat.
Bulgarian Easter bread stuffed with loukoums!
It's not Easter but I'm also not Bulgarian so it's ok.
It's not Easter but I'm also not Bulgarian so it's ok.
May 19, 2025 at 3:47 PM
Bulgarian Easter bread stuffed with loukoums!
It's not Easter but I'm also not Bulgarian so it's ok.
It's not Easter but I'm also not Bulgarian so it's ok.
A language that Russians don't see as a real language?
May 17, 2025 at 9:20 AM
A language that Russians don't see as a real language?
Balkan assimilation into Switzerland completed successfully, we can now buy Ayran under the budget supermarket store brand 🎉
May 14, 2025 at 7:52 AM
Balkan assimilation into Switzerland completed successfully, we can now buy Ayran under the budget supermarket store brand 🎉
I think "truly unbelievable" is a tortured phrase for "false", maybe @gcabanac.cpesr.fr should add it 😜
April 23, 2025 at 4:22 PM
I think "truly unbelievable" is a tortured phrase for "false", maybe @gcabanac.cpesr.fr should add it 😜