Webtagr - Technologienummer

Beliebte Tags：

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

Kritische Next.js Middleware-Schwachstelle: CVE-2025-29927

2025-03-23

Sicherheitsforscher haben eine kritische Schwachstelle (CVE-2025-29927) in der Next.js Middleware entdeckt, die fast alle Versionen von 11.1.4 bis zur neuesten betrifft. Der Fehler ermöglicht es Angreifern, die Middleware, einschließlich Authentifizierung und Autorisierung, durch Manipulation des Headers `x-middleware-subrequest` zu umgehen. Dies kann zum Umgehen von Sicherheitsmechanismen und sogar zu Denial-of-Service-Angriffen durch Cache-Poisoning führen. Das Vercel-Team hat Patches veröffentlicht; alle Next.js-Benutzer sollten sofort ein Upgrade durchführen.

(zhero-web-sec.github.io)

Entwicklung

Bau eines höflichen und schnellen Webcrawlers: Lektionen gelernt

2025-01-05

Dennis Schubert, Ingenieur bei Mozilla und bemerkenswerter Mitwirkender an Diaspora, einem verteilten Open-Source-Sozialen Netzwerk, stellte kürzlich fest, dass 70 % der Last auf den Diaspora-Servern von schlechtartigen Bots stammten, die die LLMs einiger großer Unternehmen speisen. Die schlimmsten Übeltäter, die zusammen 40 % des gesamten Datenverkehrs ausmachten, waren OpenAI und Amazon. Dieser Artikel beschreibt die Erfahrungen des Autors beim Bau eines höflichen und schnellen Webcrawlers, einschließlich Ratenbegrenzung, Respekt vor robots.txt, Minimierung von erneuten Abrufen und effizientem Einfügen in die Warteschlange. Mit Python und gevent weist der Autor jedem Domain eine Coroutine für die Ratenbegrenzung zu und nutzt Postgres für effizientes Queue-Management und Deduplizierung. Dieses Design ermöglicht schnelles und effizientes Crawlen bei gleichzeitiger Berücksichtigung der Zielwebsites.

(cameronboehmer.com)

Entwicklung Webcrawler Ratenbegrenzung

Remote Code Execution auf einem Synthesizer via MIDI Shellcode: Bad Apple auf einem LCD

2025-01-05

Ein Hacker hat auf einem Yamaha PSR-E433 Synthesizer über dessen MIDI-Schnittstelle Remote Code Execution erreicht. Durch Reverse Engineering erstellte er eine Shell, die über MIDI SysEx-Nachrichten zugänglich ist. Diese Shell ermöglichte die Manipulation des Synthesizer-Speichers und führte schließlich zur Wiedergabe eines Bad Apple-Videos auf dem LCD-Bildschirm. Das Projekt umfasste komplexes JTAG-Debugging, Firmware-Analyse, ARM-Assembler-Programmierung und clevere Speichermanipulation. Dieses beeindruckende Kunststück zeigt ein tiefes Verständnis von Reverse Engineering eingebetteter Systeme.

(psi3.ru)

Technologie

Die Glaubwürdigkeitskrise in der Wissenschaft: Wie Metriken die Forschungsqualität gefährden

2025-01-14

Die Glaubwürdigkeitskrise in der Wissenschaft: Wie Metriken die Forschungsqualität gefährden

Die Wissenschaft steht vor einer Glaubwürdigkeitskrise, mit einer Rekordzahl an zurückgezogenen Publikationen und dem Aufkommen von KI-generierten Inhalten. Der Artikel argumentiert, dass die übermäßige Abhängigkeit von Metriken wie Publikationszahlen und Impact Factors zu einem „Indikatorismus“ geführt hat – einem Fokus auf die Manipulation von Metriken anstelle des Strebens nach echter Forschungsqualität. Dies hat zu unethischen Praktiken wie Zitationskartellen und gefälschten Daten geführt. Obwohl Metriken ihren Nutzen haben, plädiert der Autor für einen differenzierteren Ansatz, der qualitative Bewertungen neben quantitativen Daten einbezieht, um ein ganzheitlicheres Verständnis von Forschungsqualität und Glaubwürdigkeit zu erhalten. Das derzeitige System, so warnt er, riskiert, langfristigen wissenschaftlichen Fortschritt für kurzfristige Leistungsgewinne zu opfern.

(www.socialsciencespace.com)

