Webtagr - Technologienummer

Beliebte Tags：

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

Ein schnellerer Quanten-Fourier-Transformationsalgorithmus

2025-01-27

Ronit Shah präsentiert einen verbesserten Algorithmus für die Quanten-Fourier-Transformation (QFT). Traditionell benötigt die approximative QFT Θ(n log n) Gatter, und die exakte QFT Θ(n²) Gatter. Der neue Algorithmus, der eine neuartige rekursive Partitionierung von Qubits nutzt, reduziert die Kosten der approximativen QFT auf Θ(n(log log n)²) Gatter und der exakten QFT auf Θ(n(log n)²) Gatter. Dieser Durchbruch verspricht erhebliche Effizienzsteigerungen im Quantencomputing.

(arxiv.org)

Technologie Quanten-Fourier-Transformation

Steam auf einem Orange Pi 5 Plus ausführen: Ein unglaublich geniales Experiment

2025-03-23

Steam auf einem Orange Pi 5 Plus ausführen: Ein unglaublich geniales Experiment

Der Autor beschreibt einen sechsschrittigen Prozess zur Installation von Steam auf einem Orange Pi 5 Plus, einschließlich der Installation von Armbian, dem Hinzufügen von Box86/64-Repositories, der Installation von Abhängigkeiten und weiterer Konfiguration. Obwohl erfolgreich, ist die Leistung inkonsistent, wobei die meisten getesteten Spiele mit 720p und kaum über 30 FPS laufen. Der Autor kommt zu dem Schluss, dass es sich eher um eine lustige technische Herausforderung als um eine praktische Spielelösung handelt, obwohl zukünftige Verbesserungen von Collabora und Valves ARM-Initiativen dies ändern könnten.

(interfacinglinux.com)

Hardware

Substack und FIRE verbünden sich zum Schutz ausländischer Autoren vor staatlichen Repressalien

2025-04-02

Substack und FIRE verbünden sich zum Schutz ausländischer Autoren vor staatlichen Repressalien

Substack hat eine Partnerschaft mit der Non-Profit-Organisation Foundation for Individual Rights and Expression (FIRE) angekündigt, um ausländischen Autoren, die legal in den USA leben und möglicherweise wegen ihrer Schriften vom Staat ins Visier genommen werden, rechtliche Unterstützung zu bieten. Dies folgt auf jüngste Angriffe auf die Meinungsfreiheit, wie die jüngste Verhaftung einer Tufts-Universitätsstudentin, die möglicherweise mit einem Meinungsartikel in Verbindung steht, der die Universität kritisiert. Die Initiative erweitert das bestehende Defender-Programm von Substack, das seit 2020 Dutzende von Autoren in den USA, Kanada und Großbritannien unterstützt und Themen wie Verleumdung und Markenrechtsverletzungen abdeckt. Es ist unklar, ob das Programm auch Videos umfasst, die auf Substack veröffentlicht werden.

(www.theverge.com)

Technologie

YouTube: Der neue König aller Medien, mit einem Wert von 550 Milliarden Dollar

2025-04-01

MoffettNathanson prognostiziert, dass YouTube der neue König der Medien werden wird. Mit einem geschätzten Umsatz von 54,2 Milliarden Dollar im Jahr 2024, nur hinter Disney, wird erwartet, dass YouTube Disney im Jahr 2025 übertrifft und sowohl in Bezug auf Engagement als auch Umsatz führend ist. Durch die Nutzung seiner riesigen Benutzerbasis und seiner diversifizierten Angebote (YouTube TV, YouTube Music und Premium) wird der Betriebsgewinn von YouTube bis 2027 voraussichtlich 13,8 Milliarden Dollar erreichen, mit einer Betriebsmarge von 18 %. Die Analysten heben ein erhebliches Potenzial zur Verbesserung der Monetarisierung hervor, insbesondere bei Werbung und Abonnements.

(www.thewrap.com)

Technologie Bewertung

Metas neue Inhaltsrichtlinie wird verletzliche Nutzer schädigen

2025-01-10

Metas neue Inhaltsrichtlinie wird verletzliche Nutzer schädigen

