Tootfinder

Anthem 2.0: Automated Reasoning for Answer Set Programming
Jorge Fandinno, Christoph Glinzer, Zachary Hansen, Jan Heuer, Yuliya Lierler, Vladimir Lifschitz, Torsten Schaub, Tobias Stolzmann
https://arxiv.org/abs/2507.11704

Anthem 2.0: Automated Reasoning for Answer Set Programming
Anthem 2.0 is a tool to aid in the verification of logic programs written in an expressive fragment of Clingo's input language named mini-gringo, which includes arithmetic operations and simple choice rules but not aggregates. It can translate logic programs into formula representations in the logic of here-and-there, and analyze properties of logic programs such as tightness. Most importantly, Anthem 2.0 can support program verification by invoking first-order theorem provers to confirm that a…

»IT-Security – Cyberangriff auf "Nius": Wohl Daten von 5700 Abonnenten geleakt.
Die Angreifer nutzten Sicherheitslücken, um Zugriff auf die Datenbank zu erhalten«
Einer der seltensten Hacks die ich mal nicht nur stillschweigend bejahend bin, sonder auch hier teile.
👉

Cyberangriff auf "Nius": Wohl Daten von 5700 Abonnenten geleakt
Die Angreifer nutzten Sicherheitslücken, um Zugriff auf die Datenbank zu erhalten

Manchmal muss man sich im Tag besonders gut verankern.
Handgemalter #wandklexschmuck, eh klar. Zu finden auf
#miniaturepainting #artShop
#fediArt #mastoArt #creativeToots

Behörden: Acht Tote bei russischen Angriffen in mehreren Regionen
Bei russischen Angriffen auf mehrere Regionen in der Ukraine sind den ukrainischen Behörden zufolge heute acht Menschen getötet und Dutzende verletzt worden. In der östlichen Region Donezk gab es am Morgen eine Angriffsserie, bei der vier Menschen getötet wurden, wie die regionale Staatsanwaltschaft mitteilte.
In der Stadt Poltawa in der gleichnamigen Region i…
📑

Ukraine-Liveblog: ++ Russland meldet Eroberung in Region Charkiw ++
Im ostukrainischen Gebiet Charkiw hat die russische Armee eigenen Angaben nach den Grenzort Milowe erobert. Die Ukraine meldet acht Tote nach Angriffen in mehreren Regionen.

