Americans are neither as hostile to socialism as they once were
nor as positive toward capitalism as they have been in the past.
More important than polling, however, is the fact that for many Americans the “communist threat” is a total abstraction.
There are tens of millions of voters (
who were young children when the Soviet Union fell.
There are millions more who weren’t yet born.
For these Americans, communism is as much a concern as the missile gap …
Very interesting interview with a thermodynamicist who works for the Saudi government and has worked for several of the oil majors. You'd think he'd be a #GreenWashing. #GlobalWarming denier, but quite the contrary!
Bookmarked: HTRMoPo App #HTR Kraken model catalog, built on the HTRMoPo scheme.
As we get deeper into the week, the cybersecurity developments accelerate, so check out today's Metacurity for the most important news you should know, including
--Admin accelerates quantum push, advances timeline for quantum-safe security,
--Five Eyes warn AI cyber threat is months away,
--Tata breach exposes Apple and Tesla files,
--OpenAI launches Patch the Planet initiative,
--Meta pauses employee AI data collection after exposure,
--Two plead guilty in…
Evaluating Large Language Models for Symbolic Security Protocol Analysis
Paolo Modesti, Syed Ahmed, Ioannis Sfyrakis, Derek Enodolomwanyi
https://arxiv.org/abs/2607.20712 https://arxiv.org/pdf/2607.20712 https://arxiv.org/html/2607.20712
arXiv:2607.20712v1 Announce Type: new
Abstract: Security protocol verification relies on formal tools such as ProVerif and OFMC. This study evaluates whether Large Language Models (LLMs) can perform comparable analysis. We test GPT and DeepSeek in chat and reasoning modes over three runs on 130 obfuscated AnB/AnBx protocols covering 388 security goals, scored against ProVerif and OFMC. Chat models reach 69 to 81% recall at precision below 31%. Reasoning models reverse this trade-off, reaching 66.5% precision for GPT and 45.4% for DeepSeek, but detect just over half the attacks. DeepSeek's two modes share one underlying model, so the comparison isolates reasoning itself, which raises precision from 27.2% to 45.4%. The GPT contrast spans a model-version change and is only suggestive. All models perform worst on authentication goals: reasoning models detect well under half of injective and non-injective agreement attacks, whereas chat models over-flag them at low precision. Confidentiality is the exception, with F1 up to 95.7% in reasoning mode. Verdicts are unstable across runs, identical on 89.7% of goals for GPT but 74.0% for DeepSeek. Self-reported confidence is uniformly high yet shows no meaningful correlation with correctness. On this benchmark LLMs do not match formal verification, but may serve, at best, as pre-screening filters.
toXiv_bot_toot
They ask me about Trump's latest 'post.
We could spend the whole day reacting to every buffoonish spectacle coming out of the White House,
but that's exactly what they want:
for us to lose focus.
Politics used to have a limit of shame.
Today, it seems the strategy is simply to exhaust our capacity for astonishment.
🔥Don't be distracted by the noise;
watch what they are doing to your rights while you stare at the screen.
-- BARAC…
MORSE-PI -- Flexible and artefact-free image reconstruction for structural and functional QSM and other phase-critical imaging applications
Barbara Dymerska, Oliver Josephs, Benjamin James, Vahid Malekian, Nadine N. Graedel, Martina F. Callaghan
https://arxiv.org/abs/2606.21336 https://arxiv.org/pdf/2606.21336 https://arxiv.org/html/2606.21336
arXiv:2606.21336v1 Announce Type: new
Abstract: Phase imaging applications such as QSM are highly sensitive to noise amplifications, phase singularities, and other artefacts, particularly in challenging scenarios such as ultra-high field (7T), under-sampled or single-echo acquisitions. We present a novel image reconstruction method, MORSE-PI, designed to produce high-SNR, artefact-free, and singularity-free phase images for both structural and functional phase-based brain imaging. MORSE-PI extends our previous approach, MORSE, by introducing a Virtual Reference Coil (VRC). The VRC is constructed as a linear combination of coil sensitivity maps, with correlations enhanced between coil elements using the noise covariance matrix. Such a VRC ensures robust signal support across the entire brain and is used to correct phase offsets in the MORSE-derived coil sensitivity estimates, resulting in artefact-free, high SNR phase. Compared to GRAPPA with ASPIRE phase correction, MORSE-PI demonstrates greater robustness to artefacts such as noise amplification and aliasing, and shows improved reproducibility in structural imaging at both 3T and 7T. Unlike ESPIRiT and GRAPPA combined with adaptive coil combination methods, MORSE-PI yields singularity-free phase maps. MORSE-PI enables high-SNR reconstructions even for the most challenging scenarios, such as single-echo EPI at 7T. Its efficient, containerised implementation using the Gadgetron framework supports deployment on the MRI scanner console during measurements. MORSE-PI offers a flexible and computationally efficient solution for generating high-SNR, artefact- and singularity-free phase images in both single- and multi-echo GRE and EPI acquisitions. This makes it particularly well-suited for structural and functional QSM, as well as other phase-based MRI applications. Its robustness and rapid computational time facilitate efficient deployment on scanners across field strengths.
toXiv_bot_toot
Vision Pro: Zwei Features von visionOS 27 nur für das M5-Modell
Bislang gab es zwischen Vision Pro M2 und M5 nur geringe Unterschiede. Mit visionOS 27 beginnt Apple mit einer Absetzung der beiden Modelle.
ht…
Ccontrast Trump’s AI Jesus post with another Trump image that came into prominence last week:
As everyone else in the room is animated by concern for the fallen man’s well-being
—they’re elevating his legs to ensure that blood is flowing to his brain
—Trump is assuming the bored-to–petulant affect he normally shows when he’s not the center of attention.
He’s standing with his arms dangling at his side with his prepared remarks open on the desk in front of him.
He’…