Elegantes Lösen eines Layton-Rätsels mit Prolog

2025-04-08
Elegantes Lösen eines Layton-Rätsels mit Prolog

Der Autor hat das Kapitel über logische Programmiersprachen in seinem Buch "Logik für Programmierer" überarbeitet und die Leistungsfähigkeit von Prolog anhand eines Rätsels im Stil von 'Layton' demonstriert. Das Rätsel besteht darin, die Punktzahl des vierten Schülers anhand der Punktzahlen der ersten drei Schüler zu bestimmen. Mit prägnantem Prolog-Code (nur 15 Zeilen!) löst der Autor das Problem elegant, indem er die Mustererkennung und die Bidirektionalität von Prolog nutzt, um alle möglichen Antwortmöglichkeiten zu finden und schließlich die Punktzahl des vierten Schülers mit 6 zu bestimmen. Ein Vergleich mit einer längeren und weniger effizienten Lösung wird gezogen. Obwohl der Autor gegen die Verwendung von Rätseln im Unterricht argumentiert, zeigt dieses Beispiel das praktische Anwendungspotenzial von Prolog.

Mehr lesen
Entwicklung Rätsellösung

Ein Rust-Programm, das 10↑↑15 Schritte läuft

2025-04-16
Ein Rust-Programm, das 10↑↑15 Schritte läuft

Dieser Artikel untersucht die Erstellung eines extrem langleufigen Rust-Programms. Beginnend mit der grundlegenden Addition (increment) baut der Autor schrittweise Multiplikation (multiply), Exponentiation (exponentiate) und schließlich Tetration auf, was in einem Programm gipfelt, das die riesige Zahl 10↑↑15 berechnet. Der Schwerpunkt liegt auf In-Place-Operationen, wobei Speicherkopien und temporäre Variablen vermieden werden, um sicherzustellen, dass das Programm für die vorgesehene Anzahl von Schritten ausgeführt wird. Der Artikel erläutert die Implementierungsdetails klar und deutlich mit prägnanten Codebeispielen, was ihn wertvoll für das Erlernen von Algorithmusdesign und Rust-Programmierung macht.

Mehr lesen
Entwicklung Großzahlberechnung

Bolt Graphics enthüllt die ambitionierte Zeus GPU-Architektur

2025-03-29
Bolt Graphics enthüllt die ambitionierte Zeus GPU-Architektur

Bolt Graphics hat seine Zeus GPU-Architektur vorgestellt, ein modulares Design basierend auf dem RISC-V-Instruction Set. Mit einem Multi-Chiplet-Ansatz skaliert Zeus auf bis zu vier Chiplets, wobei jeder 64 GB LPDDR5X und zahlreiche Hochgeschwindigkeits-Verbindungsoptionen wie 800 GbE und PCIe Gen5 bietet. Durch hohe Speicherkapazität und Bandbreite zielt Zeus auf große GPU-Cluster ab und will die Dominanz von Nvidia im Bereich des Hochleistungsrechnens herausfordern. Obwohl noch in der frühen Entwicklungsphase, mit Entwickler-Kits für Q4 2025 geplant, verdienen die einzigartige Architektur und das Potenzial für Kosteneffizienz Aufmerksamkeit.

Mehr lesen
Hardware

Cerebras bricht Inferenzgeschwindigkeitsrekord mit Llama 4 Maverick 400B

2025-05-31
Cerebras bricht Inferenzgeschwindigkeitsrekord mit Llama 4 Maverick 400B

Cerebras Systems hat eine bahnbrechende Inferenzgeschwindigkeit von über 2.500 Tokens pro Sekunde (TPS) auf Metas Llama 4 Maverick 400B-Parametermodell erreicht, mehr als das Doppelte der Leistung von Nvidia. Diese rekordverdächtige Geschwindigkeit, unabhängig von Artificial Analysis verifiziert, ist entscheidend für KI-Anwendungen wie Agents, Codegenerierung und komplexes Reasoning, wodurch die Latenz deutlich reduziert und die Benutzererfahrung verbessert wird. Im Gegensatz zu Nvidias Lösung, die auf nicht verfügbare benutzerdefinierte Optimierungen angewiesen war, ist die Leistung von Cerebras über die kommende API von Meta leicht zugänglich und bietet Entwicklern und KI-Anwendern im Unternehmen eine überlegene Lösung.

