Webtagr - Technologienummer

Beliebte Tags：

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

MapTCHA: Ein neuer CAPTCHA, der die Unsicherheit von KI nutzt, um Bots zu bekämpfen

2025-02-13

Traditionelle CAPTCHAs geben Benutzerdaten preis und sind teuer in der Wartung. Dieser Artikel stellt MapTCHA vor, einen neuen CAPTCHA, der die Unsicherheit der computergestützten Bilderkennung mit KI bei der Bildinterpretation nutzt, um Bots und Spam zu bekämpfen. MapTCHA präsentiert Benutzern eine Mischung aus Bildern mit KI-vorhergesagten Objekten (bekannte Positivbeispiele, bekannte Negativbeispiele und Unbekannte), und bittet sie, korrekt interpretierte Gebäudeumrisse und andere Objekte zu identifizieren. Die Abstimmung der Benutzer bestimmt die Richtigkeit der unbekannten Bilder und liefert neue Datenquellen für OpenStreetMap. Das System verwendet das Open-Source-KI-gestützte Kartierungssystem fAIr zur Bilderkennung. Zukünftige Pläne umfassen die Erweiterung auf mehr Objekte und Bildtypen sowie die Integration von MapTCHA in verschiedene Anmeldesysteme.

(fosdem.org)

Entwicklung

Rivian klagt Ohio wegen Verbot von Direktverkäufen für E-Autos an

2025-08-05

Rivian klagt Ohio wegen Verbot von Direktverkäufen für E-Autos an

Der E-Autohersteller Rivian klagt gegen Ohio und bestreitet das staatliche Verbot von Direktverkäufen an Verbraucher. Rivian argumentiert, dass das Gesetz den Wettbewerb behindert, die Verbraucher schädigt und verweist auf die Ausnahmegenehmigung für Tesla. Dies ist das jüngste Kapitel im anhaltenden Kampf zwischen aufstrebenden Autoherstellern und der mächtigen Lobby der Autohändler. Rivian will eine Lizenz zum Direktverkauf von E-Autos in Ohio erhalten.

(techcrunch.com)

Technologie Direktvertrieb Wettbewerbsrecht

Linux-Kernel nativ auf macOS kompilieren: Eine Reise durch die Compiler-Hölle

2025-07-03

Linux-Kernel nativ auf macOS kompilieren: Eine Reise durch die Compiler-Hölle

Dieser Beitrag beschreibt die Erfahrung des Autors beim Kompilieren eines Linux-Kernels (RISC-V-Architektur) nativ auf macOS. Die Reise war voller Herausforderungen: eine veraltete make-Version, die Inkompatibilität von macOS' ld mit den Erwartungen von Linux, fehlende elf.h- und byteswap.h-Header und Versionskonflikte mit uuid_t und sed. Der Autor hat diese Probleme mit Homebrew gelöst, indem er aktualisierte Toolchains (make, llvm, lld, libelf, gnu-sed) installiert und Patches erstellt hat, um Header-Diskrepanzen und Typdefinitionskonflikte zu beheben. Der Kernel wurde erfolgreich kompiliert, wobei macOS bei vollständigen Builds schneller war als Docker, aber bei inkrementellen Builds langsamer. Der Autor kommt zu dem Schluss, dass das Beheben von Build-Problemen ein kontinuierlicher, iterativer Prozess ist, ähnlich wie Continuous Integration.

(seiya.me)

Entwicklung

Apple Wallet-Werbung sorgt für Kontroverse: Vertrauensverlust?

2025-06-29

Apple Wallet-Werbung sorgt für Kontroverse: Vertrauensverlust?

Die Push-Benachrichtigung von Apple Wallet für eine Werbung des Films F1 hat für Kontroversen gesorgt. Der Autor argumentiert, dass diese Entscheidung das sorgfältig gepflegte Image von Datenschutz und Vertrauen von Apple Wallet untergräbt. Das Einfügen von Werbung in die Wallet-App ist vergleichbar mit dem Platzieren von Werbung in einer physischen Brieftasche – absurd und im direkten Widerspruch zur Botschaft von Apple. Diese Aktion könnte Benutzer zu der Annahme verleiten, dass ihre Interessen verfolgt werden, wodurch das Vertrauen erodiert und Bedenken hinsichtlich des Datenschutzes entstehen. Der Autor schlägt sogar vor, dass die Person, die die Werbung genehmigt hat, entlassen werden sollte.