Sonstiges wissenschaftliche Integrität Forschungsmetriken Indikatorismus

Quadratische Kufi-Schrift: Eine labyrinthische Reise in die islamische Kalligrafie

2025-05-06

Quadratische Kufi-Schrift: Eine labyrinthische Reise in die islamische Kalligrafie

Als Kind war der Autor fasziniert von den komplexen geometrischen Mustern, die Moscheen schmückten, und erfuhr später, dass es sich um quadratische Kufi-Schrift handelte, eine islamische Schrift aus dem 12. und 13. Jahrhundert. Dieser Stil verwandelt arabische Buchstaben in geometrische Designs, indem er Regeln biegt und bricht, um atemberaubende, manchmal unleserliche Muster zu schaffen. Der Artikel erforscht die Ursprünge, Merkmale und modernen Neuinterpretationen der quadratischen Kufi-Schrift und beleuchtet Künstler, die Verse in die Architektur integrieren oder moderne Kunstwerke schaffen. Persönliche Anekdoten und eine Diskussion über die Topkapi-Rolle enthüllen den vielschichtigen Reiz der Kunstform: von visueller Schönheit bis zu kryptischen Botschaften, die eine reiche kulturelle Tiefe und endlose Intrigen bieten.

(uwithumlaut.wordpress.com)

Design Islamische Kalligrafie Quadratische Kufi-Schrift

Indie-Spieleentwicklung 2025: Abschied von großen Engines, Willkommen leichte Toolchains

2025-05-20

Indie-Spieleentwicklung 2025: Abschied von großen Engines, Willkommen leichte Toolchains

Ein Spieleentwickler mit 20 Jahren Erfahrung teilt seinen Workflow für die Indie-Spieleentwicklung im Jahr 2025. Er verzichtet auf große Engines wie Unity und Unreal und setzt stattdessen auf eine leichte Toolchain mit C#, SDL3, FMOD und Dear ImGui. Dies bietet ihm mehr Flexibilität, Spaß und Kontrolle, argumentiert er. Der Artikel beschreibt seine Technologie-Stack-Auswahl, Asset-Management, Level-Editoren, plattformübergreifende Portierung und ermutigt Entwickler, den passenden Workflow zu wählen.

(noelberry.ca)

Spiele

Agora-Protokoll: Sichere und anonyme nationale Beratung

2025-07-20

Dieser Artikel schlägt das Agora-Protokoll vor, eine technologische Lösung für das Problem der gesellschaftlichen Spaltung, die durch autoritäre Regime geschaffen wird. Unter Verwendung von Telegram etabliert das Protokoll einen sicheren, anonymen und mehrstufigen Beratungsprozess, der es den Bürgern ermöglicht, nationale Fragen zu diskutieren und darüber abzustimmen. Ein meritokratisches Filtersystem stellt sicher, dass die relevantesten Ideen an die Oberfläche kommen und in einem transparenten nationalen Konsens gipfeln, der für alle Teilnehmer sichtbar ist. Bemerkenswert effizient kann es die Meinungen von 100 Millionen Menschen innerhalb von sechs Wochen auf eine Kerngruppe von 100 Personen destillieren.

(simurgh-beau.github.io)

Technologie Agora-Protokoll Anonyme Beratung Nationaler Konsens

Das "Bessere" in der C++-Überladungsauflösung: Ein tiefer Einblick in Typumwandlungen

2025-03-17

Das

Dieser Artikel befasst sich mit den Komplexitäten der Überladungsauflösung in C++, insbesondere mit den schwer fassbaren "besseren" Regeln für implizite Typumwandlungen. Durch detaillierte Erklärungen und Beispiele für Standard-Umwandlungsabläufe, einschließlich Qualifizierungs-Umwandlungen, erläutert der Autor, wie der Compiler die beste Funktionsübereinstimmung auswählt. Codebeispiele und schrittweise Analysen zeigen die komplizierte und manchmal verwirrende Mechanik des C++-Typsystems und führen letztendlich zu einer Reflexion über die Praktikabilität impliziter Typumwandlungen.

(consteval.ca)

Entwicklung Überladungsauflösung Typumwandlung

Steam Deck umgebaut: Minimalistisches Handheld-Mod

2025-01-25