Mehr lesen
KI

Happy Birthday, Java – 30 Jahre! Ein Gespräch mit James Gosling

2025-05-16
Happy Birthday, Java – 30 Jahre! Ein Gespräch mit James Gosling

Java wird 30 Jahre alt! Dieser Artikel feiert das Vermächtnis der Programmiersprache und taucht ein in das faszinierende Leben ihres Schöpfers, James Gosling. Von einem einfallsreichen kanadischen Teenager, der Computer aus wiederverwerteten Teilen baut, bis hin zu einem wegweisenden Programmierer bei Sun Microsystems, ist Goslings Weg voller Anekdoten. Er erinnert sich an legendäre Aprilscherze bei Sun und reflektiert über die Entwicklung von Java und seine aktuelle Skepsis gegenüber der übertriebenen KI-Revolution. Gosling betont die anhaltende Bedeutung von Programmierkenntnissen und die nachhaltige Relevanz von Java in einer sich schnell verändernden Technologielandschaft.

Mehr lesen
Entwicklung

Mozilla strukturiert Führung um und begrüßt das KI-Zeitalter

2025-02-19
Mozilla strukturiert Führung um und begrüßt das KI-Zeitalter

Mozilla gab eine Umstrukturierung seiner Führungsriege bekannt, um Herausforderungen beim finanziellen Wachstum und der Missionsauswirkung zu bewältigen. Zur Diversifizierung investiert Mozilla in datenschutzfreundliche Werbung, entwickelt vertrauenswürdige Open-Source-KI und startet Online-Fundraising-Kampagnen. Die neuen Führungskräfte kommen von Unternehmen wie Google, Twitter und Uber und bringen ein Gleichgewicht aus Erfahrung in Wirtschaft, Technologie und öffentlichem Interesse mit. Mozilla will seinen Kampf für eine bessere Zukunft durch Technologie, die die Bedürfnisse des Menschen in den Vordergrund stellt, fortsetzen.

Mehr lesen

Delhi Airport Flugchaos: Flugprotokoll vom 25. Januar 2025

2025-01-25

Dieser Datensatz protokolliert eine große Anzahl von Flügen, die am 25. Januar 2025 in Delhi (DEL) ankamen, mit detaillierten Angaben zu Flugnummern, Fluggesellschaften, Flugzeugtypen und Ankunftszeiten. Diese Flüge kamen aus verschiedenen Orten in Indien und aus dem Ausland und unterstreichen Delhis Status als wichtiger Luftverkehrsknotenpunkt. Daten zusammengestellt von @obviyus mit Hilfe von Flightradar24.

Mehr lesen

VM-Klonen und Linux-Zufallszahlengenerierung: Sicherheitsaspekte und Lösungen

2025-04-12
VM-Klonen und Linux-Zufallszahlengenerierung: Sicherheitsaspekte und Lösungen

Dieses Dokument analysiert die Sicherheitsaspekte der Wiederherstellung mehrerer VM-Klone aus einem einzigen Snapshot. Linux bietet drei Haupt-RNG-Schnittstellen: /dev/random, /dev/urandom und den getrandom-Systemaufruf. Das Klonen von VMs führt zu inkonsistenten RNG-Zuständen, da mehrere Parameter (wie Timerdaten oder Ausgaben von CPU-HWRNG-Instruktionen) in jedes Ergebnis eingemischt werden. Der Artikel untersucht verschiedene Implementierungen von RNGs in neueren und älteren Kerneln und schlägt Lösungen vor: das RNG nach der Wiederherstellung neu initialisieren, das virtio-rng-Gerät verwenden und den VMGenID-Mechanismus (eingeführt in Linux 5.18 und höher) nutzen, um inkonsistente RNG-Zustände nach dem Klonen zu beheben.

Mehr lesen
Entwicklung VM-Klonen Linux-RNG

Revolutionäres Keyboard: Dynamisches Layout basierend auf Markov-Ketten

2024-12-19
Revolutionäres Keyboard: Dynamisches Layout basierend auf Markov-Ketten