(daringfireball.net)

Technologie

Python integriert die formal verifizierte Kryptografie-Bibliothek HACL*

2025-04-18

Nach 2,5 Jahren Arbeit hat Python erfolgreich die formal verifizierte kryptografische Bibliothek HACL* in seine Hash- und HMAC-Implementierungen integriert. Dieses Update ersetzt die vorherige SHA3-Implementierung, die eine CVE-Schwachstelle enthielt, und umfasst verschiedene Algorithmen wie Blake2, SHA3 und HMAC, wodurch die Sicherheit von Python deutlich verbessert wird. Das Projekt meisterte die Herausforderungen bei der Implementierung von Streaming-APIs und dem Build-System und implementierte auch die Behandlung von Speicherzuweisungfehlern. Dies zeigt das Potenzial der formalen Verifikation in großen realen Projekten.

(jonathan.protzenko.fr)

Entwicklung

Endliche Automaten als Datenstrukturen: Indizierung von Milliarden von URLs

2025-08-14

Dieser Artikel untersucht die Verwendung von endlichen Automaten (FSMs) als Datenstrukturen zur Darstellung geordneter Mengen und Abbildungen und zeigt die Effizienz des Rust-Crates fst für den Aufbau von Indizes. Er geht tief in die Konstruktion von FSMs ein, behandelt die Konstruktion von Tries und FSAs und demonstriert die Indizierung von über 1,6 Milliarden URLs aus dem Common Crawl-Archiv vom Juli 2015. Techniken wie Memory Mapping, Automaten-Schnittmengen mit regulären Ausdrücken, Fuzzy-Suche mit Levenshtein-Distanz und Streaming-Mengenoperationen werden ebenfalls diskutiert. Der Autor baut FSTs und vergleicht deren Performance mit anderen Kompressionsverfahren (gzip, xz) an verschiedenen Datensätzen mit unterschiedlichen Größen und Eigenschaften.

(burntsushi.net)

Entwicklung Indizierung

Wiederbelebung eines ZX Spectrum 128K+ "Toastrack": Eine Retro-Computer-Restaurierung

2025-07-01

Wiederbelebung eines ZX Spectrum 128K+

Der Autor erinnert sich an seine Kindheit mit dem Sinclair ZX Spectrum 48K und beschreibt die Restaurierung eines seltenen ZX Spectrum 128K+ "Toastrack". Dieser Vintage-Computer hatte verschiedene Probleme, darunter eine unzuverlässige Stromversorgung, schlechte Videoqualität und eine defekte Tastatur. Der Autor behob diese Probleme sorgfältig, indem er den 7805-Spannungsregler durch einen effizienteren DC-DC-Buck-Konverter ersetzte, den Edge-Connector reinigte, Videofilter hinzufügte und die abgenutzte Tastaturmembran ersetzte. Auch Audioverbesserungen wurden vorgenommen. Schließlich erzielte der Autor mit einem RGB2HDMI-Konverter eine scharfe HDMI-Ausgabe, wodurch der alte Computer wieder zum Leben erweckt wurde und er wieder klassische Spiele spielen konnte.

(celso.io)

Hardware

Microsoft Azure in massiver Überwachungsaffäre von Palästinensern verwickelt

2025-08-07

Microsoft Azure in massiver Überwachungsaffäre von Palästinensern verwickelt

Berichte des Guardian und anderer Medien zeigen, dass Israel seit 2022 Microsoft Azure Cloud-Server nutzt, um Millionen aufgezeichneter Telefonate von Palästinensern in Gaza und im Westjordanland zu speichern. Diese Daten, angeblich von der israelischen Einheit 8200 abgerufen, dienten der Unterstützung militärischer Operationen, einschließlich der Auswahl von Zielen für Luftangriffe. Microsofts CEO Satya Nadella soll ein maßgeschneidertes System dafür genehmigt haben. Die Enthüllung hat Empörung ausgelöst, wobei Kritiker Microsoft der Mittäterschaft an möglichen Kriegsverbrechen beschuldigen. Microsoft bestreitet Kenntnis davon, aber die Beweise deuten auf etwas anderes hin und werfen schwerwiegende ethische Fragen zur Rolle des Unternehmens auf.

