Tootfinder

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#BoardGameASongOrLimerick

Nachtrag: Änderung der Berechnung bezüglich https://mastodon.online/@tinoeberl/115237785779609825.
Der Filter auf "in Betrieb" ändert die Zahlen leider rückwirkend. Also:
Anzahl der Inbetriebnahmen von Balkonkraftwerken pro Monat in

Ukraine says it has now deployed 30K free physical security keys, called YubiKeys, including 22K to access battle system Delta, up from ~10K in April 2022 (Katrina Manson/Bloomberg)
https://www.bloomberg.com/news/newsletters

General Staff: Russia has lost 1,104,550 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/09/24/general-staff-russia-has-lost.html

from my link log —
Brimar thermionic products great British valve project.
https://brimaruk.com/menugbvp/about-the-gbvp/
saved 2022-08-11 https://

Nachtrag: Änderung der Berechnung bezüglich https://mastodon.online/@tinoeberl/115236719296242946.
Der Filter auf "in Betrieb" ändert die Zahlen leider rückwirkend. Also:
Anzahl der Inbetriebnahmen von Balkonkraftwerken pro Jahr in

This article just cited the Finnish Michaux study. There are others. The whole "industrial renewable energy capture systems" wager has inadequate foundations, which is why the only way is to use much less energy. Hence #degrowth See my article and linked report for the UK case.
Is There Enough Metal to Replace Oil? - CounterPunch.org

Is There Enough Metal to Replace Oil?
A key issue for the accomplishment of renewables is power storage because of the impact of wind and solar intermittency, both of which are highly intermittent. Most studies assume gas will be the buffer for intermittency. Other than using fossil fuel such as gas as a buffer, an adequate power storage system to handle intermittency will require 30 times more material than what electric vehicles require with current plans, meaning the scope is much larger than the current paradigm allows.

Ukraine verlängert Kriegsrecht
Die Ukraine hat das geltende Kriegsrecht und die Mobilmachung um 90 Tage bis Anfang Februar 2026 verlängert. Für die von Präsident Wolodymyr Selenskyj eingereichten Gesetzesvorlagen stimmte jeweils eine deutliche Zweidrittelmehrheit des Parlaments, meldete der Pressedienst der Obersten Rada. Beide Maßnahmen wären am 5. November ausgelaufen.
Nach dem russischen Überfall im Februar 2022 wurde in …
📑

Ukraine-Liveblog: ++ Ukraine verlängert Kriegsrecht bis Februar ++
Die Ukraine hat das Kriegsrecht und die Mobilmachung erneut bis Anfang Februar 2026 verlängert. Laut Moskau ist unklar, wann es ein Treffen zwischen Staatschef Putin und US-Präsident Trump geben wird.

Voor wie niet slapen kan...
Da hilft nur beten! • Fernsehfilm Deutschland 2022
https://www.ardmediathek.de/tv-programm/691f3408ee10b78c435ef11c (2022, 90min)
Nu* (03:00 - 04:30 ) bij de WDR.
Enjoy
* andere tijden regio slot

13 years of detailed US CO₂ emissions data released #UnitedStates

13 years of detailed US CO₂ emissions data released
New research from Northern Arizona University shows detailed CO2 emissions for the United States from 2010 to 2022.

The information flow among Green Bonds exchange traded funds
Wenderson Gomes Barbosa, Kerolly Kedma Felix do Nascimento, Fabio Sandro dos Santos, Tiago A. E. Ferreira
https://arxiv.org/abs/2509.19285

🇺🇦 Auf radioeins läuft...
Alexander Hacke:
🎵 Hiroshima Revisited 2022
#NowPlaying #AlexanderHacke
https://hackedepicciotto.bandcamp.com/track/hiroshima-revisited-2022

An interview with Deel CEO Alex Bouaziz, who expects a 2025 profit of $170M to $200M, about the company's $300M round that pushed its valuation above Rippling's (Matt Durot/Forbes)
http://www.

Deel Vs. Rippling: Alex Bouaziz On Deel’s Latest Fundraise And Why He’s Not Worried About Litigation
HR software rivals have accused each other of corporate espionage in lawsuits filed earlier this year. A funding round announced Thursday boosted Deel’s valuation just above Rippling’s for the first time since 2022.

