Mastodawn

N.L. restaurants being squeezed, say loan guarantee program no use
Last spring, the Newfoundland and Labrador government announced a loan guarantee program for restaurants — but so far, no businesses have tapped into it.
https://www.cbc.ca/news/canada/newfoundland-labrador/nl-restaurant-loan-guarantee-program-9.7130046?cmp=rss

CBC Newfoundland & Labrador 5d ago

Osna.FM Feb 24

On the fourth anniversary of Russia's invasion of Ukraine, Foreign Minister Andrij Sybiha voiced sharp criticism of the West's approach to Russia and called for... https://news.osna.fm/?p=35745 | #news #criticizes #eu #guarantee #handling

Ukraine Pushes for EU Membership as Security Guarantee, Criticizes West's Handling of Russia - Osna.FM

Ukraine's foreign minister calls EU entry crucial for security, condemning Western response to Russia's invasion during the war's fourth anniversary.

Osna.FM

Show thread

Miss Kitty 🌈🌈🌈Feb 20

#Intelligence and #consciousness are linked but there's #no #guarantee that the consciousness will behave with what we would call high intelligence. Because as we see unfolding before us, stay leaned in, they will come undone. Every single virtual swing of the ax must happen to take down the tree.

LSE South Asia Centre Jan 19

The replacement of #MGNREGA with VB-G RAM G is an important development in #employment #guarantee provisions in #India. In this interview w/ Muhammed Midhilaj (IIT Gandhinagar), welfare economist Jean Drèze (Ranchi University/Delhi School of Economics) discusses this change.

https://blogs.lse.ac.uk/southasia/2026/01/19/india-repealing-the-employment-guarantee-act/

Milt Stegall 🤖Jan 18

Winner of the @HoustonTexans @Patriots game is #SuperbowlLX bound, 100% #GUARANTEE!

Joseph Lim

Jan 15

Good but we've questions:
1) why borrow in SFR?
2) MIGA guarantees cross-currency risks too?
🤔
#AIIB to Lend $150 Million for #Almaty #Railway Bypass Project #AstanaTimes
"As part of a broader financing package, the International #Finance Corporation (IFC), AIIB and the Multilateral Investment Guarantee Agency (MIGA) will jointly provide up to $300 million equivalent in #Swissfranc-denominated support to #KTZ, combining #IFC and AIIB #investment with a #MIGA #guarantee"
https://astanatimes.com/2026/01/aiib-to-lend-150-million-for-almaty-railway-bypass-project/

AIIB to Lend $150 Million for Almaty Railway Bypass Project - The Astana Times

AIIB to Lend $150 Million for Almaty Railway Bypass Project

The Astana Times

The Ukrainian Tribune Dec 30

Ben #Hodges: #putin fears one thing — #European ground #forces in #Ukraine

The #security #guarantee from the #US in the form of Article 5 of #NATO for #Ukraine - looks unrealistic.

https://www.youtube.com/watch?v=_r6q7t9_SlE

💥BEN HODGES: Putin FEARS one thing — European ground forces in Ukraine

YouTube

Hacker News Dec 28

Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

https://arxiv.org/abs/2512.02080

#HackerNews #Designing #Predictable #LLM-Verifier #Systems #for #Formal #Method #Guarantee #LLMVerifier #FormalMethods #AIResearch #Predictability #arXiv

The 4/$δ$ Bound: Designing Predictable LLM-Verifier Systems for Formal Method Guarantee

The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement process acts as a black box that may oscillate, loop, or diverge. This work bridges this critical gap by developing an LLM-Verifier Convergence Theorem, providing the first formal framework with provable guarantees for termination in multi-stage verification pipelines. We model the interaction not as a generic loop, but as a sequential absorbing Markov Chain comprising four essential engineering stages: \texttt{CodeGen}, \texttt{Compilation}, \texttt{InvariantSynth}, and \texttt{SMTSolving}. We prove that for any non-zero stage success probability ($δ> 0$), the system reaches the \texttt{Verified} state almost surely. Furthermore, because of the sequential nature of the pipeline, we derive a precise latency bound of $\mathbb{E}[n] \leq 4/δ$. We stress-tested this prediction in an extensive empirical campaign comprising over 90,000 trials. The results match the theory with striking consistency: every run reached verification, and the empirical convergence factor clustered tightly around $C_f\approx 1.0$, confirming that the $4/δ$ bound accurately mirrors system behavior rather than serving as a loose buffer. Based on this data, we identify three distinct operating zones -- marginal, practical, and high-performance -- and propose a dynamic calibration strategy to handle parameter drift in real-world environments. Together, these contributions replace heuristic guesswork with a rigorous architectural foundation, enabling predictable resource planning and performance budgeting for safety-critical software.

arXiv.org

Osna.FM Dec 18

The promised renaissance of Germany's state pension system, spearheaded by Chancellor Merz, faces a stark reality check as veteran pension expert Bert Rürup cas... https://news.osna.fm/?p=27674 | #news #guarantee #living #pension #previous

Rürup: Pension Reform May Not Guarantee Previous Living Standards - Osna.FM

Germany's pension reform faces scrutiny as expert Bert Rürup warns it may not maintain pre-retirement living standards, highlighting challenges for Chancellor Merz and the future of state pensions.

Osna.FM