(www.engadget.com)

Technologie

KDE heißt Windows 10-Exilanten willkommen: Umstieg auf Linux Plasma Desktop

2025-06-04

KDE heißt Windows 10-Exilanten willkommen: Umstieg auf Linux Plasma Desktop

Mit dem Ende des Supports für viele Windows 10-Versionen am 14. Oktober startet KDE die Kampagne „KDE for Windows 10 Exiles“ und lädt Nutzer zum Umstieg auf den Linux Plasma Desktop ein. KDE betont die Sicherheitsrisiken und Funktionsbeeinträchtigungen von Windows 10-Computern nach dem Support-Ende. Obwohl der Umstieg auf Linux Herausforderungen mit sich bringt, hebt KDE die Benutzerfreundlichkeit von Plasma hervor und bietet eine sicherere Erfahrung ohne erzwungene Updates. Der Artikel merkt außerdem an, dass Windows 10-Computer nach dem Support-Ende nicht sofort ausfallen, und Nutzer Alternativen haben. KDEs Kampagne unterstreicht jedoch Linux als praktikable Alternative für Windows 10-Nutzer.

(www.theregister.com)

Technologie

Oberster Gerichtshof entscheidet: Breitband ist keine Telekommunikation; Kampf um Netzneutralität geht weiter

2025-08-09

Oberster Gerichtshof entscheidet: Breitband ist keine Telekommunikation; Kampf um Netzneutralität geht weiter

Ein Urteil des Obersten Gerichtshofs von 2024 ermächtigte Gerichte, die Auslegung von Bundesgesetzen durch Behörden zu blockieren und hob damit eine Entscheidung der FCC aus dem Jahr 2016 aus der Obama-Ära auf. Der Gerichtshof entschied, dass Breitband als "Informationsdienst" eingestuft wird. Gruppen wie Free Press verzichten auf eine Berufung und konzentrieren sich stattdessen auf den Kongress, die Gesetzgebung der Bundesstaaten und andere Gerichte, um für die Erschwinglichkeit und Offenheit des Internets zu kämpfen. Obwohl die Entscheidung des 6. Bezirksgerichts fehlerhaft war, werden alternative Ansätze als effektiver angesehen. Die Netzneutralität könnte dennoch über andere Fälle vor den Obersten Gerichtshof gelangen, und das kalifornische Gesetz zur Netzneutralität bleibt in Kraft.

(arstechnica.com)

Technologie

KI-gestützte LLVM-Compileroptimierung: Eine ASN.1-Serialisierungsgeschichte

2025-07-01

Bei der Wartung einer Rust-Bibliothek für die ASN.1-DER-Serialisierung entdeckte der Autor ineffizienten Code bei der Berechnung der Integerlängen. Er experimentierte mit Claude KI, um den Code zu optimieren, und verwendete das formale Verifikationswerkzeug Alive2, um die Ergebnisse zu validieren. Überraschenderweise half Claude KI sogar dabei, einen Patch für eine LLVM-Compileroptimierung zu generieren, der die Code-Review bestand und schließlich an das LLVM-Projekt übermittelt wurde. Dies zeigt das immense Potenzial von KI in der Softwareentwicklung, insbesondere bei der Compileroptimierung, und unterstreicht gleichzeitig die Bedeutung der manuellen Überprüfung bei der Verwendung von KI-Tools.

(alexgaynor.net)

Entwicklung

Die dunkle Herzogin: Wie Anne Monck die britische Geschichte neu gestaltete

2025-05-29

