Tootfinder

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

No exact results. Similar results found.
@samir@functional.computer
2025-07-21 07:24:18

I appreciated Hillel Wayne’s latest article on “typing is not the bottleneck”.
buttondown.com/hillelwayne/arc
Typing is not the bottleneck, but typing faster…

@oekologisch_unterwegs@mastodon.online
2025-07-21 12:54:21

Das #Leckerli zum Probieren:
Diese vegane #Karamell-Buttercreme ist super zum Verzieren von #Cupcakes geeignet. Oder besser Margarinecreme? Macht sich jedenfalls gut für den

@karpi@chaos.social
2025-07-19 19:39:47

Die dritte Auflage von unserem Kinderbuch ist da. Wer hat noch keins, wer will noch eins? aperofilm.ch/store/kinderbuch-

@kexpmusicbot@mastodonapp.uk
2025-07-20 10:53:34

🇺🇦 #NowPlaying on KEXP's #VarietyMix
The Cure:
🎵 Endsong (Gregor Tresher remix)
#TheCure
orchestra-tuppence.bandcamp.co
open.spotify.com/track/0gHvrWN

@Techmeme@techhub.social
2025-06-20 10:41:41

Israeli authorities urge citizens to turn off home cameras, and say Iran is tapping into security cameras in Israel to gather real-time intelligence for attacks (Marissa Newman/Bloomberg)
bloomberg.com/news/articles/20

The end of Colbert’s ‘Late Show’ has implications beyond late-night TV
The facts are these: The highest-rated show on late night was nominated for an Emmy on Tuesday. On Thursday, Paramount/CBS announced its cancellation.
Stephen Colbert announced at the Thursday evening taping of “The Late Show with Stephen Colbert” that he’d found out, only the night before, that his show would be canceled at the end of the season, in May 2026,
and that no one would be replacing him. “I…

@Mediagazer@mstdn.social
2025-06-17 06:15:46

Tegna adds 100 hours of new daily programming across 50 markets with dedicated 7am-9am streaming of local newscasts to meet increased demand on CTV platforms (Mark K. Miller/TVNewsCheck)
tvnewscheck.com/journalism/art

@oekologisch_unterwegs@mastodon.online
2025-07-19 12:45:48

Das #Leckerli zum Probieren:
Dieses Schokoladen-Buttercreme-Topping mit #Kaffeegeschmack ist ein Muss für alle #Schokoliebhaber. Perfekt für jede Gelegenheit und leicht zu verarbe…

@samir@functional.computer
2025-07-21 07:26:59

I think this is related to the issue that some people have with static typing: it’s a series of micro-interruptions that serve to distract from the goal.
While I never found this to be a problem in somewhat-typed languages such as Java, and I no longer have this problem most of the time in Haskell, I still experience it in Rust, where the borrow checker might require me to totally rethink my approach.
I can absolutely see why some people prefer not to have a type system.

@samir@functional.computer
2025-07-21 07:42:34

@… Absolutely. One of the reasons I’m in favour of some kind of gradual typing (not TypeScript) is because I don’t think it makes sense for me to think hard about memory allocation before I’ve thought through whether a feature is even useful.
I really wish Rust had a transparent “just reference-count everything in this module/function/whatever” switch.…