Beliebte Tags：
Kosmos Virtualisierung DNS-Sicherheit formale Verifikation Erreichbarkeitsanalyse KI Compilerfehler Makrokonflikt Web-Erweiterung Entwicklungsframework Alle Tags

DiscoTool: Verwalten Sie Ihre Arduino USB-Geräte mühelos

2025-01-07
DiscoTool: Verwalten Sie Ihre Arduino USB-Geräte mühelos

DiscoTool ist ein leistungsstarkes Kommandozeilenprogramm und eine Python-Bibliothek zum Entdecken und Verwalten von Arduino-artigen Entwicklungsplatinen, die an USB angeschlossen sind. Es unterstützt macOS, Linux und Windows und lässt sich einfach über pip installieren, ohne zusätzliche Installationen zu benötigen. DiscoTool bietet eine Vielzahl von Befehlen, darunter die Verbindung zum REPL, die Installation und Aktualisierung von Modulen, die Sicherung von Platinendaten und vieles mehr. Es ermöglicht auch die Anpassung von Kommandozeilen-Tools und Umgebungsvariablen. Darüber hinaus ermöglicht ein Python-Modul Entwicklern die Integration in ihre Projekte, um einfach auf Geräteinformationen wie Hersteller, Seriennummer und Version zuzugreifen.

Mehr lesen
(github.com)
Entwicklung Entwicklungstool

GCC 15 wird COBOL unterstützen!

2025-03-11

Ein wichtiges Update kommt für den GCC 15 Compiler: Die COBOL-Frontend-Unterstützung wurde zusammengeführt! Dies ist ein bedeutender Schritt für die COBOL-Unterstützung von GCC und erleichtert die Migration von Legacy-Mainframe-COBOL-Anwendungen in Linux- und Cloud-Umgebungen. Obwohl die Popularität von COBOL nicht mehr so hoch ist wie früher, ist diese Zusammenführung dennoch eine willkommene Überraschung. Entwickler können den Befehl `gcobol` verwenden, um das COBOL-Compiler-Frontend aufzurufen. Erwarten Sie die COBOL-Unterstützung zusammen mit vielen anderen Funktionen in der stabilen Version von GCC 15.1 in den kommenden Wochen.

Mehr lesen
(www.phoronix.com)
Entwicklung

Kann KI denken? Alte griechische Philosophen liefern Einblicke

2025-07-22
Kann KI denken? Alte griechische Philosophen liefern Einblicke

Dieser Artikel untersucht, ob KI wirklich „denken“ kann. Basierend auf den Philosophien von Platon und Aristoteles argumentiert der Autor, dass „Denken“ mehr umfasst als nur Informationsverarbeitung und logisches Denken; es beinhaltet Intuition, Emotion, Erfahrung und moralische Urteilsfähigkeit. Platons Formenlehre und Aristoteles' Diskussionen über die Seele und die praktische Weisheit legen nahe, dass „Denken“ eine Verkörperung erfordert. Der Autor argumentiert, dass KI zwar Aspekte des Denkens simulieren kann, aber die menschliche Bewusstheit, Emotionen und Erfahrungen fehlen, was sie daran hindert, wirklich wie ein Mensch zu denken. Der Artikel endet mit einem Zitat von ChatGPT als unterstützende Beweisführung.

Mehr lesen
(theconversation.com)
KI

Private-Equity-Monopol bei Feuerwehrautos: Eine Krise der öffentlichen Sicherheit

2025-07-28
Private-Equity-Monopol bei Feuerwehrautos: Eine Krise der öffentlichen Sicherheit

Eine Krise bahnt sich in amerikanischen Feuerwehr-Departements an: Die stark gestiegenen Preise für Feuerwehrautos und die längeren Lieferzeiten, verursacht durch die Konsolidierung der Hersteller durch Private-Equity-Unternehmen, gefährden die öffentliche Sicherheit. Alte Fahrzeugflotten werden außer Dienst gestellt, ohne dass erschwingliche Ersatzfahrzeuge verfügbar sind – neue Autos kosten über 2 Millionen Dollar – und lassen viele Departements unterbesetzt und schlecht ausgestattet zurück. Einige greifen auf verfallene Fahrzeuge oder Pick-ups zurück, was die Reaktionszeiten erheblich beeinträchtigt. Diese Krise unterstreicht die negativen Auswirkungen der Private-Equity-Konsolidierung auf wichtige Dienstleistungen und hat zu Forderungen nach Kartelluntersuchungen geführt.