Add richer tooltips to ggiraph with kableExtra and friends: #dataviz

I don't know if this is true for all #EpsteinFiles the #DOJ just released but at least for the PDF linked in the quoted Bluesky post:
1. Open PDF in MS Word
2. Select All (CTRL A)
3. Set text color to Automatic
4. Read on
#redacted #technology #incompetence #unprofessional

Drones, incursions, infanterie… « La Russie est beaucoup plus dangereuse en 2025 qu’en 2022 », alerte Michel Goya - Le Parisien
https://www.leparisien.fr/international/uk…

Drones, incursions, infanterie… « La Russie est beaucoup plus dangereuse en 2025 qu’en 2022 », alerte Michel Goya
Attention à ne pas sous-estimer la menace et la force de l’armée russe. L’ancien colonel Michel Goya met en garde : depuis le semi-ratage ukrainien en 2022, les troupes de Poutine se sont transformées.

dom: Animal dominance archive (2022)
Animal dominance interaction data published over a century of research. The archive contains 434 agonistic interaction datasets, totaling over 241,000 interactions. A directed edge (i,j) corresponds to an antagonist interaction between i (winner) and j (loser). If a 'weight' edge property map exists, it counts the number of such interactions.
This network has 17 nodes and 146 edges.
Tags: Social, Animal, Weighted

"An increasing number of homes in the Netherlands are heated without the use of natural gas. In 2024, 11.2 percent of homes were fully gas-free, up from 8.7 percent in 2022. These homes are usually heated using a heat pump or are connected to a collective district heating system."
https://www.cbs.…

Ever more gas-free homes
An increasing number of homes in the Netherlands are heated without the use of natural gas. In 2024, 11.2 percent of homes were fully gas-free, up from 8.7 percent in 2022. These homes are usually heated using a heat pump or are connected to a collective district heating system. This means they do not require a gas-fired boiler. Statistics Netherlands (CBS) reports this on the basis of newly released figures.

Only one way to go here, always forward... just as in life!
(This is the equally stunning & adventurous ridge between Feigenkopf and Große Klammspitze, the summit ahead, almost touching the clouds — if you zoom in, you can just about make out the summit cross... One of my fave hikes ever. Picture is from early May 2022)
#SilentSunday

from my link log —
ROCkN: Providing GPS-quality timing accuracy with portable optical atomic clocks.
https://www.darpa.mil/news-events/2022-01-20
saved 2023-10-05

On Website Technicals (2022-08) - Tech updates: FUELINST glitch, review pros and cons, a11y, fanlife, Save-Data, traffic nadir, JXL. - https://www.earth.org.uk/note-on-site-technicals-63.html

On Website Technicals (2022-08)
Tech updates: FUELINST glitch, review pros and cons, a11y, fanlife, Save-Data, traffic nadir, JXL.

McVay rejoins Rams in time to see 45-17 victory https://www.espn.com/nfl/story/_/id/47242736/los-angeles-rams-post-45-points-most-2022-victory

A profile of Ivan Urgant, a popular Russian late-night TV host who became a pariah after his suspension in February 2022 for opposing the invasion of Ukraine (Paul Sonne/New York Times)
https://www.nytimes.com/2025/12/13/wo…

Ivan Urgant Was Russia’s Late-Night King Until Putin’s War in Ukraine
Ivan Urgant was an unstoppable Russian megastar. Then he expressed opposition to President Vladimir V. Putin’s invasion of Ukraine.

GOODIE BOMB DVD PIERRE 02.12.2022 / CELEBRATE LIFE!
limitierte dvd mit 11 unveröffentlichen mixen von pierre. diese wurde zu seinem 10. todestag, bei der dezember '22 "nachschwung rost" party, an die ersten 200 gäste verschenkt. ich denke es wurde mal zeit diese schöne zeitreise für alle zugänglich zu machen. celebrate life und viel spaß damit !!!

General Staff: Russia has lost 1,121,570 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/10/11/general-staff-russia-has-lost.html

