Webtagr - Technologienummer

Beliebte Tags：

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

Kowloon Walled City: Heterotopie in einem Raum des Verschwindens

2024-12-19

Kowloon Walled City: Heterotopie in einem Raum des Verschwindens

Die Kowloon Walled City, eine einzigartige ‚Heterotopie‘ in Hongkong, entstand aus den politischen Konflikten nach den Opiumkriegen. Ihre unklare Souveränität machte sie zu einer gesetzlosen Zone, die Flüchtlinge aus China anzog und eine lebendige, wenn auch illegale Wirtschaft förderte. Trotz ihres Rufs für Kriminalität war die Walled City nicht isoliert; sie hatte komplexe wirtschaftliche und soziale Verbindungen zum Rest Hongkongs. Mit der bevorstehenden Rückgabe Hongkongs an China endete jedoch die politische Mehrdeutigkeit, was zur Zerstörung der Walled City führte und ein faszinierendes Kapitel der Geschichte Hongkongs hinterließ.

(mascontext.com)

Sonstiges Heterotopie Geschichte Hongkongs

Steuere dein iTerm mit LLMs über iterm-mcp

2025-01-30

Steuere dein iTerm mit LLMs über iterm-mcp

iterm-mcp ist ein Model Context Protocol (MCP)-Server, der LLMs Zugriff auf deine iTerm-Sitzung ermöglicht. Es bietet effiziente Token-Nutzung, indem es nur die benötigte Ausgabe liest; natürliche Integration, die es LLMs erlaubt, mit iTerm zu interagieren, Fragen zu beantworten oder Aufgaben auszuführen; und vollständige Terminal-Steuerung mit REPL-Unterstützung. Einfach über npx zu installieren und in Clients wie Claude Desktop zu integrieren, es priorisiert Einfachheit. Es fehlen jedoch integrierte Sicherheitsbeschränkungen, daher müssen Benutzer die Modell-Aktivität überwachen und Vorsicht walten lassen.

(github.com)

Entwicklung

Symbolisches Differenzieren in Prolog: Elegante DCGs und effizientes Tabling

2025-03-12

Dieser Artikel demonstriert die symbolische Differentiation unter Verwendung von Prolog und seinen leistungsstarken Definit Clause Grammars (DCGs). Er beginnt mit der Erklärung grundlegender Konzepte der Analysis, insbesondere der Definition und Regeln der Differentiation. Anschließend wird ein mathematischer Ausdrucks-Parser mithilfe von DCGs erstellt, der zeichenfolgenbasierte Ausdrücke in abstrakte Syntaxbäume (ASTs) umwandelt. Um die Linksrekursion zu behandeln, wird Tabling für Effizienz eingesetzt. Schließlich verfeinern Vereinfachungsregeln die Ergebnisse der Ableitung. Der Prozess hebt die Stärken von Prolog in der symbolischen Berechnung hervor und zeigt seine Eleganz und Effizienz.

(bitsandtheorems.com)

Entwicklung Symbolisches Differenzieren

GNOME 1998: Ein Rückblick in die Vergangenheit

2025-06-15

Dieser Artikel beschreibt die Erfahrung des Autors mit der frühen GNOME-Desktopumgebung in Red Hat Linux 5.1 aus dem Jahr 1998. Es handelte sich um eine Betaversion, die deutlich einfacher war als das heutige GNOME, aber bemerkenswert schnell startete. Der Autor beschreibt die verfügbaren Anwendungen, wie einen einfachen Dateimanager, den Bildbetrachter Electric Eyes, gEdit 0.4.0 und einfache Spiele, und vergleicht sie mit modernen Versionen. Dieser nostalgische Blick zeigt die Bemühungen und den Einfallsreichtum der frühen Open-Source-Community.

(linuxgazette.net)

Entwicklung Open-Source-Geschichte

Die Produktivität in US-Restaurants schoss während COVID in die Höhe: Die Fast-Food-Revolution?

2025-03-14

Die Produktivität in US-Restaurants schoss während COVID in die Höhe: Die Fast-Food-Revolution?