Mehr lesen
(thehustle.co)
Technologie

ChatGPT halluziniert nicht existierende Rails-Syntax

2025-03-01

Ein Programmierer suchte Hilfe bei ChatGPT, um Assoziationen in Rails dynamisch vorzuladen. ChatGPT schlug selbstbewusst eine ungültige Syntax vor – eine Syntax, die der Programmierer selbst zwei Jahre zuvor in einem Rails-Forum vorgeschlagen (und verworfen) hatte. Dieser lustige Vorfall zeigt, wie selbst leistungsstarke LLMs „halluzinieren“ können, wenn sie mit Nischen-Themen und unzureichendem Kontext konfrontiert werden, und sich wie ein Junior-Entwickler verhalten, der blind Code kopiert und einfügt.

Mehr lesen
(bengarcia.dev)
Entwicklung

Freie Software braucht freie Werkzeuge: Ein ethisches Dilemma in der Entwicklung von freier Software

2024-12-28

Dieser Artikel beleuchtet das ethische Dilemma, vor dem freie Software-Entwickler stehen, die nicht-freie Entwicklungstools verwenden. Der Autor argumentiert, dass viele Entwickler aus Effizienzgründen proprietäre Tools oder Netzwerkdienste wie BitKeeper, SourceForge und GitHub verwenden und dabei die Freiheit von Entwicklern und Benutzern opfern. Am Beispiel der Migration des Linux-Kernels zu BitKeeper und der darauf folgenden Entwicklung von Git veranschaulicht der Autor die Risiken der Abhängigkeit von proprietären Tools. Die Verwendung nicht-freier Tools schadet laut Autor nicht nur dem Ansehen der freien Software-Bewegung, sondern schränkt auch die Freiheit der Software ein und führt letztendlich zu Software, die nicht wirklich frei ist. Der Autor appelliert an Entwickler, freie und Open-Source-Entwicklungstools zu priorisieren, die Werte der freien Software zu wahren und die Freiheit nicht aus Effizienzgründen zu opfern.

Mehr lesen
(mako.cc)
Entwicklung freie Software Entwicklungstools

Revolutionäre Technik senkt Speicherkosten von LLMs um bis zu 75 %

2024-12-17
Revolutionäre Technik senkt Speicherkosten von LLMs um bis zu 75 %

Das in Tokio ansässige Startup Sakana AI hat eine bahnbrechende Technik namens „Universal Transformer Memory“ entwickelt, die die Speichereffizienz großer Sprachmodelle (LLMs) deutlich verbessert. Mithilfe neuronaler Aufmerksamkeits-Speichermodule (NAMMs) fungiert die Technik wie ein intelligenter Editor, der redundante Informationen verwirft und wichtige Details behält. Dies führt zu einer Reduzierung der Speicherkosten um bis zu 75 % und zu einer verbesserten Leistung bei verschiedenen Modellen und Aufgaben, was erhebliche Vorteile für Unternehmen bietet, die LLMs einsetzen.

Mehr lesen
(venturebeat.com)
KI Speicheroptimierung Neuronale Netze

Lokaler Deep-Research-Assistent: Ein leistungsstarkes KI-Forschungswerkzeug, das LLMs und Websuche kombiniert

2025-03-11
Lokaler Deep-Research-Assistent: Ein leistungsstarkes KI-Forschungswerkzeug, das LLMs und Websuche kombiniert