Die Electronic Frontier Foundation (EFF) kritisiert die jüngsten Änderungen der Inhaltsmoderationsrichtlinien von Meta und argumentiert, dass diese die Meinungsfreiheit nicht wirklich fördern, sondern verletzliche Gruppen schädigen könnten. Die neue Richtlinie erlaubt entmenschlichende Äußerungen über bestimmte vulnerable Gruppen, insbesondere LGBTQ+-Personen, und lockert die Beschränkungen für Hassreden. Die EFF fordert Meta auf, die Voreingenommenheit in der Inhaltsmoderation anzugehen, mehr in seine globale Nutzerbasis zu investieren, die mehrsprachige Unterstützung zu verbessern, die Abhängigkeit von automatisierten Tools zu reduzieren und die Transparenz zu erhöhen.

(www.eff.org)

Technologie verletzliche Nutzer

OpenAI-Ingenieur: KI hat Nutzschwelle überschritten, braucht mehr Top-Ingenieure

2025-02-20

OpenAI-Ingenieur: KI hat Nutzschwelle überschritten, braucht mehr Top-Ingenieure

Ein OpenAI-Ingenieur blickt auf 15 Jahre KI zurück und stellt fest, dass hochmoderne Modelle wie GPT-3, Codex und DALL-E 2 die KI über eine Nutzschwelle gebracht haben und Aufgaben ermöglichen, die Computern zuvor unmöglich waren. Der Fortschritt hängt von der präzisen Ausführung von großen Modellen ab, was mehr Ingenieure mit starken Softwarekenntnissen erfordert. OpenAI lädt talentierte Ingenieure ein, sich dem Team anzuschließen, und betont die Bedeutung von technischer Demut, da viele etablierte Software-Intuitionen nicht auf maschinelles Lernen zutreffen.

(blog.gregbrockman.com)

Entwicklung

Wasm GC ist nicht bereit für Echtzeit-Grafik

2025-01-18

In seinem Blogbeitrag hebt David Thompson erhebliche Leistungsprobleme von Wasm GC bei Echtzeit-Grafik hervor. Das Hauptproblem liegt in der Undurchsichtigkeit der Wasm GC-Heap-Objekte für den Host JavaScript. Dies erfordert eine byteweise Datenkopie für das WebGL-Rendering und beeinträchtigt die Leistung erheblich. Im Gegensatz dazu bietet Wasm-Linear Memory direkten Zugriff auf JavaScript und höhere Effizienz. Thompson untersucht Workarounds, findet aber keine zufriedenstellende Lösung. Er fordert die Wasm-Community auf, diese Einschränkungen zu beheben, um Technologien wie WebGPU nicht zu behindern.

(dthompson.us)

Entwicklung Echtzeit-Grafik

Bau eines mechanischen Sternen-Trackers für die ISS

2025-01-18

Bau eines mechanischen Sternen-Trackers für die ISS

Der Ingenieur Ted Kinsman erhielt den Auftrag vom NASA-Astronauten Don Pettit, einen mechanischen Sternen-Tracker zu entwerfen und zu bauen, um hochwertige Astrofotografie-Bilder von der Internationalen Raumstation (ISS) aufzunehmen. Aufgrund der langen Testzeit für elektronische Geräte war der Tracker vollständig mechanisch und nutzte clever einen Uhrwerkantrieb aus einem Industrieofen. Die Übersetzungen wurden angepasst, um der Orbitalgeschwindigkeit der ISS zu entsprechen. Das Gerät erreichte die ISS im Jahr 2024 erfolgreich und hat beeindruckende Bilder des Kosmos aufgenommen.

(petapixel.com)

Technologie

Der bescheidene Programmierer: Reflexionen zur Softwarekrise und der Zukunft der Programmierung

2025-06-17

Dieser Aufsatz ist eine Transkription von Edsger W. Dijkstras berühmtem Vortrag aus dem Jahr 1972, in dem er die Anfänge der Programmierung und die zunehmende Softwarekrise untersucht. Dijkstra beschreibt den anfänglichen Mangel an Anerkennung der Programmierung als Beruf und wie die exponentielle Steigerung der Rechenleistung zu einer entsprechenden Zunahme der Softwarekomplexität führte, die in der Softwarekrise gipfelte. Er argumentiert, dass die Lösung in einem Paradigmenwechsel in den Programmiermethoden liegt, wobei er sich für „intellektuell handhabbare Programme“ einsetzt und die Bedeutung von Programmkorrektheitsbeweisen betont, während er vor übermäßig komplexen Programmiersprachen warnt. Er ist zuversichtlich, dass verbesserte Sprachen, strukturiertere Programmieransätze und der Fokus auf Korrektheit die Qualität und Effizienz der Softwareentwicklung drastisch verbessern werden.