Eine neue Studie zeigt, dass die reale Arbeitsproduktivität in US-Restaurants während der COVID-19-Pandemie um über 15 % gestiegen ist – ein beispielloser Anstieg nach fast 30 Jahren Stagnation. Mithilfe von Mobilfunkdaten, die über 100.000 Restaurants mit eingeschränktem Service verfolgt haben, stellten die Forscher fest, dass dies nicht auf Skaleneffekte, einen gestiegenen Marktanteil oder pandemiebedingte Nachfrageschwankungen zurückzuführen war. Stattdessen korreliert es stark mit einer kürzeren Verweildauer der Kunden, insbesondere mit einem Anstieg des Anteils der Kunden, die 10 Minuten oder weniger verbringen. Die Häufigkeit solcher „Take-out“-Bestellungen stieg während COVID deutlich an, sogar in Fast-Food-Restaurants, und blieb erhöht. Der Zusammenhang zwischen Produktivität und kürzerer Verweildauer erklärt fast vollständig den gesamten Produktivitätsanstieg. Dies deutet darauf hin, dass die Pandemie die Akzeptanz von Fast Food und Take-away beschleunigt hat und die Effizienz der Restaurants deutlich gesteigert hat.

(bfi.uchicago.edu)

Technologie Arbeitsproduktivität COVID-Auswirkungen Fast Food

Kalifornischer Generalstaatsanwalt verklagt OMB, um Einfrieren von 3 Billionen Dollar an Bundesmitteln zu blockieren

2025-01-28

Kalifornischer Generalstaatsanwalt verklagt OMB, um Einfrieren von 3 Billionen Dollar an Bundesmitteln zu blockieren

Der kalifornische Generalstaatsanwalt Rob Bonta hat zusammen mit 22 weiteren Generalstaatsanwälten der Bundesstaaten eine Klage gegen das Office of Management and Budget (OMB) eingereicht, um eine Direktive zu blockieren, die bis zu 3 Billionen Dollar an Bundesmitteln einfrieren würde. Die Direktive droht, die wichtige Finanzierung für Katastrophenhilfe (einschließlich der Wiederherstellung nach den Waldbränden in Kalifornien), öffentliche Gesundheit, Bildung und öffentliche Sicherheitsprogramme zu stoppen. Bonta argumentiert, dass die Direktive gegen die Verfassung und den Administrative Procedure Act verstößt, und beantragt eine einstweilige Verfügung, um unmittelbare und irreparable Schäden zu verhindern.

(oag.ca.gov)

Technologie Bundesmittel öffentliche Sicherheit

Kosmische Strahlung und KI revolutionieren die Brückeninspektion

2025-03-19

Kosmische Strahlung und KI revolutionieren die Brückeninspektion

Ein bahnbrechender Test in Jõgisoo, Estland, nutzte kosmische Strahlung (Myonen) und KI, um den technischen Zustand einer Brücke ohne zerstörende Tests zu beurteilen. Dieses Forschungsvorhaben mit einem Budget von fast 1,3 Millionen Euro analysiert die Trajektorien und den Energieverlust von Myonen, um die innere Materialzusammensetzung und Korrosion zu bestimmen. Dies bietet effizientere Lösungen für die Brückeninstandhaltung und vermeidet teure Rekonstruktionen. Die Technologie hat Potenzial für die Flughafensicherheit und sogar als zukünftige Alternative zur Röntgenbildgebung.

(news.err.ee)

Technologie Brückeninspektion

React-Komponentenbäume als Zustandsautomaten: Asynchrone Updates und concurrente Features verstehen

2025-04-07

React-Komponentenbäume als Zustandsautomaten: Asynchrone Updates und concurrente Features verstehen