Closing paths to cycles in symmetric graphs
Martin Milani\v{c}, {\DJ}or{\dj}e Mitrovi\'c
https://arxiv.org/abs/2510.05404 https://arxiv.org/pdf/2510.05…

Closing paths to cycles in symmetric graphs
It was shown by Beisegel, Chudnovsky, Gurvich, Milanič, and Servatius in 2022 that every induced $2$-edge path in a vertex-transitive graph closes to an induced cycle. Similar results were obtained for 3-edge paths closing to cycles in edge-transitive graphs, where the cycle can be assumed to be induced if the path is induced. Motivated by these results, we consider the following problem: For a given class of graphs, determine all integers $\ell\geq 0$ such that for every graph in the class, e…

"die neue außenpolitische Positionierung der #USA sei eine "zweite Zeitenwende". Die erste Zeitenwende hatte der damalige Bundeskanzler Olaf Scholz 2022 nach dem Überfall #Russland|s auf die Ukraine ausgerufen und eine massive Aufrüstung der Bundeswehr angekündigt. " sagt

Deutsche Politiker besorgt wegen US-Sicherheitsstrategie
Mehrere deutsche Politiker haben besorgt auf die neue US-Sicherheitsstrategie reagiert. Sie werten sie als deutliches Zeichen einer Abkehr von Europa. Der CDU-Politiker Röttgen spricht von einer "zweiten Zeitenwende".

apologists gotta apolgist :-) Mr. Mearsheimer you are wrong!
https://universeodon.com/@KFuentesGeorge/115633495500461068

from my link log —
Hardening snmalloc.
https://github.com/microsoft/snmalloc/tree/release_docs/docs/security
saved 2022-05-10 ht…

I just used Regedit to clean Microsoft's mess and delete 2 unwanted out of 4 input methods from the language applet menu o.O (This is a clean Win11 install from July. The problem seems to be reported as far back as 2022.)
A week ago, I had to uninstall and re-install OneDrive with the \allusers command line argument to make it stop duplicating itself in the sidebar and get back the share option in the context menu per file or folder. (Also a longstanding bug.)
Copilot is neat…

Feebly Interacting Particles: FIPs at LHCb
J. Alimena, J. Boyd, G. Cacciapaglia, A. Casais Vidal, X. Cid Vidal, S. Collaviti, A. De Oyanguren Campos, G. Dalla Valle Garcia, G. Elor, G. Ferretti, D. Gorbunov, E. Goudzovski, J. Hajer, J. Jerhot, B. Kishor Jashal, V. Kholoimov, J. Klaric, F. Kling, E. Kriukova, Y. Kyselov, G. Lanfranchi, C. Langenbruch, A. Merli, M. Ovchinnykov, J. Pfaller, G. Perez, P. Reimitz, I. Sanderswood, L. Shchutska, E. Torro Pastor, Y. Tsai, A. Usachov, L. Vale S…

Feebly Interacting Particles: FIPs at LHCb
With the establishment and maturation of the experimental programs searching for new physics with sizeable couplings at the LHC, there is an increasing interest in the broader particle and astrophysics community for exploring the physics of light and feebly-interacting particles as a paradigm complementary to a New Physics sector at the TeV scale and beyond. FIPs@LHCb continues the successful series of the FIPs workshops, FIPs 2020 and FIPs 2022. The main focus of the workshop was to explore th…

How precisely can we measure the ages of subgiant and giant stars?
Cheyanne Shariat, Kareem El-Badry, Soumyadeep Bhattacharjee
https://arxiv.org/abs/2510.08675 https://

How precisely can we measure the ages of subgiant and giant stars?
Precise stellar ages are fundamental to Galactic archaeology. However, obtaining reliable age estimates and uncertainties for field stars has been a long-standing challenge. We test the fidelity of ages from recent catalogs of giants and subgiants using wide binaries, whose components formed at the same time and thus should have consistent inferred ages. We find that subgiant ages based on spectroscopic metallicities from Xiang & Rix (2022) are generally consistent within their reported uncerta…

A fantastic folk duo from Nova Scotia with one of their more powerful tunes for #MusicWomenWednesday this week.
Mama's Broke, "The Ones That I Love" (2022)
https://mamasbroke.bandcamp.com/tra…

