Tootfinder

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

No exact results. Similar results found.
@KraftTea@mastodon.social
2024-12-17 23:40:23

Drawing attention to this thread of comments of mine from a few days ago, as it goes deeper into apparent efforts from European nations to Trump-proof Ukraine, which is actually VERY important for European security.
It's nice seeing news articles pointing out Ukrainian funding & Russian appeasement isn't something Trump gets to dictate, but rather, a situation where Europe is trying to diplomatically push back against Trump to defend their legitimate security interests.

@n8foo@macaw.social
2024-12-08 16:47:10

Every year around the holidays I get nostalgic for the old-timey 13 Days of 007. I definitely credit TBS for making me a #jamesbond fan.

@FFMbyBicycle@digitalcourage.social
2024-11-22 07:25:17
Content warning:

Gibt es bei den DJI-Actioncams wirklich keinen Fotomodus, bei dem einfach alle X Sekunden ein Foto (mit Standortdaten) gespeichert wird (Zeitrafferfoto)? 🧐
Eigentlich möchte ich wegen der Softwareprobleme keine Gopro mehr, aber diesen Fotomodus brauche ich definitiv.
Die DJI Osmo Action 4 erfüllt sonst alle Kriterien und ist preislich auch sehr attraktiv...
#Gopro

@samir@functional.computer
2024-12-20 22:54:17

@… I definitely would enjoy learning more about this stuff. Do you have any good places to start?

@dpl@muenchen.social
2024-12-21 12:44:37

Since my answer went up from 1 to 2 these days after giving in to a sales offer: Do you have a #MechanicalKeyboard at hand for use? If yes, how many #MechanicalKeyboards are available to you (bought or shared)?
Definitely one of my favorite categories of luxury tech gadg…

@samir@functional.computer
2024-12-20 23:00:25

@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…

@brentdev@defcon.social
2024-10-18 19:30:27

Feelin a little sporty fresh today so here's one 90s demoscene legend Zabutom (with dubmood) - Track Tracking.
youtube.com/watch?v=MqhwhCAqYe

@samir@functional.computer
2024-12-20 20:35:28

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.