Dieser Artikel erklärt, wie man einen React-Komponentenbaum als Zustandsautomat modelliert, um die Auswirkungen asynchroner Updates und der konkurrenten Features von React zu verdeutlichen. Eine React-Anwendung kann als Zustandsautomatenmodell betrachtet werden, wobei die Benutzeroberfläche eine Funktion des Zustands ist: UI = f(Zustand). Asynchrone Updates brechen jedoch diese synchrone Garantie, was zu potenziell ungültigen Updates durch Benutzer führen kann. Der Artikel schlägt vor, optimistische Updates oder Zwischenzustände (pending) zu verwenden, um dies zu beheben, und betont, dass die konkurrenten Features von React (wie startTransition) ebenfalls eine ähnliche synchrone Behandlung benötigen, um ungültige Aktionen zu vermeiden.

(jordaneldredge.com)

Entwicklung Asynchrone Updates

Ende-zu-Ende-Verschlüsselung von XChat: Juicebox-Sicherheitslücke

2025-06-09

Ende-zu-Ende-Verschlüsselung von XChat: Juicebox-Sicherheitslücke

Matthew Garrett deckt Sicherheitslücken im neuen Ende-zu-Ende-verschlüsselten Messaging-Protokoll von X (ehemals Twitter), XChat, auf. XChat verwendet das Juicebox-Protokoll, um die privaten Schlüssel der Benutzer zu speichern und auf drei Server zu verteilen. Diese Server werden jedoch von X kontrolliert, was bedeutet, dass X auf alle Benutzerschlüssel zugreifen und die Ende-zu-Ende-Verschlüsselung untergraben kann. Der Artikel untersucht die Funktionsweise und potenziellen Risiken von Juicebox und hebt kritische Fehler in der Implementierung von XChat hervor. Die privaten Schlüssel der Benutzer sind anfällig für unbefugten Zugriff durch X, was zur Empfehlung führt, XChat nicht zu verwenden.

(blog.cryptographyengineering.com)

Technologie

Yahtzeeql: Ein fast vollständig in SQL implementierter Yahtzee-Solver

2025-05-18

Yahtzeeql: Ein fast vollständig in SQL implementierter Yahtzee-Solver

Yahtzeeql ist ein Yahtzee-Solver, der hauptsächlich mit SQL implementiert ist. Er bietet verschiedene Strategien, von einfachen Zufallmethoden bis hin zu fortschrittlicheren probabilitätsbasierten Methoden, und bewertet deren Effektivität durch Spielsimulationen. Benutzer können Strategien, Simulationsläufe, interaktiven Modus und grafische Darstellung über Befehlszeilenargumente auswählen. Experimente zeigen, dass probabilitätsbasierte Strategien, insbesondere 'prob_with_difficulty', die höchste durchschnittliche Punktzahl von 89,5 erreichen.

(github.com)

Spiele

Falsche Sicherheitsberechnung von Kyber-512 durch NIST: Eine Kontroverse über die Standardisierung

2025-06-22

Dieser Blogbeitrag auf cr.yp.to deckt einen schwerwiegenden Fehler in der Berechnung des Sicherheitsniveaus des post-quantenkryptografischen Systems Kyber-512 durch das NIST auf. Der Autor zeigt, dass das NIST irrtümlicherweise zwei Kosten multipliziert hat, die addiert werden sollten, was zu einer erheblichen Überschätzung der Sicherheit von Kyber-512 führte. Dieser Fehler rührt von einem falschen Umgang des NIST mit den Kosten des Speicherzugriffs, von Fehlinterpretationen bestehender Literatur und von mangelnder Transparenz im Standardisierungsprozess her. Der Autor enthüllt auch die enge Zusammenarbeit zwischen NIST und NSA sowie die ungerechte Behandlung alternativer Kandidaten wie NTRU. Der Beitrag beschreibt die fehlerhafte Berechnung im Detail und fordert eine umfassende Überarbeitung der Standardisierungsverfahren des NIST, um Transparenz und Zuverlässigkeit zu gewährleisten.

(blog.cr.yp.to)

Technologie

Kostenloser Alt-Text-Checker: Verbessern Sie die Barrierefreiheit und SEO Ihrer Website

2025-01-11