Nach dem Tod Cromwells im Jahr 1660 stand Großbritannien am Rande des Chaos. General George Monck, Kommandeur der schottischen Armee, hielt das Schicksal der Nation in seinen Händen. Seine Entscheidung, das im Exil lebende Parlament zu unterstützen und nach Süden zu marschieren, war ein entscheidender Moment. Angesichts einer schwierigen Wahl – die Wiederherstellung des Commonwealth, die Rückführung von Richard Cromwell oder die Kontaktaufnahme mit dem im Exil lebenden Charles II – wurde Monks Weg subtil von seiner Frau Anne beeinflusst. Anne, eine Frau aus einfachen Verhältnissen, besaß eine bemerkenswerte politische Scharfsicht. Ihre Träume, strategischen Ratschläge und ihr stiller Einfluss führten schließlich dazu, dass Monck Kontakt mit Charles II aufnahm, die britische Geschichte grundlegend veränderte und den Weg zur Restauration ebnete. Diese unerzählte Geschichte enthüllt die mächtige, hinter den Kulissen wirkende Rolle einer bemerkenswerten Frau bei der Gestaltung des Schicksals einer Nation.

(www.historytoday.com)

Sonstiges Weiblicher Einfluss

Numerische Instabilität bei der automatischen Differentiation für Scientific Machine Learning

2025-09-18

Numerische Instabilität bei der automatischen Differentiation für Scientific Machine Learning

Scientific Machine Learning (SciML) verlässt sich stark auf automatische Differentiation (AD) für gradientenbasierte Optimierung. Dieser Vortrag beleuchtet jedoch die numerischen Herausforderungen von AD, insbesondere hinsichtlich Stabilität und Robustheit bei Anwendung auf gewöhnliche Differentialgleichungen (ODG) und partielle Differentialgleichungen (PDG). Anhand von Beispielen aus Jax und PyTorch wird gezeigt, wie Ungenauigkeiten in AD zu erheblichen Fehlern (60 % oder mehr) selbst bei einfachen linearen ODG führen können. Der Referent wird nicht-standardmäßige Modifikationen in den Julia SciML-Bibliotheken diskutieren, um diese Probleme zu lösen, sowie die notwendigen technischen Kompromisse.

(www.stochasticlifestyle.com)

KI Numerische Analyse

Mieten Sie ein Gehirn: Der erste kommerzielle Hybridcomputer aus Silizium und menschlichen Gehirnzellen

2025-07-04

Mieten Sie ein Gehirn: Der erste kommerzielle Hybridcomputer aus Silizium und menschlichen Gehirnzellen

Cortical Labs, ein australisches Biotech-Startup, hat in Zusammenarbeit mit dem britischen Unternehmen bit.bio den CL1 auf den Markt gebracht, den weltweit ersten kommerziell erhältlichen Hybridcomputer aus Siliziumschaltungen und menschlichen Gehirnzellen. Dieses bahnbrechende System, das aus 800.000 auf einem Siliziumchip gezüchteten Neuronen besteht, zeichnet sich durch einen unglaublich niedrigen Energieverbrauch aus und übertrifft vergleichbare KI-Systeme deutlich in Bezug auf die Effizienz. Der CL1 zeigte in Spieltests eine überlegene Leistung im Vergleich zu maschinellen Lernalgorithmen und bietet potenzielle Anwendungen in der Medikamentenprüfung. Die Geräte sind für 35.000 US-Dollar erhältlich, oder der Fernzugriff kann für 300 US-Dollar pro Woche gemietet werden.

(www.sciencealert.com)

KI

Salesforce-CEO: KI erledigt bereits 30-50% unserer Arbeit

2025-06-26

Salesforce-CEO: KI erledigt bereits 30-50% unserer Arbeit

Salesforce-CEO Marc Benioff gab bekannt, dass KI bereits 30-50% der Arbeitslast des Unternehmens übernimmt, darunter Aufgaben in der Softwareentwicklung und im Kundenservice. Dies stimmt mit Aussagen von Microsoft und Alphabet überein, die ebenfalls über den Beitrag von KI zur Softwarecodegenerierung berichteten. Der interne KI-Einsatz bei Salesforce hat den Personalbedarf reduziert, und das Unternehmen hat ein KI-basiertes Kundenservice-Tool mit einer Genauigkeit von 93% entwickelt, das Kunden wie Walt Disney bedient. Benioff geht davon aus, dass KI zukünftig mehr Routineaufgaben übernehmen wird, wodurch Mitarbeiter für höherwertige Aufgaben freigesetzt werden. Salesforce zielt darauf ab, seine Branchenführerschaft durch die Integration von KI in seine gesamte Plattform zu erhalten.