Haben Sie genug von statischen Keyboard-Layouts? Das MarkovKeyboard-Projekt revolutioniert das Tippen! Es verwendet einen Markov-Ketten-Algorithmus, um das Keyboard-Layout dynamisch an Ihre Schreibgewohnheiten anzupassen und häufig verwendete Tasten näher an die Home-Row zu bringen. Diese Emacs-Bibliothek aktualisiert das Layout bei jedem Tastendruck. Obwohl es derzeit nur Buchstaben unterstützt, passt es sich dynamisch an. Sie können ein vortrainiertes Modell verwenden oder Ihre eigenen Daten trainieren, um ein personalisiertes Layout zu erstellen.

Mehr lesen

Reverse Engineering der League of Legends Spielengine für hochgenaue Datensätze

2025-02-12

Dieser Artikel beschreibt die Erstellung eines hochgenauen Datensatzes für League of Legends durch Reverse Engineering der Spielengine und des Replay-Dateiformats. Bestehende Datensätze und Analysetools leiden unter geringer Granularität, Ungenauigkeit und Unvollständigkeit. Das Tool des Autors erfasst präzise Spielerpositionen, Fähigkeiten-Nutzungszeiten und Schadensberechnungen in Millisekunden-Intervallen. Der Artikel beschreibt die technischen Herausforderungen, darunter die Entschlüsselung interner Replay-Dateien, die Emulation der Spielengine und die Verarbeitung verschlüsselter Pakete. Diese Arbeit hat erhebliche Auswirkungen auf das Reinforcement Learning und bietet wertvolle Einblicke in die Datenextraktion für ähnliche Spiele.

Mehr lesen
Spiele

ToS;DR: Vereinfachung von Nutzungsbedingungen durch Peer-Review

2025-03-31
ToS;DR: Vereinfachung von Nutzungsbedingungen durch Peer-Review

ToS;DR vereinfacht das Verständnis von Datenschutzrichtlinien und Nutzungsbedingungen. Freiwillige Mitwirkende prüfen die Bedingungen und vergeben Bewertungen (gut, neutral, schlecht, Blocker). Eine endgültige Bewertung (A-E) spiegelt die Fairness wider. Viele Dienste haben noch keine Bewertung; Beiträge von Nutzern sind willkommen, um die Abdeckung zu erweitern.

Mehr lesen

Safaris text-wrap: pretty: Ein neues Zeitalter für Web-Typografie

2025-04-08
Safaris text-wrap: pretty: Ein neues Zeitalter für Web-Typografie

Safari Technology Preview 216 führt `text-wrap: pretty` ein und revolutioniert das Textlayout im Web. Es nutzt paragraphenbasierte Algorithmen, um langjährige typografische Probleme wie zu kurze letzte Zeilen, ungleichmäßige Ränder und störende typografische Flüsse zu lösen. Im Gegensatz zu traditionellen zeilenweisen Algorithmen wertet `pretty` den gesamten Absatz aus und optimiert das Layout für bessere Lesbarkeit und Ästhetik. Obwohl Chrome und andere Browser `pretty` unterstützen, ist die Implementierung von Safari umfassender und passt den gesamten Absatz an, nicht nur die letzten Zeilen. `text-wrap: balance` konzentriert sich darauf, alle Zeilen ungefähr gleich lang zu machen, ideal für Überschriften und kürzere Texte. Entwickler sollten den passenden `text-wrap`-Wert je nach Bedarf auswählen und die Auswirkungen auf die Leistung beachten.

Mehr lesen
Entwicklung Web-Typografie

Athena Mondlander stürzt ab: Unerwarteter Absturz

2025-03-14
Athena Mondlander stürzt ab: Unerwarteter Absturz

Der Mondlander Athena von Intuitive Machines erlebte eine unerwartete Landung. Obwohl seine Navigationssoftware erfolgreich nahegelegene Krater identifizierte, führte ein Höhenmesserfehler zu einem schrägen Aufprall auf der Mondoberfläche, wobei er mehrere Male rutschte und rotierte, bevor er in einem schattigen Krater zum Stillstand kam. Staub auf den Sonnenkollektoren verhinderte die Erzeugung ausreichender Energie, um die Heizungen zu betreiben, wodurch der Lander mit Energieverlust und kalten Temperaturen konfrontiert war. Diese Mission erwies sich als enttäuschender als erwartet.

