Webtagr - Technologienummer

Beliebte Tags：

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

DARKNAVY analysiert Starlink-Terminal mittels Reverse Engineering: Potentielle Sicherheitslücken aufgedeckt

2025-05-09

DARKNAVY analysiert Starlink-Terminal mittels Reverse Engineering: Potentielle Sicherheitslücken aufgedeckt

Sicherheitsexperten von DARKNAVY führten eine umfassende Reverse-Engineering-Analyse des SpaceX Starlink-Benutzerterminals durch und legten dessen Hardware, Firmware und Sicherheitsmechanismen offen. Sie entdeckten, dass Starlink Chips von STMicroelectronics verwendet, darunter einen kundenspezifischen Quad-Core-SoC für die Hauptverarbeitung und einen STSAFE-A110-Sicherheitschip für Authentifizierung und Schlüsselverwaltung. Obwohl der Großteil der Firmware unverschlüsselt war, fanden die Forscher auch ein Programm namens "Ethernet Data Recorder", das potenziell Daten aufzeichnen kann, aber derzeit scheinbar nur Satellitentelemetriedaten und keine Benutzerdaten der Privatsphäre erfasst. Allerdings ist das Terminal mit 41 SSH-öffentlichen Schlüsseln vorinstalliert, und Port 22 bleibt ständig geöffnet, was Sicherheitsbedenken aufwirft. Diese Forschung unterstreicht die Bedeutung der Sicherheit von Satelliteninternet und die Komplexität zukünftiger offensiver und defensiver Operationen in der Weltraum sicherheit.

(www.darknavy.org)

Technologie

ZEUS-Laser: Der leistungsstärkste Laser der USA erreicht 2 Petawatt

2025-05-21

ZEUS-Laser: Der leistungsstärkste Laser der USA erreicht 2 Petawatt

Die ZEUS-Laseranlage der University of Michigan hat einen Meilenstein erreicht und bei ihrem ersten offiziellen Experiment 2 Petawatt (2 Billiarden Watt) erreicht. Damit ist sie der leistungsstärkste Laser in den USA. Obwohl diese immense Leistung – über 100-mal höher als die weltweite Stromproduktion – nur für 25 Quintillionstel Sekunden anhält, sind die Anwendungsmöglichkeiten enorm und reichen von Medizin und nationaler Sicherheit bis hin zu Materialwissenschaften und Astrophysik. Als Nutzeranlage heißt ZEUS Forschungsteams aus aller Welt willkommen, um Experimente vorzuschlagen. Der Laser nutzt innovative Verfahren zur Erzeugung hochenergetischer Elektronenstrahlen und bereitet sich auf ein wegweisendes Experiment später in diesem Jahr vor, mit dem Ziel, Pulse im Zettawatt-Bereich zu erreichen.

(news.engin.umich.edu)

Technologie

Eine überraschende Optimierung der Enum-Größe im Rust-Compiler

2025-04-10

Der Rust-Compiler verwendet eine clevere Speicheroptimierung für Enums, wodurch deren Größe reduziert und die Leistung verbessert wird. Der Artikel analysiert die Speicherrepräsentation von Enums und enthüllt zwei Optimierungsstrategien: die „Nischenoptimierung“, die ungültige Bitmuster für Varianten ohne Nutzlast verwendet; und eine Optimierung für verschachtelte Enums, die das Speicherlayout des inneren Enums intelligent wiederverwendet, um die Größe des äußeren Enums zu minimieren. Beide Strategien reduzieren den Speicherverbrauch deutlich und verbessern die Programmeffizienz.

(jpfennell.com)

Entwicklung

Classic 2 Maus veröffentlicht: USB-C, verbessertes Scrollrad und weiterhin Open Source!

2025-04-02