(finance.yahoo.com)

Technologie

Colt Telecom erleidet Datenleck: Warlock Ransomware-Bande fordert 200.000 US-Dollar

2025-08-23

Colt Telecom erleidet Datenleck: Warlock Ransomware-Bande fordert 200.000 US-Dollar

Das britische Telekommunikationsunternehmen Colt Technology Services hat eine Datenpanne bestätigt, wobei die Warlock Ransomware-Bande gestohlene Kundendaten im Dark Web versteigert. Die Bande behauptet, 1 Million Dokumente zu besitzen, darunter Finanzinformationen, Netzwerkarchitekturdaten und Kundeninformationen, für einen Preis von 200.000 US-Dollar. Colt hat eine Sicherheitsmeldung herausgegeben und bietet Kunden eine Liste der durchgesickerten Dateinamen an. Der Angriff nutzte eine SharePoint-Schwachstelle aus und unterstreicht erhebliche Risiken für die Cybersicherheit.

(www.bleepingcomputer.com)

Technologie

Apples iOS-Verbot für Browser-Engines: Verstoß gegen den Digital Markets Act der EU?

2025-07-14

Apples iOS-Verbot für Browser-Engines: Verstoß gegen den Digital Markets Act der EU?

Open Web Advocacy wirft Apple vor, den Digital Markets Act (DMA) der EU zu verletzen, da Apple Drittanbieter-Browser-Engines auf iOS verbietet. Apple behauptet, nicht zu wissen, warum kein Browser-Anbieter seine Engine in den letzten 15 Monaten auf iOS portiert hat, aber in Wirklichkeit machen Apples technische und vertragliche Beschränkungen das Portieren finanziell unrentabel. Dies behindert den Browser-Wettbewerb und die Innovation von Webanwendungen und schadet Verbrauchern und Entwicklern. Apples Vorgehen wird durch den Wunsch angetrieben, die hohen Gewinne von Safari und den Suchmaschinenvertrag mit Google zu schützen. Die EU muss handeln und den DMA durchsetzen, um einen fairen Wettbewerb zu fördern.

(open-web-advocacy.org)

Technologie

Server-CPU-Auslastung: Lassen Sie sich nicht von den Zahlen täuschen!

2025-09-03

Server-CPU-Auslastung: Lassen Sie sich nicht von den Zahlen täuschen!

Verlassen Sie sich auf die Server-CPU-Auslastung, um die Serverleistung zu beurteilen? Der Autor dieses Artikels führte eine Reihe von Stresstests durch und stellte fest, dass die CPU-Auslastung nicht linear mit der tatsächlichen Arbeitsleistung korreliert. Besonders bei einer Auslastung von über 50 % verzerren Hyperthreading und Turbo Boost die Beziehung erheblich, was zu einem deutlich höheren tatsächlichen Durchsatz führt, als die gemeldete Auslastung vermuten lässt. Anstatt sich auf die CPU-Auslastung zu verlassen, empfiehlt der Autor, Benchmarks zu verwenden, um die tatsächlich erledigte Arbeit zu messen, um eine genauere Bewertung der Serverleistung zu erhalten.

(www.brendanlong.com)

Entwicklung Hyperthreading

Künstler nimmt Tintenfisch mit auf Tour durch Tokio: Eine interartliche Kunst-Exploration

2025-07-22

Künstler nimmt Tintenfisch mit auf Tour durch Tokio: Eine interartliche Kunst-Exploration

Der japanische Künstler Shimabuku hat sein Leben der Erforschung der Interaktion zwischen Menschen und Tintenfischen gewidmet. Er nahm einen Tintenfisch auf eine Tour durch Tokio mit und schuf Kunstinstallationen für die Interaktion mit den Tieren. Durch die Beobachtung ihrer Reaktionen auf verschiedene Farben und Materialien versucht Shimabuku, die Vorlieben und die Wahrnehmung von Tintenfischen zu verstehen, was zu spielerischen und inspirierenden Werken führt. Seine Kunst ist derzeit in Großbritannien ausgestellt und regt zur Reflexion über das Verhältnis der Menschheit zur Natur an.