Mehr lesen
Technologie Raumfahrzeugstörung

Boykott KI: Lasst euch nicht länger von den Big-Tech-Unternehmen täuschen

2025-03-27
Boykott KI: Lasst euch nicht länger von den Big-Tech-Unternehmen täuschen

Der Autor schildert seine Erfahrung, der Anziehungskraft von Apple-Produkten erlegen zu sein und sich schließlich in einem Kreislauf technologischer Kontrolle wiederzufinden. Er argumentiert, dass KI, ähnlich wie die technologischen Fortschritte der letzten zwei Jahrzehnte, Sucht fördert, Kreativität und Autonomie mindert und die Nutzer letztendlich den großen Technologieunternehmen ausgeliefert macht. Der Autor fordert einen Boykott von KI-Produkten und plädiert für ein unabhängiges Leben und die Vermeidung vergangener Fehler.

Mehr lesen

Effizienter Zähler für rechts-trunkierbare Primzahlen in C

2025-05-27
Effizienter Zähler für rechts-trunkierbare Primzahlen in C

Dieses C-Programm berechnet effizient die Anzahl rechts-trunkierbarer Primzahlen für eine gegebene Anzahl von Ziffern. Es verwendet eine benutzerdefinierte Hash-Tabelle für schnelle Primzahlprüfungen und die primesieve-Bibliothek für optimierte Primzahlgenerierung. Eine rechts-trunkierbare Primzahl bleibt prim, nachdem ihre rechteste Ziffer sukzessive entfernt wurde. Das Programm verarbeitet Eingaben von 1 bis 19 Ziffern und meldet die Anzahl der rechts-trunkierbaren Primzahlen für jede Ziffernlänge und die gesamte Ausführungszeit. Beispielsweise findet es für 8-stellige Zahlen 5 solche Primzahlen und insgesamt 83 bis zu 8 Stellen.

Mehr lesen
Entwicklung

Ingenieur implementiert reversiblen 1D-Zellularautomat mit Bit-Operationen

2024-12-12
Ingenieur implementiert reversiblen 1D-Zellularautomat mit Bit-Operationen

Richard Palethorpe, ein Ingenieur, hat mit der GFXPrim-Bibliothek eine Demonstration eines eindimensionalen binären Zellularen Automaten und seiner reversiblen Variante erstellt. Der Automat entwickelt sich nach Regeln, wobei der Zustand jeder Zelle durch ihren eigenen Zustand und den ihrer linken und rechten Nachbarn bestimmt wird. Der Artikel beschreibt Optimierungen durch Bit-Operationen, wie die parallele Verarbeitung mehrerer Zellen mit 64-Bit-Ganzzahlen und Bit-Rotation zur Simulation der Nachbarinteraktion. Die reversible Implementierung wird durch XOR mit dem vorherigen Zustand erreicht. Der Autor untersucht die Auswirkungen der Compiler-Optimierung und Vektorisierung auf die Leistung und implementiert schließlich eine effiziente Rendermethode.

Mehr lesen

Digitale Echos: Die unsichtbaren Kosten der ständigen Konnektivität

2025-03-28
Digitale Echos: Die unsichtbaren Kosten der ständigen Konnektivität

Dieser Essay untersucht die verborgenen psychischen Kosten unseres hypervernetzten digitalen Lebens und konzentriert sich auf das Konzept der „digitalen Echos“. Der Autor argumentiert, dass die ständige Datensammlung durch intelligente Geräte ein allgegenwärtiges Gefühl der Überwachung erzeugt und uns in Akteure anstatt in Teilnehmer unseres eigenen Lebens verwandelt. Anhand von Smartphones und Smart Cars als kontrastierende Beispiele werden die Unterschiede in der Datengenerierung und den Datenschutzimplikationen hervorgehoben. Es wird eine bewusstere Herangehensweise an die Technologie befürwortet, wobei der Schwerpunkt auf Einzel funktionsgeräten und analogen Alternativen liegt, um die negativen Auswirkungen der ständigen Überwachung zu mindern. Der Autor schlussfolgert, dass zukünftige technologische Fortschritte die Privatsphäre der Benutzer und fokussierte Erfahrungen priorisieren sollten, anstatt die allgegenwärtige Konnektivität und Multitasking.