Ein leistungsstarker KI-gestützter Forschungsassistent, der mithilfe mehrerer LLMs und Websuchen tiefe, iterative Analysen durchführt. Das System kann lokal zur Wahrung der Privatsphäre ausgeführt oder für die Verwendung von Cloud-basierten LLMs zur Verbesserung der Funktionen konfiguriert werden. Es unterstützt die lokale Verarbeitung (mit Ollama-Modellen) und Cloud-LLMs (Claude, GPT) und kann den vollständigen Webseiteninhalt analysieren, nicht nur Ausschnitte. Darüber hinaus bietet es umfangreiche Ausgabeoptionen, darunter detaillierte Forschungsergebnisse mit Zitaten, umfassende Forschungsberichte und schnelle Zusammenfassungen, und verfügt über eine lokale Dokumentensuche (RAG), die es Benutzern ermöglicht, Inhalte aus ihren eigenen Dokumentensammlungen zu suchen und abzurufen.

Mehr lesen
(github.com)
Entwicklung Forschungswerkzeug

WhatsApp mit Claude steuern: Ein WhatsApp MCP-Server

2025-03-31
WhatsApp mit Claude steuern: Ein WhatsApp MCP-Server

Dieses Projekt integriert WhatsApp mit dem großen Sprachmodell (LLM) Claude. Eine Go-Bridge verbindet sich mit der WhatsApp Web Multi-Device API und speichert Nachrichten lokal in einer SQLite-Datenbank. Ein Python-Server implementiert das Model Context Protocol (MCP), das es Claude ermöglicht, Nachrichten und Kontakte zu suchen und Nachrichten über eine Reihe von Tools zu senden. Die gesamte Verarbeitung erfolgt lokal, wobei die Privatsphäre des Benutzers im Vordergrund steht.

Mehr lesen
(github.com)
Entwicklung

mcp-kafka: Brücke zwischen KI-Assistenten und Apache Kafka

2025-03-19
mcp-kafka: Brücke zwischen KI-Assistenten und Apache Kafka

mcp-kafka ist ein Model Context Protocol (MCP)-Server, der als Brücke zwischen KI-Assistenten und Apache Kafka dient. Er ermöglicht es KI-Assistenten, direkt mit Kafka-Topics und -Nachrichten zu interagieren. Das Tool unterstützt das Erstellen, Auflisten, Löschen, Beschreiben von Topics, das Produzieren und Konsumieren von Nachrichten, mit Unterstützung für SASL_PLAINTEXT und PLAINTEXT-Authentifizierung. mcp-kafka ist einfach zu installieren und zu verwenden, mit umfassender Dokumentation und Beispielen.

Mehr lesen
(github.com)
Entwicklung

LLM-Eliminierungsspiel: Soziales Denken, Strategie und Täuschung

2025-04-07
LLM-Eliminierungsspiel: Soziales Denken, Strategie und Täuschung

Forscher haben einen Multiplayer-„Eliminierungsspiel“-Benchmark entwickelt, um große Sprachmodelle (LLMs) in Bezug auf soziales Denken, Strategie und Täuschung zu bewerten. Acht LLMs treten gegeneinander an, führen öffentliche und private Gespräche, bilden Allianzen und stimmen ab, um Gegner zu eliminieren, bis nur noch zwei übrig sind. Eine Jury aus ausgeschiedenen Spielern bestimmt dann den Gewinner. Die Analyse von Gesprächsprotokollen, Abstimmungsmustern und Ranglisten zeigt, wie LLMs geteiltes Wissen mit verborgenen Absichten in Einklang bringen, Allianzen schmieden oder diese strategisch verraten. Der Benchmark geht über einfache Dialoge hinaus und zwingt die Modelle, zwischen öffentlichen und privaten Dynamiken, strategischem Abstimmen und der Überzeugung der Jury zu navigieren. GPT-4.5 Preview war das leistungsstärkste Modell.

Mehr lesen
(github.com)
KI Multi-Agent Strategisches Spiel

Engineering Manager - Zahlungsplattform bei Modern Treasury

2025-01-08
Engineering Manager - Zahlungsplattform bei Modern Treasury