Die Classic 2 Maus ist da, ab 144 CAD! Diese aktualisierte Version behält die beliebte Ergonomie der ursprünglichen Classic bei, bietet aber ein bedeutendes Upgrade auf USB-C-Konnektivität. Die größte Verbesserung ist ein viel flüssigeres, genaueres Scrollrad dank eines neuen Raspberry RP2040-Mikrocontrollers, der vorherige Ansprechprobleme behebt. Sie bleibt Open Source und bietet eine verbesserte 3D-Druckfähigkeit. Leider wird kein Upgrade-Kit für die ursprüngliche Classic angeboten.

(blog.ploopy.co)

Hardware Maus

Trudeau tritt zurück: Kanadas Liberale Partei in der Krise

2025-01-06

Trudeau tritt zurück: Kanadas Liberale Partei in der Krise

Der kanadische Premierminister Justin Trudeau hat am 6. Januar 2025 seinen Rücktritt als Vorsitzender der Liberalen Partei und als Premierminister bekannt gegeben. Dieser Schritt folgt auf wachsende Unzufriedenheit der Öffentlichkeit mit seiner Führung und den abrupten Rücktritt seines Finanzministers und signalisiert erhebliche Unruhen innerhalb der kanadischen Regierung. Trudeau bleibt Premierminister, bis ein neuer liberaler Vorsitzender gewählt wird. Oppositionsparteien planen eine Vertrauensfrage, wenn das Parlament Ende März wieder zusammentritt. In seiner Rücktrittsrede kritisierte Trudeau die Politik des Oppositionsführers Pierre Poilievre und erklärte, dass Kanada ein funktionierendes Parlament brauche.

(apnews.com)

Politik Kanadische Politik Liberale Partei

KI-gestützter Website-Builder: Jederzeit Bearbeiten

2025-06-04

Erstellen und aktualisieren Sie Ihre Website mühelos mit KI. Beschreiben Sie einfach Ihre Bedürfnisse in klarem Deutsch; keine technischen Fähigkeiten erforderlich. Erhalten Sie eine kurze, einprägsame Domain und genießen Sie volle Flexibilität. Laden Sie Ihre Website als einzelne HTML-Datei herunter oder behalten Sie sie bei uns gehostet. Passen Sie Farben, Layout und Inhalte ganz einfach an.

(verysmall.site)

Entwicklung KI Website-Builder einfache Website-Erstellung Website-Bearbeitung

Alte Genome lösen das Rätsel der Herkunft der indogermanischen Sprachen

2024-12-28

Alte Genome lösen das Rätsel der Herkunft der indogermanischen Sprachen

Eine bahnbrechende Studie mit 91 Forschern analysierte 314 alte Genome und lüftete endlich das Geheimnis der Herkunft der indogermanischen Sprachen. Die Forschung ergab eine signifikante genetische Divergenz zwischen den indogermanischen Populationen im östlichen und westlichen Mittelmeerraum während der Bronzezeit, im Einklang mit den sprachwissenschaftlichen Modellen Italo-Keltisch und Graeco-Armenisch. Die spanischen, französischen und italienischen Populationen erhielten Steppen-Ahnenlinien von Bell Beaker-Gruppen, während griechische und armenische Gruppen ihre Ahnenlinien direkt von Yamnaya-Populationen erhielten. Die Strontiumisotopenanalyse bestätigte zudem aktive Mobilitätsmuster in der Bronzezeit. Diese Studie liefert überzeugende genetische und sprachwissenschaftliche Beweise für die Ursprünge der indogermanischen Sprachen und stellt alternative sprachwissenschaftliche Hypothesen in Frage.

(phys.org)

Technologie Genomik indogermanische Sprachen

Babbages faszinierende Reise in die Kryptographie

2025-07-08

In seiner Autobiografie erzählt Charles Babbage von seinen fesselnden Erfahrungen mit der Entschlüsselung von Codes. Schon in jungen Jahren zeigte er ein Talent, die Codes seiner Altersgenossen mühelos zu knacken, obwohl dies manchmal körperliche Konsequenzen hatte. Babbage glaubte fest daran, dass jeder Code gebrochen werden kann und nahm mit einem Freund eine spielerische Herausforderung an. Seine außergewöhnliche Einsicht und Geduld ermöglichten es ihm schließlich, den scheinbar komplexen Code seines Freundes zu entschlüsseln, wobei er dessen zugrunde liegende Einfachheit enthüllte und sein außergewöhnliches Talent in der Kryptographie unter Beweis stellte.

