Tootfinder

Missing Link: Wie es bei Linux ohne Linus Torvalds weiterginge
Allerlei Mythen ranken um die Frage, wer im Fall der Fälle die Leitung von Linux übernimmt. Dabei gibt es eine Nachfolgeregelung. Die kennt nur kaum jemand.

»Missing Link — Wie es bei Linux ohne Linus Torvalds weiterginge:
Allerlei Mythen ranken um die Frage, wer im Fall der Fälle die Leitung von Linux übernimmt. Dabei gibt es eine Nachfolgeregelung. Die kennt nur kaum jemand.«
Wenn dies nicht schon längst (intern) geregelt wäre hätte mich verwundert. Software-Entwicklung ist mehr als "nur" ein Tool zu schreiben und zu nutzen.
🐧

Missing Link: Wie es bei Linux ohne Linus Torvalds weiterginge
Allerlei Mythen ranken um die Frage, wer im Fall der Fälle die Leitung von Linux übernimmt. Dabei gibt es eine Nachfolgeregelung. Die kennt nur kaum jemand.

I thought of a new stupid t-shirt.
https://monad.teemill.com/product/the-ooops-decision-making-loop/

The OOOPS Decision Making Loop
The OODA loop is a decision-making model developed by United States Air Force Colonel John Boyd in the early 1970s. This is something is different.

Jets LB Johnson to play after missing 3 games https://www.espn.com/nfl/story/_/id/46551823/jets-de-jermaine-johnson-play-vs-broncos-missing-3-games

Nineteen people are dead or missing
after a massive blast obliterated a building at a Tennessee explosives facility on Friday, authorities said.
The blast occurred at Accurate Energetic Systems, LLC, on Friday morning.
https://stocks.apple.com/AKMAG9FhFQ1m723rg7_EOXQ

19 people dead or missing after massive blast at Tennessee military explosive plant, officials say — CNN
Nineteen people are dead or missing after a massive blast obliterated a building at a Tennessee explosives facility on Friday, authorities said.

Ryan Flournoy making offseason decision on Jalen Tolbert easy https://insidethestar.com/ryan-flournoy-making-offseason-decision-on-jalen-tolbert-easy

Verifying Memoryless Sequential Decision-making of Large Language Models
Dennis Gross, Helge Spieker, Arnaud Gotlieb
https://arxiv.org/abs/2510.06756 https://

Verifying Memoryless Sequential Decision-making of Large Language Models
We introduce a tool for rigorous and automated verification of large language model (LLM)- based policies in memoryless sequential decision-making tasks. Given a Markov decision process (MDP) representing the sequential decision-making task, an LLM policy, and a safety requirement expressed as a PCTL formula, our approach incrementally constructs only the reachable portion of the MDP guided by the LLM's chosen actions. Each state is encoded as a natural language prompt, the LLM's response is pa…

one of the biggest misconceptions about microchips people have is that the process is anything close to "fully automatic"
it really isn't. i mean, some operations are, but look at this video! there's a human like every other step of the process. and it's not like this is some expensive unique device. they're making mass-market LEDs by the reel