Tootfinder

Kraken Technology, which designs and builds autonomous maritime platforms, such as uncrewed subsurface vessels, raised a $175M Series B at a $1B valuation (John Reynolds/Tech.eu)
https://tech.eu/2026/07/09/maritime-defence-startup-kraken-technology-…

Maritime defence startup Kraken Technology hits unicorn status
British-founded maritime defence startup Kraken Technology today said it had achieved unicorn status. The startup, founded in 2020 by former speedboat racer Mal Crease, said it had raised $175m in a Series B funding round at a $1bn valuation, according to a press release. The funding round was led by Digital Transformation Capital Partners (DTCP), with support from the British Business Bank, NATO Innovation Fund (NIF), Rheinmetall, Inocea group as well as VC firms Hico Ventures, Thesiger Capita…

from my link log —
The design principles of the Elixir type system.
https://arxiv.org/abs/2306.06391
saved 2026-06-04 https://dotat.at/:/D3ZFY.html

The Design Principles of the Elixir Type System
Elixir is a dynamically-typed functional language running on the Erlang Virtual Machine, designed for building scalable and maintainable applications. Its characteristics have earned it a surging adoption by hundreds of industrial actors and tens of thousands of developers. Static typing seems nowadays to be the most important request coming from the Elixir community. We present a gradual type system we plan to include in the Elixir compiler, outline its characteristics and design principles, a…

European Parliament triggers procedure to ban Alternative for Germany’s (AfD) EU party
https://www.euronews.com/my-europe/2026/07/07/european-parliament-triggers-procedure-to-ban-alternative-for-germanys-eu-party…

EU Parliament triggers procedure to ban AfD's EU Party
Europe of Sovereign Nations will now face a process that could see it stripped of its status as a European political party, losing funding in the process. Far-right MEPs from other groups opposed the decision. #EuropeNews

On Thursday June 25, 2026,
the Supreme Court, in a 6-3 decision,
granted Trump the power to terminate the Temporary Protective Status (TPS)
of hundreds of thousands of Haitians and Syrians living in America.
The ruling clears the path for Trump to extend his mass-kidnappings and deportations to over 350,000 people from Haiti.
Trump and his admin’s focus specifically on Haitian migrants isn't by chance.
What brought them into his focus was one of the …

Following the Trail: From Blood Tribe to the Supreme Court
How a neo-nazi campaign targeting Haitians in Ohio led all the way to the Supreme Court.

The US supreme court on Thursday ruled
in favor of the Trump administration’s bid to strip temporary protected status (TPS) from hundreds of thousands of Haitians and Syrians,
who were legally in the US and protected from deportation.
People with TPS are given the permission to live and work in the US because the Department of Homeland Security (DHS) deemed their home countries to be unsafe due to war, political instability or natural disasters.
In the past year, Tru…

US supreme court allows Trump administration to strip Haitians and Syrians of protected status
Decision effects hundreds of thousands of people who have permission to live and work in the US because their home countries are unsafe

It is not clear how quickly Haitians and Syrians will become vulnerable to removal from the United States,
but the ruling from the Supreme Court on Thursday makes them deportable.
Their work permits will expire, and they will lose their jobs and driver’s licenses.
The long-awaited ruling landed like a bomb on the Haitian community in South Florida,
the largest in the country.
It quickly reverberated through Massachusetts; New York; Springfield, Ohio; and other…

‘Nowhere to Go’: T.P.S. Ruling Plunges Many Migrants Into Limbo
The decision renders 1.3 million people from more than a dozen countries, many who have lived in the United States for decades, vulnerable to deportation.