Modern Treasury, ein Fintech-Unternehmen, das moderne Zahlungsinfrastruktur aufbaut, sucht einen erfahrenen Engineering Manager für seine Zahlungsplattform. Die Stelle erfordert Führungserfahrung in der Leitung von Engineering-Teams und ein tiefes Verständnis der Architektur und Technologien der Zahlungsplattform. Dies ist eine großartige Gelegenheit für passionierte Fintech-Profis, die Führungspositionen in einem schnell wachsenden Unternehmen suchen.

Mehr lesen
(jobs.ashbyhq.com)
Entwicklung Zahlungsplattform

Vereinfachung der LLM-Kafka-Interaktion mit einem Multiplexing-MCP-Tool

2025-04-21

Dieser Beitrag beschreibt `kafka-mcp-server`, eine LLM-Schnittstelle für Apache Kafka, die mit dem Model Context Protocol (MCP) erstellt wurde. Der Autor stellte fest, dass einfache Aktionen oft mehrere Aufrufe von MCP-Tools erforderten, was zur Entwicklung eines Multiplexing-Tools führte. Dieses Tool ermöglicht die gleichzeitige Ausführung mehrerer Tools und verwendet PROMPT_ARGUMENTs, um Ergebnisse vorheriger Tools als Argumente für nachfolgende Tools zu übergeben. Dies vereinfacht Workflows mit sequenziellen Tool-Aufrufen, wie z. B. das Auflisten von Kafka-Topics, das Lesen von Nachrichten und das Erstellen von Topic-Duplikaten. Zukünftige Pläne umfassen das Hinzufügen einer Lua-Interpretation und einer Verzweigungslogik für verbesserte Funktionalität.

Mehr lesen
(cefboud.com)
Entwicklung

JPMorgan beendet Homeoffice: Über 300.000 Mitarbeiter kehren ins Büro zurück

2025-01-12
JPMorgan beendet Homeoffice: Über 300.000 Mitarbeiter kehren ins Büro zurück

JPMorgan Chase, die größte Bank der USA, beendet Berichten zufolge das Homeoffice für über 300.000 Mitarbeiter und verlangt die Rückkehr ins Büro an fünf Tagen pro Woche. Die starke Befürwortung der persönlichen Zusammenarbeit durch CEO Jamie Dimon treibt diese Entscheidung voran, wobei Innovation und Teamwork im Vordergrund stehen. Dieser Schritt spiegelt einen breiteren Trend bei großen Unternehmen wider, die sich vom Homeoffice abwenden, und löst Debatten über die Flexibilität des Arbeitsplatzes aus und betrifft zahlreiche Mitarbeiter.

Mehr lesen
(www.forbes.com)
Technologie Büro Rückkehr

Planetenbahn-Spirographen basierend auf Keplerschen Gesetzen

2025-01-23

Inspiriert von John Carlos Baezes Beitrag über den Venuspentagramm, hat Red Blob Games eine Reihe von Planetenbahn-Spirographen erstellt. Mit dem dritten Keplerschen Gesetz wird die Umlaufzeit in die Entfernung von der Sonne umgerechnet. Die Website generiert heliozentrische Planetenbahn-Bilder, die Spirographen ähneln. Daten umfassen Merkur, Venus, Erde, Mars, Ceres, Jupiter, Saturn, Uranus und Neptun.

Mehr lesen
(www.redblobgames.com)
Technologie Planetenbahnen Keplersche Gesetze

Sonic Hedgehog Protein: Eine Schlüsselrolle in der embryonalen Entwicklung

2025-03-30
Sonic Hedgehog Protein: Eine Schlüsselrolle in der embryonalen Entwicklung

Das Sonic Hedgehog Protein (SHH), kodiert vom SHH-Gen, ist ein entscheidendes Signalmolekül in der embryonalen Entwicklung von Menschen und anderen Tieren. Es spielt eine Schlüsselrolle bei der Regulation der embryonalen Morphogenese und steuert die Organogenese sowie die Organisation des zentralen Nervensystems, der Gliedmaßen, der Finger und vieler anderer Körperteile. SHH-Mutationen können zu Holoprosenzephalie und anderen Entwicklungsstörungen führen. Eine abnorme Aktivierung der SHH-Signalgebung in erwachsenen Geweben wurde mit verschiedenen Krebsarten in Verbindung gebracht. Die Entdeckung des SHH-Gens stammt aus Experimenten mit Fruchtfliegen, der Name ist vom Videospielcharakter inspiriert. SHH ist essentiell für die Musterbildung des Neuralrohrs, wobei sein Konzentrationsgradient die Differenzierung verschiedener Neuronentypen bestimmt. Seine Rolle erstreckt sich auf die Lungenentwicklung und es hat potenzielle regenerative Funktionen.