(www.cnn.com)

Sonstiges Tintenfisch interartlich

Google Search AI-Upgrade: Stabiler Traffic, neue Chancen für Websites

2025-08-07

Google Search AI-Upgrade: Stabiler Traffic, neue Chancen für Websites

Seit der Integration von KI-Funktionen verzeichnet die Google-Suche einen relativ stabilen Gesamtverkehr mit einem leichten Anstieg hochwertiger Klicks. Während einige Websites einen Rückgang des Traffics verzeichnen können, liegt dies hauptsächlich an veränderten Nutzerpräferenzen hin zu Websites mit vielfältigen Inhalten wie Foren, Videos und Podcasts sowie tiefgreifenden Analysen und einzigartigen Perspektiven. Die KI-gestützte Google-Suche zielt darauf ab, Webinhalte hervorzuheben und nicht zu ersetzen. Sie leitet Nutzer über Links und Zitate zu relevanten Websites und respektiert offene Webprotokolle. Google ist überzeugt, dass KI zahlreiche Chancen schaffen wird und Unternehmen und Kreativen hilft, ein größeres Publikum zu erreichen.

(blog.google)

Technologie Website-Traffic

Hochreiner Quantenzustand bei Raumtemperatur erreicht: Durchbruch in der Quantensensorik

2025-08-07

Hochreiner Quantenzustand bei Raumtemperatur erreicht: Durchbruch in der Quantensensorik

Forscher am ETH Zürich haben einen Durchbruch in der Quantensensorik erzielt, indem sie drei Nanometer große Glassphären mithilfe optischer Pinzetten bei Raumtemperatur levitierten. Bemerkenswert ist, dass 92 % der Bewegung der Sphären auf Quanteneffekte zurückgeführt wurden, wodurch die Notwendigkeit extrem tiefer Temperaturen, die normalerweise zur Beobachtung von Quantenphänomenen erforderlich sind, entfällt. Dieser hochreine Quantenzustand ebnet den Weg für die Entwicklung von Quantensensoren für Anwendungen wie die medizinische Bildgebung und hochpräzise Navigationssysteme.

(phys.org)

Technologie

Das Leben auf einem U-Boot: Vom NUB zum U-Boot-Fahrer

2025-08-11

Das Leben auf einem U-Boot: Vom NUB zum U-Boot-Fahrer

Dieser Artikel beschreibt das Leben von Matrosen an Bord eines US-amerikanischen U-Boots und konzentriert sich auf die Erfahrungen von neuen Rekruten. Neue Besatzungsmitglieder, genannt „Nicht Nutzbare Körper“ (NUB), absolvieren ein strenges vierphasiges Trainingsprogramm, um qualifizierte U-Boot-Fahrer zu werden. Dieses Training umfasst alle U-Boot-Systeme und Notfallverfahren. Nach Abschluss erhalten sie ihre „Delfine“ und werden in „Nukes“ (Besatzung des Kernkraftwerks) und „Coners“ (der Rest der Besatzung) eingeteilt, wobei jeder seine eigenen Rollen und Persönlichkeiten hat. Der Autor beschreibt lebendig die verschiedenen Charaktere und Verantwortlichkeiten der verschiedenen Besatzungspositionen und hebt den herausfordernden, aber zusammenhaltenden Charakter des Lebens auf einem U-Boot hervor.

(www.twz.com)

Sonstiges U-Boot

US-Programm zur Cybersicherheit kritischer Infrastruktur wegen ausgelaufener Finanzierung gestoppt

2025-07-23

US-Programm zur Cybersicherheit kritischer Infrastruktur wegen ausgelaufener Finanzierung gestoppt

