Tootfinder

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

No exact results. Similar results found.
@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…

@nerdsitu@datasci.social
2024-10-22 11:38:27

At #d3a we just started our session "Networks, data, society and AI" 🥳: d3aconference.dk/networks-data
Find us in Sal D!

Conference room with audience sitting with laptops, listening/watching two presenters opening the session.
@blakes7bot@mas.torpidity.net
2024-11-09 17:52:16

Series C, Episode 02 - Powerplay
DAYNA: Whh, he's just one less to deal with, do we care why? [pause] But why leave him sitting there?
AVON: To delay discovery and give the murderer a chance to get away.
blake.torpidity.net/m/302/286 B7B4

ChatGPT4 describes the image as: "The image features two individuals in a futuristic setting reminiscent of a sci-fi TV show. The person in the foreground is wearing a metallic, space-themed outfit and holding a futuristic weapon, suggesting a tense or serious situation. The background shows another individual, wearing an elegant white outfit with decorative elements, seated on a modernistic, metallic-looking structure. The setting includes geometric patterns and metallic hues, typical of a spa…
@blakes7bot@mas.torpidity.net
2024-11-11 20:51:29

Series D, Episode 13 - Blake
SOOLIN: Another calculated risk?
DAYNA: Try and get the sums right this time.
blake.torpidity.net/m/413/180 B7B5

ChatGPT4 describes the image as: "The image depicts two individuals sitting in what appears to be a futuristic or sci-fi setting. They are dressed in costumes that suggest a science fiction genre, likely from a television show or film. The man on the left has curly hair and is wearing a grey outfit with notable fastenings and details, while the woman on the right has long blonde hair and is wearing a light-colored outfit with dark accents and a headband. They seem to be seated at a control pane…
@blakes7bot@mas.torpidity.net
2024-11-10 17:07:36

Series C, Episode 01 - Aftermath
MELLANBY: Come and sit down.
AVON: Thank you.
blake.torpidity.net/m/301/185 B7B4

ChatGPT4 describes the image as: "The image appears to be from a science fiction television setting. It shows two individuals in conversation, dressed in futuristic attire with distinctive accessories. The man on the left is wearing sunglasses and has a stylish badge around his neck. The setting suggests a high-tech or space-themed environment, possibly on a spaceship or a futuristic facility, given the metallic and industrial backdrop. The clothing and props suggest a show from the late 20th c…
@blakes7bot@mas.torpidity.net
2024-11-10 20:27:36

Series D, Episode 04 - Stardrive
TARRANT: What use will that be? The main drive chamber can't be pressurized. How do you carry out a delicate repair operation wearing a spacesuit and gauntlets?
VILA: I don't.
blake.torpidity.net/m/404/48 B7B5

ChatGPT4 describes the image as: "The image features three men in a futuristic setting, which appears to be a science fiction environment, possibly from a television show. The setting has a dimly lit interior with metallic and sleek design elements, suggesting a spaceship or high-tech facility. The men are dressed in distinct, futuristic costumes, likely indicating their roles as characters in a sci-fi series. The central figure wears a black costume with metallic and shiny details, while the o…
@blakes7bot@mas.torpidity.net
2024-11-09 14:32:10

Series C, Episode 03 - Volcano
MORI: [V.O.] If you come in that approach, you will find no detectors to pick you up, and no opposition.
SERVALAN: Excellent. We will regroup immediately and approach on that bearing.
blake.torpidity.net/m/303/565 B7B3

ChatGPT4 describes the image as: "The image depicts a person sitting in what appears to be a futuristic or sci-fi setting. The individual is wearing a white outfit with silver accents, which suggests a space or sci-fi theme. Behind them is a control panel filled with knobs and buttons, enhancing the high-tech environment. The seat and surrounding decor have a retro-futuristic design, commonly seen in science fiction shows from past decades. The overall atmosphere is one of command and technolog…
@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…
@blakes7bot@mas.torpidity.net
2024-11-06 14:21:53

Series A, Episode 11 - Bounty
JENNA: Goodbye.
TYCE: Goodbye, Blake. You'll always be welcome on Lindor.
blake.torpidity.net/m/111/541 B7B3

ChatGPT4 describes the image as: "The image depicts a scene from a science fiction setting, possibly from a TV series given the attire and ambiance. There are two individuals, a man and a woman, standing in what appears to be a futuristic or industrial environment with metallic walls and structured lighting. The man is wearing a futuristic outfit, and both characters seem engaged in a conversation. The setting suggests a spacecraft or a high-tech facility."

Blakes7Bot, version 3.7.34.
@blakes7bot@mas.torpidity.net
2024-11-06 17:41:57

Series B, Episode 04 - Horizon
AVON: What did it say - decode.
ZEN: It is in Federation code nine. Message reads, "Top priority signal to any Federation pursuit unit, from Kommissar, planet Horizon. Request assistance. Ruler of Horizon unreliable, am disposing of him. Rebel spaceship at grid reference ten by thirteen double-u zed. Request you destroy this spaceship at once. Also inform Federation Central Control of this action. Await confirmation."

ChatGPT4 describes the image as: "The image shows a man wearing a futuristic silver outfit in what appears to be a science fiction setting, likely a spaceship or a high-tech control room. The environment is dimly lit with sleek, modern design elements, featuring consoles and screens. The person is seated, looking focused and composed, as if engaged in an important task or decision. The outfit and setting suggest a scene from a sci-fi TV show or film, evoking an atmosphere of adventure and explo…