(mathshistory.st-andrews.ac.uk)

Sonstiges Codeknacken

Der Aufstieg und Fall von Roam Research: Das Versprechen bidirektionaler Links vs. die Realität

2025-05-18

Der Aufstieg und Fall von Roam Research: Das Versprechen bidirektionaler Links vs. die Realität

Roam Research war einst ein Hit in der Welt der Notiz-Apps, dank seiner bidirektionalen Links, die als revolutionärer Ansatz galten. Der Autor hat Roam jedoch aufgegeben, da er feststellte, dass er mehr Zeit damit verbrachte, sich über den richtigen Platz für seine Notizen Gedanken zu machen, als sie tatsächlich zu benutzen. Bidirektionale Links linderten zwar anfänglich die Angst vor der Notizenorganisation, doch die schiere Menge an Links behinderte letztendlich die effiziente Suche. Der Autor argumentiert, dass Roam seine Suchfunktion verbessern und ein automatisiertes Taxonomiesystem entwickeln muss, um die Notizenverwaltung zu vereinfachen und die Benutzererfahrung zu verbessern.

(every.to)

Entwicklung bidirektionale Links

Haiku-Entwicklungsbericht Januar: Kernverbesserungen und neue Funktionen

2025-02-14

Der Haiku-Entwicklungsbericht für Januar umfasst zahlreiche Verbesserungen, darunter eine umfassende Überarbeitung des Datei-Managers Tracker mit Kontextmenüs, Funktionen zum Ausschneiden, Kopieren und Einfügen sowie einer Live-Aktualisierung der Menüs. Bei den Anwendungen wurden neue Funktionen hinzugefügt, z. B. im Icon-Editor, den Touchpad-Einstellungen und dem Editor für formatierten Text. Die Treiberunterstützung wurde um Alder-Lake-Chipsätze, AMD-Temperaturüberwachung und das Wacom CTH-470 erweitert. Änderungen auf Kernelebene konzentrierten sich auf umfassende Optimierungen des Speichermanagements, der Seitenzuordnung und der Berechtigungsprüfungen, wodurch die Systemstabilität und -sicherheit verbessert wurden. Viele Fehler wurden behoben und das Build-System sowie die Dokumentation wurden verbessert.

(www.haiku-os.org)

Entwicklung Entwicklungsbericht

Veraltete Informationen verstecken sich in LLMs: Wie Token-Wahrscheinlichkeiten logische Inkonsistenzen erzeugen

2025-01-12

Veraltete Informationen verstecken sich in LLMs: Wie Token-Wahrscheinlichkeiten logische Inkonsistenzen erzeugen

Große Sprachmodelle (LLMs) wie ChatGPT, die mit massiven Internet-Datensätzen trainiert wurden, haben oft mit widersprüchlichen oder veralteten Informationen zu kämpfen. Dieser Artikel verwendet die Höhe des Mount Bartle Frere als Fallstudie und zeigt, wie LLMs nicht immer die neuesten Informationen priorisieren. Stattdessen treffen sie Vorhersagen basierend auf Wahrscheinlichkeitsverteilungen, die aus ihren Trainingsdaten gelernt wurden. Selbst fortschrittliche Modelle wie GPT-4o können veraltete Informationen ausgeben, abhängig von subtilen Änderungen der Eingabeaufforderung. Dies ist keine einfache „Halluzination“, sondern eine Folge davon, dass das Modell mehrere Möglichkeiten lernt und die Wahrscheinlichkeiten je nach Kontext anpasst. Der Autor betont die Wichtigkeit, die Grenzen von LLMs zu verstehen, übermäßige Abhängigkeit zu vermeiden und Transparenz zu betonen.

(blog.anj.ai)

KI Veraltete Informationen Logische Inkonsistenzen

Moneros Datenschutz: Ein Schlachtfeld aus Angriffen und Verteidigung