Mehr lesen
(en.wikipedia.org)
KI Embryonale Entwicklung

Luftwaffe testet verkleinerten Modell eines Mischflügel-Flugzeugs, Erstflug für 2027 geplant

2025-01-06
Luftwaffe testet verkleinerten Modell eines Mischflügel-Flugzeugs, Erstflug für 2027 geplant

Die US-Luftwaffe testet ein verkleineres Modell ihres Mischflügel-Demonstrators (BWB) und nutzt die Daten, um die Flugsteuerungssoftware und die endgültige Konfiguration des Flugzeugs in Originalgröße zu verfeinern. Das verkleinerte Modell, mit dem Spitznamen "Pathfinder", hat eine Spannweite von 23 Fuß – ein Achtel der Größe des geplanten Flugzeugs in Originalgröße. Das BWB-Design verspricht eine 30-prozentige Reduzierung des Treibstoffverbrauchs und potenzielle Anwendungen in zukünftigen Transport- und Frachtflugzeugen der Luftwaffe und der kommerziellen Luftfahrt. Der Erstflug des Flugzeugs in Originalgröße ist für September 2027 geplant und wird Analysen für das Next-Generation Air Refueling System (NGAS) und andere zukünftige Mobilitätskonzepte liefern.

Mehr lesen
(www.airandspaceforces.com)
Technologie Mischflügel Flugtest Treibstoffeffizienz

Microsoft präsentiert den Befehlszeilen-Editor 'Edit'

2025-05-19
Microsoft präsentiert den Befehlszeilen-Editor 'Edit'

Microsoft hat auf seiner Build-Konferenz seinen neuen Befehlszeilen-Texteditor Edit vorgestellt. Dieser Open-Source-Editor mit weniger als 250 KB soll einen leichtgewichtigen Standard-CLI-Texteditor für 64-Bit-Windows bieten, um die fehlende integrierte Option zu beheben und das berüchtigte "Wie beende ich vim?"-Problem zu vermeiden. Edit bietet Tastenkombinationen, Suchen und Ersetzen, Unterstützung für reguläre Ausdrücke und mehr. Er wird in den kommenden Monaten über das Windows Insider-Programm verfügbar sein. Microsoft hat auch Windows Dev Home in Erweiterte Windows-Einstellungen umbenannt und zusätzliche, auf Entwickler ausgerichtete Optionen in die Haupt-Windows-11-Einstellungen integriert.

Mehr lesen
(www.theverge.com)
Entwicklung Befehlszeilen-Editor

WhatsApp gewinnt 168 Millionen Dollar Prozess gegen NSO Group wegen Pegasus-Spionage-Software

2025-05-07
WhatsApp gewinnt 168 Millionen Dollar Prozess gegen NSO Group wegen Pegasus-Spionage-Software

Eine US-Bundesjury hat die israelische Cyber-Intelligence-Firma NSO Group dazu verurteilt, WhatsApp 168 Millionen Dollar Schadensersatz wegen des illegalen Einbaus ihrer Pegasus-Spionagesoftware auf Smartphones über die Messaging-App zu zahlen. Die 2019 eingereichte Klage warf der NSO Group vor, Pegasus für Cyber-Spionage gegen Journalisten, Anwälte und Menschenrechtsaktivisten eingesetzt zu haben. Obwohl NSO behauptet, seine Technologie werde zur Bekämpfung von Kriminalität und Terrorismus eingesetzt, weisen unabhängige Experten auf ihre wahrscheinliche Verwendung in Ländern mit schlechten Menschenrechtsbilanzen hin. Das Urteil umfasst neben dem Straf- auch einen Schadensersatz von über 444.000 Dollar. NSO plant Berufung.