Heute vor 61 Jahren: Am 16.10.1964 zündeten die #USA im Rahmen von Operation Whetstone die Atombomben "Barbel" und "Turnstone". Whetstone war eine Serie von #Kernwaffentests bei der 1964/65 insgesamt 46 Bomben größtenteils im Testgebiet in

General Staff: Russia has lost 1,188,490 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/12/14/general-staff-russia-has-lost.html

In a proposed settlement, the US FTC says crypto bridge Nomad must repay victims of a 2022 cyberattack that led to $186M worth of funds being stolen (Connor Jones/The Register)
https://www.theregister.com/2025/12/17/nomad_ftc_settlement/

Blockchain company Nomad to repay users under FTC deal after $186M cyberattack
: Regulator makes various additional demands over alleged cybersecurity failings

"Ireland surpasses 2 GW of installed solar capacity"
#Ireland #SolarPower #Energy #Recycling

Ireland surpasses 2 GW of installed solar capacity
Ireland's national solar capacity has risen to 2.1 GW as buildout has accelerated since the first utility-scale project came online in April 2022.

Etwas für schlaflose Nächte. Hier die Studie der Uni Passau:
Sexueller Missbrauch und körperliche Gewalt. Übergriffe auf Minderjährige durch katholische Geistliche im Bistum Passau 1945 bis 2022
https://www.uni-passau.de/missbrauchsstudie

Sexueller Missbrauch und körperliche Gewalt. Übergriffe auf Minderjährige durch katholische Geistliche im Bistum Passau 1945 bis 2022 - Universität Passau

I hold deep contempt for the adult, powerful, wealthy politicians who saw the opportunity to single out four children in the entire state of #Utah and keep them from enjoying their sport.
This is a story that radicalized me, and whenever I'm reminded by the bullies gloating over the pain of literal children, I'm going to share it again.

Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
Said Elnaffar, Farzad Rashidi, Abedallah Zaid Abualkishik
https://arxiv.org/abs/2510.03884

Teaching with AI: A Systematic Review of Chatbots, Generative Tools, and Tutoring Systems in Programming Education
This review examines the role of artificial intelligence (AI) agents in programming education, focusing on how these tools are being integrated into educational practice and their impact on student learning outcomes. An analysis of fifty-eight peer-reviewed studies published between 2022 and 2025 identified three primary categories of AI agents: chatbots, generative AI (GenAI), and intelligent tutoring systems (ITS), with GenAI being the most frequently studied. The primary instructional object…

📉 Eating more but growing less: Stagnant Philippine farms linked to widening rice gap
#food

Eating more but growing less: Stagnant Philippine farms linked to widening rice gap
As of 2022 alone, Filipinos were eating 2.3 million metric tons more rice than the country produced—an 18% shortfall that has locked the Philippines into deeper dependence on imported rice despite years of government programs to boost local harvests.

“…TSMC announced they have a spintronic memory chip with an access time of 1ns and a storage time of a decade. This means faster mistakes with longer regrets, basically the epitome of progress.”-Sabine Hossenfelder, physicist, author of science books, and host of a science YouTube channel:
https://www.youtube.com/@SabineHossenfelder

Sabine Hossenfelder
As simple as possible, but not any simpler! Science and technology updates and summaries. No hype, no spin, no tip-toeing around inconvenient truths. Currently 5 videos a week (Tue-Wed-Thu and Sat-Sun). Early access for channel members. Sabine Hossenfelder has a PhD in physics. She is author of the books "Lost in Math: How Beauty Leads Physics Astray" (Basic Books, 2018) and "Existential Physics: A Scientist's Guide to Life's Biggest Questions" (Viking, 2022). Views are my own and do not repr…

#fedihilfe ein ungenannt bleiben wollender ChatBot hat eines meiner Fotos als Porträt der Ex- #Femen Aktivistin #JosephineWitt identifiziert. Ist das Quatsch oder hat das LLM recht?
ttps://commons.wikimedia.org/wiki/File:Internationaler_Tag_der_Menschenrechte,_Berlin_2022,_LeaveNoOneBehind,_Marsch_für_Menschenrechte_07.jpg
@…