(www.cs.utexas.edu)

Entwicklung Softwarekrise Programmiermethodik

Genomsequenzierung der Riesenmuschel enthüllt Geheimnisse der Symbiose mit Algen

2025-02-01

Genomsequenzierung der Riesenmuschel enthüllt Geheimnisse der Symbiose mit Algen

Wissenschaftler haben das Genom der Riesenmuschel *Tridacna maxima* sequenziert und dabei enthüllt, wie diese riesigen Weichtiere eine symbiotische Beziehung mit Algen entwickelt haben, um ihre beeindruckende Größe zu erklären. Die Studie ergab, dass Riesenmuscheln Gene entwickelt haben, um symbiotische Algen spezifisch zu erkennen und zu tolerieren, wodurch ihre Immunantwort unterdrückt wird, um eine Abstoßung zu vermeiden. Diese Immunsuppression macht sie jedoch anfällig für Virusinfektionen. Die Forschung beleuchtet die evolutionären Mechanismen hinter der Größe der Riesenmuschel und unterstreicht die Bedeutung des Schutzes dieser Schlüsselarten, die durch den Klimawandel und andere Faktoren bedroht sind, die die Korallenriff-Ökosysteme beeinflussen.

(www.colorado.edu)

Technologie Symbiose Korallenriff-Ökosystem

FurtherAI: Revolutionierung von Versicherungsprozessen mit KI

2025-01-12

FurtherAI: Revolutionierung von Versicherungsprozessen mit KI

FurtherAI, ein Startup, das von Top-Investoren wie Y Combinator unterstützt wird, entwickelt KI-Teammitglieder zur Automatisierung von Versicherungsprozessen. Diese KIs können unstrukturierte Dokumente verarbeiten, Daten eingeben und sogar telefonieren. Ihr Ziel ist es, eine KI zu schaffen, die so zuverlässig, anpassungsfähig und lernfähig ist wie ein menschlicher Mitarbeiter. Sie suchen derzeit Mitarbeiter für verschiedene Positionen, darunter Produktdesigner, angewandte Forschungsingenieure und Softwareentwickler, und bieten spannende Möglichkeiten für alle, die sich für KI und Versicherungen interessieren.

(www.ycombinator.com)

KI

Ein sehr privates Leben: Patrick O'Brian in Erinnerung

2025-01-02

Ein sehr privates Leben: Patrick O'Brian in Erinnerung

Unseen Histories veröffentlichte einen Artikel zur Erinnerung an Patrick O'Brian, der als "größter historischer Romancier aller Zeiten" gefeiert wird. Der Artikel bietet einen Einblick in O'Brians relativ privates Leben, vermischt mit Details seiner Schriftstellerkarriere, begleitet von aussagekräftigen Bildern. Dieser Artikel ist Teil der umfassenderen Mission von Unseen Histories, Geschichte auf originelle, fesselnde und visuell beeindruckende Weise zu präsentieren.

(www.unseenhistories.com)

Sonstiges

NYC-Staugebühren-Tracker: Echtzeit-Datenvisualisierung

2025-01-06

Benjamin und Joshua Moshes haben eine Website namens "Staugebühren-Tracker" erstellt, die Echtzeitdaten zu den Staugebühren in New York City liefert. Die Website bietet eine interaktive Karte und Datenvisualisierungen, die es Benutzern ermöglichen, die Staugebühren und Verkehrsbedingungen in verschiedenen Bereichen einfach einzusehen. Dies ist nicht nur für Personen nützlich, die ihre Fahrten planen, sondern liefert auch wertvolle Daten für Forscher und Stadtplaner, um das Verkehrsmanagement und die Politik zu optimieren. Es zeigt die Macht der Bürgertechnologie bei der Bewältigung städtischer Herausforderungen.