Ein Entwickler hat ein radikales Steam Deck-Mod erstellt, bei dem Bildschirm und Controller entfernt wurden, um ein minimalistisches Handheld-Gerät namens "Steam Brick" zu schaffen. Dies umfasste eine vollständige Demontage und Rekonstruktion, wobei nur noch das Motherboard, der Power-Button und ein USB-Port übrig blieben. Die Motivation? Portabilität. Das resultierende Gerät ist etwa ein Drittel so groß wie das Original und deutlich leichter, passt also bequem in einen Rucksack. Obwohl die Funktionalität eingeschränkt ist – der Zugriff auf das BIOS ist derzeit unmöglich – könnte dies für Nutzer, die ihren Steam Deck hauptsächlich an AR-Brillen oder einen Fernseher anschließen, ein lohnender Kompromiss sein.

(crastinator-pro.github.io)

Hardware Hardware-Mod Minimalistisches Handheld

Amnestys Mobile Verification Toolkit: Ein forensisches Werkzeug zur Erkennung von Spionagesoftware

2025-03-17

Amnestys Mobile Verification Toolkit: Ein forensisches Werkzeug zur Erkennung von Spionagesoftware

Das Amnesty International Security Lab veröffentlichte im Juli 2021 das Mobile Verification Toolkit (MVT). Dieses Tool vereinfacht und automatisiert die Sammlung forensischer Spuren, um potenzielle Kompromittierungen von Android- und iOS-Geräten zu identifizieren. MVT verwendet öffentlich zugängliche Indicators of Compromise (IOCs), um nach Spuren bekannter Spionage-Software-Kampagnen zu suchen. Es ist jedoch wichtig zu beachten, dass dies keine Garantie für die vollständige Sicherheit des Geräts bietet. Das Tool richtet sich an Techniker und Ermittler mit Kenntnissen in digitaler Forensik und der Verwendung von Befehlszeilentools. Es ist nicht für die Selbsteinschätzung durch Endbenutzer gedacht.

(github.com)

Technologie digitale Forensik

Jurtzählung in der Mongolei: Ein Machine-Learning-Abenteuer

2025-06-18

Dieser Artikel beschreibt die Reise des Autors, die Anzahl der Jurten (Gers) in der Mongolei mithilfe von Machine Learning zu ermitteln. Der Autor dokumentiert den Prozess detailliert, von der Datenerfassung mit Google Maps Satellitenbildern und dem Modelltraining mit YOLO bis hin zum Deployment auf einem Docker Swarm Cluster mit mehreren GPUs. Das Projekt hebt die Herausforderungen bei der Verarbeitung großer georäumlicher Datensätze und die innovativen Lösungen hervor. Die endgültige Zählung zeigt eine überraschende Anzahl von Jurten und gibt Einblicke in die einzigartige Mischung aus traditioneller nomadischer Kultur und moderner Urbanisierung in der Mongolei.

(monroeclinton.com)

Technologie Mongolei

Die Manicule: Von mittelalterlichen Manuskripten zu Mauszeigern

2025-04-13

Die Manicule: Von mittelalterlichen Manuskripten zu Mauszeigern

Haben Sie schon einmal die kleinen, zeigenden Hände in alten Büchern bemerkt? Das ist eine Manicule, und dieser Artikel verfolgt ihren faszinierenden Weg von mittelalterlichen Manuskripten, wo Leser sie zum Hervorheben wichtiger Passagen verwendeten, über die Zeit der Druckpresse bis in das digitale Zeitalter, wo sie als allgegenwärtiger Website-Zeiger weiterlebt. Es ist die Geschichte eines einfachen Symbols, das sich an neue Technologien angepasst hat und immer demselben Zweck dient: die Aufmerksamkeit des Lesers zu lenken.

(www.messynessychic.com)

Design

Gixy: Ein leistungsstarkes Sicherheitsprüfungstool für Nginx-Konfigurationen

2025-02-16

Gixy: Ein leistungsstarkes Sicherheitsprüfungstool für Nginx-Konfigurationen

Gixy ist ein Tool zur Analyse von Nginx-Konfigurationen, um unsichere Konfigurationen zu verhindern und die Fehlererkennung zu automatisieren. Es unterstützt Python 3.6 bis 3.13 und wurde hauptsächlich unter GNU/Linux getestet. Gixy erkennt verschiedene Nginx-Konfigurationsprobleme, wie z. B. HTTP-Splitting-Schwachstellen. Die Installation ist flexibel und unterstützt pip, yum und Docker. Benutzer können den Konfigurationspfad angeben, Pipelines verwenden und Tests überspringen. Gixy wird aktiv gepflegt und begrüßt Code-Beiträge und Verbesserungen der Dokumentation.