📢 Bundesverfassungsgericht kippt Regelungen zu Triage
Das Bundesverfassungsgericht hat die Ende 2022 beschlossenen Regelungen zur sogenannten Triage - der Reihenfolge der Behandlung von Schwerkranken bei knappen Ressourcen - für nichtig erklärt. Es gab damit Verfassungsbeschwerden von Intensiv- und Notfallmedizinern statt. Der Eingriff in deren Berufsfreiheit sei verfassungsrechtlich nicht gerechtfertigt.
➡️

Bundesverfassungsgericht kippt Regelungen zu Triage
Das Bundesverfassungsgericht hat die Ende 2022 beschlossenen Regelungen zur sogenannten Triage - der Reihenfolge der Behandlung von Schwerkranken bei knappen Ressourcen - für nichtig erklärt. Es gab damit Verfassungsbeschwerden von Intensiv- und Notfallmedizinern statt. Der Eingriff in deren Berufsfreiheit sei verfassungsrechtlich nicht gerechtfertigt.

at_migrations: Austrian internal migrations (2002-2022)
A network of migrations between municipalities in Austria, from 2002 to 2022. A weighted directed link from source to target indicates a migration flow from these two municipalities. Edges are annotated with migration volume (number of people), nationality, sex, and year.
This network has 2115 nodes and 2908569 edges.
Tags: Social, Economic, Travel, Weighted, Politlcal, Timestamps, Metadata

Home Heat Pumps: Barriers to Installation (2022) - A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady -…

Home Heat Pumps: Barriers to Installation (2022)
A case study in the friction in specifying and installing a heat-pump in the UK, even for a savvy early adopter. #heatpump #netZero #futureReady

Abuse in Buddhism: The Law of Silence https://openbuddhism.org/library/videos/2022/elodie-emery-wandrille-lanos-present-buddhism-the-unspeakable-truth/

‘Abuse in Buddhism: The Law of Silence’
In a brief video in English, the French filmmakers Élodie Emery and Wandrille Lanos introduce their documentary ‘Abuse in Buddhism: The Law of Silence’ (Arte, 2022). It can be watched here.

"Der neue #Satellit soll wie schon die Anlage auf der ISS auf die winzigen Sender reagieren, die etwa auf Zugvögeln, Fledermäusen oder Meeresschildkröten sitzen. Die Daten zeigen, wo sich die #Tiere aufhalten und wohin sie sich bewegen. Erstmals solle das System weltweit nahezu in Echtzeit funktionieren…

This piece by @… is more than three years old but it contains plenty of good points about digital continuity and contingency.
https://shkspr.mobi/blog/2022/06/ive-l

I've locked myself out of my digital life
Imagine… Last night, lightning struck our house and burned it down. I escaped wearing only my nightclothes. In an instant, everything was vaporised. Laptop? Cinders. Phone? Ashes. Home server? A smouldering wreck. Yubikey? A charred chunk of gristle. This presents something of a problem. In order to recover my digital life, I need to be able to log in to things. This means I need to know my u…

Evolution of wartime discourse on Telegram: A comparative study of Ukrainian and Russian policymakers' communication before and after Russia's full-scale invasion of Ukraine
Mykola Makhortykh, Aytalina Kulichkina, Kateryna Maikovska
https://arxiv.org/abs/2510.11746

Evolution of wartime discourse on Telegram: A comparative study of Ukrainian and Russian policymakers' communication before and after Russia's full-scale invasion of Ukraine
This study examines elite-driven political communication on Telegram during the ongoing Russo-Ukrainian war, the first large-scale European war in the social media era. Using a unique dataset of Telegram public posts from Ukrainian and Russian policymakers (2019-2024), we analyze changes in communication volume, thematic content, and actor engagement following Russia's 2022 full-scale invasion. Our findings show a sharp increase in Telegram activity after the invasion, particularly among ruling…

"Bluesky is a for-profit group still in the venture-capital honeymoon phase where it doesn’t need major revenue."
A Mastodon Migration From Bluesky Would Be Different - Absolutely Maybe
https://absolutelymaybe.plos.org/2025/10/…