2025-05-28

Moneros Datenschutz: Ein Schlachtfeld aus Angriffen und Verteidigung

Monero (XMR), eine auf Datenschutz ausgerichtete Kryptowährung, war Ziel von Regierungen, Cybersicherheitsexperten und Analysefirmen, die versuchen, ihre Transaktionen zu deanonymisieren. Dieser Artikel analysiert verschiedene Versuche, Moneros Datenschutz zu brechen, darunter Bemühungen von Unternehmen wie Chainalysis und CipherTrace sowie akademische Forschung zu dessen Ringsignaturverfahren. Obwohl einige Methoden wie die Ausnutzung der Zeitreihenanalyse oder die Korrelation von Off-Chain-Daten begrenzten Erfolg gezeigt haben, haben sich Moneros Ringsignaturen, Stealth-Adressen und vertraulichen Transaktionen als bemerkenswert widerstandsfähig erwiesen. Die proaktiven Verteidigungsbemühungen der Monero-Community, einschließlich der "Breaking Monero"-Serie, haben ihre Widerstandsfähigkeit gegen Tracking weiter gestärkt.

(monero.forex)

Technologie

Ausführungseinheiten sind oft Pipelined

2024-12-30

Dieser Blogbeitrag untersucht das Pipelining von Ausführungseinheiten in außer-Ordnung-Mikroarchitekturen. Die Autorin ging zunächst davon aus, dass Ausführungseinheiten bis zum Abschluss der µop belegt bleiben, zeigt aber am Beispiel der Firestorm-Mikroarchitektur (A14 und M1), dass zwei ganzzahlige Ausführungseinheiten mehrere Multiplikationen gleichzeitig verarbeiten können, wobei jede drei Zyklen benötigt. Durch den Vergleich von abhängigen und unabhängigen Instruktionssequenzen zeigt die Autorin, dass viele Kombinationen aus Ausführungseinheit und µop stark gepipelined sind, sodass eine µop ausgegeben werden kann, während die Einheit andere verarbeitet. Dies reduziert die Ausführungszeit für unabhängige Instruktionen von vorhergesagten 6 Zyklen auf 4. Schließlich erklärt die Autorin, warum Tabellen für Instruktionslatenz und -bandbreite den reziproken Durchsatz angeben – er entspricht den Zyklen/Instruktion.

(blog.xoria.org)

Entwicklung Mikroarchitektur Pipelining Ausführungseinheiten

Ransomware-Entschlüsselung ohne Lösegeld: Ein Wettlauf gegen die Zeit

2025-03-14

Ransomware-Entschlüsselung ohne Lösegeld: Ein Wettlauf gegen die Zeit

Der Autor hat erfolgreich einem Unternehmen geholfen, seine Daten von der Akira-Ransomware wiederherzustellen, ohne Lösegeld zu zahlen, und hat den vollständigen Quellcode veröffentlicht. Die Ransomware verwendet vier Zeitstempel in Nanosekunden als Seeds zur Generierung von Verschlüsselungsschlüsseln. Durch die Analyse des Verschlüsselungsalgorithmus der Ransomware und der Zeitstempel des Dateisystems hat der Autor eine GPU-beschleunigte Brute-Force-Lösung entwickelt. Dies beinhaltete das Auflisten von Zeitstempelkombinationen, das Generieren von Schlüsseln und den Versuch, bekannten Klartext zu entschlüsseln. Der Prozess war herausfordernd und erforderte Reverse Engineering, Optimierung der CUDA-Programmierung und Cloud-Computing-Ressourcen. Der Autor teilt technische Details und Code und bietet eine wertvolle Ressource für die Datenwiederherstellung in ähnlichen Situationen.

(tinyhack.com)

Entwicklung Datenwiederherstellung

Mathup: Ein schneller Parser für mathematische Ausdrücke

2025-03-21