(github.com)

Entwicklung Prüfung

Deutschland erreicht 62,7 % erneuerbare Energien im Strommix 2024

2025-01-12

Deutschland erreicht 62,7 % erneuerbare Energien im Strommix 2024

Laut Fraunhofer-Institut für Solare Energiesysteme (Fraunhofer ISE) erzeugte Deutschland 2024 62,7 % seines Stroms aus erneuerbaren Energien. Solarstrom trug mit 14 % zum Gesamtwert bei und erreichte einen Rekord von 72,2 TWh. Trotz weniger günstiger Wetterbedingungen trieb der rasche Ausbau der Solarkapazitäten diesen Rekord voran. Windenergie blieb mit 136,4 TWh die größte Quelle. Die Batteriekapazität verzeichnete ebenfalls ein deutliches Wachstum von 8,6 GW auf 12,1 GW. Deutschlands CO2-Emissionen gingen weiter zurück und fielen 2024 auf 152 Millionen Tonnen, ein Rückgang von 58 % gegenüber dem Niveau von 1990.

(www.pv-magazine.com)

Technologie Solarstrom deutsche Energie

Verbesserung der Barrierefreiheit von Webtabellen: Ein tiefer Einblick in Tab Roving

2025-05-23

Dieser Artikel behandelt die Herausforderungen des Fokusmanagements in Webtabellen, insbesondere für Tastaturbenutzer, bei denen die traditionelle Tabulator-Navigation ineffizient ist. Der Autor stellt eine Technik namens "Tab Roving" vor, die Pfeiltasten verwendet, um zwischen Tabellenzellen zu navigieren, wobei die gesamte Tabelle als einzelnes fokussierbares Element behandelt wird. Dies verbessert die Benutzererfahrung für Tastaturbenutzer erheblich. Der Artikel beschreibt die Implementierungsprinzipien im Detail, einschließlich der Verwendung des Attributs `tabindex`, der Fokusverfolgung und eines Codebeispiels in React, und erörtert weitere Anwendungsfälle wie Mega-Menüs und benutzerdefinierte numerische Eingabefelder.

(nik.digital)

Entwicklung Fokusmanagement

Den Kalman-Filter meistern: Ein umfassendes Tutorial

2025-01-18

Dieses Tutorial bietet eine umfassende Anleitung zum Kalman-Filter, einem leistungsstarken Werkzeug zur Schätzung und Vorhersage von Systemzuständen. Beginnend mit grundlegenden univariaten Filtern werden schrittweise multivariate Filter, nichtlineare Filter und praktische Implementierungsaspekte wie Sensorfusion und die Behandlung von Ausreißern behandelt. Das Tutorial enthält zahlreiche numerische Beispiele und Abbildungen sowie Python- und MATLAB-Code. Auch ohne fundierte mathematische Kenntnisse können Sie den Kalman-Filter entwerfen, simulieren und seine Leistung bewerten lernen.

(www.kalmanfilter.net)

Entwicklung Kalman-Filter Zustandsschätzung

Arbeiten mit Git-Patches in Apple Mail: Ein überraschend einfacher Workflow

2025-05-18

Diese Anleitung beschreibt, wie man Git-E-Mail-Patches in Apple Mail unter macOS verwaltet. Erstellen Sie zunächst ein dediziertes Postfach „Patches“. Verschieben Sie E-Mails mit Patches in dieses Postfach und exportieren Sie es in einen lokalen Ordner. Verwenden Sie schließlich den Befehl `git apply` in Ihrem Terminal, um den Patch anzuwenden. Obwohl dies den Prozess in Apple Mail vereinfacht, erfolgt die eigentliche Patch-Anwendung über das Terminal. Denken Sie daran, Ihren lokalen „Patches“-Ordner regelmäßig zu bereinigen.

(btxx.org)

Entwicklung Patches

Vorsicht bei der Verwendung der Kosinusähnlichkeit!

2025-01-14

Vorsicht bei der Verwendung der Kosinusähnlichkeit!