A Mastodon Migration From Bluesky Would Be Different - Absolutely Maybe
The Mastodon migration from Twitter in 2022 was massive for the non-commercial community network: The number of accounts swelled with more than…

The Functional Machine Calculus III: Control
Willem Heijltjes
https://arxiv.org/abs/2510.07851 https://arxiv.org/pdf/2510.07851

The Functional Machine Calculus III: Control
The Functional Machine Calculus (Heijltjes 2022) is a new approach to unifying the imperative and functional programming paradigms. It extends the lambda-calculus, preserving the key features of confluent reduction and typed termination, to embed computational effects, evaluation strategies, and control flow operations. The first instalment modelled sequential higher-order computation with global store, input/output, probabilities, and non-determinism, and embedded both the call-by-name and cal…

Investment in subsea cable projects is expected to reach $13B between 2025 and 2027, almost 2x the amount invested between 2022 and 2024, driven by AI buildout (Magdalena Petrova/CNBC)
https://www.cnbc.com/2025/11/08/big-tech-ai-underwater-cables.html

Underwater cables are a vital piece of the AI buildout and internet — investment is booming
Over 95% of international data and voice traffic travels through subsea telecom cables. Tech giants Meta, Google, Amazon and Microsoft are investing for AI.

Robust forecast aggregation via additional queries
Rafael Frongillo, Mary Monroe, Eric Neyman, Bo Waggoner
https://arxiv.org/abs/2512.05271 https://arxiv.org/pdf/2512.05271 https://arxiv.org/html/2512.05271
arXiv:2512.05271v1 Announce Type: new
Abstract: We study the problem of robust forecast aggregation: combining expert forecasts with provable accuracy guarantees compared to the best possible aggregation of the underlying information. Prior work shows strong impossibility results, e.g. that even under natural assumptions, no aggregation of the experts' individual forecasts can outperform simply following a random expert (Neyman and Roughgarden, 2022).
In this paper, we introduce a more general framework that allows the principal to elicit richer information from experts through structured queries. Our framework ensures that experts will truthfully report their underlying beliefs, and also enables us to define notions of complexity over the difficulty of asking these queries. Under a general model of independent but overlapping expert signals, we show that optimal aggregation is achievable in the worst case with each complexity measure bounded above by the number of agents $n$. We further establish tight tradeoffs between accuracy and query complexity: aggregation error decreases linearly with the number of queries, and vanishes when the "order of reasoning" and number of agents relevant to a query is $\omega(\sqrt{n})$. These results demonstrate that modest extensions to the space of expert queries dramatically strengthen the power of robust forecast aggregation. We therefore expect that our new query framework will open up a fruitful line of research in this area.
toXiv_bot_toot

Beyond the Oracle Property: Adaptive LASSO in Cointegrating Regressions
Karsten Reichold, Ulrike Schneider
https://arxiv.org/abs/2510.07204 https://arxiv.o…

Beyond the Oracle Property: Adaptive LASSO in Cointegrating Regressions
This paper establishes new asymptotic results for the adaptive LASSO estimator in cointegrating regression models. We study model selection probabilities, estimator consistency, and limiting distributions under both standard and moving-parameter asymptotics. We also derive uniform convergence rates and the fastest local-to-zero rates that can still be detected by the estimator, complementing and extending the results of Lee, Shi, and Gao (2022, Journal of Econometrics, 229, 322--349). Our main …

Bears elevate 2022 Raiders draft pick amid D'Andre Swift's injury https://www.sportingnews.com/us/nfl/chicago-bears/news/bears-elevate-2022-raiders-draft-pick-amid-dandre-swifts-injury/05a03f6f6…

'Ultracompetitive baller': Cowboys' $3M rental may be bellcow of team's future https://cowboyswire.usatoday.com/story/sports/nfl/cowboys/2025/10/07/cowboys-rb-javonte-williams-bellcow-quotes/86558567007/…

Time For 9 o'clock #HashTagGames hosted by @… Let's play!
#CoffeeShowsOrFilms