Dieses kostenlose Alt-Text-Checker-Tool hilft Ihnen schnell zu überprüfen, ob Ihre Website-Bilder Alt-Text enthalten. Alt-Text verbessert die Barrierefreiheit der Website für sehbehinderte Benutzer und steigert die Suchmaschinenoptimierung (SEO). Das Tool scannt Webseiten automatisch, findet fehlende Alt-Text-Beschreibungen und erstellt einen Bericht, um Ihnen zu helfen, die Inklusion und Benutzerfreundlichkeit Ihrer Website zu verbessern.

(alttextgenerator.co)

Entwicklung Barrierefreiheit der Website Alt-Text

Blackmagic präsentiert 30.000 US-Dollar teure 3D-Kamera für Vision Pro Videoaufnahmen

2024-12-19

Blackmagic präsentiert 30.000 US-Dollar teure 3D-Kamera für Vision Pro Videoaufnahmen

Blackmagic hat heute die Verfügbarkeit seiner URSA Cine Immersive Kamera für Vorbestellungen bekannt gegeben. Die Auslieferung soll Ende des ersten Quartals 2025 beginnen. Laut Blackmagic handelt es sich um das weltweit erste kommerzielle Kamerasystem, das für die Aufnahme von 3D-Inhalten speziell für Apples Vision Pro entwickelt wurde. Die URSA Cine Immersive Kamera wurde im Juni erstmals vorgestellt, war aber bisher nicht käuflich zu erwerben. Blackmagic verlangt 30.000 US-Dollar für das Gerät, das auf der Blackmagic-Website vorbestellt werden kann. Die Kamera verfügt über ein kundenspezifisches stereoskopisches 3D-Objektivsystem mit zwei 8K-Sensoren und kann ein 180-Grad-Sichtfeld mit räumlicher Audiounterstützung mit bis zu 90 Bildern pro Sekunde erfassen. Der aufgenommene Inhalt bietet eine Auflösung von 8.160 x 7.200 Pixel pro Auge und 16 Blendenstufen Dynamikumfang für Detailtreue und Farbgenauigkeit in jedem Bild.

(www.macrumors.com)

Hardware

Alto: Verwandeln Sie Ihre Apple Notes mit einem Klick in eine Website

2025-07-25

Alto ist eine macOS-App, die Ihre Apple Notes in eine voll funktionsfähige Website oder einen Blog verwandelt. Mit einem Klick werden Ihre Notizen (einschließlich Text, Bilder, Audio und Video) zu einzelnen Seiten auf Ihrer Website. Konzentrieren Sie sich aufs Schreiben, nicht auf Website-Building-Tools. Alto bietet einen einfachen Prozess, umfassende Dokumentation und Vorschläge zur Integration mit anderen Diensten wie Recuremail für Newsletter.

(alto.so)

Entwicklung Website-Erstellung

Ein Jahr Debugging von Sleep-Wake-Hängern unter Linux mit AMD-GPUs

2025-02-17

Der Autor stieß auf ein hartnäckiges Problem, bei dem sein Linux-System mit einer AMD RX 570 GPU nach einem Schlafversuch abstürzte oder hängen blieb, oft mit einem schwarzen Bildschirm beim Aufwachen. Nach über einem Jahr intensiver Fehlersuche, einschließlich Log-Analyse, Systemd-Konfigurationsanpassungen, einer Debug-Shell und sogar Reverse Engineering mit Ghidra, wurde die Ursache in einem Bug des amdgpu-Treibers identifiziert, der mit der VRAM-Sicherung bei hoher Speicherauslastung zusammenhing. Die schließlich implementierte Lösung nutzt die Power-Management-Notifier-API, um die VRAM proaktiv vor dem Schlaf zu sichern und so Speicherfehler zu vermeiden. Dieser Fix wird voraussichtlich im stabilen Linux-Kernel 6.14 enthalten sein.

(nyanpasu64.gitlab.io)

Entwicklung GPU-Treiber

Link-Time Optimization (LTO): Die nächste Stufe der Compileroptimierung?

2025-05-21

Link-Time Optimization (LTO): Die nächste Stufe der Compileroptimierung?