Mathup ist ein leichtgewichtiges Tool, das einfache mathematische Ausdrücke, die in einer von AsciiMath inspirierten Markup-Sprache geschrieben sind, in strukturiertes MathML übersetzt. Es ist schneller als MathJax, da es nur die Ausdrücke parst und übersetzt und das Rendern dem Browser überlässt. Mathup unterstützt eine breite Palette an mathematischen Symbolen und Funktionen, darunter Brüche, tiefgestellte/hochgestellte Zeichen, Matrizen und Tensoren. Es bietet umfangreiche Anpassungsmöglichkeiten für Schriftarten, Farben und Hintergründe. Entwickler können es in der Kommandozeile, auf einem Server oder im Browser verwenden, um mathematische Ausdrücke schnell und effizient zu verarbeiten.

(mathup.xyz)

Entwicklung mathematische Ausdrücke

CatBench v0.3: Postgres Vektorsuch-App jetzt mit Leistungsüberwachung

2025-05-30

CatBench, eine Demo-Anwendung, die Postgres und PgVector mit 25.000 Haustierfotos verwendet, bietet jetzt instanzweite Durchsatz- und Abfrage-Latenzdiagramme. Bisher konnten Benutzer eine Empfehlung-Engine erkunden, Katzenfotos und Produktempfehlungen basierend auf ähnlichen Katzenkäufen anzeigen und die Ausführungsmetriken von Backend-SQL-Abfragen sehen. Version v0.3 fügt einen Überwachungsbereich hinzu, der die gesamte Postgres-Instanzaktivität und die SQL-Latenz anzeigt. Zukünftige Pläne umfassen Codebereinigung, Erweiterung des Foto-Datensatzes auf 9 Millionen Bilder, Hinzufügen einer Recall-Qualitätsüberwachung für die Betrugserkennung und Unterstützung anderer Datenbanken.

(tanelpoder.com)

Entwicklung

Krankenhäuser melden Mütter nach Medikamentengabe während der Geburt dem Jugendamt

2024-12-14

Krankenhäuser melden Mütter nach Medikamentengabe während der Geburt dem Jugendamt

In den USA häufen sich die Meldungen an Jugendämter. Krankenhäuser verabreichen Medikamente wie Schmerzmittel und Beruhigungsmittel während der Geburt und melden dann Mütter dem Jugendamt, wenn nachfolgende Drogentests bei Mutter oder Neugeborenem positiv auf dieselben Substanzen ausfallen. Diese positiven Tests, oft falsch positive Ergebnisse aufgrund häufig verschriebener Medikamente, führen zu polizeilichen Eingriffen, Ermittlungen des Jugendamts und sogar zur Wegnahme von Kindern. Die Untersuchung zeigt einen Mangel an Überprüfungsverfahren und eine übermäßige Überwachung von Schwangeren. Experten fordern eine Verbesserung der Verfahren für Drogentests und Meldungen in Krankenhäusern, um Schäden für Mütter und Familien zu vermeiden.

(www.themarshallproject.org)

Sonstiges Arztfehler Drogentests Kinderschutz

NAND-Flash-Preise stürzen aufgrund von Überangebot ab

2025-02-18

NAND-Flash-Preise stürzen aufgrund von Überangebot ab

Die Preise für NAND-Flash-Speicher dürften aufgrund von Überangebot sinken, was die Speicherchip-Hersteller zur Produktionskürzung zwingt. Die geringere als erwartete Nachfrage von PC- und Smartphone-Herstellern trägt zu dem Überangebot bei. TrendForce hat die Wachstumsprognosen für 2025 auf 10-15% nach unten korrigiert. Obwohl die Preise im ersten Halbjahr 2025 schwach bleiben dürften, wird die Nachfrage von KI-Servern nach SSDs voraussichtlich die Auslieferungen im zweiten Halbjahr steigern. Der Markt passt sich an, wobei Experten eine Preisentwicklung im zweiten Halbjahr erwarten, die durch KI und den Übergang zu fortschrittlichen Technologien angetrieben wird.

(www.theregister.com)

Hardware NAND-Flash Speicherchips Überangebot

Open-Source-Website-Vorlage basierend auf NeRFies und UMI-On-Legs