(www.congestion-pricing-tracker.com)

Technologie Stadtverkehr Staugebühren

Walkman mit 46: Nostalgie und Kontroverse

2025-07-06

Walkman mit 46: Nostalgie und Kontroverse

Der 46. Geburtstag des Sony Walkman lässt uns über seinen kontroversen Start im Jahr 1979 nachdenken. Sein leichtes Design revolutionierte die persönliche Musik, aber die Zunahme von Fußgängern mit Kopfhörern löste Bedenken hinsichtlich sozialer Isolation und öffentlicher Sicherheit aus. Kritiker prangerten ihn als Symbol des Individualismus an und verglichen ihn sogar mit einem gesellschaftlichen „Depressivum“. Mehrere US-Bundesstaaten erließen Beschränkungen für die Verwendung von Kopfhörern beim Autofahren oder Radfahren, wobei Woodbridge, New Jersey, die Verwendung von Kopfhörern beim Überqueren der Straße berühmt verbot – ein Gesetz, das von Oscar Gross auf die Probe gestellt wurde, der wegen zivilen Ungehorsams mit einer Geldstrafe belegt wurde. Dieses historische Ereignis erinnert uns daran, dass Nostalgie oft den anfänglichen Widerstand übersieht, dem neue Technologien ausgesetzt waren, und unterstreicht, dass die „guten alten Zeiten“ nicht immer so gut waren.

(newsletter.pessimistsarchive.org)

Technologie

arXivLabs: Experimentelle Projekte mit Community-Mitarbeitern

2025-04-02

arXivLabs ist eine experimentelle Plattform, die es Mitarbeitern ermöglicht, neue arXiv-Funktionen direkt auf der Website zu entwickeln und zu teilen. Die Teilnehmer (Einzelpersonen und Organisationen) unterstützen die Werte von arXiv: Offenheit, Community, Exzellenz und Datenschutz der Benutzerdaten. arXiv verpflichtet sich zu diesen Werten und arbeitet nur mit Partnern zusammen, die diese einhalten. Haben Sie eine Idee, um die arXiv-Community zu verbessern? Erfahren Sie mehr über arXivLabs.

(arxiv.org)

Entwicklung

Betreiben Sie ein Certificate Transparency Log auf einem einzigen Server!

2025-07-08

Betreiben Sie ein Certificate Transparency Log auf einem einzigen Server!

Dieser Artikel erklärt, wie einfach es ist, ein Certificate Transparency (CT) Log zu betreiben, eine kritische Komponente der Websicherheit. Der Autor hebt hervor, dass mit der neuen Static CT API und der Sunlight-Implementierung der Betrieb eines CT Logs jetzt deutlich günstiger und einfacher geworden ist und nur einen einzigen Server, minimale Bandbreite und Speicherplatz benötigt. Dies bietet eine Gelegenheit für Organisationen oder Einzelpersonen mit überschüssigen Ressourcen, zur Websicherheit beizutragen und ihre technischen Fähigkeiten zu verbessern.

(words.filippo.io)

Technologie

Neue Farben freischalten: Laser-Stimulation von Zapfenzellen

2025-07-21

Neue Farben freischalten: Laser-Stimulation von Zapfenzellen

Eine Studie verwendete Laserimpulse, um Zapfenzellen in der Netzhaut selektiv zu stimulieren und behauptete, dass dies Menschen ermöglichen würde, noch nie dagewesene Farben zu sehen. Obwohl die Studie detaillierte Berichte der Probanden vermisst, scheint eine Animation einer optischen Täuschung einen ähnlichen Effekt zu erzeugen. Die Animation sättigt rote Zapfen mit einem roten Kreis, hebt die Aktivität grüner Zapfen hervor und erzeugt ein intensives blaugrün. Aufgrund der Überlappung der Zapfenspektren und der Einschränkungen der Bildschirmtechnologie bleibt jedoch fraglich, ob dieser Ansatz Farben außerhalb des normalen menschlichen Farbbereichs aufzeigt.

(dynomight.net)

Technologie Farbsehen Zapfenzellen

Racket-Bibliothek für elegante HTML5-Generierung

2025-01-12