Dieser Artikel untersucht die Risiken einer übermäßigen Abhängigkeit von der Kosinusähnlichkeit bei Vektorvergleichen in der Datenwissenschaft. Der Autor argumentiert, dass die Kosinusähnlichkeit zwar rechnerisch einfach ist, aber oft die semantische Ähnlichkeit nicht erfasst und leicht durch oberflächliche Muster wie Schreibstil und Tippfehler in die Irre geführt werden kann. Der Artikel verwendet Beispiele, um dieses Problem zu veranschaulichen, und schlägt mehrere verbesserte Methoden vor, darunter: die direkte Verwendung von LLMs zum Vergleich, Feinabstimmung oder Transferlernen, um aufgabenspezifische Einbettungen zu erstellen, Pre-Prompt-Engineering und Textvorverarbeitung. Der Autor betont die Wichtigkeit, geeignete Ähnlichkeitsmetriken basierend auf den spezifischen Anforderungen auszuwählen, anstatt die Kosinusähnlichkeit blind zu verwenden.

(p.migdal.pl)

KI Kosinusähnlichkeit Vektorvergleich

TigerBeetle überarbeitet seine Dokumentationswebsite: Abschied von Docusaurus, Willkommen Zig

2025-04-10

TigerBeetle überarbeitet seine Dokumentationswebsite: Abschied von Docusaurus, Willkommen Zig

Das TigerBeetle-Team hat seine Dokumentationswebsite komplett neu aufgebaut und dabei Docusaurus (basierend auf Node.js) zugunsten eines leichten, schnellen statischen Website-Generators auf Basis von Zig aufgegeben. Mit Zigs Build-System und Pandoc wurde eine effiziente Markdown-Parsung und HTML-Generierung erreicht. Die neue Website bietet eine verbesserte Benutzererfahrung, einen deutlich kleineren Footprint und sogar ein lustiges Easter-Egg-Spiel. Dieser Umbau zeigt TigerBeetles Engagement für technische Exzellenz und einen schlanken Ansatz.

(tigerbeetle.com)

Entwicklung Dokumentationswebsite

RustOwl: Visualisierung von Ownership und Lebensdauer in Rust

2025-02-18

RustOwl: Visualisierung von Ownership und Lebensdauer in Rust

RustOwl ist ein leistungsstarkes Tool, das Ownership und Lebensdauer von Variablen in Rust-Code visualisiert. Mit farbcodierten Unterstreichungen zeigt RustOwl intuitiv die Lebensdauer von Variablen, unveränderliche Ausleihen, veränderliche Ausleihen und Wertverschiebungen an und unterstützt Entwickler so bei Debugging und Optimierung. Es unterstützt Editoren wie VSCode, Neovim und Emacs und bietet verschiedene Installationsmethoden, darunter eine einfache Installation über die Kommandozeile und eine manuelle Installation aus dem Quellcode. Obwohl gelegentlich kleinere Anzeigeprobleme auftreten können, hat RustOwl ein erhebliches Potenzial zur Steigerung der Effizienz der Rust-Entwicklung gezeigt.

(github.com)

Entwicklung

API Parrot: HTTP-APIs beliebiger Webseiten einfach reverse-engineeren

2025-01-01

API Parrot ist ein leistungsstarkes Tool zum Reverse-Engineering von HTTP-APIs beliebiger Webseiten. Es verfügt über einen integrierten HTTP-Proxy zum einfachen Aufzeichnen des Netzwerkverkehrs, analysiert Daten, um relevante Endpunkte zu identifizieren und deren Beziehungen zu verstehen. Benutzer können Funktionen anpassen, Eingabe-/Ausgabeparameter festlegen, irrelevante Daten ausschließen und die angepassten Funktionen als JavaScript-Code exportieren, um sie nahtlos in ihre Anwendungen zu integrieren. API Parrot vereinfacht die Automatisierung von Geschäftsprozessen, die Systemintegration und das Web Scraping, selbst von Webseiten ohne öffentliche APIs.

(apiparrot.com)

Entwicklung API Reverse Engineering

Bin: KI-gestützte Business Intelligence, Dashboards in Sekunden

2025-01-10

Bin ist ein KI-gestützter Business-Intelligence-Analyst, mit dem Sie in Sekundenschnelle beeindruckende Datenvisualisierungen und interaktive Dashboards erstellen können. Vergessen Sie komplexe SQL-Abfragen und umständliche BI-Tools. Beschreiben Sie einfach, was Sie benötigen, in natürlicher Sprache, und Bin erstellt sofort ansprechende Diagramme und Dashboards. Es unterstützt verschiedene Datenquellen und bietet eine Drag-and-Drop-Oberfläche für einfache Anpassung und Iteration. Bin bietet kostenlose und kostenpflichtige Pläne, um den Bedürfnissen verschiedener Teamgrößen gerecht zu werden.