2025-03-21

Diese Website-Vorlage wurde von den hervorragenden Designs von AnyCar UMI-On-Legs und NeRFies modifiziert, mit vereinfachtem Code. Sie ist unter der Creative Commons Attribution-ShareAlike 4.0 International Lizenz lizenziert, die kostenlose Modifikation und Verwendung erlaubt, erfordert aber einen Link zurück zur NeRFies-Seite in der Fußzeile und die Entfernung unerwünschten Analysecodes.

(umich-curly.github.io)

Entwicklung Website-Vorlage

Swifts neues Forked-Framework vereinfacht die Verwaltung gemeinsamer Daten

2024-12-17

Swifts neues Forked-Framework vereinfacht die Verwaltung gemeinsamer Daten

Der Entwickler Drew McCormack hat Forked veröffentlicht, ein neues Swift-Framework zur Vereinfachung der Verwaltung gemeinsamer Daten auf einzelnen und mehreren Geräten. Inspiriert von Gits Merge-Mechanismus, unterstützt Forked Branching und Merging innerhalb einer einzelnen Datei und erreicht so letztliche Konsistenz. Es benötigt keinen vollständigen Änderungsverlauf, sondern nur genügend Versionen für eine 3-Wege-Merge. Forked verwendet Structs statt Klassen, unterstützt Codable und integriert sich nahtlos in Cloud-Dienste wie iCloud. Es behebt sogar Race Conditions durch parallelen Zugriff und unterstützt benutzerdefinierte Merge-Logik oder integrierte CRDT-Algorithmen. Die CloudKit-Synchronisierung wird mit wenigen Codezeilen erreicht.

(appdecentral.com)

Entwicklung Datensynchronisierung Verteilte Systeme

bzip2 in Rust: Schneller und einfachere Cross-Compilation

2025-06-17

bzip2 in Rust: Schneller und einfachere Cross-Compilation

Die kürzlich veröffentlichte Version 0.6.0 von bzip2 verwendet standardmäßig die Rust-Implementierung libbz2-rs-sys, was zu erheblichen Geschwindigkeitsverbesserungen bei Komprimierung und Dekomprimierung führt und die Cross-Compilation vereinfacht. Diese Arbeit adressiert die anhaltende Abhängigkeit von bzip2 in vielen Projekten, wobei die Rust-Version Lösungen für langjährige Kompilierungsprobleme wie WebAssembly-Kompilierung und Windows/Android-Kompatibilität bietet. Benchmark-Tests zeigen, dass die Rust-Implementierung die C-Implementierung in der Regel übertrifft, und ein Miri-Sicherheitsaudit garantiert die Zuverlässigkeit des Codes.

(trifectatech.org)

Entwicklung

Teammate App Datenleck: Die Arroganz des CEOs und die Schwachstellen der Datenbank

2025-02-24

Teammate App Datenleck: Die Arroganz des CEOs und die Schwachstellen der Datenbank

Ein schwerwiegender Datenleck hat fast 3 Millionen Datensätze aus der Datenbank von Teammate App offengelegt, darunter persönliche Informationen von Mitarbeitern, Kundendaten und sensible Dateien. Ein Sicherheitsforscher entdeckte die Schwachstelle im Dezember und kontaktierte im Februar den CEO Sean Banayan. Banayan wies die Bedenken des Forschers zurück und beschuldigte ihn der Belästigung. Der Forscher veröffentlichte daraufhin die geleakten Daten und widerlegte Banayans Behauptung, die Sicherheitsschichten seien undurchdringlich. Dieser Vorfall unterstreicht das mangelnde Sicherheitsbewusstsein von Unternehmen und die Unkenntnis des CEOs in Bezug auf Sicherheitsfragen und dient als Warnung vor Datensicherheit.

(jltee.substack.com)

Technologie Unternehmenssicherheit

OWASP Top 10 der nicht-menschlichen Identitäten - 2025: Kritische Risiken

2025-02-04