Mehr lesen
(techoreon.com)
Technologie Cyber-Spionage

Notepads KI-Rewrite-Funktion: Ein Freemium-Trojaner?

2025-02-19
Notepads KI-Rewrite-Funktion: Ein Freemium-Trojaner?

Microsofts altbewährter Editor Notepad bietet jetzt ein KI-basiertes "Rewrite"-Tool. Der Zugriff darauf erfordert jedoch ein kostenpflichtiges Microsoft 365-Abo, was zu Diskussionen führt. Notepad selbst bleibt zwar kostenlos und nutzbar ohne Account, doch die prominenten Hinweise auf die Rewrite-Funktion wirken wie ein subtiler Druck in Richtung eines Bezahlmodells. Obwohl die Kernfunktionen kostenlos bleiben, werfen die persistenten Anzeigen für einen Premium-Dienst Fragen nach Microsofts Langzeitstrategie für seine klassischen Anwendungen auf.

Mehr lesen
(www.windowscentral.com)
Technologie

Michael Larabel: 20 Jahre tiefgehende Auseinandersetzung mit Linux-Hardware

2025-03-17

Michael Larabel, Gründer und Hauptautor von Phoronix.com, widmet sich seit 2004 der Verbesserung der Linux-Hardware-Erfahrung. Er hat über 20.000 Artikel verfasst, die die Linux-Hardware-Unterstützung, die Leistung, Grafiktreiber und mehr abdecken. Er ist auch der Hauptentwickler der automatisierten Benchmarking-Software Phoronix Test Suite, Phoromatic und OpenBenchmarking.org.

Mehr lesen
(www.phoronix.com)
Technologie

Eigenständige lexikalische Closures in einer Lisp-ähnlichen uxn-Umgebung

2025-06-19

Der Autor beschreibt niënor, eine Lisp-ähnliche Umgebung für die uxn-virtuelle Maschine, und konzentriert sich auf seinen innovativen Ansatz zur Implementierung lexikalisch umschlossener Closures. Anstatt der komplexen Methode, Funktionen zu kopieren und ungebundene Variablen zur Laufzeit zu ersetzen, fügt niënor geschickt Umgebungsvariablen als Parameter zu Lambda-Funktionen zur Kompilierzeit hinzu. Zur Laufzeit wird eine Wrapper-Funktion (Portal) generiert, um diese Umgebungsvariablen zu übergeben. Dies vermeidet die Codegenerierung zur Laufzeit und komplexe Adressberechnungen und bietet eine effiziente und elegante Lösung für Closures. Das System beinhaltet auch malloc und free für die dynamische Speicherverwaltung dieser Closures.

Mehr lesen
(krzysckh.org)
Entwicklung

Tabellendaten für LLMs erschließen: Ein Ansatz der mechanischen Destillation

2025-05-09
Tabellendaten für LLMs erschließen: Ein Ansatz der mechanischen Destillation

Große Sprachmodelle (LLMs) zeichnen sich durch die Verarbeitung von Text und Bildern aus, haben aber Schwierigkeiten mit tabellarischen Daten. Derzeit verlassen sich LLMs hauptsächlich auf veröffentlichte statistische Zusammenfassungen und nutzen das Wissen in tabellarischen Datensätzen wie Umfragedaten nicht vollständig. Dieser Artikel schlägt einen neuen Ansatz vor, der mechanische Destillationstechniken verwendet, um univariate, bivariate und multivariate Zusammenfassungen zu erstellen. Dies wird durch Aufforderungen an das LLM ergänzt, relevante Fragen vorzuschlagen und aus den Daten zu lernen. Die dreistufige Pipeline umfasst das Verständnis der Datenstruktur, die Identifizierung von Fragetypen und die Generierung mechanischer Zusammenfassungen und Visualisierungen. Die Autoren schlagen vor, dass dieser Ansatz Retrieval Augmented Generation (RAG)-Systeme verbessern und potenziell verzerrtes 'Weltwissen' ergänzen kann, wobei sie empfehlen, mit Repositorien für wissenschaftliche Arbeiten (wie Harvard Dataverse) und Verwaltungsdaten zu beginnen, um die Methode zu validieren.

