Tägliche Übersicht · Hacker News
· 89 Hacker News
Der Mathematiker Tristan Buckmaster berichtet, dass er und Levent Alpöge mit Hilfe von LLMs den Beweis für das finite-time Blowup der inkompressiblen Euler-Gleichungen mit glattem Forcing erbracht ha…
OpenAI gibt bekannt, dass ein internes KI-System einen Beweis für die Existenz und Glattheit der Navier-Stokes-Gleichungen gefunden hat, eines der Millennium-Probleme. Der Beweis zeigt, dass eine gla…
Mistral hat in einer Series-D-Runde 3 Milliarden Euro zu einer Bewertung von über 21 Milliarden Euro eingesammelt – die größte Eigenkapitalrunde, die je ein europäisches Technologieunternehmen abgesc…
LibreOffice 26.8, veröffentlicht am 26. August, wurde zur beliebtesten Version des freien Office-Pakets. Innerhalb einer Woche wurde der Installer über eine Million Mal heruntergeladen – ohne Updates…
Meta hat Muse angekündigt, einen persönlichen KI-Agenten, der über eine eigene sichere virtuelle Maschine mit Browser verfügt. Muse kann Termine buchen, Formulare ausfüllen, Einkäufe tätigen und mit…
Jellyfin 12.0 ist da und bringt eine neue Versionierungslogik: Die führende „10“ wird fallengelassen, sodass das Release nun als 12.0 erscheint. Kern der Arbeit sind Performance-Verbesserungen auf Ba…
Das menschliche Genom besteht aus etwa 3 Milliarden Basenpaaren, doch der Großteil davon ist unerforscht. Google DeepMind hat nun den AlphaGenome Atlas vorgestellt, eine Datenbank, die die Auswirkung…
Kenton und seine Freunde haben ein Haus gebaut, das für LAN-Partys optimiert ist. Im Keller befinden sich 12 in die Wände eingebaute Spielstationen, die sich bei Nichtgebrauch zusammenklappen lassen.…
Eine Untersuchung von Gamers Nexus und Level1Techs zeigt: LG-Smart-TVs sammeln fast ununterbrochen Daten über ihre Besitzer – selbst wenn sie offline oder im Standby-Modus sind. Die Geräte scannen WL…
Seit dem Google-Core-Update vom März 2024 werden neue Domains bei Google massiv benachteiligt: Oft erscheint nur die Hauptseite in den Suchergebnissen, während alle Unterseiten unsichtbar bleiben. Da…
Das Open-Source-Projekt i-have-adhd von ayghri ist ein Skill für Coding-Assistenten wie Claude Code, Codex, Gemini CLI und andere. Es erzwingt ADHS-freundliche Ausgaben: Die Antwort steht zuerst, Sch…
Ein Sicherheitsforscher hat die RSA-Schlüssel einer kanadischen Zertifizierungsstelle aus den 90ern faktorisiert. Die 512-Bit-Schlüssel von E-Certify waren in Netscape 4.51 als Root-Zertifikate entha…
Terence Tao warnt, dass KI-Systeme offene Mathematikprobleme schneller lösen als Forscher sie formulieren können. Er vergleicht die Situation mit einer Region, die von Ozean umgeben ist, aber an Trin…
Blackmagic Design hat DaVinci Resolve 21.1 veröffentlicht. Das große Update integriert KI-Assistenten wie Claude und ChatGPT Codex, die per natürlicher Sprache Aufgaben wie Medienorganisation, Highli…
Nishant Joshi verwandelt den E-Reader Xteink X3 in einen vollwertigen Drucker, indem er das Internet Printing Protocol (IPP) implementiert und den MacBook-Druckdialog als Ziel nutzt. Trotz nur 400 KB…
Eine satirische Erzählung aus der Perspektive eines 'Associate Slop Doula' bei Mondo Mayo, einem Unternehmen, das Mayonnaise, Software und Überwachungstechnologie verkauft. Der Protagonist muss sechs…
Eine Analyse von CipherCue zeigt: Von 44.143 europäischen Unternehmen mit erkanntem CDN nutzen 89,6 % Cloudflare. In den Niederlanden sind es sogar 95,6 %, in Deutschland 81,4 %. Diese Konzentration…
Paramount steht in der Kritik, eine als 'Astroturf' bezeichnete Schein-Graswurzelorganisation namens Neighbors for Strong Communities einzusetzen, um in Kalifornien per SMS Druck auf Generalstaatsanw…
OpenAI hat mit ChatGPT Images 2.5 ein neues Bildmodell vorgestellt, das schärfere Details, natürlichere Beleuchtung und schnellere Generierung bietet. Die Latenz wurde im Vergleich zu Images 2.0 um b…
Eine investigative Recherche von 404 Media deckt auf: Die US-Grenzschutzbehörde Border Patrol betreibt geheime Predictive-Policing-Einheiten namens Predictive Intelligence Targeting Teams (PITT), die…
Terrastruct hat TALA, seinen Autolayout-Algorithmus für Software-Architekturdiagramme, unter der MPL-2.0-Lizenz als Open Source veröffentlicht. TALA erzeugt orthogonale Layouts, die an Whiteboard-Zei…
Die Veröffentlichung von GLM 5.3-flash durch Z.ai als Open-Weight-Modell macht es möglich, dass praktisch jeder mit ausreichend Erspartem ein Modell mit nahezu Frontier-Fähigkeiten lokal ausführen ka…
- ▲ 282Benchmark zeigt: Qwen3.8 27B übersteht 4-Bit-Quantisierung unbeschadet, kollabiert aber bei 1 Bit
Wie viel GPU-RAM braucht man wirklich, um Qwen3.8 27B ohne Qualitätsverlust auszuführen? Das volle BF16-Modell wiegt 55 GB und sprengt damit die meisten Consumer-GPUs. Doch die 17 GB große Q4_K_M-Var…
Ein neuer Fork des Deltafin-Projekts bringt das vollständige, unbeschnittene 2,8-Billionen-Parameter-Modell Kimi K3 auf Apple Silicon. Statt die Expertengewichte zu komprimieren, streamt das Projekt…
Nach ihrem Emmy-Gewinn für die beste Animationsserie verkünden Trey Parker und Matt Stone eine überraschende Änderung: Aus „South Park“ wird „South America“. In einer satirischen Anspielung auf die j…
Die BBC erkundet, wie der Kontakt mit Erde, Gras und Moos die mikrobielle Vielfalt der Haut fördert und das Immunsystem stärkt. Studien aus Finnland zeigen, dass bereits 20 Sekunden im Erdreich die H…
Die Geschichte der Heiligen Barlaam und Josaphat, die in der katholischen und orthodoxen Kirche verehrt werden, ist im Kern die Lebensgeschichte des Buddha. Ursprünglich eine buddhistische Erzählung,…
Inception Labs veröffentlicht Mercury 2.5, das nach eigenen Angaben größte je trainierte Diffusions-Sprachmodell. Es bietet eine um 40 % höhere Intelligenz als Mercury 2, erreicht 1.107 Token pro Sek…
Copperhead ist ein Open-Source-KI-Agent, der Leiterplatten (PCBs) entwirft, dokumentiert und verifiziert – direkt auf Basis Ihrer KiCad-Dateien. Beschreiben Sie eine Änderung oder ein Produktbriefing…
Der Artikel von vale.rocks präsentiert eine Sammlung veralteter HTML-Snippets und Artefakte, die einst aus Gründen der Browserkompatibilität, Drittanbieter-Integrationen oder Plattform-Hacks in Websi…
Der CH-53 Sea Stallion von Sikorsky nutzt seit den 1960er-Jahren ein ungewöhnliches System zur Risserkennung in den Rotorblättern: IBIS (Inflight Blade Monitoring System). Die Blätter sind mit Sticks…
Eine neue Studie zeigt, dass große Sprachmodelle (LLMs) durch adaptive Erkundung soziale Vorurteile entwickeln können, die über ihre Trainingsdaten hinausgehen. Die Forscher simulierten Szenarien, in…
Bedrock 2.0, das minimalistische Starter-Kit für Emacs, ist erschienen. Die neue Version setzt auf Emacs 31 und verzichtet in der Basis weiterhin auf Drittanbieter-Pakete. Stattdessen bietet es besse…
- ▲ 187Coding-Agenten scheitern an Test- und Verifikationstechniken – selbst mit expliziten Anweisungen
Dan Luu untersuchte, ob Coding-Agenten bessere Software schreiben, wenn man ihnen explizit Test- oder Verifikationstechniken wie TDD, Property-based Testing oder formale Methoden (Lean 4, TLA+, Verus…
Die Regierung von Premierminister Anthony Albanese hat den Entwurf eines „Digital Duty of Care“-Gesetzes zur Konsultation vorgelegt. Es verpflichtet Plattformen wie soziale Medien, Online-Spiele und…
Ein 92-jähriger Mathematiker und ein Teenager, die über das Internet zusammenarbeiteten, haben ein seit Jahrzehnten offenes Problem gelöst. Ihre ungewöhnliche Partnerschaft zeigt, wie moderne Kommuni…
Der NYU-Mathematiker Tristan Buckmaster veröffentlichte drei Beweise, die einen wichtigen Schritt zur Lösung des Navier-Stokes-Problems darstellen – eines der sieben Millennium-Probleme. Zusammen mit…
Der LLM Attention Visualizer macht den Attention-Mechanismus großer Sprachmodelle sichtbar. Tippen oder fahren Sie mit der Maus über generierte Token, um zu sehen, welche vorherigen Token die Generie…
Das FreeBSD-Projekt hat FreeBSD 14.5-RELEASE veröffentlicht, die sechste Version des stable/14-Zweigs. Dieses Release konzentriert sich auf Wartung und enthält hauptsächlich Fehlerbehebungen, Treiber…
In seinem Blog beschreibt Maxime Chevalier-Boisvert, wie er den Value-Typ seines interpretierten Sprachprojekts Plush von einem 16-Byte-Rust-Enum auf ein 64-Bit-Wort mit Low-Bit-Tagging umgestellt ha…
Diese Seite rendert Flächen wie Boy's Surface oder die Morin-Fläche im Stil eines handgezeichneten Bilderbuchs – mit Federstrichen statt Pixeln. Die Silhouetten werden als Nullstellen von n·v auf dem…
Fast vierzig Jahre lang dokumentierte der Architekturkritiker und Fotograf John Margolies (1940–2016) die eigenwilligsten Bauwerke und Schilder entlang der amerikanischen Highways – von Motels in Blo…
Die neueste PISA-Studie der OECD zeigt einen deutlichen Leistungsabfall bei 15-Jährigen in den OECD-Ländern. Im Vergleich zu 2022 sanken die Durchschnittswerte in Mathematik um 13 Punkte und im Lesen…
Eine technische Störung bei der britischen Flugsicherung Nats hat am Dienstag zu massiven Beeinträchtigungen im Luftverkehr geführt. Hunderte Flüge wurden gestrichen, Dutzende umgeleitet, unter ander…
Ein Entwickler testet zehn Kombinationen aus Modell und Harness (Codex, OMP, OpenCode, DSH) mit derselben Three.js-Aufgabe: einen Sci-Fi-Hangar mit Drohnen, Warnlichtern und Kameraflug zu bauen. Die…
TradingAgents ist ein Open-Source-Framework von TauricResearch, das den Arbeitsablauf einer Handelsfirma mit spezialisierten LLM-Agenten nachbildet. Fundamental-, Sentiment-, Nachrichten- und Technis…
Eine Untersuchung von Gamers Nexus und Level1Techs zeigt, dass LG-Smart-TVs weiterhin massiv die Privatsphäre verletzen. Die Geräte zeichnen Gespräche auf, sogar im Standby, transkribieren sie im Kla…
Interne Memos aus US-Polizeibehörden, die dem Guardian vorliegen, zeigen wachsende Besorgnis über Ray-Ban-Meta-Smart-Glasses. Beamte von Maine bis Kalifornien befürchten, dass Verdächtige die unauffä…
GamersNexus veröffentlicht ein zweistündiges Video über angebliche Sicherheitslücken und Datenschutzprobleme bei LG-Smart-TVs. Der Autor analysiert die Behauptungen kritisch: Während einige Funktione…
Im Rahmen einer ZX-Spectrum-Tour experimentiert der Autor mit der 1-Bit-Soundausgabe des Heimcomputers. Er implementiert eine PCM-Wiedergabe mit 16 kHz Abtastrate und erkundet die Grenzen der Pulswei…
Herdr, das Terminal-UI für die Verwaltung von Agents und lokalen Maschinen, erreicht mit Version 0.9 einen Meilenstein: Über 700.000 Downloads und fast 1.000 Plugins. Die neue Multi-Machine-Unterstüt…
Google DeepMind hat mit dem AlphaGenome Atlas eine Plattform vorgestellt, die Vorhersagen für die Auswirkungen aller 9 Milliarden möglichen Einzelbuchstaben-Varianten im menschlichen Genom enthält. D…
Arm stellt mit dem Mali G2-Ultra NX seine erste AI-native GPU vor, die neuronale Beschleuniger direkt in die Shader-Kerne integriert. Dadurch ermöglicht sie Techniken wie Neural Super Sampling (NSS)…
Das Y Combinator Early Access Network ist eine exklusive Gruppe von Senior-Technologieführern, die viermal jährlich frühzeitigen Zugang zu handverlesenen Enterprise-AI-Startups aus dem YC-Portfolio e…
C* ist ein neuer Sprachansatz, der C um eingebaute Verifikationsfähigkeiten erweitert. Entwickelt von einem Team um Yiyuan Cao und Qinxiang Cao, zielt C* darauf ab, die Kluft zwischen Programmierung…
Ein Blick in die virtuellen Maschinen, auf denen mobile Agenten wie Claude Code und Instinct laufen: Claude Code nutzt eine Firecracker-MicroVM mit einem eigenen Rust-Init-Prozess, während Instinct a…
Applied Compute Agent Cloud (AC2) ist eine Researcher-Cockpit-Plattform für die komplette Modellentwicklung, Inferenz und kontinuierliches Lernen. Sie bietet SDK-Pakete für Datensätze, Workloads, Ses…
Martin Uecker erklärt in diesem technischen Blogbeitrag, wie GCC verschachtelte Funktionen implementiert. Im Gegensatz zur traditionellen Methode mit Frame-Pointern sammelt GCC alle von der inneren F…
In seinem Open-Access-Buch "The Microeconomics of Artificial Intelligence" analysiert Joshua Gans, Professor an der University of Toronto, KI als Vorhersagetechnologie. Er argumentiert, dass der Haup…
Dieser technische Leitfaden erklärt die Grundlagen der Computerspeicher-Hierarchie und die internen Abläufe von SSDs. Er behandelt die Struktur von Speicher, die CPU-Cache-Architektur, Speicher-Inter…
Dieser Artikel erklärt, wie Animation in Bevy funktioniert, anhand eines einfachen mentalen Modells und eines Spaziergangs durch das offizielle Animated-Mesh-Beispiel. Er behandelt die Rollen von Ani…
In ihrem Essay argumentiert die Autorin, dass Design immer Verhaltensänderung ist und dass Designer daher unweigerlich enttäuschte Optimisten sind: Sie sehen die Welt, wie sie sein könnte, und erlebe…
Darshan Makwana untersucht, ob sich aus dem J-Raum (Jacobian-Lens) von LLMs generelle Steering-Vektoren ableiten lassen, indem man nur einige Konzept-Tokens invertiert. Am Beispiel von Qwen3-1.7B zei…
Ein Spieleentwickler hat die Rechte an Professor Mmaa's Lecture erworben, einem 1953 erschienenen Roman über Termiten, den Bertrand Russell empfahl. Statt des üblichen Weges über einen Verlag nutzte…
Jane Street hat ein Puzzle veröffentlicht, bei dem ein ASIC-Chip aus einer GDS-Datei zurückentwickelt werden muss. Kjartan van Driel und Leander Post zeigen, wie sie die Schaltung rekonstruiert haben…
OUI-1 ist ein feinabgestimmtes DiffusionGemma-Modell, das Benutzeroberflächen in openui-lang generiert. Mit nur 4B aktiven Parametern erreicht es 71,7 % im Generative UI Benchmark – 5,5-mal mehr als…
Der Autor verfolgt einen einzelnen Aufruf von np.add(a, b) mit float64-Arrays durch den gesamten NumPy-2.5.2-Quellcode: von der Python-Ebene über die ufunc-Dispatch- und Typauflösungsmechanismen bis…
Neue Forschungsergebnisse zeigen, dass der ausgestorbene Tasmanische Tiger, auch Beutelwolf genannt, spezialisierte Fresswerkzeuge besaß, die ihn von Wölfen und allen anderen lebenden Raubsäugetieren…
Ein Entwickler berichtet, wie sein Geschäftspartner das gesamte Payments-Backend-Modul an einem einzigen Tag mit KI-Unterstützung („Vibe-Coding“) erstellte und einen 5.236 Zeilen umfassenden GitHub-P…
Die Colorlight 5A-75B, ursprünglich eine Empfängerkarte für LED-Displays, hat sich dank Reverse Engineering zu einem beliebten Low-Cost-Entwicklungsboard für FPGAs entwickelt. Mit einem Lattice ECP5-…
AlphaGeo analysiert mit dem Climate Risk & Resilience Index (CRRI) die 72 größten Städte der Welt. Der Bericht trennt physische Gefährdung von der anpassungsbereinigten Risikobewertung (RAJ) und zeig…
Ein Meinungsartikel der Financial Times argumentiert, dass die USA unter mehreren Präsidenten eine Reihe außenpolitischer Fehlschläge erlitten haben – vom Irak bis Afghanistan – und dass jüngere Gene…
Eine groß angelegte randomisierte Studie in 243 französischen Gymnasien mit 9.628 Schülern zeigt: Ein kostenloses digitales Zeitungsabonnement für ein Jahr erhöht den Nachrichtenkonsum deutlich und n…
In seinem Essay widerlegt der Autor die These, dass Funktionsargumente wie Go's context.Context eine Art Funktionsfarbe darstellen. Er definiert Farben anhand der Form des Abhängigkeitsgraphen: Eine…
Die Website weowntheglass.com verwandelt den Fernseher in einen digitalen Protest: Ein Endlos-Screensaver mit historischen Bildern von Aufständen – vom Bauernkrieg bis zur Französischen Revolution –…
GrapheneOS hat eine Partnerschaft mit Motorola angekündigt, um Smartphones mit der datenschutzfreundlichen Android-Variante auszustatten. Doch der Autor des Podcasts Switched To Linux äußert sich ske…
Michael Harley erklärt, wie seine Familie in Richmond, VA, für wahrscheinliche Szenarien vorsorgt – nicht für den Weltuntergang. Nach mehreren Wasserausfällen mit Abkochgeboten und einem Stromausfall…
Eine Harvard-Studie aus dem Jahr 2010 zeigt: Wer mental abschweift, ist unglücklicher. Der Autor überträgt diese Erkenntnis auf die Tech-Branche, wo hochtalentierte Menschen unter der Qual der Wahl l…
Ein Entwickler hat sich eine eigene IDE mit Agenten und Terminals gebaut und einen schwebenden Orb als Bildschirmschoner in die Mitte integriert. Die Seitenleisten sind statisch, die Mitte ist der Or…
Forscher der Brown University haben einen Roboter darauf trainiert, japanische Schriftzeichen von Hand zu schreiben. Danach konnte er Wörter in Hindi, Griechisch, Englisch und anderen Sprachen kopier…
- ▲ 23UAE-Modell über 50 Millionen Downloads: Falcons AI NSFW-Klassifikator führt Open-Source-Charts an
Ein von Falcons AI, einem Unternehmen aus Ras Al Khaimah, entwickeltes KI-Modell zur Erkennung von NSFW-Bildern hat auf Hugging Face innerhalb von 28 Tagen über 50,8 Millionen Downloads erreicht. Dam…
DriveSync ist ein schnelles Kommandozeilen-Tool in Rust, das einen lokalen Ordner mit einem Google Drive Ordner synchronisiert. Es unterstützt Push, Pull und Diff und verhält sich ähnlich wie Git. Di…
Zwei Jahre nach dem Start von LogiCola 3 hat der Entwickler das Programm auf Basis von Reverse Engineering der Windows-Version von 2008 überarbeitet. Die neue Version bringt unendliche Übersetzungsüb…
Rene Haas, CEO des in Cambridge ansässigen Chipdesigners Arm Holdings, sagt, dass künstliche Intelligenz in unserer Lebenszeit eine Krebsheilung finden wird, die Menschen allein nicht erreichen könne…
NYC MapTap ist ein interaktives Lernspiel, das Ihnen hilft, die Stadtteile von New York City spielerisch zu meistern. Fordern Sie sich selbst heraus, indem Sie Stadtteile auf einer Karte lokalisieren…
Der Feather Atlas des U.S. Fish and Wildlife Service bietet ein interaktives Tool zur Federbestimmung. Nutzer können Federn nach Muster, Farbe, Größe (von klein bis riesig), Position (z. B. Schwungfe…
aispace.sh ist ein bot-freundlicher Datei-Drop für Ausgaben, die zu groß, zu strukturiert oder zu temporär für Chat sind. Der Open-Source-Client ist bewusst auf Automatisierung ausgelegt: ein Binary,…
anystation ist ein öffentliches Schwarzes Brett, das wie ein Baum strukturiert ist und ohne Konto auskommt. Beiträge können über HTTP, E-Mail, SSH, DNS, Ping, Drucker oder einfaches TCP/UDP gesendet…
Nach Onionservatory, einem Tool zur Sicherheitsprüfung von Onion Services, hat der Autor Onionspector entwickelt – ein Browser-Inspektor, der zeigt, welche Daten Ihr Browser an Onion Services preisgi…