Dieser Artikel untersucht Link-Time Optimization (LTO), eine Technik, die die Programmleistung verbessert, indem sie Optimierungen während der Linkphase durchführt. Traditionelle Compiler optimieren innerhalb einzelner Dateien, während LTO umfassendere optimierungen über mehrere Dateien hinweg ermöglicht, wie z. B. das Inlining von Funktionen und die Verbesserung der Codelokalität. Obwohl LTO zu signifikanten Leistungsverbesserungen führen kann (z. B. eine Reduzierung der Laufzeit um 9,2 % und eine Reduzierung der Binärdateigröße um 20 % im Test des ProjectX-Projekts), erfordert es auch längere Kompilierungs- und Verknüpfungszeiten und mehr Arbeitsspeicher. Der Autor vergleicht Experimente an ProjectX und ffmpeg, um die Vor- und Nachteile von LTO zu veranschaulichen, und schlägt vor, LTO bei Projekten zu testen, die nicht aggressiv auf Geschwindigkeit optimiert wurden, und kommt zu dem Schluss, dass die letztendlichen Leistungsgewinne vom jeweiligen Projekt abhängen.

(johnnysswlab.com)

Entwicklung

AGI-Wettrüsten: Vermeidung von gegenseitig zugesicherter KI-Fehlfunktion (MAIM)

2025-03-06

AGI-Wettrüsten: Vermeidung von gegenseitig zugesicherter KI-Fehlfunktion (MAIM)

Ein Policy Paper von Eric Schmidt, Alexandr Wang und Dan Hendrycks warnt vor einem "Manhattan Project"-ähnlichen Vorstoß für Künstliche Allgemeine Intelligenz (AGI). Sie argumentieren, dass ein von den USA angeführtes Rennen um superintelligente KI zu heftigen Gegenmaßnahmen Chinas führen und die internationalen Beziehungen destabilisieren könnte. Sie führen das Konzept der gegenseitig zugesicherten KI-Fehlfunktion (MAIM) ein und schlagen eine defensive Strategie vor, die die Abschreckung anderer Länder bei der Entwicklung bedrohlicher KI priorisiert. Dies beinhaltet die Erweiterung der Cyberangriffskapazitäten, die Einschränkung des Zugangs von Gegnern zu fortschrittlichen KI-Chips und Open-Source-Modellen, anstatt sich auf den "Sieg im Rennen um Superintelligenz" zu konzentrieren. Dies steht im Gegensatz zu jüngsten Vorschlägen für eine staatlich geförderte AGI-Entwicklung und markiert eine Änderung der zuvor von Schmidt geäußerten Ansichten.

(techcrunch.com)

KI

Die Krise der wissenschaftlichen Konferenzen: Erstickt Formalismus die Innovation?

2025-04-28

In der Informatik sind Top-Wissenschaftliche Konferenzen zum wichtigsten Maßstab für den Wert von Forschung geworden, aber ihre zunehmende Bürokratisierung und ihr Formalismus bedrohen die Vitalität wissenschaftlicher Innovation. Der Artikel argumentiert, dass Konferenzen zu jährlichen "Beförderungs-Prüfungen" verkommen sind, wobei Gutachten sich mehr auf formale Regeln als auf den eigentlichen Wert der Forschung konzentrieren und viele vielversprechende, innovative Arbeiten unterdrücken. Der Autor fordert einen Wandel der Konferenz-Prüfungs-Kultur, wobei der Fokus wieder auf die wissenschaftliche Innovation selbst gelegt werden soll. Empfehlungen beinhalten die Beseitigung unnötiger bürokratischer Regeln und die Übertragung der Entscheidungsbefugnis an erfahrene Experten auf dem Gebiet, um den wissenschaftlichen Fortschritt zu fördern.

(cacm.acm.org)

Entwicklung Wissenschaftliche Konferenzen

π0.5: Ein universelles KI-Modell, das es Robotern ermöglicht, neue Häuser zu reinigen

2025-04-22

π0.5: Ein universelles KI-Modell, das es Robotern ermöglicht, neue Häuser zu reinigen

