Tootfinder

1,419 days of the SHAMEFUL "BLIZKRIEG." The Russians are stuck in DONBAS – worse than HITLER: https://benborges.xyz/2026/01/12/days-of-the-shameful-ampquotblizkriegampquot.html

⭐ The Simple Habit That Saves My Evenings | alikhil | software engineering, kubernetes & self-hosting
https://alikhil.dev/posts/the-simple-habit-that-saves-my-evenings/
Spoiler alert:
Here are the two main ideas of it:
* Don’t overwork
*…

🇺🇦 #NowPlaying on KEXP's #VarietyMix
Simple Minds:
🎵 Don’t You (Forget About Me)
#SimpleMinds
https://ill-eagledjs.bandcamp.com/album/simple-minds-dont-you-forget-about-me-intalinks-edit

netpbm tools are a suite of tools to convert and fiddle with the ppm/pbm/pgm (collectively pnm) file formats, which are pretty much the simplest image formats on the planet, which even have an ASCII version; so if you have a simple script you want to generate simple images with they're a good choice of format, and if you have them, the pbm tools can convert to/from pretty much anything else or do simple scale/etc - lighter than ImageMagick say.

Wer die Menschen im Iran und auch die in anderen Krisenregionen der Welt aktiv unterstützen will, installiert sich Snowflake für den Browser. Damit kommen Menschen ins Netz, wenn das Internet abgestellt wurde.
Bei mir 21 in den letzten 24 Std.
https://www1.wdr.de/nachrichten/snowfl

Internetsperre im Iran: So kann man Menschen Netzzugang ermöglichen
Irans Führung blockiert das Internet. Unabhängige Informationen sind unerwünscht. Doch es gibt Maßnahmen gegen Zensur.

New Ukip logo slated over 'similarities to Nazi symbol' (Steph Brawn/The National)
https://www.thenational.scot/news/25761260.new-ukip-logo-slated-similarities-nazi-symbol/
http://www.memeorandum.com/260113/p52#a260113p52

RE: https://snabelen.no/@Syphilia/115883711313061866
"Det betyr IKKE at man dermed automatisk er tilhenger av AI." Enig!
--

Ik haat deze term, want ik herken me er helaas in:
"age-related vision decline"
Dark Mode - Essential not a Preference
https://seemeplease.com/blog/dark-mode
(artikel uit maart 2025, via

Dark Mode - Essential not a Preference – See Me Please
Dark mode is often treated as a nice-to-have rather than a necessity or assistive technology.

A Black-Box Debiasing Framework for Conditional Sampling
Han Cui, Jingbo Liu
https://arxiv.org/abs/2510.11071 https://arxiv.org/pdf/2510.11071

A Black-Box Debiasing Framework for Conditional Sampling
Conditional sampling is a fundamental task in Bayesian statistics and generative modeling. Consider the problem of sampling from the posterior distribution $P_{X|Y=y^*}$ for some observation $y^*$, where the likelihood $P_{Y|X}$ is known, and we are given $n$ i.i.d. samples $D=\{X_i\}_{i=1}^n$ drawn from an unknown prior distribution $π_X$. Suppose that $f(\hatπ_{X^n})$ is the distribution of a posterior sample generated by an algorithm (e.g. a conditional generative model or the Ba…

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
Jian Fang, Yican Sun, Yingfei Xiong
https://arxiv.org/abs/2510.10131 https://arxiv.org/p…

Proof Strategy Extraction from LLMs for Enhancing Symbolic Provers
One important approach to software verification is interactive theorem proving. However, writing formal proofs often requires substantial human effort, making proof automation highly important. Traditionally, proof automation has relied on symbolic provers. Recently, large language models (LLMs) have demonstrated strong capabilities in theorem proving, complementing symbolic provers. Nonetheless, prompting LLMs can be expensive and may pose security risks for confidential codebases. As a result…