Tootfinder

#Canada
Via SportsLogos.Net @sportslogosnet
·
6h
New "revitalized branding" for the Canadian Army was introduced today. To answer your question in advance, "I don't know"

I am enjoying listening to non-Linux-using Factorio YouTubers attempting to explain what Wube's latest news item about improved Linux support means. It's like an "only wrong answers" thread.
"So they've fixed this on Linux?"
"Well on GNOME"
"So all of Linux?"
"No, I think it wasn't an issue on KDE"
"Which one's KDE?"
"There's like 15 different desktops on Linux"…

This https://arxiv.org/abs/2405.07960 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csHC_…

AgentClinic: a multimodal agent benchmark to evaluate AI in simulated clinical environments
Diagnosing and managing a patient is a complex, sequential decision making process that requires physicians to obtain information -- such as which tests to perform -- and to act upon it. Recent advances in artificial intelligence (AI) and large language models (LLMs) promise to profoundly impact clinical care. However, current evaluation schemes overrely on static medical question-answering benchmarks, falling short on interactive decision-making that is required in real-life clinical work. Her…

This https://arxiv.org/abs/2311.04694 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csIR_…

Evaluating Generative Ad Hoc Information Retrieval
Recent advances in large language models have enabled the development of viable generative retrieval systems. Instead of a traditional document ranking, many generative retrieval systems directly return a grounded generated text as an answer to an information need expressed as a query or question. Quantifying the utility of the textual responses is essential for appropriately evaluating such generative ad hoc retrieval. Yet, the established evaluation methodology for ranking-based retrieval is …

2022 retro-link! https://arxiv.org/abs/2211.09029 - If multicast is the answer, what was the question?

ISW: Moskaus Militär kann bei weiterer Offensive wählen
Russlands Streitkräfte können dank vorangegangener Erfolge im ostukrainischen Donbassgebiet US-Militärexperten zufolge nun ihre weitere Angriffsrichtung wählen. Westlich der kürzlich eroberten Kleinstadt Awdijiwka gebe es jetzt mehrere taktische Möglichkeiten für Moskau, die Offensive auszuweiten, schrieben die Experte…
🐦

Institute for the Study of War (@TheStudyofWar) on X
NEW: Russian forces secured additional marginal tactical gains northwest and southwest of Avdiivka as of April 29, but have not made significant advances in the Avdiivka direction over the last 24 hours. (1/3)

Traitor to who, Marj? Your bff Putin?
Greene rips Johnson, House colleagues for advancing Ukraine aid bill: ‘Traitor’ | The Hill
https://thehill.com/homenews/house/4608518-greene-rips-johnson-house-colleagu…

Greene rips Johnson, House colleagues for advancing Ukraine aid bill: ‘Traitor’
Rep. Marjorie Taylor Greene (R-Ga.) ripped Speaker Mike Johnson (R-La.), and her House colleagues for advancing a massive foreign aid package for Ukraine, Israel and Taiwan.  Greene, who has opposed sending more money to Ukraine, expressed her anger at Johnson, for whom she already introduced a motion to vacate last month.  She reacted to Ukrainian…

Cowboys' undrafted rookie who got paid big time should hold unique advantage in OTAs, minicamp https://www.yardbarker.com/nfl/articles/cowboys_undrafted_rookie_who_got_paid_big_tim…

Cowboys' undrafted rookie who got paid big time should hold unique advantage in OTAs, minicamp
In the NFL, roster battles and fights for roles in the starting lineup aren't defined in May or June. Although voluntary workouts kick off in OTAs and mandatory minicamp follows shortly thereafter, the lack of live contact leaves a lot of things to be answered until late July when the pads come on in training camp. But a specific Dallas Cowboys rookie could be in a unique position to hit the ground running in OTAs and immediately put himself in a better position to make the 53-man roster in Sep…

This https://arxiv.org/abs/2301.02206 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csSE_…

Lessons from Formally Verified Deployed Software Systems (Extended version)
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with mechanically-checked proofs of correctness. Is this prospect confined to a few expensive, life-critical projects, or can the idea be applied to a wide segment of the software industry? To help answer this question, the present survey examines a range of projects…

EU-Ratspräsident: Müssen bei Flugabwehr für Ukraine vorankommen
EU-Ratspräsident Charles Michel hat den russischen Bombenangriff auf einen Baumarkt in der ukrainischen Großstadt Charkiw mit mehreren Toten als "widerwärtig" verurteilt. Es sei "kriminell", Zivilisten im Zuge des Angriffskriegs zu terrorisieren. "Gemeinsam können wir Russlands brutale Angriffe stoppen. Wir müssen dringend bei einer umf…
🐦

Charles Michel (@CharlesMichel) on X
The Russian strike on a Kharkiv supermarket is atrocious. Russia’s efforts to terrorise Ukrainian civilians as part of its war of aggression against Ukraine are criminal. Together, we can stop Russia’s brutal attacks. We need to urgently advance on a comprehensive air defence