🇺🇦 #NowPlaying on #BBC6Music's #AmyLamé
Wu-Lu:
🎵 Road Trip (6 Music Session, 3 Sep 2022)
#WuLu
https://wu-lu.bandcamp.com/track/road-trip
https://open.spotify.com/track/3iSRHPsPpVX6lo0OHu2e6J

Enhancements to XAML Live Preview in Visual Studio for .NET MAUI. This feature is available in Visual Studio 2022 version 17.14 and the Visual Studio 2026 Insiders release.
#visualstudio #visualstudio2026

Provability Models
Mojtaba Mojtahedi, Borja Sierra Miranda
https://arxiv.org/abs/2510.06696 https://arxiv.org/pdf/2510.06696…

Provability Models
In this paper, we study a new Kripke-style semantics for classical modal logic, named as provability models. We study provability models for the propositional modal logics K, K4, S4 GL, GLP and the interpretability logic ILM. Provability models combine features of Kripke models with the assignment of logics to individual worlds. Originally introduced in [Mojtahedi, 2022], these models allowed the first author to establish arithmetical completeness for intuitionistic provability logic. Interesti…

Anzahl der Inbetriebnahmen von Balkonkraftwerken pro Jahr in #Deutschland mit Stand vom 03.12.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:

General Staff: Russia has lost 1,157,400 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/11/15/general-staff-russia-has-lost.html

Steelers, Giants among teams who attempted to trade for Matthew Stafford with 'value deals' in 2022

https://www.cbssports.com/nfl/news/matthew-stafford-trade-rams-st…

Time For 9 o'clock #HashTagGames hosted by @…
#SandwichASong
#HashTagGames

No Fishing on this morning walk...
(From a beautiful and positively frozen Sunday AM in late 2022... I shared those images already back then, but hey...)
#SilentSunday #LandscapePhotography

After IECharge, which has set up fast #EV charging stations at their solar battery locations (with the lowest price in the French market: €0.25/kWh), there's now another French network offering green electricity directly from the source (also very competitive at €0.30/kWh).

Kallista Energy inaugure la première station de recharge raccordée à des éoliennes
Producteur indépendant d’énergies renouvelables, Kallista Energy a diversifié ses activités en 2022 en lançant le réseau de recharge rapide Yaway...

Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 03.12.2025.
Der aktuelle Höchststand liegt bei 1192237 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der

1Password founders sold a $75M stake as part of a $100M secondary sale, valuing the company at $6.8B, the same valuation as its $620M Series C in January 2022 (Jeff Stone/Bloomberg)
https://www.bloomberg.com/news/articles/20

General Staff: Russia has lost 1,187,780 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/12/13/general-staff-russia-has-lost.html

Raiders Urged to Move on From Disgruntled Star as Nightmare Season Continues https://heavy.com/sports/nfl/las-vegas-raiders/raiders-urged-to-move-on-from-disgruntled-star/?adt_ei=[email]

CNN launches its new All Access streaming subscription tier for $6.99 per month, including live channels and on-demand video, after shutting down CNN in 2022 (Dade Hayes/Deadline)
https://deadline.com/2025/10/cnn-launches-all-access-streaming-service-w…

CNN Launches All Access Subscription Streaming Offering, Raising Curtain On New Era
CNN is ushering in a new era today with the launch of its All Access subscription streaming tier.

#Irland führt ab 2026 ein dauerhaftes #Grundeinkommen für #Künstler ein.
Das Pilotprogramm lief seit 2022 und zahlte monatlich rund 1.500 Dollar an 2.000 Kreative. Laut Regierung verb…

Irland will Grundeinkommen für Künstler dauerhaft einführen
Seit 2022 testet Irland ein Grundeinkommensprogramm für Künstler. Bald sollen die monatlichen Zahlungen auch dauerhaft gelten.

Time For 9 o'clock #HashTagGames hosted by @…
#MashupChocolateAndFilms

General Staff: Russia has lost 1,122,810 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/10/12/general-staff-russia-has-lost.html

On Website Technicals (2022-08) - Tech updates: FUELINST glitch, review pros and cons, a11y, fanlife, Save-Data, traffic nadir, JXL. - https://www.earth.org.uk/note-on-site-technicals-63.html