Mehr lesen
Technologie

Retro Gaming UI-Schaufenster: Ein Ausflug in die 80er

2025-04-27

Dieser Artikel zeigt eine umfangreiche Sammlung von Screenshots von Benutzeroberflächen klassischer Heimcomputer und Konsolen der 80er Jahre, darunter Commodore 64, ZX Spectrum und Amstrad CPC. Die Screenshots zeigen Benutzeroberflächen für verschiedene Spiele und Programme, die Programmiersprachen wie BASIC, FORTH und ASM umfassen. Klassische Spiele wie Boulderdash und Bomb Jack sind vertreten und zeigen die einfachen, aber charmanten UI-Designs der damaligen Zeit.

Mehr lesen

Stichprobengröße im Baseball: Wie viele Daten sind ausreichend?

2025-04-04
Stichprobengröße im Baseball: Wie viele Daten sind ausreichend?

Eine Baseball-Saison besteht aus unzähligen kleinen Ereignissen, wobei jeder Pitch zum Endergebnis beiträgt. Die Bewertung der Spielerleistung erfordert eine erhebliche Datenmenge, aber der Schlüssel liegt im Verständnis, welche Datenpunkte aussagekräftig sind. Dieser Artikel untersucht das Thema Stichprobengröße in der Baseballstatistik und erklärt, warum ein einzelner Schlagversuch nicht ausreicht, um die Fähigkeiten eines Spielers zu beurteilen, und warum mehr Daten benötigt werden, um den Zufallseinfluss auszugleichen. Er hebt hervor, dass verschiedene Statistiken unterschiedliche Stichprobengrößen benötigen, um sich zu „stabilisieren“, z. B. benötigt die Strikeout-Rate eine kleinere Stichprobe als der BABIP. Der Autor betont die Bedeutung der Stichprobengröße, um vorschnelle Schlussfolgerungen auf der Grundlage begrenzter Daten zu vermeiden.

Mehr lesen

arXivLabs: Experimentelle Projekte mit Community-Mitwirkenden

2025-03-18
arXivLabs: Experimentelle Projekte mit Community-Mitwirkenden

arXivLabs ist ein Framework, das es Mitwirkenden ermöglicht, neue arXiv-Funktionen direkt auf unserer Website zu entwickeln und zu teilen. Sowohl Einzelpersonen als auch Organisationen, die mit arXivLabs zusammenarbeiten, haben unsere Werte von Offenheit, Community, Exzellenz und Datenschutz der Benutzerdaten angenommen und akzeptiert. arXiv verpflichtet sich zu diesen Werten und arbeitet nur mit Partnern zusammen, die diese einhalten. Haben Sie eine Idee für ein Projekt, das der arXiv-Community einen Mehrwert bietet? Erfahren Sie mehr über arXivLabs.

Mehr lesen
Entwicklung

Check Supply: Schecks schreiben im 21. Jahrhundert

2025-02-03
Check Supply: Schecks schreiben im 21. Jahrhundert

Ihr Vermieter akzeptiert keine elektronischen Zahlungen und Sie müssen Steuern per Scheck bezahlen? Check Supply bietet eine moderne Lösung für ein altes Problem. Senden Sie unbegrenzt viele Schecks für Rechnungen, Geschenke oder Gehaltsabrechnungen mit Echtzeit-Tracking und detaillierten Berichten. Zukünftige Funktionen umfassen geplante Zustellung, wiederkehrende Zahlungen und Benachrichtigungen bei niedrigem Guthaben, um Ihre Finanzen zu vereinfachen.

Mehr lesen

Erforschung der vierten Dimension: Eine Reise in die 4D-Geometrie

2025-01-28

Dieser Artikel verwendet ansprechende Analogien, um das Konzept der vierten Dimension zu erklären. Indem er sich einen 2D-Wesen vorstellt, der ein 3D-Objekt beobachtet, veranschaulicht der Autor, wie wir einen 4D-Hyperwürfel wahrnehmen könnten. Er erklärt klar, wie man 4D-Geometrie durch Querschnitte versteht, und verwendet Rotationsmatrizen und lineare Algebra, um die Projektion eines rotierten Hyperwürfels in den 3D-Raum zu berechnen und zu visualisieren, was zu komplexen geometrischen Formen führt.