Mehr lesen
(www.gojiberries.io)
KI Tabellendaten Wissensgewinnung

Die letzte Prüfung der Menschheit: Ein neuer Benchmark für KI

2025-01-23
Die letzte Prüfung der Menschheit: Ein neuer Benchmark für KI

Scale AI und das Center for AI Safety (CAIS) haben die Ergebnisse der "Letzten Prüfung der Menschheit" veröffentlicht, einem neuen Benchmark, der entwickelt wurde, um die Grenzen des KI-Wissens zu testen. Mit über 3.000 Fragen auf Expertenniveau in verschiedenen Bereichen zeigte sich, dass selbst die fortschrittlichsten KI-Modelle (wie GPT-4, Claude 3.5 und Gemini 1.5) weniger als 10 % der Fragen richtig beantwortet haben. Dies unterstreicht erhebliche Lücken in den Fähigkeiten des komplexen Denkens. Der Benchmark geht das Problem der 'Benchmark-Sättigung' an, bei der Modelle in bestehenden Tests hervorragend abschneiden, aber mit neuen Problemen zu kämpfen haben. Der Datensatz wird öffentlich zugänglich gemacht, um die KI-Forschung und -Entwicklung voranzutreiben und wertvolle Einblicke in den aktuellen Stand und die zukünftige Richtung der KI zu liefern.

Mehr lesen
(scale.com)
KI KI-Benchmark

Der Beweis der ABC-Vermutung, an den nur Japan glaubt: Eine jahrzehntelange mathematische Kontroverse

2025-06-06
Der Beweis der ABC-Vermutung, an den nur Japan glaubt: Eine jahrzehntelange mathematische Kontroverse

Im Jahr 2012 veröffentlichte der japanische Mathematiker Shinichi Mochizuki einen 500-seitigen Aufsatz, in dem er behauptete, die 40 Jahre alte ABC-Vermutung mithilfe seiner inter-universellen Teichmüller-Theorie (IUT) bewiesen zu haben. Die Komplexität und Undurchsichtigkeit des Beweises führten jedoch dazu, dass nur eine Handvoll von Mathematikern behaupteten, ihn zu verstehen. Jahre später entdeckten zwei deutsche Mathematiker einen fatalen Fehler, doch Mochizuki und seine Anhänger weigerten sich, dies zuzugeben. Mochizukis Aufsatz wurde schließlich in einer Zeitschrift veröffentlicht, deren Chefredakteur er ist, was zu einer intensiven Debatte führte. Kürzlich behauptet ein amerikanischer Mathematiker, die Kontroverse gelöst zu haben, doch auch dies wird nicht allgemein akzeptiert. Diese jahrzehntelange Saga unterstreicht die Komplexität mathematischer Beweise, die Herausforderungen der Verifikation und die inhärenten Kontroversen in der Wissenschaft.

Mehr lesen
(www.newscientist.com)
Technologie ABC-Vermutung

Zähmen von wiederkehrenden iCalendar-Ereignissen mit Distanzfunktionen

2025-04-17
Zähmen von wiederkehrenden iCalendar-Ereignissen mit Distanzfunktionen

Der Autor stieß bei der Implementierung einer Bibliothek zur Verarbeitung von iCalendar-Dateien auf die Herausforderung, wiederkehrende Ereignisse zu verarbeiten. iCalendar verwendet komplexe Regeln zur Definition wiederkehrender Ereignisse, und traditionelle Implementierungen erfordern in der Regel viel spezifische Logik für verschiedene Frequenzen und Parameter. Der Autor wählte einen anderen Ansatz, indem er Wiederholungsregeln als SQL-Abfragen betrachtete und Ideen von signierten Distanzfunktionen (SDF) in der Computergrafik übernahm, wobei er Ereignisvorkommen mit Distanzfunktionen repräsentierte. Diese Methode zerlegt komplexe Regeln in einfache Distanzfunktionen, berechnet iterativ die Auftretenzeiten von Ereignissen, um zahlreiche bedingte Urteile zu vermeiden, was zu saubererem und einfacher zu wartendem Code führt. Obwohl die anfängliche Implementierung nicht sehr effizient war, optimierte der Autor sie, um komplexe Wiederholungsregeln in Millisekunden zu verarbeiten.