On Website Technicals (2022-08)
Tech updates: FUELINST glitch, review pros and cons, a11y, fanlife, Save-Data, traffic nadir, JXL.

Time For 9 o'clock #HashTagGames hosted by @…
#FrenemyFoodOrCocktails

Anzahl der registrierten #Balkonkraftwerke in #Deutschland mit Stand vom 08.11.2025.
Der aktuelle Höchststand liegt bei 1175419 registrierten Anlagen.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der

from my link log —
Extremely offline: what happened when Tonga was cut off from the internet by a volcanic eruption.
https://www.theguardian.com/news/2025/sep/30/tonga-pacific-island-internet-underwater-cables-volcanic-erup…

Sources, public records, and documents detail TuSimple's downfall, after it transferred autonomous driving IP to Chinese partners despite a 2022 CFIUS agreement (Kate O'Keeffe/Bloomberg)

General Staff: Russia has lost 1,151,070 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/11/09/general-staff-russia-has-lost.html

Sequoia announces that Alfred Lin and Pat Grady will be elevated to firm stewards, succeeding Roelof Botha, who led Sequoia solo since 2022 (Dan Primack/Axios)
https://www.axios.com/2025/11/04/sequoia-capital-roelof-botha-pat-grady-alfred-lin

Sequoia Capital transitions to new leadership
Alfred Lin and Pat Grady will become Sequoia's new stewards.

Time For 9 o'clock #HashTagGames hosted by @…
#MakeASongOrPoemTedious

General Staff: Russia has lost 1,179,790 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/12/06/general-staff-russia-has-lost.html

Jährlicher Zubau und Rückbau von #Balkonsolarleistung in Deutschland mit Stand vom 03.12.2025.
Unplausible Inbetriebnahmedaten von 1900 bis 2017 wurden durch das Registrierungsdatum der #Steckersolaranlage ersetzt.
👉 Zusatzlesestoff:

Time For 9 o'clock #HashTagGames hosted by @…
#SellOutAShowOrMovie

Häufigkeitsverteilung der Bruttoleistung von #Balkonkraftwerk​en in #Deutschland mit Stand vom 04.10.2025.
Unplausible Inbetriebnahmedaten ersetzt, Sonderregelungen nach Solarpaket berücksichtigt.
👉 Zusatzlesestoff: Amortisation automatisch

General Staff: Russia has lost 1,114,380 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/10/04/general-staff-russia-has-lost.html

Q&A with Bill Ready, who became Pinterest's CEO in 2022, about changes during his tenure, winning over Gen Z, Pinterest's business model, AI content, and more (Jordyn Holman/New York Times)
https://www.nytimes.com/2025/10/26/business/pinterest-s…

How Pinterest Is Courting Gen Z With ‘Safer’ Social Media
Bill Ready, the company’s chief executive, is shifting the virtual pinboard platform toward shopping and things that “make you feel better.”

Time For 9 o'clock #HashTagGames hosted by @…
#NoseyNeighborASongOrPoem

Kumulativer Zubau von #Balkonsolarleistung in #Deutschland mit Stand vom 03.12.2025.
Die summierte Leistung aller offiziell registrierten #Steckersolaranlagen beträgt b…

Time For 9 o'clock #HashTagGames hosted by @…
#FactsOrMythsAboutFruit

General Staff: Russia has lost 1,111,480 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/10/01/general-staff-russia-has-lost.html

Was bei der #Elektromobilität die #Ladekabel sind,...
... ist bei den alternativen #Kraftstoffen anscheinend das

Entsorgungswirtschaft alarmiert: Frittenfett als Diebesgut
Der Bundesverband der deutschen Entsorgungswirtschaft beobachtet seit 2022 einen deutlichen Anstieg beim Diebstahl von Altspeisefett.

General Staff: Russia has lost 1,110,560 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/09/30/general-staff-russia-has-lost.html

Time For 9 o'clock #HashTagGames hosted by @…
#PersonalSpaceABook

Time For 9 o'clock #HashTagGames hosted by @…
#WoreOutWeekendASong

General Staff: Russia has lost 1,108,510 troops in Ukraine since Feb. 24, 2022: https://benborges.xyz/2025/09/28/general-staff-russia-has-lost.html