(bi.new)

Technologie

Von Nand-Gattern zu Pong: Eine Reise zum Bau eines Computers

2025-02-18

Der Autor verbrachte fast einen Monat damit, den ersten Teil des Nand2Tetris-Kurses abzuschließen und einen 16-Bit-Von-Neumann-Computer von Grund auf zu bauen, beginnend mit einfachen Nand-Gattern, bis hin zur erfolgreichen Ausführung des Spiels Pong. Diese Reise vermittelte ihm ein tiefes Verständnis von Abstraktion und verbesserte seine Fähigkeiten in der Softwareentwicklung deutlich aus Hardwaresicht. Der Autor teilt auch seine Erfahrungen beim Überwinden von Herausforderungen, wie z. B. der Schwierigkeit, Multiplexer zu verstehen, und den endgültigen „Eureka“-Moment.

(tristanrhodes.com)

Entwicklung Computerarchitektur Programmierlernen

Der gordische Knoten von Online-Schemaänderungen und Fremdschlüsseln in MySQL

2025-02-12

Der gordische Knoten von Online-Schemaänderungen und Fremdschlüsseln in MySQL

Dieser Beitrag untersucht die inhärenten Herausforderungen bei der Durchführung von Online-Schemaänderungen in MySQL, insbesondere bei Tabellen, die durch Fremdschlüsselbeziehungen verknüpft sind. Der Autor analysiert die Einschränkungen bestehender Tools wie pt-online-schema-change und gh-ost und hebt die Komplexität und die Risiken hervor, die mit der Änderung von übergeordneten Tabellen verbunden sind. Das Ändern einer übergeordneten Tabelle erfordert gleichzeitige Änderungen aller untergeordneten Tabellen, was einen fragilen Prozess mit minimaler Fehlertoleranz schafft. Ein einziger Fehler kann zu Dateninkonsistenzen oder Ausfällen führen. Der Autor kommt zu dem Schluss, dass Online-Schemaänderungen, die Fremdschlüsselbeschränkungen für große Tabellen betreffen, praktisch nicht durchführbar sind.

(code.openark.org)

Entwicklung Online-Schemaänderung

Nintendos Anti-Palworld-Patentstreit geht global: US-Patent erteilt

2025-02-15

Nintendos Anti-Palworld-Patentstreit geht global: US-Patent erteilt

Nintendo erhielt im Februar 2025 ein US-Patent für ein Kreaturenfangsystem, das offenbar auf Palworld abzielt. Dies folgt auf eine Klage in Japan gegen Pocketpair, den Entwickler von Palworld, wegen Verletzung von geistigem Eigentum. Das neue Patent, ähnlich einem Ende 2024 erteilten Patent, verwendet eine leicht abweichende Formulierung, um seinen Geltungsbereich zu erweitern, was darauf hindeutet, dass Nintendo den Rechtsstreit möglicherweise global ausweiten könnte. Das Ergebnis hängt von anhängigen US-Patentanmeldungen ab, von denen eine zuvor abgelehnt, aber von Nintendo angefochten wurde.

(gamerant.com)

Spiele

Peano-Axiome: Ein eleganter Ansatz zur Definition natürlicher Zahlen

2025-03-24

Peano-Axiome: Ein eleganter Ansatz zur Definition natürlicher Zahlen

Dieser Artikel befasst sich mit den Peano-Axiomen, einem System, das natürliche Zahlen rigoros durch neun Axiome definiert. Ausgehend von einem intuitiven Verständnis wird eine formale axiomatische Definition aufgebaut, die die Eigenschaften der Gleichheit, die Existenz von 0, die Nachfolgerfunktion und die mathematische Induktion umfasst. Die Bedeutung und Rolle jedes Axioms wird detailliert erläutert, einschließlich Diskussionen über verschiedene Formen der mathematischen Induktion. Der Artikel gipfelt in der Demonstration, wie die Peano-Axiome die Menge der natürlichen Zahlen eindeutig bestimmen und damit eine solide Grundlage für spätere mathematische Schlussfolgerungen schaffen.