Die `html-printer`-Bibliothek für Racket bietet eine elegante Möglichkeit, gut formatierten HTML5-Code zu generieren. Ihre Hauptfunktion, `xexpr->html5`, konvertiert X-Ausdrücke in HTML5-Strings mit automatischer Einrückung und Zeilenumbruch, wobei die Anpassung der Spaltenbreite möglich ist. Sie ist Unicode-bewusst, behandelt die Längen der Zeichen korrekt und fügt optional Zeilenumbrüche zwischen Tags hinzu, um die Lesbarkeit und Wartbarkeit zu verbessern. Ideal für die Erstellung von semantisch sauberem und strukturell solidem HTML5.

(joeldueck.com)

Entwicklung

Hacker News: GameCube-Tastaturcontroller verbessert Animal Crossing

2025-06-12

Hacker News: GameCube-Tastaturcontroller verbessert Animal Crossing

Ein Entwickler hat ein erstaunliches Projekt geschaffen, das einen GameCube-Tastaturcontroller mit Nintendos Animal Crossing kombiniert. Das Projekt umfasst Tools für extrem schnelles Tippen im Spiel, das Importieren benutzerdefinierter Bilder und Videos und sogar Snake! Es werden 3D-gedruckte, benutzerdefinierte Tastenkappen, ein Raspberry Pi Pico und einige elektronische Komponenten benötigt. Das Projekt ist Open Source und der Code ist auf GitHub verfügbar.

(github.com)

Spiele

Wie ein kleines belgisches Team mit Elixir die Live-Übertragung erobert hat

2025-03-26

Wie ein kleines belgisches Team mit Elixir die Live-Übertragung erobert hat

Cyanview, ein kleines belgisches Unternehmen mit nur neun Mitarbeitern, hat die Welt der Live-Übertragung mit seinem Elixir-basierten Remote Control Panel (RCP) im Sturm erobert. Bei Events wie dem Super Bowl und den Olympischen Spielen koordiniert das RCP Hunderte von Kameras und sorgt für einheitliche Farben, Belichtung und andere visuelle Aspekte über verschiedene Geräte hinweg. Elixirs robuste Netzwerkfunktionen, Fehlertoleranz und effiziente Binärdatenverarbeitung ermöglichten schnelle Iterationen und nahtlose Integration mit verschiedenen Protokollen und Netzwerkbedingungen. Die Erfolgsgeschichte von Cyanview zeigt, wie die richtige Technologie kleine Teams zu außergewöhnlichen Leistungen befähigt.

(elixir-lang.org)

Technologie Live-Übertragung Fernbedienung

Django 5.2 veröffentlicht: Composite Primary Keys und vereinfachte Überschreibung von BoundField

2025-04-02

Django 5.2 ist veröffentlicht! Zu den wichtigsten Funktionen gehören der automatische Import von Modellen in die Shell, die Unterstützung von zusammengesetzten Primärschlüsseln (mit mehreren Feldern als Primärschlüssel) und die vereinfachte Überschreibung von BoundField. Django 5.1 befindet sich in der Sicherheitswartung, während Django 5.0 das Ende seines Lebenszyklus erreicht hat. Allen Benutzern wird dringend empfohlen, auf Version 5.2 zu aktualisieren, um weiterhin Sicherheitskorrekturen und Bugfixes zu erhalten.

(www.djangoproject.com)

Entwicklung

Clojure Refactoring: Erstellen eines eleganten Markov-Textgenerators

2025-05-15

Clojure Refactoring: Erstellen eines eleganten Markov-Textgenerators

Dieser Artikel beschreibt das Refactoring von Clojure-Code, der einen First-Order-Wort-Level-Markov-Text generiert. Anstatt den Originalcode direkt zu ändern, beginnt der Autor damit, sein Verhalten mit umfassenden Tests zu charakterisieren. Der refaktorisierte Code verwendet klarere Funktionen und eine verständlichere Struktur, wobei `reduce` und rekursive Funktionsaufrufe für eine effiziente Textgenerierung verwendet werden. Das Ergebnis ist eine signifikante Verbesserung der Lesbarkeit und Wartbarkeit bei gleichzeitiger Beibehaltung der ursprünglichen Funktionalität.