Mehr lesen
Sonstiges vierte Dimension

Twin: Eine Textmodus-Fensterumgebung

2025-06-15
Twin: Eine Textmodus-Fensterumgebung

Twin ist eine textbasierte Fensterumgebung mit Mausunterstützung, Fenstermanager, Terminalemulator, Netzwerkclients und der Möglichkeit, Displays dynamisch anzuhängen/abzutrennen. Sie unterstützt verschiedene Anzeigearten, darunter reine Textterminals, X11 und sich selbst. Derzeit getestet auf Linux, macOS und FreeBSD auf verschiedenen Architekturen. Dieses Open-Source-Projekt unter GPL und LGPL Lizenz bietet umfassende Tutorials und Entwicklerdokumentation und ist auf GitHub verfügbar.

Mehr lesen

TwoFold: Normale Textdateien dynamisch machen

2025-05-14
TwoFold: Normale Textdateien dynamisch machen

TwoFold ist eine kleine Kommandozeilenanwendung, mit der sich einfache Textdateien wie dynamische Dateien verhalten können. Es ist eine Mischung aus Texterweiterer und Template-Engine, inspiriert von Emacs Org-mode, Python Jupyter Notebooks und React JS. TwoFold verarbeitet Textdateien, identifiziert LISP/XML-ähnliche Tags und wandelt sie in nützliche Ausgaben um. Es ist kompatibel mit XML- und HTML-Dokumenten, aber die Tag-Marker sind anpassbar. Es kann Dateien auf Änderungen überwachen und ermöglicht Echtzeit-Zusammenarbeit für Aufgaben wie Datenvalidierung, statistische Berechnungen oder Rechtschreibprüfung. TwoFold unterstützt verschiedene Dateitypen (.txt, Markdown, Emacs Org, reStructured Text, HTML, XML und Quellcodedateien), aber keine Binärdateien. Es wird mit Bun ausgeführt und ermöglicht Benutzern das einfache Erstellen und Laden benutzerdefinierter Tags.

Mehr lesen
Entwicklung

Das Rad neu erfinden: Ein Weg zu tieferem Verständnis

2025-05-24
Das Rad neu erfinden: Ein Weg zu tieferem Verständnis

Dieser Artikel hinterfragt den gängigen Rat, das Rad nicht neu zu erfinden. Der Autor argumentiert, dass das Bauen von vereinfachten Versionen bestehender Werkzeuge (Protokolle, Kryptographie, Webserver usw.) der beste Weg ist, deren zugrundeliegende Prinzipien wirklich zu verstehen. Selbst unvollkommene Implementierungen bieten unschätzbare Lernerfahrungen und decken Fehler und Einschränkungen in etablierten Lösungen auf. Dieser Ansatz, der über die Informatik hinausgeht, fördert praktische Experimente, beginnend mit kleinen Projekten, iterativ vorgehend und letztendlich zu einem tiefen Verständnis und praktischer Expertise führend. Die wichtigste Erkenntnis: Neu erfinden für Erkenntnisgewinn, wiederverwenden für Wirkung.

Mehr lesen
Entwicklung

Die Renaissance kleiner und alter Technologien: Einfachheit und Datenschutz neu gedacht

2025-05-15

Dieser Artikel untersucht das Konzept der „kleinen Technologie“, wobei deren Kompaktheit, Benutzerfreundlichkeit, Datenschutz und Umweltfreundlichkeit hervorgehoben werden. Im Gegensatz zu den aufgeblähten Technologien, die von großen Technologieunternehmen dominiert werden, befürwortet die „kleine Technologie“ Dezentralisierung, Peer-to-Peer-Kommunikation, Zero-Knowledge-Proofs und eine Neubewertung älterer Technologien wie UUCP, Gopher und Usenet. Diese älteren Technologien zeichnen sich durch geringen Ressourcenverbrauch, einfache Bedienung auf leistungsschwachen Geräten, höhere Umweltfreundlichkeit und besseren Datenschutz aus. Der Artikel stellt auch moderne „kleine Technologie“-Projekte wie NNCP und Gemini sowie Organisationen vor, die sich der Ethik der kleinen Technologie widmen, mit dem Ziel, eine Rückkehr zu einer einfacheren und datenschutzorientierten Technologie zu fördern.

