Tootfinder

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

No exact results. Similar results found.
@gharbeia@mastodon.social
2024-11-26 09:24:07

Bluesky users:
Follow the robot @ap.brid.gy to let friends in the Fediverse (Masodon et al.) follow you.
Or allow the reception of messages from "everyone" in your account's settings.

@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…

@blakes7bot@mas.torpidity.net
2024-11-08 17:28:00

Series B, Episode 08 - Hostage
AVON: Blake, there's a mass of ionized particles, vector three nine. If we can fly into it it could confuse their scanners for just long enough.
BLAKE: Avon might be right. Tangent one eight. Go for it.
blake.torpidity.net/m/208/38 B…

ChatGPT4 describes the image as: "The image shows two individuals in a futuristic setting, likely from a science fiction TV show or movie. The setting appears to be aboard a spaceship, with sleek, metallic walls and a large, spherical, textured background. The individuals are wearing costumes that include leather or synthetic materials, suggesting a sci-fi context. The style and design elements hint at a production from the late 70s or 80s. Without being able to identify specific individuals, I…