(www.orsolabs.com)

Entwicklung

DOJ-Kartellrechtsvorschlag könnte Browser-Wettbewerb zerstören

2025-03-12

Die vom US-Justizministerium im Fall USA gegen Google vorgeschlagenen Abhilfemaßnahmen könnten unbeabsichtigt den Browser-Wettbewerb zerstören. Der Plan, alle Suchzahlungen an Browser-Entwickler zu verbieten, würde kleinere, unabhängige Browser wie Firefox schwer schädigen, die für die Aufrechterhaltung eines offenen, innovativen und freien Internets unerlässlich sind. Der Verlust von Suchumsätzen würde das Überleben erschweren und könnte dazu führen, dass Googles Chromium der einzige plattformübergreifende Browser-Engine bleibt und die Dominanz der Technologieriesen verschärft. Mozilla argumentiert, dass dies Monopolprobleme bei der Suche nicht lösen, sondern die Verbraucher durch die Reduzierung der Auswahlmöglichkeiten und die Schwächung des Internet-Ökosystems schädigen wird.

(blog.mozilla.org)

Technologie Browser-Wettbewerb

Das langsame Sterben von OCSP: Let's Encrypt stellt die Unterstützung ein

2025-01-30

Let's Encrypts Entscheidung, die Unterstützung für OCSP einzustellen, markiert das Ende einer Ära für diese 25 Jahre alte Technologie zur Überprüfung der Zertifikatswiderrufung. Geplagt von schlechter Browser-Implementierung und hohen Kosten, konnte OCSP keine signifikanten Sicherheitsverbesserungen liefern. Die Zukunft beinhaltet kurzlebigere Zertifikate (z. B. 6 Tage Gültigkeit) und einen überarbeiteten CRL-Ansatz, der von Browser-Anbietern verwaltet wird. Auch wenn OCSP in Nischenanwendungen weiterhin bestehen bleiben könnte, ist seine breite Anwendung vorbei.

(www.feistyduck.com)

Technologie Zertifikatswiderruf

BreakerMachines: Schützen Sie Ihre Microservices vor Kaskadenfehlern

2025-07-06

BreakerMachines: Schützen Sie Ihre Microservices vor Kaskadenfehlern

In der Welt der Microservices sind Kaskadenfehler und Retry-Stürme ein Albtraum für Entwickler. BreakerMachines, eine Ruby-Bibliothek, fungiert als Schutzschild und bewahrt Ihr System mit einem ausgeklügelten Circuit-Breaker-Mechanismus vor diesen Katastrophen. Basierend auf dem bewährten state_machines-Gem bietet es klassische und Fiber-Modi, unterstützt asynchrone Operationen und ermöglicht flexible Konfigurationen, um Schwellenwerte und Timeouts basierend auf der Kritikalität des Dienstes und dem Traffic anzupassen. BreakerMachines verhindert effektiv Kaskadenfehler und hilft durch visuelle Dashboards und intelligente Alarme bei der schnellen Lokalisierung von Problemen, wodurch die Stabilität und Zuverlässigkeit des Systems verbessert werden.

(github.com)

Entwicklung Circuit Breaker

Programmieren lernen mit Haiku: Ein umfassendes Tutorial

2025-04-10

Programmieren lernen mit Haiku: Ein umfassendes Tutorial

Dieses Buch, "Programmieren lernen mit Haiku", bietet eine Schritt-für-Schritt-Anleitung zum Programmieren auf dem Haiku-Betriebssystem. Beginnend mit grundlegenden Konzepten wie Datentypen und Schleifen, geht es weiter zu fortgeschrittenen Themen wie objektorientierter Programmierung und GUI-Entwicklung mit C++ und der Haiku-API. In 23 Lektionen erstellen die Leser eine vollständige Haiku-Anwendung, einschließlich Quellcode und Ressourcen. Ideal für Anfänger, befähigt dieses Tutorial Benutzer, eigene Haiku-Programme zu erstellen.

(www.haiku-os.org)

Entwicklung

Python-Protokolle: Statische Enten-Typisierung und die Evolution der Vererbung

2025-02-02

Python-Protokolle: Statische Enten-Typisierung und die Evolution der Vererbung