Physical Intelligence hat π0.5 entwickelt, ein robotisches Basismodell, das komplexe Reinigungsaufgaben, wie das Aufräumen einer Küche oder eines Schlafzimmers, auf völlig neue Umgebungen verallgemeinern kann. Im Gegensatz zu früheren Robotern, die auf kontrollierte Umgebungen beschränkt waren, nutzt π0.5 das Co-Training mit verschiedenen heterogenen Daten, darunter multimodale Daten und Daten von verschiedenen Robotern, um verschiedene Fähigkeiten zu erlernen und ihren semantischen Kontext zu verstehen. Experimente zeigen, dass π0.5 verschiedene Aufgaben in unbekannten Häusern ausführen kann und dabei trotz gelegentlicher Fehler eine ähnliche Flexibilität und Auffassungsgabe wie ein Mensch zeigt. Dies stellt einen bedeutenden Schritt in Richtung einer wirklich generalisierbaren physischen Intelligenz dar.

(pi.website)

KI Generalisierung

Die Datenbank umkehren: Ein Paradigmenwechsel

2025-01-28

Martin Kleppmanns Vortrag hinterfragt die herkömmliche Datenbankarchitektur. Er schlägt einen revolutionären Ansatz vor: die Datenbank umzukehren. Anstatt des traditionellen globalen, geteilten und veränderlichen Zustands, schlägt Kleppmann vor, eine Datenbank als eine ständig wachsende Sammlung unveränderlicher Fakten zu betrachten. Mit einem verteilten Stream-Verarbeitungssystem wie Apache Samza werden Datenströme in Echtzeit verarbeitet. Der Kern ist ein verteiltes, dauerhaftes Commit-Log (z. B. Apache Kafka). Dieser Ansatz verspricht einfacheren Code, bessere Skalierbarkeit und Robustheit, niedrigere Latenz und mehr Flexibilität bei der Datenmanipulation.

(martin.kleppmann.com)

Entwicklung Stream-Verarbeitung

CDC-Datenbereinigung: Politische Zensur bedroht die Integrität der Daten des öffentlichen Gesundheitswesens

2025-02-01

CDC-Datenbereinigung: Politische Zensur bedroht die Integrität der Daten des öffentlichen Gesundheitswesens

Die Daten des öffentlichen Gesundheitswesens auf der Website der Centers for Disease Control and Prevention (CDC) werden einer umfassenden Bereinigung unterzogen, um Schlüsselwörter wie "Geschlecht", "Diversity, Equity and Inclusion (DEI)" und "Barrierefreiheit" zu entfernen. Angetrieben von einer Exekutivanordnung der Trump-Administration, hat diese Aktion bei Wissenschaftlern große Besorgnis ausgelöst. Sie könnte die Fähigkeit der Forscher beeinträchtigen, die Ausbreitung von Krankheiten in verschiedenen Bevölkerungsgruppen zu verfolgen, die Wirksamkeit von Maßnahmen des öffentlichen Gesundheitswesens beeinträchtigen und möglicherweise zur Vernachlässigung der Gesundheitsbedürfnisse spezifischer Gemeinschaften führen. Wissenschaftler bemühen sich, die Daten der CDC-Website zu archivieren, um einen permanenten Informationsverlust zu vermeiden.

(www.theatlantic.com)

Technologie öffentliches Gesundheitswesen Datenzensur politische Einmischung

EU-DMA: Kein Ziel gegen US-Tech-Giganten

2025-03-07

EU-DMA: Kein Ziel gegen US-Tech-Giganten

EU-Wettbewerbs- und Technologiechefs haben US-Kongressabgeordneten klargestellt, dass der Digital Markets Act (DMA) darauf abzielt, digitale Märkte offen zu halten und nicht auf US-Tech-Giganten abzielt. Sie betonten, dass die USA selbst auch gegen diese Unternehmen antitrustrechtliche Maßnahmen ergriffen haben. Der Zweck des Gesetzes ist es, unfaire Praktiken großer Tech-Unternehmen zu verhindern, nicht amerikanische Unternehmen zu besteuern.

(finance.yahoo.com)

Technologie

Emacs Solo: Eine minimalistische Emacs-Konfiguration

2025-03-27

