Erdős-Problem Nr. 728 fast autonom von KI gelöst

(mathstodon.xyz)

KI-Tools haben Erdős-Problem Nr. 728 fast autonom gelöst und zeigen laut Terence Tao, wie KI und formale Beweiswerkzeuge das Schreiben mathematischer Forschungsarbeiten verändern könnten.

2 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Flock Safety hat das Passwort für Amerikas Überwachungsinfrastruktur 53-mal fest im Code hinterlegt

(nexanet.ai)

Ein bei Flock Safety 53-mal hartkodiert offengelegter ArcGIS-Schlüssel ermöglichte breiten Zugriff auf sensible US-Überwachungs- und Standortdaten.

2 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Von Mypy zu Ty: Leitfaden zur Einführung des ultraschnellen Rust-basierten Python-Type-Checkers vom Ruff-He...

(blog.pythonlibrary.org)

Ein Leitfaden zur Migration von Mypy zu Astrals ultraschnellem Rust-basierten Python-Type-Checker `ty` mit `uv`, GitHub Actions und pre-commit-Workarounds.

12 Punkte von darjeeling 2026-01-10 | Kommentare und Diskussion

Alpha-Version von Orion für Linux veröffentlicht

(help.kagi.com)

Kagi hat eine Alpha-Version seines Browsers Orion für Linux veröffentlicht, die zentrale UI-, Tab-, Lesezeichen- und Passwortfunktionen zum Testen bereitstellt.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Anthropic Engineering: Praktischer Leitfaden und Methodik für die Bewertung (Evals) von AI Agents

(anthropic.com)

Anthropic erklärt, wie sich AI Agents praxisnah bewerten lassen, indem Tool-Nutzung, mehrstufiges Schlussfolgern und gemischte Bewertungsmethoden gemeinsam geprüft werden.

16 Punkte von darjeeling 2026-01-10 | 1 Kommentare

Die besten Produkte der CES 2026

(nytimes.com)

NYT Wirecutter hebt die spannendsten CES-2026-Produkte hervor – von unbeholfenen Haushaltsrobotern über ultradünne TVs bis zu Geräten, die Fokus, Komfort und Alltagstauglichkeit verbessern.

9 Punkte von GN⁺ 2026-01-10 | Kommentare und Diskussion

Mathematik für die Informatik (2018) [PDF]

(courses.csail.mit.edu)

Das offene MIT-Lehrbuch „Mathematics for Computer Science“ behandelt systematisch die für Informatikstudierende zentralen Konzepte aus Logik, Beweisen, Kombinatorik, Wahrscheinlichkeit und Rekurrenzen.

5 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Stellungnahme des Cloudflare-CEO zur Geldbuße in Italien

(twitter.com/eastdakota)

Der Cloudflare-CEO äußerte sich auf Twitter kurz zu einer Geldbuße italienischer Behörden, ohne Details zu Grund, Höhe oder Rechtsgrundlage zu nennen.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

„Lend Me Your Ears“ – ein Gedächtnisspiel zum Erlernen des Klavierspiels nach Gehör

(lend-me-your-ears.specr.net)

Ein interaktives Browser-Spiel trainiert das musikalische Gehör, indem gehörte Melodien auf dem Klavier nachgespielt werden.

5 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Vietnamesische Regierung verbietet die Nutzung aller Banking-Apps auf gerooteten Smartphones

(xdaforums.com)

Vietnam untersagt per neuer Vorschrift Banking-Apps auf Geräten mit Root, entsperrtem Bootloader oder aktiver ADB-Verbindung.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Europäische Kommission veröffentlicht Aufruf zur Einreichung von Stellungnahmen zu Open Source

(lwn.net)

Die Europäische Kommission sammelt Stellungnahmen zu Open Source, um Europas digitale Souveränität und das Open-Source-Ökosystem zu stärken.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Anthropic blockiert die Nutzung von Claude-Code-Abonnements über Drittanbieter

(github.com/anomalyco)

Nutzer berichteten, dass Claude Max in OpenCode plötzlich ausfiel, was eine Debatte über Richtlinien, Missbrauch und Alternativen auslöste.

4 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

metacode – eine deklarative Kommentarsprache und ein Parser zur Standardisierung von Action Comments

(github.com/pomponchik)

Eine vorgeschlagene Bibliothek standardisiert Action Comments im Python-Ökosystem mit einer deklarativen Kommentarsprache und einem offiziellen Parser.

1 Punkte von xguru 2026-01-10 | Kommentare und Diskussion

Die unangemessen große Nützlichkeit der Fourier-Transformation

(joshuawise.com)

Ein Vortrag von Teardown 2025 zeigt, wie die Fourier-Transformation und OFDM komplexe Kommunikationsprobleme in beherrschbare Frequenzaufgaben zerlegen und so moderne Funktechnik ermöglichen.

11 Punkte von GN⁺ 2026-01-10 | 7 Kommentare

Nennen wir einen Mord einen Mord

(daringfireball.net)

Der Text bezeichnet die tödlichen Schüsse auf Renee Good in Minneapolis als Mord und hebt die Bedeutung ziviler Videoaufnahmen als entscheidende Beweise gegen offizielle Darstellungen hervor.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Embassy – Modernes Embedded-Framework auf Basis von Rust und async

(github.com/embassy-rs)

Embassy ist ein modernes Embedded-Framework auf Basis von Rust und async, das ohne RTOS sicheres Multitasking, Low-Power-Betrieb und umfangreiche Hardware-Unterstützung bietet.

4 Punkte von GN⁺ 2026-01-10 | 2 Kommentare

Sopro TTS: 169-Millionen-Parameter-TTS-Modell mit Zero-Shot-Stimmklonen, das auf der CPU läuft

(github.com/samuel-vitorino)

Sopro TTS ist ein leichtgewichtiges englisches TTS-Modell mit 169 Millionen Parametern, das Zero-Shot-Stimmklonen und Streaming unterstützt und sogar auf der CPU schnell läuft.

3 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Behörden in Minnesota haben keinen Zugang zu Beweisen im Fall eines tödlichen ICE-Schusses … FBI lehnt geme...

(pbs.org)

Minnesotas Behörden sagen, dass sie nach dem tödlichen ICE-Schuss keinen Zugang zu Beweisen haben, während das FBI gemeinsame Ermittlungen ablehnt.

1 Punkte von GN⁺ 2026-01-10 | 1 Kommentare

Werden KI-Coding-Assistenten zunehmend schlechter?

(spectrum.ieee.org)

Neuere KI-Coding-Assistenten erzeugen offenbar häufiger stille Fehler, was auf verzerrte Lernsignale und sinkende Datenqualität hindeutet.

10 Punkte von GN⁺ 2026-01-10 | 1 Kommentare