Tägliche Übersicht · Hacker News

· 12 Hacker News

  1. ▲ 40Japanische Sanitäter bitten: Bitte nicht unsere Schuhe umstellen, wenn wir kommen

    Die Feuerwehr in Kanazawa, Japan, bittet Bewohner, die Schuhe von Rettungskräften nicht umzudrehen, wenn diese ein Haus betreten. In einem viralen Instagram-Video zeigen Feuerwehrleute, wie Sanitäter…

  2. ▲ 30Ponytail: Wie ein fauler Senior-Entwickler Ihre KI-Agenten zu weniger Code bringt

    Ponytail ist ein Regelsatz für KI-Coding-Agenten wie Claude Code, Codex und Copilot, der sie dazu bringt, die minimalste funktionierende Code-Menge zu schreiben. Inspiriert von einem Senior-Entwickle…

  3. ▲ 27Vier Wochen vegane Ernährung verändern Entzündungs- und Alterungssignale

    Eine Studie des Universitätsklinikums Freiburg und der University of California, San Diego, zeigt, dass eine vegane Ernährung bereits nach vier Wochen epigenetische Veränderungen bewirkt. Bei 48 gesu…

  4. ▲ 24KI beweist 50 Jahre alte Vermutung – wohin steuert die Mathematik?

    In derselben Woche, in der Claude den Beweis der Fermatschen Vermutung in Lean formalisierte, erschien ein Preprint, das die seit 1974 offene Sphärische-Hadwiger-Vermutung mit KI-Unterstützung beweis…

  5. ▲ 20NX-Bit ist nicht nur für Sicherheit da

    In diesem Gastbeitrag erzählt Sonya, wie sie einen scheinbar unmöglichen Bug in einem ARM64-Hypervisor für postmarketOS jagte. Das Einschalten des CTR_EL0-Intercepts ließ das Telefon zufällig einfrie…

  6. ▲ 18Warum jeder Roman langweilig ist – bis er es nicht mehr ist

    Ein Essay über die Kunst des Lesens und Schreibens: Warum Langeweile ein notwendiger Bestandteil großer Literatur ist. Der Autor untersucht, wie Spannung und Bedeutung aus scheinbar banalen Passagen…

  7. ▲ 13MathKernel: Ein Mathematik-Kernel für LLMs mit Beweisprotokollen

    MathKernel ist eine Open-Source-Python-Bibliothek und ein MCP-Server, die Large Language Models von der Arithmetik entlasten: Das LLM interpretiert die Absicht, der Kernel rechnet und dokumentiert fü…

  8. ▲ 13Ask HN: Wie verwaltet ihr Skills-Dateien?

    Ich suche nach einer besseren Möglichkeit, Skills zu finden, zu organisieren und sicherzustellen, dass sie tatsächlich funktionieren. Ich verbessere sie im Laufe der Zeit, aber ich frage mich, wie an…

  9. ▲ 9GET Together - Social network where you don't need POST to post

    GET Together ist ein experimentelles soziales Netzwerk, das ausschließlich auf HTTP-GET-Anfragen basiert – selbst das Posten von Inhalten erfolgt über GET. Das System bietet grundlegende Funktionen w…

  10. ▲ 6Adverse Selection: Wie Market Maker von schnelleren Händlern ausgetrickst werden

    Market Maker sind das Rückgrat jeder Börse, doch ihr Spiel ist riskant: Jede Quote kann von besser informierten oder schnelleren Teilnehmern ausgenutzt werden. Dieser Artikel erklärt das Konzept der…

  11. ▲ 6Hard-Chat: Serverloses P2P-Terminal-Chat mit AES-GCM-Verschlüsselung

    Hard-Chat ist ein quelloffener, serverloser Peer-to-Peer-Chat, der direkt im Browser läuft. Er verbindet zwei Geräte über WebRTC und verschlüsselt Nachrichten Ende-zu-Ende mit AES-GCM 256-Bit. Es gib…

  12. ▲ 3Pauline Kael war keine Filmkritikerin, sondern eine Autobiografin

    Fünfundzwanzig Jahre nach ihrem Tod zeigt sich: Pauline Kael war keine Filmkritikerin im üblichen Sinne. Ihre oft willkürlichen Urteile und ihre schwierige Persönlichkeit sind nebensächlich. Vielmehr…