Tootfinder

Opt-in global Mastodon full text search. Join the index!

No exact results. Similar results found.
@heiseonline@social.heise.de
2026-07-07 06:43:00

3D-gedruckte, autonome VTOL-Drohne bekämpft Drohnen-Schwärme mit bis zu 560 km/h
Ganze Drohnenschwärme sollen verschieden Varianten des SkyDefense CobraJets bekämpfen können. Deren Außenhüllen stammen aus dem 3D-Drucker.

@mia@hcommons.social
2026-07-06 09:57:43

Erling Haaland is a legend: "Books give so many more people the chance to dream big, see new possibilities and find their own path."
(Slightly old news) Footballer donates ancient Viking book to Norway - BBC Newsround bbc.co.uk/newsround/articles/c

@Techmeme@techhub.social
2026-07-08 03:15:49

Lisbon-based Bizay, a customized products marketplace for SMBs, raised a $55M Series D led by Indico, as it aims to accelerate its US expansion (Tamara Djurickovic/Tech.eu)
tech.eu/2026/07/07/bizay-secur

Needs 2/3's of Senate and House to vote yes
and then 38 states to ratify.
bsky.app/profile/factpostnews.

@lightweight@mastodon.nzoss.nz
2026-07-08 03:12:08
@heiseonline@social.heise.de
2026-06-07 11:22:00

BGH zu Anom-Chats: Keine pauschalen Verwertungsverbote bei Krypto-Handys
Trotz im Dunkeln liegender Ermittlungen der US-Behörden im Ausland bleibt die digitale Beweisführung in tausenden Strafverfahren laut BGH prinzipiell zulässig.

"But Trump is good for Israel", they mutter as they hastily make their way down the stairs to the bomb shelter.
bsky.app/profile/omrimarian.bs

@heiseonline@social.heise.de
2026-07-06 16:21:00

Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source
Mistral AI veröffentlicht Leanstral 1.5 unter Apache-2.0-Lizenz. Das Modell löst laut Mistral 587 von 672 Putnam-Aufgaben und findet automatisiert Bugs in Code.

Democratic time is speeding up
so it is going to be a very ugly couple of months.
Batten down the hatches, folks.
bsky.app/profile/bencollins.bs

@heiseonline@social.heise.de
2026-07-07 05:00:49

Einige der zuletzt hier besonders häufig geteilten #News:
Leanstral 1.5: Mistrals KI-Modell für formale Beweise ist Open Source