Emacs Solo: Eine minimalistische Emacs-Konfiguration

Emacs Solo ist eine minimalistische Emacs-Konfiguration, die nur integrierte Pakete verwendet und auf externe Abhängigkeiten verzichtet. Kürzlich live in der System Crafters Weekly Show vorgestellt, demonstriert sie einen leistungsstarken und effizienten Workflow. Die Konfiguration umfasst zahlreiche Anpassungen, wie z. B. verbessertes icomplete-verical, eine experimentelle Git-Gutter-Alternative, ein überarbeitetes Eshell und vieles mehr, mit dem Ziel, eine leichte, schnelle und voll funktionsfähige Emacs-Erfahrung zu bieten.

(www.rahuljuliato.com)

Entwicklung

Umarme die Patina: Warum unperfekte Retro-Spiele wertvoller sind als du denkst

2025-05-07

Umarme die Patina: Warum unperfekte Retro-Spiele wertvoller sind als du denkst

Inspiriert von der BBC-Sendung Antiques Roadshow, befasst sich dieser Artikel mit dem Perfektionismus, der oft in Retro-Spiele-Sammlungen zu finden ist. Der Autor argumentiert, dass die Freude am Spielen nicht durch das Streben nach makellosem Zustand erstickt werden sollte. Kleine Unvollkommenheiten, wie abgenutzte Etiketten oder gekritzelte Handbücher, spiegeln die Geschichte eines geliebten und gespielten Spiels wider und tragen zu seinem sentimentalen Wert bei. Der Artikel ermutigt Spieler, sich zu entspannen, die Freude am Sammeln zu genießen und Ängste bezüglich des Marktwerts und des makellosen Zustands loszulassen.

(kimimithegameeatingshemonster.com)

Spiele Sammlung Unvollkommenheit

WhatsApp gewinnt 511 Millionen Dollar in Klage gegen Spyware-Firma NSO Group

2025-05-07

WhatsApp gewinnt 511 Millionen Dollar in Klage gegen Spyware-Firma NSO Group

Eine Jury hat WhatsApp 511 Millionen Dollar Schadensersatz zugesprochen – 167 Millionen Dollar Schmerzensgeld und 344 Millionen Dollar Schadensersatz – in seiner Klage gegen die israelische Spyware-Firma NSO Group. NSO nutzte eine Sicherheitslücke in WhatsApp, um die Spyware Pegasus auf etwa 1400 Telefone von Journalisten, Aktivisten und Regierungsbeamten aus der Ferne zu installieren. Dieser historische Sieg ist ein schwerer Schlag für die Spyware-Industrie und ein Erfolg für die Datenschutzanwälte.

(arstechnica.com)

Technologie

Kentucky-Polizei tötet unschuldigen Mann bei falscher Razzia

2025-01-06

Kentucky-Polizei tötet unschuldigen Mann bei falscher Razzia

Die Polizei in Kentucky erschoss den 63-jährigen Douglas Harless bei einer verfehlten Razzia im falschen Haus. Obwohl die Leitstelle die richtige Adresse mindestens fünfmal durchgab, stürmten die Beamten das Haus 511 Vanzant Rd. anstatt des beabsichtigten 489 Vanzant Rd., was zu Harless' Tod führte. Die Polizei behauptet, Harless habe eine Waffe gezogen, aber der Vorfall wirft ernsthafte Fragen zur Polizeitaktik, zum Mangel an Überwachung vor der Razzia und erinnert an den Fall Breonna Taylor auf, was neue Bedenken hinsichtlich Polizeigewalt hervorruft.

(atlantablackstar.com)

Sonstiges Polizeigewalt ungerechter Tod Polizeimissbrauch

SoilScanner: Bleikontamination im Boden mit Radiowellen erkennen

2025-01-04

SoilScanner: Bleikontamination im Boden mit Radiowellen erkennen

