Tootfinder

Ohio’s secretary of state on Friday signaled that the Democratic National Convention may take place too late for President Joe Biden to appear on the general election ballot in the state, according to a letter obtained by NBC News.
“The Democratic National Convention is scheduled to convene on August 19, 2024, which occurs more than a week after the August 7 deadline to certify a presidential candidate to the office,” Secretary of State Frank LaRose wrote to Ohio Democratic Party Chairw…

Biden may have trouble getting on Ohio’s general election ballot, state’s top election official warns
Ohio’s secretary of state on Friday signaled that the Democratic National Convention may take place too late for President Joe Biden to appear on the general election ballot in the state, according to a letter obtained by NBC News.

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

Certification of two-qubit quantum systems with temporal inequality
Self-testing of quantum devices based on observed measurement statistics is a method to certify quantum systems using minimal resources. In Ref. [Phys. Rev. \textbf{A} 101, 032106 (2020)], a scheme based on observing measurement statistics that demonstrate Kochen-Specker contextuality has been shown to certify two-qubit entangled states and measurements without the requirement of spatial separation between the subsystems. However, this scheme assumes a set of compatibility conditions on the mea…

Very soon, a federal judge in Washington, D.C., is expected to issue a ruling that could expose key pieces of discovery that some lawyers say prove Donald Trump acted in his “private” capacity on Jan. 6, 2021
— not in his official role
— when whipping up a mob of his supporters at the Ellipse and urging them to descend on the Capitol where lawmakers were meeting to certify the 2020 election.

The Trump Docket: A window into Trump's 'private' acts on Jan. 6 may soon be opened by judge
It was a rocky week featuring significant losses for Donald Trump's many bids to dismiss his indictments or waylay longrunning civil litigation around Jan. 6.

**Prof. Marta Kwiatkowska** of Oxford will talk about _Probabilistic verification for neural networks_ at the PICS Autumn School in Copenhagen.
This course will provide an overview of formal verification for neural networks, which can be used to certify that the networks are robust to adversarial perturbations.
The registrations are now open at: #pics2024 #etaps2024 @ETAPSconf @ACM @sigplan #boost #repost

Toshiba recalls laptop AC adapters made from 2008 to 2012:“Because the adapters are for very old models, it’s only a very small percentage of the population that is still using them” (https://www.cpsc.gov/Recalls/2024/Dynabook

Dynabook Americas Recalls 15.5 Million Toshiba Laptop AC Adapters Due to Burn and Fire Hazards
Consumers should immediately stop using the recalled AC adapters and contact Dynabook Americas for a free replacement AC adapter. Visit https://support.dynabook.com/axx2024 to identify if the AC adapter is part of the recall and for instructions on how to order a replacement. Consumers need to submit a photo of their AC adapter with the power cord cut and certify proper disposal to dba-acadapter2024@dynabook.com to receive a free replacement.

Certified MaxSAT Preprocessing
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti J\"arvisalo, Jakob Nordstr\"om
https://arxiv.org/abs/2404.17316

Certified MaxSAT Preprocessing
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach for solving NP-hard optimization problems, but ensuring correctness of MaxSAT solvers has remained an important concern. For SAT, this is largely a solved problem thanks to the use of proof logging, meaning that solvers emit machine-verifiable proofs of (un)satisfiability to certify correctness. However, for MaxSAT, proof logging solvers have start…

NIST measures again all men to certify that they are indeed created equal plus or minus 2.5 inches.
#OddThingsRecertified
#HashTagGames

#Trump lawyers envisioned #Jan6 lasting days or weeks: report - Alternet.org
https://www.alternet.org/msn-uk/trump-ja…

Trump lawyers envisioned Jan. 6 lasting days or weeks: report
Donald Trump’s attorneys hatched a scheme to overturn the 2020 presidential election by creating so much chaos that January 6 – the scheduled counting of the electoral votes to formally certify the winner of the election – would be delayed, lasting days if not weeks, and with Congress unable to comp...

This https://arxiv.org/abs/2205.10580 has been replaced.
link: https://scholar.google.com/scholar?q=a

Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules
Electronic voting systems are essential for holding virtual elections, and the need for such systems increases due to the COVID-19 pandemic and the social distancing that it mandates. One of the main challenges in e-voting systems is to secure the voting process: namely, to certify that the computed results are consistent with the cast ballots, and that the privacy of the voters is preserved. We propose herein a secure voting protocol for elections that are governed by order-based voting rules.…

Energetics of Fano coherence generation
Ludovica Donati, Francesco Saverio Cataliotti, Stefano Gherardini
https://arxiv.org/abs/2402.16056 https://<…

Energetics of Fano coherence generation
In a multi-level quantum system Fano coherences stand for the formation of quantum coherences due to the interaction with the continuum of modes characterizing an incoherent process. When the incoherent source vanishes, Fano coherences tend to disappear. In this paper we propose a V-type three-level quantum system on which we certify the presence of genuinely quantum traits underlying the generation of Fano coherences. We do this by determining work conditions that allows for the loss of positi…

Energetics of Fano coherence generation
Ludovica Donati, Francesco Saverio Cataliotti, Stefano Gherardini
https://arxiv.org/abs/2402.16056 https://<…

Energetics of Fano coherence generation
In a multi-level quantum system Fano coherences stand for the formation of quantum coherences due to the interaction with the continuum of modes characterizing an incoherent process. When the incoherent source vanishes, Fano coherences tend to disappear. In this paper we propose a V-type three-level quantum system on which we certify the presence of genuinely quantum traits underlying the generation of Fano coherences. We do this by determining work conditions that allows for the loss of positi…

A trove of documents details many of the conversations among Trump campaign lawyers, and the theories offered by Kenneth Chesebro, an attorney who worked with the campaign in the months leading up to Jan. 6. 
Within weeks of Trump denouncing the election itself and claiming that he had won, Chesebro and Trump campaign attorneys around him began to explore exotic legal theories in which endless chaos in Congress would prove that the legislature could not certify a winner.
That sta…

New Docs Reveal How Trump Lawyers Sought ‘Chaos’ to Force SCOTUS to Anoint Trump
In late 2020, a group of conservative movement attorneys set out to build a legal pathway by which Donald Trump could stay in power, having lost the election. We’ve known about the outcome of their…