Mehr lesen

CPython 3.14 Build ohne GIL: Multicore-Power freischalten

2025-05-16
CPython 3.14 Build ohne GIL: Multicore-Power freischalten

Die Veröffentlichung von CPython 3.14.0b1 stellt einen wichtigen Schritt in Richtung eines frei-gethreadeten Pythons dar, wobei der Global Interpreter Lock (GIL) entfernt wird. Quansight spielte eine entscheidende Rolle dabei, die experimentelle Verwendung des Builds ohne GIL in realen Produktions-Workflows mit komplexen Abhängigkeiten zu ermöglichen. Das Entfernen des GIL schaltet die volle Rechenleistung von Multicore-CPUs und GPUs frei und behebt die historischen Einschränkungen von Python im Parallel Computing. Dies erfordert umfangreiche Thread-Sicherheitsaudits bestehender Pakete, um Datenkonkurrenzen zu beheben. Quansight hat in Zusammenarbeit mit Meta zahlreiche Kernbibliotheken (NumPy, Pandas usw.) angepasst und CPython selbst zur Thread-Sicherheit verbessert. Herausforderungen bleiben bestehen, aber der Build ohne GIL repräsentiert die Zukunft von Python und verspricht drastische Leistungsverbesserungen.

Mehr lesen
Entwicklung

Streit um NATS-Markenrecht eskaliert: Synadia nimmt Projekt zurück, CNCF wehrt sich

2025-05-02
Streit um NATS-Markenrecht eskaliert: Synadia nimmt Projekt zurück, CNCF wehrt sich

Ein Rechtsstreit um das Markenrecht und das Marketing der weit verbreiteten NATS-Messaging-Software spitzt sich zu. Nachdem Synadia, der ehemalige Eigentümer, die Software von der Cloud Native Computing Foundation (CNCF) zurückgefordert hat, versucht die CNCF nun, die NATS-Marke und das Logo löschen zu lassen. Die CNCF argumentiert, dass Synadia 2018 alle Rechte abgetreten hat und die Vereinbarungen einhalten muss. Synadia entgegnet, dass die CNCF die Community-Beteiligung nicht gefördert habe, die meisten Beiträge von Synadia stammten und schlägt vor, NATS auf eine Business Source License (BSL) umzustellen. Die CNCF lehnt die BSL als nicht Open-Source-Lizenz ab und betont ihr Engagement für Open-Source-Werte. Der Kernstreit dreht sich um Eigentum, Markenrechte und Lizenzen, was möglicherweise zu einer Projekt-Fork ähnlich der Terraform/OpenTofu-Spaltung führt.

Mehr lesen
Entwicklung

Das Transputer-Betriebssystem eines 16-Jährigen: Eine Retrocomputing-Odyssee von 1995

2025-03-13
Das Transputer-Betriebssystem eines 16-Jährigen: Eine Retrocomputing-Odyssee von 1995

1995 entwickelte ein 16-jähriger Autor ein eigenständiges Betriebssystem für einen Transputer mit nur 128 KB RAM. Dieses ambitionierte Projekt umfasste ein Basis-Betriebssystem, einen Texteditor, einen Small-C-Compiler und einen Assembler. Er erweiterte den Compiler mühsam und konnte schließlich komplexe Programme wie ein Schachprogramm vom IOCCC und einen Raytracer ausführen. Ein 3D-Polygonmodellprogramm wurde ebenfalls entwickelt. Jahre später kehrte der Autor zu diesem Projekt zurück und beschrieb die Herausforderungen bei der Wiederherstellung des Betriebssystems, einschließlich Byte-Reihenfolge-Problemen, Speicherverwaltung und Gleitkommafehlern. Der Artikel gipfelt in einer erfolgreichen Emulation des Betriebssystems und enthält Anweisungen zum Wiederaufbau. Diese Geschichte zeigt beeindruckenden Einfallsreichtum und Ausdauer angesichts begrenzter Ressourcen.

Mehr lesen
1 2 399 400 401 403 405 406 407 595 596