(principlesofcryptography.com)

Sonstiges Mathematische Logik Axiomatisches System

Der Tod von Microsoft: Wie Google, Ajax und Apple einen Giganten stürzten

2025-02-04

2007 erkannte der Autor, dass Microsoft nicht mehr der gefürchtete Software-Gigant von einst war. Der Aufstieg von Google, die Entwicklung webbasierter Ajax-Technologie, die Verbreitung von Breitbandinternet und die Renaissance von Apple trugen zum Niedergang von Microsoft bei. Obwohl weiterhin profitabel, verlor Microsoft seine Dominanz, seine geschlossene Strategie und seine langsame Reaktion auf neue Technologien kosteten ihm die Chancen des Web 2.0. Der Autor argumentiert, dass Microsofts „Tod“ kein plötzliches Ereignis war, sondern das Ergebnis mehrerer Faktoren, wobei seine größte Schwäche das Festhalten am traditionellen Desktop-Softwaremodell und das Versäumnis war, die neuen Technologien und Geschäftsmodelle des Internetzeitalters anzunehmen.

(www.paulgraham.com)

Technologie

Die normannische Eroberung und die englische Rechtschreibung: Eine verlorene Geschichte der diakritischen Zeichen

2025-07-07

Die normannische Eroberung und die englische Rechtschreibung: Eine verlorene Geschichte der diakritischen Zeichen

Dieser Artikel untersucht, wie die normannische Eroberung die englische Rechtschreibung tiefgreifend beeinflusst hat. Nach 1066 wurde Französisch zur Amtssprache, und die Schreiber übernahmen französische Schreibkonventionen ins Englische, was zu Buchstabenkombinationen führte, die einzelne Phoneme darstellen, wie "sh" und "th". Die Renaissance sah die Entwicklung eines Systems diakritischer Zeichen im Französischen durch Druck und Standardisierung, während das Englische die während der normannischen Periode etablierten Rechtschreibkonventionen beibehielt. Dies erklärt, warum Englisch heute keinen weit verbreiteten Gebrauch diakritischer Zeichen aufweist.

(www.deadlanguagesociety.com)

Sonstiges englische Geschichte Normannische Eroberung

OpenAIs o1-Modell meistert Codenames

2025-01-25

OpenAIs o1-Modell meistert Codenames

OpenAIs o1-Modell spielte Codenames gegen sich selbst, und die Ergebnisse waren überraschend beeindruckend. In über 20 Spielen zeigte o1 durchgehend starkes logisches Denken und ein umfangreiches Wissen, sowohl als Hinweisgeber als auch als Rategast. Die Forscher bemerkten das überlegene Allgemeinwissen von o1 im Vergleich zu Menschen, indem es scheinbar unverbundene Wörter geschickt miteinander verband. Beispiele hierfür sind die Verwendung von "007" als Hinweis und die Verbindung von "Post", "Anwalt", "Linie" und "Protokoll" mit dem einzigen Wort "Papier". Dies zeigt das Potenzial großer Sprachmodelle in Strategiespielen und deutet auf zukünftige Anwendungen in verschiedenen Spielumgebungen hin.

(suveenellawela.com)

Spiele

Das bleibende Erbe des 88x31 Pixel-Buttons

2025-04-05

Dieser Artikel untersucht die Ursprünge und die anhaltende Popularität des allgegenwärtigen 88x31 Pixel-Buttons im Internet. Er verfolgt seine Wurzeln bis in die Mitte der 1990er Jahre zurück und untersucht, wie Netscapes "Netscape Now"-Programm diese Button-Größe verwendete, was später zu einer weitverbreiteten Adoption auf Plattformen wie Geocities führte. Trotz seiner geringen Größe war seine einfache Erstellung, Verbreitung und Anpassung zu einem einzigartigen Symbol der frühen Webkultur geworden. Selbst im heutigen Zeitalter von hochauflösenden Bildschirmen bleibt der 88x31 Pixel-Button bestehen, verbunden mit Nostalgie und einer unverwechselbaren Ästhetik des frühen Internets. Der Artikel untersucht auch alternative Button-Größen und bietet Perspektiven auf die Zukunft des 88x31 Pixel-Buttons.

(ultrasciencelabs.com)

Design

← Previous 1 2 … 578 579 580 581 582 583 584 585 586 … 595 596 Next →