Mehr lesen
(pwy.io)
Entwicklung wiederkehrende Ereignisse Distanzfunktionen

Reverse Engineering von Vercels BotID: Ein überraschend einfacher Bot-Schutz?

2025-06-30

Dieser Beitrag untersucht Vercels neu veröffentlichtes BotID Anti-Bot-System, insbesondere den kostenlosen Basis-Modus. Der Autor zeigt, dass die aktuellen Erkennungsmechanismen des Basis-Modus überraschend einfach sind und leicht durch Manipulation von Browser-Eigenschaften umgangen werden können. Obwohl BotID verschiedene Signale sammelt, darunter Browser-Fingerabdrücke und GPU-Informationen, ist die Verarbeitung dieser Signale einfach und ineffektiv bei der Erkennung ausgefeilter Bots. Der Autor vermutet, dass Vercel den Basis-Modus verwendet, um Daten für das Training zukünftiger, robusterer Anti-Bot-Modelle zu sammeln. Der kostenpflichtige Deep Analysis-Modus, der Kasadas Anti-Bot-Skripte verwendet, ist deutlich komplexer als der Basis-Modus.

Mehr lesen
(www.nullpt.rs)
Entwicklung

Kalifornische Abgeordnete scheitert mit Vorstoß für bezahlbares Breitband, fordert Eingreifen des Kongresses

2025-07-23
Kalifornische Abgeordnete scheitert mit Vorstoß für bezahlbares Breitband, fordert Eingreifen des Kongresses

Der Gesetzesentwurf der kalifornischen Abgeordneten Boerner, der einen erschwinglichen Breitbandzugang für einkommensschwache Haushalte gewährleisten sollte, ist gescheitert. Der Entwurf zielte darauf ab, die Bedürfnisse der Telekommunikationsunternehmen mit der Notwendigkeit eines erschwinglichen Internetzugangs in Einklang zu bringen. Boerner kritisierte den Kongress für die Beendigung eines nationalen Programms mit 30-Dollar-Rabatten, was das Problem in Kalifornien verschärfte. Sie forderte den Kongress auf, die Bundeszuschüsse wiederherzustellen und so staatliche Mandate überflüssig zu machen. Obwohl ihr Gesetzesentwurf gescheitert ist, fördert ein Senatsgesetz die ISPs, günstigere Tarife über Lifeline-Subventionen anzubieten.

Mehr lesen
(arstechnica.com)
Technologie einkommensschwache Haushalte

Reverse Engineering eines Tektronix 5 Gsps Oszilloskops aus den 90ern

2025-05-05

Dieser Blogbeitrag beschreibt die Reverse-Engineering-Bemühungen an einem Tektronix TDS684B Oszilloskop, bekannt für seine beeindruckende Abtastrate von 5 Gsps in den 1990er Jahren. Durch die Untersuchung der internen Komponenten und Messungen entdeckte der Autor eine Schlüsselkomponente: einen nicht identifizierten ADG286D-Chip, wahrscheinlich ein analoger CCD-FIFO-Speicher. Dieser Chip erfasst analoge Signale mit extrem hoher Geschwindigkeit, bevor er sie mit einer viel langsameren Rate von 8 MHz digitalisiert. Trotz erheblichen Rauschens am ADC-Eingang ist die endgültig angezeigte Wellenform bemerkenswert sauber, was auf ausgefeilte Signalverarbeitungsmethoden hindeutet. Die Analyse zeigt das geniale Design, das mit der damals verfügbaren Technologie so hohe Abtastraten ermöglichte.

Mehr lesen
(tomverbeure.github.io)
Hardware Oszilloskop Hochgeschwindigkeitsabtastung
1 2 … 166 167 168 170 172 173 174 … 595 596