Tootfinder

How we decreased #GitLab repo backup times from 48 hours to 41 minutes
https://about.gitlab.com/blog/2025/06/05/how-we-decr…

I wrote about why Zohran Mamdani's free bus fare policy is a good idea actually, and the difference between thinking about transit as a consultant versus as a voter and activist.
(public replies to this toot will appear as comments)
https://scott.mn/2025/06/11/consultant

Consultant's mindset, or why Jarrett Walker is wrong about free buses

🇺🇦 Auf radioeins läuft...
Mount Kimbie feat. King Krule:
🎵 Empty And Silent (Radio Edit)
#NowPlaying #MountKimbie #KingKrule
https://mountkimbie.bandcamp.com/track/empty-and-silent-feat-king-krule-2
https://open.spotify.com/track/64mpPHhJIs1Fzlk1n7b9Kn

David Hogg, the young vice-chair of the Democratic National Committee whose vow to unseat “asleep-at-the-wheel” Democrats roiled his party,
said on Wednesday that he would step away from the high-ranking role in a move that ends months of internal infighting.
Moments before Hogg announced his decision, members of the committee had voted to hold new vice-chair elections that could have led to his ouster.
“I came into this role to play a positive role in creating the change o…

Sources and docs: Amazon Prime Video ad load has increased to 4-6 minutes per hour, up from 2-3.5 minutes when ads were first introduced in January 2024 (Mark Stenberg/Adweek)
https://www.adweek.com/media/amazon-doubles-prime-video-ad-load/

EXCLUSIVE: Amazon Doubles Prime Video Ads to 6 Minutes Per Hour
The move could lower CPMs but potentially hurt performance.

Période : Š partir de 23h jusqu'en fin de soirée.
Dates : du lundi 02 juin au vendredi 04 juillet (sauf les samedis et dimanches).
Le trafic est interrompu entre Avenue Henri Martin et Montigny Beauchamp :
- Dernier train au départ d’Avenue Henri Martin pour Montigny Beauchamp Š 22h55.
- Dernier train au départ de Montigny Beauchamp pour Avenue Henri Martin Š 22h25.
Le trafic est interrompu entre Avenue Henri Martin et Pontoise :
- Dernier train au départ …

From Partial to Monadic: Combinatory Algebra with Effects
Liron Cohen (BGU), Ariel Grunfeld (BGU), Dominik Kirst (PICUBE), \'Etienne Miquey (I2M)
https://arxiv.org/abs/2506.09453

From Partial to Monadic: Combinatory Algebra with Effects
Partial Combinatory Algebras (PCAs) provide a foundational model of the untyped $λ$-calculus and serve as the basis for many notions of computability, such as realizability theory. However, PCAs support a very limited notion of computation by only incorporating non-termination as a computational effect. To provide a framework that better internalizes a wide range of computational effects, this paper puts forward the notion of Monadic Combinatory Algebras (MCAs). MCAs generalize the notion of P…

Finitary conditions for graph products of monoids
Dandan Yang, Victoria Gould
https://arxiv.org/abs/2506.10603 https://arxiv.org/pdf/…

Finitary conditions for graph products of monoids
Graph products of monoids provide a common framework for free products and direct products. Trace monoids are graph products of finitely generated free monoids. We investigate the interaction of certain finitary conditions with graph products. Specifically, we examine the conditions of being weakly left noetherian (that is, every left ideal is finitely generated) and weakly left coherent (that is, every finitely generated left ideal has a finite presentation) and the related conditions of the a…

For others who may be curious about #publicmobile i liked the opening of this recent review, basically, it depends…
https://mobilesyrup.com/2025/03/15/public-mobile-review-three-months-later/

Période : Š partir de 23h jusqu'en fin de soirée.
Dates : du lundi 02 juin au vendredi 04 juillet (sauf les samedis et dimanches).
Le trafic est interrompu entre Avenue Henri Martin et Montigny Beauchamp :
- Dernier train au départ d’Avenue Henri Martin pour Montigny Beauchamp Š 22h55.
- Dernier train au départ de Montigny Beauchamp pour Avenue Henri Martin Š 22h25.
Le trafic est interrompu entre Avenue Henri Martin et Pontoise :
- Dernier train au départ …