Tootfinder

General Intuition, which trains AI agents in spatial reasoning using Medal.tv game clips, raised a $133.7M seed led by Khosla Ventures and General Catalyst (Rebecca Bellan/TechCrunch)
https://techcrunch.com/2025/10/16/gene

General Intuition lands $134M seed to teach agents spatial reasoning using video game clips | TechCrunch
Late last year, OpenAI reportedly tried to buy Medal and its vast trove of video game data for $500M. Today, the company spun out a frontier research lab that's using that data to build AI agents that understand how they move through space and time, a concept called spatial-temporal reasoning.

Check out today's Metacurity for the most critical infosec developments you might have missed over the weekend, including
--DPRK's Kimsuky forged a deepfake military ID using ChatGPT for S. Korean attack,
--Vastaamo hacker who released psychotherapy center records is set free,
--FBI issues warning of UNC6040 and UNC6395 targeting Salesforce users,
--Shiba Inu stopped damage from attack,
--DC AG charges Athena ATM operator for ignoring elderly scams
-…

DPRK's Kimsuky forged a deepfake military ID using ChatGPT for S. Korean attack
Vastaamo hacker who released psychotherapy center records is set free, FBI issues warning of UNC6040 and UNC6395 targeting Salesforce users, Shiba Inu stopped damage from attack, DC AG charges Athena ATM operator for ignoring elderly scams, much more

It Sure Looks Like Trump's Been Using An Autopen To Sign Recent Pardons | Crooks and Liars
https://crooksandliars.com/2025/11/it-sure-looks-trumps-been-using-autopen

Efficient Real-World Deblurring using Single Images: AIM 2025 Challenge Report
Daniel Feijoo, Paula Garrido-Mellado, Marcos V. Conde, Jaesung Rim, Alvaro Garcia, Sunghyun Cho, Radu Timofte
https://arxiv.org/abs/2510.12788

Efficient Real-World Deblurring using Single Images: AIM 2025 Challenge Report
This paper reviews the AIM 2025 Efficient Real-World Deblurring using Single Images Challenge, which aims to advance in efficient real-blur restoration. The challenge is based on a new test set based on the well known RSBlur dataset. Pairs of blur and degraded images in this dataset are captured using a double-camera system. Participant were tasked with developing solutions to effectively deblur these type of images while fulfilling strict efficiency constraints: fewer than 5 million model para…

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
Sebasti\'an Urciuoli (Universidad ORT Uruguay)
https://arxiv.org/abs/2510.12300

On the Formal Metatheory of the Pure Type Systems using One-sorted Variable Names and Multiple Substitutions
We develop formal theories of conversion for Church-style lambda-terms with Pi-types in first-order syntax using one-sorted variables names and Stoughton's multiple substitutions. We then formalize the Pure Type Systems along some fundamental metatheoretic properties: weakening, syntactic validity, closure under alpha-conversion and substitution. Finally, we compare our formalization with others related. The whole development has been machine-checked using the Agda system. Our work demonstrate…

Reducto, which uses OCR with vision language models to convert complex documents into inputs for LLMs, raised a $75M Series B led by a16z at a $600M valuation (Stephanie Palazzolo/The Information)
https://www.theinformation.com/articles/startup-using-ai-tran…

The Startup Using AI to Translate Documents Into Data
If you’ve ever uploaded a picture of a receipt to an expense report or read a PDF of a book online, you’ve likely used optical character recognition, a decades-old technique that converts images of typed, handwritten or printed text into text that’s editable on a computer.OCR might not sound ...

Optimal Solutions to Deflect Earth Crossing Objects Using Laser
Vivek Verma, Shribharath B., Mangal Kothari
https://arxiv.org/abs/2509.12033 https://arxiv.…

Optimal Solutions to Deflect Earth Crossing Objects Using Laser
This paper solves and analyzes a trajectory optimization problem to deflect Earth-crossing objects (ECOs) employing continuous thrust obtained using a laser ablative system. The optimal control is determined for various initial ECO-Earth configurations to achieve the desired miss distance. The formulation incorporates the gravitational effect on the object due to the Earth using the patched-conic method. The constrained trajectory optimization problem is solved using Non-Linear Programming (NLP…

I’m using Claude-code to get stuff done that I couldn’t have done before. I just spent a non-frustrating hour or so successfully changing a system written mostly in typescript (which I’ve never used) to do a bunch of things differently. I’m telling it what I want the system to do (with BDD tests where possible) and it’s figuring out the code changes. Several days work for a human, weeks if I had to find someone to do it for me. Like this:

North Korean hackers seen using blockchain to hide crypto-stealing malware https://therecord.media/north-korean-hackers-using-blockchain-hiding-malware

GiveDirectly plans to pilot a program using Google's AI-based Flood Hub, which provides forecast warnings, to send early aid to at-risk families in Bangladesh (Rest of World)
https://restofworld.org/2025/google-flood-hub-cash-aid/

AI flood forecasting allows aid to reach farmers before disaster strikes
Using Google’s Flood Hub, nonprofit trial program sends early warning and unconditional cash to workers.