Ein US-amerikanisches Programm zur Überwachung kritischer Infrastrukturen auf Bedrohungen, CyberSentry, wurde aufgrund ausgelaufener staatlicher Finanzmittel ausgesetzt. Das Programm, das vom Lawrence Livermore National Laboratory betrieben wird, nutzt KI zur Erkennung von Cyberangriffen und hatte zuvor erfolgreich chinesische Überwachungskameras mit hohem Risiko in US-Infrastrukturen identifiziert. Die Aussetzung wirft Bedenken hinsichtlich der Cybersicherheit kritischer Infrastrukturen in den USA auf, insbesondere angesichts der zunehmenden Komplexität von Cyberwaffen, die auf industrielle Steuerungssysteme abzielen. Dies spiegelt eine ähnliche Finanzierungslücke Anfang des Jahres beim CVE-Programm wider und unterstreicht Personal- und Finanzierungsprobleme bei der Cybersecurity and Infrastructure Security Agency (CISA).

(www.theregister.com)

Technologie kritische Infrastruktur

Die ungeschriebene Geschichte des Universal-Logos: Ein sechsmonatiges Meisterwerk aus Licht und Schatten

2025-07-31

Die Entstehung des ikonischen Universal Pictures-Logos ist eine Geschichte von Einfallsreichtum und akribischer Arbeit. Art Director Alexander Golitzen verwendete Plexiglas, phosphoreszierende Beschichtungen und Mehrfachbelichtungen und verbrachte sechs Monate mit der Kreation der hypnotischen rotierenden Kugel und Sterne. Dünne Plexiglassterne, mit silberaktiviertem Zinksulfid beschichtet für hohe Reflektivität, wurden einzeln mit mehreren Lichtern gedreht und mit einer schmalen Blende gefilmt. Die Kugel, schwarz lackiert mit einer inneren phosphoreszierenden Beschichtung, erhielt den Titel in einem separaten Durchgang. Mehrere Projektionen und Belichtungen sowie eine zweite, größere Kugel wurden verwendet, um den endgültigen Effekt zu erzielen. Das Logodesign inspirierte sogar das 'Interociter'-Gerät im Film 'This Island Earth' von 1955.

(movies.stackexchange.com)

Design Filmeffekte Universal Pictures

Eilige Klassenzertifizierung in KI-Urheberrechtsfall sorgt für Besorgnis

2025-08-09

Eilige Klassenzertifizierung in KI-Urheberrechtsfall sorgt für Besorgnis

Eine Sammelklage gegen Anthropic wegen der Verwendung urheberrechtlich geschützter Bücher zum Trainieren seines KI-Modells hat aufgrund der übereilten Klassenzertifizierung durch das Gericht Kontroversen ausgelöst. Kritiker argumentieren, dass der Fall komplexe Fragen des Urheberrechts betrifft, darunter verstorbene Autoren, Waisenwerke und Bruchteile von Rechten. Der Benachrichtigungsmechanismus des Gerichts ist unzureichend, um die Rechte aller Autoren zu schützen, was dazu führen könnte, dass viele die Klage nicht kennen und zu ungünstigen Vergleichen gezwungen werden. Erschwerend kommt hinzu, dass es den bestehenden Konflikt zwischen Autoren und Verlegern in Bezug auf das Urheberrecht von KI gibt. Diese voreilige Entscheidung riskiert, wichtige Debatten über das Urheberrecht beim KI-Training zum Schweigen zu bringen, die Rechte von Millionen von Autoren nicht angemessen zu berücksichtigen und ein Fragezeichen über die Verwendung urheberrechtlich geschützten Materials in KI zu setzen.

(arstechnica.com)

KI Urheberrechtsinhaberschaft

Ashburn: Wie eine Stadt in Virginia zur Datencenter-Hauptstadt der Welt wurde

2025-01-16

Ashburn: Wie eine Stadt in Virginia zur Datencenter-Hauptstadt der Welt wurde

Ashburn, Virginia, 34 Meilen von Washington D.C. entfernt, hat sich zur unbestrittenen Datencenter-Hauptstadt der Welt entwickelt. Sein Aufstieg ist eine Geschichte von strategischer Lage, niedrigen Land- und Stromkosten, einer hochqualifizierten Belegschaft und fördernden Regierungspolitik. Diese Kombination hat Technologiegiganten wie Amazon, Google und Microsoft angezogen, was dazu führte, dass Ashburn schätzungsweise 70 % des weltweiten Internetverkehrs abwickelt. Die Verfügbarkeit von billigem Strom, eine robuste Glasfaser-Infrastruktur und proaktive Regierungsinitiativen haben dieses phänomenale Wachstum vorangetrieben.