Forscher der Cornell University haben SoilScanner entwickelt, ein tragbares Gerät, das Radiofrequenzsignale und maschinelles Lernen nutzt, um Bleiverunreinigungen im Boden zu erkennen. Das Gerät sendet Radiowellen durch eine Bodenprobe und analysiert, wie der Boden das Signal beeinflusst, um den Bleigehalt zu bestimmen. SoilScanner erreichte bei Tests mit echten Bodenproben eine Genauigkeit von 72 % und eine Fehlerquote von null bei Bleigehalten über 500 ppm. Diese Technologie verspricht, die Bleierkennung günstiger und zugänglicher zu machen und so bei der Sanierung der Umwelt zu helfen.

(phys.org)

Technologie Bodenkontamination Bleierkennung

Die Größe des Unendlichen: Mathematiker kommen der Antwort auf die Frage nach der Anzahl der reellen Zahlen näher

2025-01-09

Die Größe des Unendlichen: Mathematiker kommen der Antwort auf die Frage nach der Anzahl der reellen Zahlen näher

Jahrzehntelang glaubten Mathematiker, dass die Bestimmung der Gesamtzahl der reellen Zahlen ein unlösbares Problem sei. Ein neuer Beweis deutet darauf hin, dass dies nicht der Fall ist. Der Artikel beschreibt, wie die Mathematiker Asperó und Schindler bewiesen haben, dass zwei Axiome, die zuvor als konkurrierende Grundlagen für die unendliche Mathematik galten, sich tatsächlich gegenseitig implizieren. Dieses Ergebnis stärkt das Argument gegen die Kontinuumshypothese und deutet darauf hin, dass eine zusätzliche Größe des Unendlichen zwischen den beiden existiert, die vor 143 Jahren als die erste und zweite unendlich große Zahl postuliert wurden. Obwohl dieses Ergebnis Begeisterung und Debatten in der mathematischen Gemeinschaft ausgelöst hat, sind die Auseinandersetzungen um die Größen unendlicher Mengen noch lange nicht beigelegt.

(www.quantamagazine.org)

Mathematik Kontinuumshypothese Unendlichkeit

Python mit der Geschwindigkeit von Rust: Ein neuer Compiler

2025-04-12

Python mit der Geschwindigkeit von Rust: Ein neuer Compiler

Dieser Artikel stellt Function vor, einen Python-Compiler, der Python-Code in nativen Code kompiliert und so die Ausführungsgeschwindigkeit deutlich verbessert. Am Beispiel der Matrizenmultiplikation wird gezeigt, wie durch symbolisches Tracing ein Graph der Zwischenrepräsentation (IR) erstellt und dieser dann in nativen Code (z. B. C) umgewandelt wird. Dies ermöglicht eine Leistung, die mit Rust vergleichbar ist. Obwohl es sich noch um einen Proof-of-Concept handelt, wird Function bereits in Produktionsanwendungen eingesetzt, z. B. für die monokulare Tiefenabschätzung und die Echtzeit-Posenerkennung. Zukünftige Ziele umfassen die Inferenz von LLMs auf Geräten.

(blog.fxn.ai)

Entwicklung

ASIF-Disk-Images von macOS Tahoe: Ein Leistungssprung

2025-06-12

ASIF-Disk-Images von macOS Tahoe: Ein Leistungssprung

macOS Tahoe führt ASIF ein, ein neues Festplattenimage-Format, das die Leistung von virtuellen Maschinen drastisch verbessert. ASIF-Images sind unabhängig von den Fähigkeiten des Host-Dateisystems und erreichen nahezu native Geschwindigkeiten; beispielsweise erreichte ein MacBook Pro M3 Pro bei nicht verschlüsselten APFS-Volumes 5,8 GB/s Lese- und 6,6 GB/s Schreibgeschwindigkeit. ASIF bietet einen enormen Geschwindigkeitsvorteil gegenüber früheren UDSP-Images und spart Speicherplatz. Derzeit können ASIF-Images nur in Tahoe erstellt werden, funktionieren aber in Sequoia. Zukünftige Virtualisierungssoftware wird voraussichtlich ASIF unterstützen und die Leistung von VMs weiter verbessern.

(eclecticlight.co)

Entwicklung

← Previous 1 2 … 419 420 421 422 423 424 425 426 427 … 595 596 Next →