Die OWASP Top 10 der nicht-menschlichen Identitäten (NHI) - 2025 beschreibt die zehn kritischsten Risiken, die mit der Verwendung nicht-menschlicher Identitäten (wie Bots und automatisierte Tools) in der Anwendungsentwicklung verbunden sind. Zusammengestellt mit Daten aus realen Sicherheitsverletzungen, Umfragen und der OWASP-Risikobewertungsmethode, hilft diese Liste Entwicklern, die erheblichen Sicherheitsbedrohungen durch NHI zu verstehen und zu mindern, die für moderne Entwicklungspipelines immer wichtiger werden. Beiträge zur Verbesserung des Projekts sind willkommen.

(owasp.org)

Entwicklung Nicht-menschliche Identität

Otus Lisp 2.6 veröffentlicht: Ein leichter, plattformübergreifender Lisp-Dialekt

2025-06-23

Otus Lisp (Ol) Version 2.6 ist da! Ein leichter (~64 KB), rein funktionaler Lisp-Dialekt, der eine erweiterte Teilmenge von R7RS Scheme implementiert, mit plattformübergreifender Kompatibilität (Linux, Windows, macOS, Android und mehr) und Unterstützung verschiedener Architekturen. Ol ist einbettbar und bietet eine hochrangige Schnittstelle zum Aufrufen von Code, der in anderen Sprachen geschrieben wurde. Es unterstützt auch WebAssembly und kann somit in verschiedenen Browsern ausgeführt werden. Diese Version führt die Infix-Notation für bequemere mathematische Ausdrücke ein.

(yuriy-chumak.github.io)

Entwicklung

Umstrittener Deal: El Salvador soll US-Kriminelle aufnehmen

2025-02-04

Umstrittener Deal: El Salvador soll US-Kriminelle aufnehmen

El Salvador hat zugestimmt, US-Ausgewiesene aufzunehmen, darunter auch verurteilte US-Bürger, in einem umstrittenen Deal, der vom US-Außenminister Marco Rubio bekannt gegeben wurde. Diese beispiellose Vereinbarung hat bei Menschenrechtsgruppen und Rechtsexperten Empörung ausgelöst, die mögliche Verletzungen des Völkerrechts und Bedenken hinsichtlich unmenschlicher Haftbedingungen in El Salvador anführen. Obwohl der salvadorianische Präsident Bukele behauptet, dies werde die Gewalt von Banden bekämpfen und die Nachhaltigkeit seines Gefängnissystems gewährleisten, bleiben die Rechtmäßigkeit und Humanität des Abkommens höchst fragwürdig.

(www.cnn.com)

Sonstiges Einwanderungspolitik internationales Abkommen

30 Jahre versteckter Schatz: 50 Vintage-Arcade-Automaten auf einem verlassenen Schiff entdeckt

2025-01-10

30 Jahre versteckter Schatz: 50 Vintage-Arcade-Automaten auf einem verlassenen Schiff entdeckt

Ein verlassenes Schiff in Wales, die Duke of Lancaster, enthüllte den Traum eines jeden Gamers: 50 unberührte Vintage-Arcade-Automaten, darunter Klassiker wie Space Invaders und Galaxian. Von Stadtexplorern entdeckt, wurden diese Relikte der Spielegeschichte nach harten Verhandlungen und einem zehntägigen Wettlauf gegen die Zeit gerettet. Die Automaten, obwohl einige beschädigt waren, wurden sorgfältig restauriert und repräsentieren nicht nur Spiele, sondern greifbare Verbindungen zum goldenen Zeitalter der Spielhallen.

(jasondeegan.com)

Spiele Vintage-Arcade Schatzentdeckung

GNU-Lizenz für freie Dokumentation erklärt: Eine Lizenz für freie Dokumente

2025-05-18

