
2025-06-23 08:07:09
The Proof Analysis Problem
Noel Arteche, Albert Atserias, Susanna F. de Rezende, Erfan Khaniki
https://arxiv.org/abs/2506.16956 https://
The Proof Analysis Problem
Noel Arteche, Albert Atserias, Susanna F. de Rezende, Erfan Khaniki
https://arxiv.org/abs/2506.16956 https://
London-based Definely, whose AI tools help law firms draft and review legal contracts, raised a $30M Series B led by Revaia, with Clio and others participating (Cate Lawrence/Tech.eu)
https://tech.eu/2025/06/09/uk-legaltech-de…
Packers releasing Pro Bowl cornerback Jaire Alexander: Sources https://www.nytimes.com/athletic/6413409/2025/06/09/jaire-alexander-green-bay-packers-release/
Another useful article:
"What to know about Trump’s deployment of National Guard troops to LA protests"
https://apnews.com/article/insurrection-act-trump-troops-newsom-military-national-guard-…
wiki_science: Wikipedia Map of Science (2020)
A network of scientific fields, extracted from the English Wikipedia in early 2020. Nodes are wikipedia pages representing natural, formal, social and applied sciences, and two nodes are linked if the cosine similarity of the page content is above a threshold. See <http://www.s…
this is the first time since 2020 i've been okay with dailying linux on my desktop with at least 90% of my stuff working, and also the first time i've felt like VR on linux on my quest 3 is nearly as usable as it is on windows. most of the online multiplayer games i've been playing don't block linux too, shoutout splitgate 1/2, the finals and RIP xdefiant
An informal invitation to Laurie Anderson was issued in fall 2020, no word back yet
Enhancing air-shower observations: Results from an IceCube Surface Array Prototype Station
Megha Venugopal (for the IceCube Collaboration)
https://arxiv.org/abs/2506.09806
A note on multi-transitivity in non-autonomous discrete systems
Hongbo Zeng
https://arxiv.org/abs/2505.24657 https://arxiv.org/pdf/25…
Impact of the WHO's 90-70-90 Strategy on HPV-Related Cervical Cancer Control: A Mathematical Model Evaluation in China
Hua Liu, Chunya Liu, Yumei Wei, Qibin Zhang, Jingyan Ma
https://arxiv.org/abs/2506.06405
This https://arxiv.org/abs/2404.13164 has been replaced.
link: https://scholar.google.com/scholar?q=a