So I've found my answer after maybe ~30 minutes of effort. First stop was the first search result on Startpage (https://millennialhawk.com/does-poop-have-calories/), which has some evidence of maybe-AI authorship but which is better than a lot of slop. It actually has real links & cites research, so I'll start by looking at the sources.
It claims near the top that poop contains 4.91 kcal per gram (note: 1 kcal = 1 Calorie = 1000 calories, which fact I could find/do trust despite the slop in that search). Now obviously, without a range or mention of an average, this isn't the whole picture, but maybe it's an average to start from? However, the citation link is to a study (https://pubmed.ncbi.nlm.nih.gov/32235930/) which only included 27 people with impaired glucose tolerance and obesity. Might have the cited stat, but it's definitely not a broadly representative one if this is the source. The public abstract does not include the stat cited, and I don't want to pay for the article. I happen to be affiliated with a university library, so I could see if I have access that way, but it's a pain to do and not worth it for this study that I know is too specific. Also most people wouldn't have access that way.
Side note: this doing-the-research protect has the nice benefit of letting you see lots of cool stuff you wouldn't have otherwise. The abstract of this study is pretty cool and I learned a bit about gut microbiome changes from just reading the abstract.
My next move was to look among citations in this article to see if I could find something about calorie content of poop specifically. Luckily the article page had indicators for which citations were free to access. I ended up reading/skimming 2 more articles (a few more interesting facts about gut microbiomes were learned) before finding this article whose introduction has what I'm looking for: https://pmc.ncbi.nlm.nih.gov/articles/PMC3127503/
Here's the relevant paragraph:
"""
The alteration of the energy-balance equation, which is defined by the equilibrium of energy intake and energy expenditure (1–5), leads to weight gain. One less-extensively-studied component of the energy-balance equation is energy loss in stools and urine. Previous studies of healthy adults showed that ≈5% of ingested calories were lost in stools and urine (6). Individuals who consume high-fiber diets exhibit a higher fecal energy loss than individuals who consume low-fiber diets with an equivalent energy content (7, 8). Webb and Annis (9) studied stool energy loss in 4 lean and 4 obese individuals and showed a tendency to lower the fecal energy excretion in obese compared with lean study participants.
"""
And there's a good-enough answer if we do some math, along with links to more in-depth reading if we want them. A Mayo clinic calorie calculator suggests about 2250 Calories per day for me to maintain my weight, I think there's probably a lot of variation in that number, but 5% of that would be very roughly 100 Calories lost in poop per day, so maybe an extremely rough estimate for a range of humans might be 50-200 Calories per day. Interestingly, one of the AI slop pages I found asserted (without citation) 100-200 Calories per day, which kinda checks out. I had no way to trust that number though, and as we saw with the provenance of the 4.91 kcal/gram, it might not be good provenance.
To double-check, I visited this link from the paragraph above: https://www.sciencedirect.com/science/article/abs/pii/S0022316622169853?via=ihub
It's only a 6-person study, but just the abstract has numbers: ~250 kcal/day pooped on a low-fiber diet vs. ~400 kcal/day pooped on a high-fiber diet. That's with intakes of ~2100 and ~2350 kcal respectively, which is close to the number from which I estimated 100 kcal above, so maybe the first estimate from just the 5% number was a bit low.
Glad those numbers were in the abstract, since the full text is paywalled... It's possible this study was also done on some atypical patient group...
Just to come full circle, let's look at that 4.91 kcal/gram number again. A search suggests 14-16 ounces of poop per day is typical, with at least two sources around 14 ounces, or ~400 grams. (AI slop was strong here too, with one including a completely made up table of "studies" that was summarized as 100-200 grams/day). If we believe 400 grams/day of poop, then 4.91 kcal/gram would be almost 2000 kcal/day, which is very clearly ludicrous! So that number was likely some unrelated statistic regurgitated by the AI. I found that number in at least 3 of the slop pages I waded through in my initial search.

Russland: Ukraine attackiert Ausbildungszentrum von AKW Saporischschja
Russland wirft der Ukraine einen Drohnenangriff auf ein Ausbildungszentrum des besetzten Kernkraftwerks Saporischschja vor. Die Ukraine habe bei dem Angriff am Sonntagabend drei Drohnen eingesetzt, teilte die russische Besatzungsverwaltung des Kraftwerks in der südöstlichen Ukraine über Telegram mit. Es sei allerdings "kein kritischer" Schaden entstanden.
📑

Ukraine-Liveblog: ++ Russland meldet Einnahme von zwei Dörfern ++
Russland will die Kontrolle über zwei weitere Dörfer in der Ostukraine übernommen haben. Der US-Sonderbeauftragte für die Ukraine, Kellogg, ist zu Gesprächen in Kiew eingetroffen.

#ndwgoecountdown Sunrise III – Ballongetragenes Teleskop nach großer Reise zurück in Göttingen
Zur Sunrise III Mission gibt es diesmal gleich drei Anlaufstellen: Einen Vortrag, mehrere Vorführungen eines packenden Dokumentarfilms, und nicht zuletzt das Teleskop selbst, das letzten Sommer nach seinem dritten Flug in Kanada gelandet ist und sich nun unseren Besucher*innen präsen…

Russische Fabrik von Drohnen getroffen
In der russischen Region Tschuwaschien ist laut Behördenangaben nach einem ukrainischen Drohnenangriff eine bedeutende Fabrik für elektronische Komponenten zwischenzeitlich geschlossen worden. Zwei Drohnen seien auf das Gelände der mehr als 600 Kilometer östlich von Moskau gelegenen VNIIR-Fabrik gestürzt, erklärte Regionalgouverneur Oleg Nikolajew im Onlinedienst Telegram.
Die Arbeit do…
📑

Ukraine-Liveblog: ++ Gegenseitige Angriffe auf Militärflugplätze ++
Russland und die Ukraine haben gegenseitige Angriffe auf Militärflugplätze gemeldet. Nach ukrainischen Angaben sollen sollen zwei russische Kampfflugzeuge getroffen worden sein. Die Entwicklungen im Liveblog.

Russland meldet ukrainischen Drohnenangriff auf Sergijew Possad
Russland meldet einen ukrainischen Drohnenangriff auf die Großstadt Sergijew Possad rund 70 Kilometer nordöstlich von Moskau. Bei dem Angriff sei eine Person verletzt und die Strominfrastruktur beschädigt worden, teilen die Regionalbehörden mit. Es habe mindestens vier Explosionen gegeben und in weiten Teilen der Stadt sei der Strom ausgefallen. Sergijew Possad g…
📑

Ukraine-Liveblog: ++ Trump: Keine Fortschritte bei Telefonat mit Putin ++
US-Präsident Trump hat in einem Telefonat mit Kreml-Chef Putin nach eigenen Angaben keine Fortschritte mit Blick auf den Ukraine-Krieg erzielt. Der ukrainische Präsident Selenskyj fordert die EU zur Stärkung der eigenen Rüstungsindustrie auf.

Russische Angriffe auf mehrere Regionen der Ukraine
Bei neuen russischen Luftangriffen auf die Ukraine ist nach Angaben regionaler Behörden ein Mensch getötet worden. In der Kleinstadt Balaklija in der an Russland grenzenden nordöstlichen Region Charkiw wurde der dortigen Militärverwaltung zufolge bei einem massiven Drohnenangriff ein Firmengebäude getroffen. Ein Mitarbeiter sei dabei ums Leben geko…
📷