Die GNU-Lizenz für freie Dokumentation (GFDL) sichert die Freiheit, Dokumente zu kopieren, zu verteilen und zu modifizieren, sowohl kommerziell als auch nicht-kommerziell. Mit einem „Copyleft“-Ansatz wird sichergestellt, dass abgeleitete Werke ebenfalls frei bleiben. Die GFDL beschreibt detailliert Urheberrechtshinweise, unveränderliche Abschnitte, Covertexte usw. und gleicht die Rechte der Autoren mit der freien Verbreitung von Dokumenten aus. Sie umfasst Massenkopien, Änderungen, die Kombination von Dokumenten, Übersetzungen und den Umgang mit Verstößen. Obwohl sie für die Dokumentation von freier Software entwickelt wurde, gilt die GFDL für jedes Textwerk.

(dezyne.org)

Entwicklung Lizenz für freie Dokumentation

Verbesserung des GPD Pocket 4 Lautsprecherklangs: PipeWire und Convolution DSP

2025-04-09

Verbesserung des GPD Pocket 4 Lautsprecherklangs: PipeWire und Convolution DSP

Moderne Laptop-Lautsprecher benötigen viel digitale Signalverarbeitung (DSP), um gut zu klingen. Der Autor maß die Frequenzantwort der eingebauten Lautsprecher des GPD Pocket 4 mit Room EQ Wizard und fand einen deutlichen Resonanzpeak bei ~4kHz, der zu einem harschen Klang führt. Durch die Erzeugung einer Impulsantwort für einen Faltungsfilter mit REW und die Verwendung des PipeWire-Audiosystems konnte der Autor diesen Mangel ausgleichen und die Klangqualität deutlich verbessern, ähnlich wie beim Asahi Linux-Projekt für Apple Silicon MacBooks.

(kittenlabs.de)

Hardware Convolution DSP

Goodfire veröffentlicht Interpretierbarkeitstools für Llama 3.3 70B

2024-12-23

Das Goodfire-Team hat Sparse Autoencoder (SAEs) auf dem Llama 3.3 70B-Modell trainiert und das interpretierte Modell über eine API veröffentlicht. Dies ermöglicht die Erforschung des latenten Raums des Modells über eine interaktive Feature-Map. Das Team demonstriert die Fähigkeit zur Feature-Steuerung und führt Verbesserungen für eine einfachere und zuverlässigere SAE-basierte Steuerung ein. Während Fortschritte bei der Steuerung gezeigt werden, werden auch Einschränkungen anerkannt, darunter die Spannung zwischen Feature-Steuerung und Klassifizierungsaufgaben und die mögliche Verschlechterung des Faktenabrufs bei höheren Steuerungsstärken. Zukünftige Arbeiten umfassen die Verfeinerung der Steuerungsmethoden und die Entwicklung von Sicherheitsbewertungen für eine verantwortungsvolle Skalierung der Interpretierbarkeitsbemühungen.

(www.goodfire.ai)

KI Interpretierbarkeit Sparse Autoencoder

Lightweight GRPO Training: Ohne Transformers und vLLM

2025-04-13

Lightweight GRPO Training: Ohne Transformers und vLLM

Dieses Projekt implementiert ein leichtgewichtiges GRPO (Group Relative Policy Optimization) Trainingsframework, das fast von Grund auf neu erstellt wurde und nur auf Tokenizer und PyTorch angewiesen ist. Es verbessert den ursprünglichen Algorithmus, indem es die KL-Divergenz entfernt und eine Filterung für zu lange Episoden hinzufügt, wodurch die Trainingsstabilität und die GPU-Speicherauslastung verbessert werden. Das Projekt trainiert das Qwen2.5-3B-Instruct-Modell für die CountDown-Aufgabe, bei der eine mathematische Formel generiert werden muss, um einen Zielwert zu erreichen, der aus einer Reihe von Zahlen besteht. Das Modell löst dies, indem es lernt, vor der endgültigen Antwort ein Chain-of-Thought-Reasoning zu generieren, geleitet von Format- und Antwortbelohnungen. Der gesamte Prozess ist einfach und reproduzierbar und läuft auf einer einzigen A40-GPU mit minimalen Befehlen.

(github.com)

Entwicklung

← Previous 1 2 … 588 589 590 591 592 593 594 595 596 Next →