Pythons Vererbungsmechanismus war schon immer interessant. Traditionell verwendet Python typbasierte Vererbung, ähnlich wie Java. Die Flexibilität der Enten-Typisierung (implementiert durch magische Methoden) ist jedoch begrenzt. PEP 544 führt Protokolle ein, die die Definition von struktureller Subtypisierung ermöglichen, auch bekannt als statische Enten-Typisierung. Durch die Vererbung von der Protocol-Klasse können Entwickler einen Satz von Methoden deklarieren; jede Klasse, die diese Methoden implementiert, wird als Instanz dieses Protokolls betrachtet. Dies löst die Skalierungsprobleme der traditionellen Enten-Typisierung und führt zu saubererem und besser wartbarem Code.

(blog.frankel.ch)

Entwicklung Enten-Typisierung

Visualisierung mathematischer Beweise: Einblicke von Lean Blueprints

2025-05-11

Lean Blueprints, ein Projektplanungswerkzeug, das von der Blueprint-Methode der Mathematiker zur Formalisierung von Beweisen inspiriert wurde, bietet einzigartige Einblicke in den Beweisprozess. Es verwendet einen Graphen, in dem Knoten Definitionen, Lemmata und Theoreme darstellen, wobei Farben ihren Status anzeigen (grün: bewiesen, blau: formuliert, aber nicht bewiesen, schwarz: nicht geschrieben). Durch die Verfolgung der Versionskontrolle von Lean-Projekten (z. B. die Formalisierung der PFR-Vermutung von Terrence Tao) können wir die Entwicklung von Beweisen visualisieren und so aufzeigen, wie Mathematiker arbeiten und Daten zur Entwicklung von Werkzeugen liefern, die ihnen helfen. Diese Visualisierung bietet zuvor verborgene Einblicke in die Konstruktion mathematischer Beweise.

(kirancodes.me)

Entwicklung Formaler Beweis

Homomorphe Verschlüsselung in iOS 18 von Apple: Private Suche

2025-01-15

Apples iOS 18 nutzt homomorphe Verschlüsselung, um die Fotosuchfunktion zu verbessern und Cloud-basierte Suchen zu ermöglichen, ohne den Inhalt der Benutzerfotos preiszugeben. Der Artikel erklärt die zugrundeliegenden Prinzipien der homomorphen Verschlüsselung, die Berechnungen an verschlüsselten Daten erlaubt, wobei das entschlüsselte Ergebnis mit den Berechnungen an unverschlüsselten Daten übereinstimmt. Apples Implementierung ist nicht vollständig homomorph, sondern opfert etwas Privatsphäre zugunsten von Leistung und kombiniert sie mit Differential Privacy und Anonymisierungsnetzwerken, um die Privatsphäre zu erhöhen. Obwohl nicht perfekt, stellt sie einen bedeutenden Schritt zum Ausgleich von Privatsphäre und Benutzerfreundlichkeit dar.

(boehs.org)

Technologie homomorphe Verschlüsselung

ICE-Zug erreicht neuen Geschwindigkeitsrekord: 405 km/h

2025-06-30

ICE-Zug erreicht neuen Geschwindigkeitsrekord: 405 km/h

Die Deutsche Bahn (DB) und Siemens Mobility haben mit einem ICE-Testzug auf der Schnellfahrstrecke Erfurt–Leipzig/Halle einen neuen Geschwindigkeitsrekord von 405 km/h erreicht. Dieser Rekord unterstreicht die Leistungsfähigkeit der bestehenden Infrastruktur und liefert wichtige Daten für die zukünftige Instandhaltung und Weiterentwicklung des Hochgeschwindigkeitsverkehrs. Der Testzug Velaro Novo zeigte dabei seine Energieeffizienz und hohe Performance, und ebnet den Weg für Innovationen im Hochgeschwindigkeitsverkehr. Die Tests fanden während geplanter Wartungsarbeiten statt, die auch die Modernisierung von Brückenlagern einschlossen, um den zuverlässigen Betrieb langfristig zu sichern.

(www.deutschebahn.com)

Technologie Hochgeschwindigkeitsstrecke

← Previous 1 2 … 446 447 448 449 450 451 452 453 454 … 595 596 Next →