(www.datacenters.com)

Technologie

Hyundai-Verkäufe in den USA explodieren, IONIQ 5 bricht Rekorde

2025-08-04

Hyundai-Verkäufe in den USA explodieren, IONIQ 5 bricht Rekorde

Die Hyundai-Verkäufe in den USA stiegen im Juli um 15 % auf einen Rekordwert von 79.543 Fahrzeugen, angetrieben von der starken Leistung von Elektrofahrzeugen. Der IONIQ 5 verzeichnete seinen besten Monat aller Zeiten mit einem Umsatzplus von 71 % auf 5.818 Einheiten. Verbesserungen wie eine erhöhte Reichweite, ein verbessertes Infotainment-System und die Kompatibilität mit Tesla Superchargern steigerten die Attraktivität. Der Start des dreireihigen IONIQ 9 stärkt die Elektrofahrzeugpalette von Hyundai weiter. Trotz der Herausforderungen durch Zölle bleibt Hyundai optimistisch hinsichtlich eines neuen Handelsabkommens zwischen den USA und Südkorea.

(electrek.co)

Technologie

arXivLabs: Experimentelle Projekte mit Community-Mitwirkenden

2025-02-28

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 engagiert sich für diese Werte und arbeitet nur mit Partnern zusammen, die sich an sie halten. Haben Sie eine Idee für ein Projekt, das der arXiv-Community einen Mehrwert bietet? Erfahren Sie mehr über arXivLabs.

(arxiv.org)

Entwicklung

GrapheneOS: Ein sicherheitsorientiertes Android-Betriebssystem

2025-09-14

GrapheneOS (GOS) ist ein sicherheitsorientiertes Betriebssystem auf Android-Basis, das nur mit Google Pixel-Geräten kompatibel ist. Es nutzt mehrere Benutzerprofile für robuste Privatsphäre, wobei jedes Profil über eine unabhängige Verschlüsselung und Berechtigungen verfügt, wodurch effektiv isolierte Systeme innerhalb Ihres Telefons geschaffen werden. Benutzer können die Berechtigungen jedes Profils fein granular steuern und sogar den Hintergrundbetrieb vollständig stoppen. Die Installation ist einfach, Updates erfolgen nahtlos und die Berechtigungssteuerung für Anwendungen ist leistungsstark. Obwohl etwas weniger benutzerfreundlich als Standard-Android, bietet GOS Nutzern, die Wert auf Sicherheit und Datenschutz legen, eine beispiellose Kontrolle und ist somit eine attraktive Alternative.

(dataswamp.org)

Entwicklung

Lean: Mathematik als Code formalisieren

2025-07-31

$Lean: Mathematik als Code formalisieren$

Lean ist eine Programmiersprache, die hauptsächlich von Mathematikern verwendet wird, um Mathematik zu formalisieren. Sie ermöglicht es Mathematikern, Mathematik als Code zu behandeln, indem sie in Strukturen, Theoreme und Beweise zerlegt und auf GitHub geteilt werden. Der Artikel verwendet ein einfaches Beispiel, den Beweis von 2=2, um die Syntax von Lean und grundlegende Konzepte wie Taktiken einzuführen. Er zeigt, wie Taktiken verwendet werden, um mathematische Aussagen zu beweisen oder zu widerlegen. Ein fiktives Axiom, '2=3', veranschaulicht, wie ein fehlerhaftes Axiom dazu führen kann, dass alles bewiesen werden kann, und unterstreicht die Bedeutung der formalen Verifikation. Der Artikel schließt mit der Erwähnung der laufenden Formalisierung des letzten Fermatschen Theorems in Lean als Beweis für die Leistungsfähigkeit von Lean.

(overreacted.io)

Entwicklung

← Previous 1 2 … 125 126 127 128 129 130 131 132 133 … 595 596 Next →