Symbolische Ausführung durch Überladung von __bool__

2024-12-24
Symbolische Ausführung durch Überladung von __bool__

Dieser Artikel präsentiert eine clevere Technik zur symbolischen Ausführung von Python-Code durch Überladung der __bool__-Funktion in der Python-Bibliothek Z3. Der Autor nutzt die Fähigkeiten von Z3, um Python-Bedingungen in Z3-Ausdrücke zu übersetzen, wodurch die Pfadexploration und Ergebnisanalyse ermöglicht wird. Dieser Ansatz umgeht die komplexe AST-Traversierung und erlaubt die direkte Verwendung in Python-Code, was die symbolische Ausführung vereinfacht.

Mehr lesen

X-Plane: Die Blattelemente-Theorie und die Flugsimulation

2025-02-19
X-Plane: Die Blattelemente-Theorie und die Flugsimulation

Der Flugsimulator X-Plane verwendet die einzigartige „Blattelemente-Theorie“, um den Flug zu simulieren, indem er das Flugzeug in unzählige kleine Elemente zerlegt, die Kräfte auf jedes Element berechnet und das Flugverhalten des Flugzeugs präzise simuliert. Im Gegensatz zu anderen Simulatoren, die auf vereinfachte „Stabilitätsableitungen“ zurückgreifen, sind die Genauigkeit und der Anwendungsbereich von X-Plane deutlich größer und ermöglichen die präzise Vorhersage des Flugzeugverhaltens unter verschiedenen Flugbedingungen, einschließlich Triebwerksausfällen, Turbulenzen, Strömungsablösungen, Trudeln und transsonischen Effekten. Es sagt tatsächlich die Flugeigenschaften allein anhand der Geometrie des Flugzeugs voraus.

Mehr lesen

BYDs gigantischer Autotransporter befeuert globale E-Auto-Ambitionen

2025-01-18
BYDs gigantischer Autotransporter befeuert globale E-Auto-Ambitionen

BYD hat mit der BYD Shenzen den weltweit größten Autotransporter in Dienst gestellt, der 9.200 Fahrzeuge transportieren kann. Dies ist BYDs viertes RoRo-Schiff, nach drei weiteren, die bereits Tausende von NEVs nach Europa und Südamerika geliefert haben. Nach einem Rekordabsatz von 4,25 Millionen NEVs im Jahr 2024 expandiert BYD aggressiv auf dem globalen Markt, stellt etablierte Autohersteller in Frage und erzielt auf Märkten wie Japan und Südkorea erhebliche Erfolge. Die Größe der Shenzen unterstreicht BYDs Ambitionen, den globalen E-Automarkt zu dominieren.

Mehr lesen
Technologie Globale Expansion

MIDI-Hardware mit Perl erweitern: Benutzerdefinierte MIDI-Filter erstellen

2025-02-01
MIDI-Hardware mit Perl erweitern: Benutzerdefinierte MIDI-Filter erstellen

Dieser Artikel beschreibt die Erstellung eines benutzerdefinierten MIDI-Filters mit Perl und der RtMidi-Bibliothek, um die Fähigkeiten eines M-Audio Oxygen Pro 61 MIDI-Keyboards zu erweitern. Zwei Hauptfunktionen werden implementiert: ein softwaregenerierter Pedalton und ein Quintenintervall, die einzelne Noten in Akkorde verwandeln; und ein Bankwechsler, der die Pads des Controllers verwendet, um MIDI-Kanäle auszuwählen und als 'Spuren' fungiert. Die asynchrone Ereignisverarbeitung sorgt für minimale Latenz, und der Filter ist erweiterbar, um Funktionen wie die 'Pickup'-Funktionalität und rhythmische Strumming-Effekte hinzuzufügen.

Mehr lesen

Shoggoth Mini: Ein ausdrucksstarker Roboter mit weichem Tentakel

2025-07-16

Dieser Beitrag beschreibt die Entwicklung von Shoggoth Mini, einem weichen Tentakelroboter, der auf Ausdrucksstärke ausgelegt ist. Der Autor verbesserte die Hardware iterativ, löste Probleme mit verknoteten Kabeln und fügte Kalibrierungsskripte hinzu. Die Steuerung erfolgt über eine einfache 2D-Zuordnung für intuitive Manipulation, kombiniert mit GPT-4 und Reinforcement Learning für verschiedene Steuerungsmodi, einschließlich manueller Steuerung, visuell basiertem Tracking und Open-Loop-Verhalten. Der Autor untersucht die Beziehung zwischen Ausdrucksstärke und der Wahrnehmung von „Lebendigkeit“ bei Robotern und schließt mit zukünftigen Forschungsrichtungen.

Mehr lesen
Entwicklung

SICP-Übungsaufgabe Laufzeitstatistiken

2025-03-04
SICP-Übungsaufgabe Laufzeitstatistiken

Diese Datentabelle zeichnet die Interpreter-Laufzeit jeder Übung in Structure and Interpretation of Computer Programs (SICP) auf. Die Tabelle zeigt eine große Variation der Laufzeit zwischen den Übungen, von Millisekunden bis Sekunden. Dies spiegelt den Einfluss der algorithmischen Effizienz und der Programmiertechniken auf die Programmleistung wider. Einige rekursive Algorithmen zeigen ein schnelles Laufzeitwachstum, während iterative Gegenstücke effizienter sind. Diese Daten liefern wertvolle Einblicke, um die in SICP präsentierten Algorithmen und Datenstrukturen zu lernen und zu verstehen.

Mehr lesen

cute_headers: Einzeldatei-C/C++-Bibliotheken für mehrere Plattformen

2025-02-08
cute_headers: Einzeldatei-C/C++-Bibliotheken für mehrere Plattformen

cute_headers ist eine Sammlung von C/C++-Bibliotheken für mehrere Plattformen in einer einzigen Datei, die eigenständige Lösungen für verschiedene Aufgaben wie 2D-Kollisionserkennung, Netzwerk, Kartenladen und Soundwiedergabe bieten. Diese Bibliotheken sind abhängigkeitfrei, lassen sich einfach durch Einbinden einer einzigen Header-Datei integrieren und sind effizient implementiert, um unnötige Vergrößerung der Kompilierungszeit zu vermeiden. Die intelligente Verwendung einer Präprozessor-Makro verwaltet die Implementierungsdetails und vereinfacht so die Integration und den Build-Prozess. Perfekt für die Spieleentwicklung und andere Projekte, die effiziente und portable Hilfsprogramme benötigen.

Mehr lesen
Entwicklung C++-Bibliotheken

Entwicklung von mt32-pi aufgrund von Online-Missbrauch eingestellt

2025-02-17
Entwicklung von mt32-pi aufgrund von Online-Missbrauch eingestellt

Der Entwickler von mt32-pi, einem Bare-Metal-MIDI-Synthesizer für Raspberry Pi, der den Roland MT-32-Audio-Modul emuliert, hat die Einstellung des Projekts aufgrund anhaltenden Online-Missbrauchs angekündigt. Dies beinhaltet persönliche Angriffe, Code-Diebstahl und gestohlene 3D-Druckdesigns. Der Entwickler gab die negativen Auswirkungen auf seine psychische Gesundheit als Grund für die Einstellung der Entwicklung an und beklagte mangelnde Dankbarkeit und Ermutigung seitens der Community.

Mehr lesen
Entwicklung Online-Missbrauch

Nvidias Desktop-KI-Ambitionen: Milliarden-Parameter-Modelle für zu Hause

2025-01-16
Nvidias Desktop-KI-Ambitionen: Milliarden-Parameter-Modelle für zu Hause

Auf der CES stellte Nvidia „Project Digits“ vor, einen Desktop-KI-Supercomputer, der auf der Grace-Blackwell-Architektur basiert. Mit einem Preis von etwa 3000 US-Dollar kann er KI-Modelle mit 200 Milliarden Parametern lokal ausführen. Dies wird als Nvidias Versuch gesehen, seinen Erfolg im Spielebereich auf den Desktop-KI-Markt zu übertragen. Obwohl sich die anfängliche Zielgruppe auf Datenwissenschaftler und KI-Forscher konzentriert, deuten der günstige Preis und die Benutzerfreundlichkeit (Unterstützung von Windows und Mac) auf eine mögliche Ausweitung auf einen breiteren Verbrauchermarkt hin. Nvidias ausgereiftes GPU-Ökosystem und seine Hardware-Partnerschaften werden beim Aufbau einer ähnlichen KI-Produktlinie helfen, aber die Reife des Software-Ökosystems wird entscheidend für den Erfolg sein.

Mehr lesen
Technologie

Pledge: Ein leichtgewichtiges reaktives Programmierframework für Swift

2025-04-10
Pledge: Ein leichtgewichtiges reaktives Programmierframework für Swift

Pledge ist ein leichtgewichtiges, threadsicheres reaktives Programmierframework für Swift, das die Zustandsverwaltung und die Ereignisweiterleitung vereinfacht. Im Gegensatz zu anderen Frameworks mit steilen Lernkurven konzentriert sich Pledge auf die Lösung der alltäglichen Probleme von Entwicklern. Es bietet eine threadsichere Implementierung, prioritätsbasierte Benachrichtigungen, anpassbare Warteschlangen, Batch-Updates, Ratenbegrenzung und gängige funktionale Operatoren. Mit `PLObservable` und `PLGlobalStore` können Entwickler das Observer-Muster und die globale Zustandsverwaltung einfach implementieren und so die Effizienz und Wartbarkeit des Codes verbessern.

Mehr lesen

Ein minimalistischer Ruby X11 Fenstermanager: rubywm

2025-01-31
Ein minimalistischer Ruby X11 Fenstermanager: rubywm

Frustriert von bestehenden Fenstermanagern, hat der Autor rubywm erstellt, einen minimalistischen Fenstermanager, der in weniger als 1000 Zeilen reinem Ruby-Code (einschließlich des X11-Treibers) geschrieben wurde. Er unterstützt Kacheln und freie Fensteranordnungen, fehlt aber Fensterdekorationen und Zieh- und Größenänderungsfunktionen. Die gesamte Tastaturbedienung wird an externe Tools wie sxhkd delegiert, und die Kommunikation erfolgt über X11 ClientMessage-Ereignisse. Derzeit unterstützt er nur einzelne Monitore und befindet sich im experimentellen Stadium, wobei Abstürze möglich sind. Das Hauptziel des Autors ist die persönliche Nutzung, nicht eine große Benutzerbasis.

Mehr lesen
Entwicklung

Pitt stoppt Doktorandenaufnahmen aufgrund von Unsicherheiten bei NIH-Förderungen

2025-02-23
Pitt stoppt Doktorandenaufnahmen aufgrund von Unsicherheiten bei NIH-Förderungen

Die University of Pittsburgh hat aufgrund von Unsicherheiten bezüglich eingefrorener Forschungsmittel der National Institutes of Health (NIH) die Doktorandenaufnahmen vorübergehend eingestellt. Dies folgt auf eine NIH-Politik, die Obergrenze für indirekte Forschungskosten (wie Gebäudeinstandhaltung und Unterstützungspersonal) von derzeit 59 % bei Pitt auf 15 % zu senken. Obwohl ein Bundesrichter die Politik vorübergehend blockiert hat, hat Pitt die Aufnahmen vorbeugend ausgesetzt, um die Auswirkungen möglicher Finanzierungskürzungen zu bewerten. Andere Universitäten, darunter USC und Vanderbilt, haben ähnliche Maßnahmen ergriffen. Die Verlangsamung der NIH-Finanzierung ist bereits deutlich erkennbar und wirkt sich erheblich auf den Life-Science-Sektor in Pittsburgh aus.

Mehr lesen
Technologie Doktorandenaufnahmen

Google Play Store erlebt massive App-Bereinigung: Ein notwendiges Übel?

2025-04-30
Google Play Store erlebt massive App-Bereinigung: Ein notwendiges Übel?

Die Anzahl der Apps im Google Play Store ist von etwa 3,4 Millionen Anfang 2024 auf etwa 1,8 Millionen heute gesunken, ein Rückgang von fast 50 %. Dies ist kein globaler Trend; der Apple App Store verzeichnete einen leichten Anstieg. Google führt den Rückgang auf strengere Mindestqualitätsanforderungen für Apps zurück, die im Juli eingeführt wurden und auf minderwertige und betrügerische Apps abzielen. Das Unternehmen hat auch in die KI-Bedrohungsabwehr, strengere Datenschutzrichtlinien und Entwicklertools investiert und zahlreiche Richtlinien verletzende Apps und Entwicklerkonten gesperrt. Obwohl die neuen EU-Regeln zum Händlerstatus eine Rolle gespielt haben könnten, begann der Rückgang bereits vor ihrer Umsetzung. Trotz des Rückgangs ist die Anzahl der neuen App-Veröffentlichungen auf Google Play im Vergleich zum Vorjahr immer noch gestiegen.

Mehr lesen
Technologie App-Bereinigung

Das bizarre Ritual der Wahl des Dogen von Venedig: Ein 500 Jahre altes Losverfahren

2025-05-04

500 Jahre lang war die Wahl des Dogen von Venedig ein theatralisches Spektakel. Ein Beamter betete in der Markuskirche, nahm einen zufällig ausgewählten Jungen vom Platz und benutzte ihn, um die Mitglieder des Wahlkollegiums durch Los zu bestimmen, was einen umständlichen und absurden Prozess einleitete. Von 1268 bis zum Ende der Venezianischen Republik blieb das Verfahren weitgehend unverändert: Lose bestimmten 30 Wähler, dann 9, die 40 Kandidaten nominierten, wobei jeder mindestens 7 Stimmen benötigte, um zur nächsten Stufe zu gelangen. Dieser Prozess aus Lotterien und Eliminierungen dauerte an, bis ein Kandidat mit den meisten Unterstützungen zum Dogen gewählt wurde. Das System, sowohl lächerlich als auch tiefgründig, ist eine historische Besonderheit.

Mehr lesen
Sonstiges Venedig Doge-Wahl

Wild: Ein blitzschneller Linker für Linux

2025-01-24
Wild: Ein blitzschneller Linker für Linux

Wild ist ein Linker, der für Geschwindigkeit bei iterativer Entwicklung entwickelt wurde. Obwohl die inkrementelle Verlinkung noch nicht implementiert ist, ist er bereits beeindruckend schnell. Für Produktionsbuilds werden ausgereiftere Linker wie GNU ld oder LLD empfohlen. Für die Entwicklung beschleunigt Wild jedoch die Build-Zeiten erheblich, insbesondere auf x86-64-Linux-Systemen. Er unterstützt statisch und dynamisch verlinkte ausführbare Dateien und Shared Objects und wurde mit vielen beliebten Crates von crates.io getestet. Derzeit werden Funktionen wie die inkrementelle Verlinkung, die Unterstützung anderer Architekturen und weitere Linker-Flags entwickelt.

Mehr lesen
Entwicklung Linker

Qubes OS: Ein einigermaßen sicheres Betriebssystem

2025-01-12
Qubes OS: Ein einigermaßen sicheres Betriebssystem

Qubes OS ist ein sicherheitsorientiertes Betriebssystem, das auf dem Xen-Hypervisor basiert und Anwendungen und Systemumgebungen isoliert, um Malware und Datenverletzungen zu verhindern. Es wird von Sicherheitsexperten wie Edward Snowden empfohlen und von Organisationen wie der Freedom of the Press Foundation verwendet. Qubes ermöglicht Benutzern die Kontrolle über ihre Sicherheit, unterstützt mehrere Betriebssysteme und integriert Whonix für anonymes Surfen über Tor, wodurch robuste Datenschutzfunktionen bereitgestellt werden.

Mehr lesen

Kokos-Aktions-Partei: Die Geheimnisse der malaiischen Briefmarken aus dem Zweiten Weltkrieg gelüftet

2025-05-09
Kokos-Aktions-Partei: Die Geheimnisse der malaiischen Briefmarken aus dem Zweiten Weltkrieg gelüftet

Lin Yangchens Buch 'Kokos-Aktions-Partei' befasst sich eingehend mit den einzigartigen Kokosnuss-Briefmarken aus Malaya während des Zweiten Weltkriegs. Es behandelt Design, Druck, Kriegsfälschungen und Verwendung sowie die Nachkriegsausgaben in verschiedenen Kolonien und malaiischen Staaten. Durch die sorgfältige Analyse von Materialien, Farben, Motiven und Sicherheitsmerkmalen werden das einzigartige Postsystem und die gesellschaftlichen Veränderungen dieser historischen Periode aufgezeigt. Das Buch nutzt auch modernste Technologien wie die Rasterelektronenmikroskopie und die Raman-Spektroskopie für eine gründliche Briefmarkenanalyse und bietet unschätzbare Ressourcen für Sammler und Geschichtsinteressierte.

Mehr lesen
Sonstiges Briefmarken

Die Gefahren von "Fast Math" Compiler-Flags

2025-05-31

Dieser Artikel untersucht die potenziellen Gefahren des "Fast Math" Compiler-Flags, einer gängigen Optimierung, die mathematische Berechnungen deutlich beschleunigen kann, aber auf Kosten der Genauigkeit. Der Autor beschreibt verschiedene Fallstricke, die mit Optionen wie `-ffast-math` in GCC verbunden sind, darunter das Entfernen von NaN- und Inf-Prüfungen, die Umordnung von Gleitkommaoperationen und die Aktivierung von Flush-to-Zero (FTZ). Diese Optimierungen können, obwohl sie auf den ersten Blick harmlos erscheinen, zu subtilen und schwer zu debuggenden Fehlern führen. Der Artikel plädiert für einen vorsichtigen Umgang mit "Fast Math" und schlägt umfassende Tests und die selektive Anwendung spezifischer Optimierungen vor. Er endet mit einem Aufruf zur Verbesserung der Compiler- und Sprachfunktionen, um eine sicherere und granularere Kontrolle über diese Optimierungen zu ermöglichen, weg vom groben Werkzeug eines einzelnen Compiler-Flags hin zu ausgefeilteren Mechanismen.

Mehr lesen
Entwicklung

Apple Container wie docker-compose verwalten

2025-06-15
Apple Container wie docker-compose verwalten

Ein CLI-Tool, `container-compose`, ermöglicht die Verwendung von Apple Containern mit einer docker-compose-ähnlichen Konfigurationsdatei. Es befindet sich derzeit in der Alpha-Version und kann daher Bugs oder fehlende Funktionen enthalten. Installation über Homebrew (`brew tap noghartt/container-compose https://github.com/noghartt/container-compose.git; brew install noghartt/container-compose/container-compose`) oder Download einer vorkompilierten Binärdatei von der Release-Seite.

Mehr lesen
Entwicklung

Diablo-Speedrun-Champion als Betrüger entlarvt

2025-02-15
Diablo-Speedrun-Champion als Betrüger entlarvt

Maciej "Groobo" Maselewski war jahrelang der unangefochtene Champion im Diablo-Speedrunning, sein 3 Minuten und 12 Sekunden schneller Lauf mit der Zauberin schien unschlagbar. Ein Team von Speedrunnern versuchte jedoch, sein scheinbar glückliches Dungeon-Lauf mithilfe externer Software zu reproduzieren und deckte dabei Inkonsistenzen auf. Eine automatisierte Suche durch Milliarden legitimer Diablo-Dungeons bewies, dass Groobos Lauf innerhalb der legitimen Parameter des Spiels unmöglich war. Diese Enthüllung löste in der Speedrunning-Community Kontroversen aus und deckte Jahre von unverdienten Lob und Auszeichnungen auf, die auf betrügerischem Gameplay basierten.

Mehr lesen

Sicherung der Zuverlässigkeit öffentlicher APIs mit Binary Compatibility Validator und Metalava

2025-05-03
Sicherung der Zuverlässigkeit öffentlicher APIs mit Binary Compatibility Validator und Metalava

Dieser Artikel beschreibt, wie die Zuverlässigkeit öffentlicher APIs durch die Verfolgung von Kompatibilitätsänderungen mithilfe der Plugins Binary Compatibility Validator und Metalava gewährleistet werden kann. Diese Tools überwachen automatisch API-Änderungen und warnen Entwickler vor potenziellen, abwärtsinkompatiblen Änderungen, bevor diese sich auf abhängige Projekte auswirken. Der Artikel verwendet das RevenueCat Android SDK als reales Beispiel und beschreibt detailliert die Integration und Verwendung der Plugins. Es wird die Bedeutung der Integration von API-Prüfungen in CI/CD-Pipelines für eine robuste Stabilität öffentlicher APIs hervorgehoben.

Mehr lesen
Entwicklung API-Zuverlässigkeit

OpenAuth: Ein universeller und selbstgehosteter OAuth 2.0-Server

2024-12-17
OpenAuth: Ein universeller und selbstgehosteter OAuth 2.0-Server

OpenAuth ist ein universeller, standardbasierter, Open-Source-Authentifizierungsanbieter. Er kann als eigenständiger Dienst bereitgestellt oder in bestehende Anwendungen eingebettet werden, ist frameworkunabhängig und läuft auf Node.js, Bun, AWS Lambda oder Cloudflare Workers. OpenAuth entspricht der OAuth 2.0-Spezifikation und bietet eine anpassbare, themenbasierte Benutzeroberfläche. Im Gegensatz zu den meisten Open-Source-Authentifizierungslösungen, die Bibliotheken sind, ist OpenAuth ein zentralisierter Server, der für einfaches Self-Hosting auf Ihrer Infrastruktur entwickelt wurde. Die Benutzerverwaltung wird bewusst weggelassen, stattdessen werden Callbacks für benutzerdefinierte Benutzer-Such-/Erstellungslogik bereitgestellt. Die Datenspeicherung ist minimal (Refresh-Tokens usw.) und verwendet einen einfachen KV-Speicher (Cloudflare KV, DynamoDB). Eine vorgefertigte Benutzeroberfläche ist verfügbar, kann aber einfach angepasst oder vollständig ersetzt werden. Erstellt vom SST-Team, vereinfacht OpenAuth die Authentifizierung für Ihre Anwendungen.

Mehr lesen

Python-Abhängigkeitsverwaltung: Ein Inferno

2024-12-15

Dieser Artikel taucht tief in die Komplexität der Python-Abhängigkeitsverwaltung ein und vergleicht sie mit dem Entfachen eines Lagerfeuers in einem trockenen Wald. Der Autor argumentiert, dass Python-Abhängigkeiten nicht einfach nur ein `pip install` sind, sondern Projektpakete, Systempakete, das Betriebssystem, die Hardware und die Umgebung selbst umfassen. Eine gute Abhängigkeitsverwaltung ist entscheidend für die Reproduzierbarkeit – um konsistente Ergebnisse in verschiedenen Umgebungen zu gewährleisten. Der Artikel beschreibt detailliert Versionskontrolle, Umgebungsisolation, Definitionsdateien, Lock-Dateien und andere wichtige Konzepte. Anschließend wird ein umfassender Vergleich verschiedener Tools vorgestellt, darunter pip, venv, virtualenv, pip-tools, Pipenv, Poetry, PDM, pyenv, pipx, uv, Conda, Mamba, conda-lock und Pixi, wobei deren Stärken, Schwächen und Anwendungsfälle analysiert werden. Abschließend gibt der Autor Tool-Empfehlungen basierend auf verschiedenen Szenarien (Administratorrechte, Abhängigkeitstypen, Betriebssysteme usw.) und blickt auf zukünftige Trends in der Python-Abhängigkeitsverwaltung.

Mehr lesen

River Runner Global: Disruptive Wasserkrafttechnologie?

2025-01-28
River Runner Global: Disruptive Wasserkrafttechnologie?

River Runner Global behauptet, über eine revolutionäre Wasserkrafttechnologie zu verfügen, die Strom aus dem natürlichen Fluss von Flüssen erzeugt, ohne große Dämme zu benötigen. Die Technologie soll kostengünstig und umweltfreundlich sein und könnte abgelegene Gebiete mit sauberer Energie versorgen. Details zur Technologie und deren tatsächliche Wirksamkeit sind jedoch rar, und ihre Machbarkeit und ihr kommerzielles Potenzial müssen sich erst noch bewähren. Dennoch hat ihr innovatives Konzept die Aufmerksamkeit der Branche auf sich gezogen.

Mehr lesen
Technologie Wasserkraft

Formbares Entwickeln: Programmierung neu gestalten mit Kontext-Tools

2025-04-07
Formbares Entwickeln: Programmierung neu gestalten mit Kontext-Tools

Formbares Entwickeln ist ein Programmierparadigma, das kontextbezogene Tools verwendet, die auf jedes Problem zugeschnitten sind. Es basiert auf dem Prinzip, dass keine einzige Perspektive auf ein System universell korrekt ist; verschiedene Teile benötigen unterschiedliche Darstellungen. Diese Darstellungen fassen das System aus spezifischen Blickwinkeln zusammen, ermöglichen eine prägnante Kommunikation und eine neue Feedbackschleife. Glamorous Toolkit dient als umfassende Fallstudie, die zeigt, wie kontextbezogene Tools die Programmierfähigkeiten verbessern. Es verfügt über Tausende von Erweiterungen und Beispiele, die das gesamte System abdecken, mit dem Ziel, die inneren Abläufe von Systemen leicht verständlich zu machen.

Mehr lesen

Anduril vom Recruiting auf Discourse ausgeschlossen: Waffenhersteller sorgt für Kontroverse

2025-04-04
Anduril vom Recruiting auf Discourse ausgeschlossen: Waffenhersteller sorgt für Kontroverse

Eine Stellenanzeige von Anduril, einem Waffenhersteller, im Discourse-Forum hat eine heftige Kontroverse ausgelöst. Benutzer kritisierten Andurils Beteiligung an der Herstellung von Kriegswaffen und stellten dessen Unternehmenskultur in Frage. Ein Anduril-Mitarbeiter versuchte, Bedenken hinsichtlich der Verwendung von Nix/NixOS, der Wettbewerbsverbote und der Möglichkeiten für Open Source zu zerstreuen, doch die Kontroverse eskalierte. Das Moderationsteam von Discourse verbot Anduril schließlich, zukünftige Stellenangebote auf der Plattform zu veröffentlichen, um den anhaltenden Streit in der Community zu beilegen.

Mehr lesen

Sony beendet nach 18 Jahren die Produktion von beschreibbaren Blu-ray-Medien

2025-01-24
Sony beendet nach 18 Jahren die Produktion von beschreibbaren Blu-ray-Medien

Sony stellt im Februar die Produktion beschreibbarer Blu-ray-Medien ein, was das Ende einer fast zwei Jahrzehnte langen Produktion markiert. Dies betrifft auch MiniDiscs und MiniDV-Kassetten. Obwohl Sony ursprünglich geplant hatte, die Produktion für Geschäftskunden fortzuführen, machte die sinkende Nachfrage der Verbraucher aufgrund des Aufstiegs von Streaming-Diensten dies nicht mehr tragbar. Der Artikel vergleicht die Bequemlichkeit von Streaming mit seinen Nachteilen: fehlender Besitz, monatliche Kosten und Sicherheitsbedenken. Er hebt die Vorteile optischer Medien für die Langzeitarchivierung hervor und erwähnt Wettbewerber wie Pioneer, die Blu-ray-Discs anbieten, die hundert Jahre halten sollen, sowie Forschung an noch langlebigerem Glasspeicher.

Mehr lesen
Technologie

Flipper Cloud verzichtet auf die Preisgestaltung pro Sitzplatz zugunsten eines faireren Modells

2024-12-28
Flipper Cloud verzichtet auf die Preisgestaltung pro Sitzplatz zugunsten eines faireren Modells

Flipper Cloud gibt sein Preismodell pro Sitzplatz auf und wechselt zu einem einfacheren, dreistufigen Festpreismodell (Bronze, Silber, Gold), das auf verschiedene Teamgrößen und Funktionsanforderungen zugeschnitten ist. Der Autor argumentiert, dass die Preisgestaltung pro Sitzplatz umständlich, budgetunfreundlich und den vollständigen Gebrauch des Produkts hemmt. Die neue Strategie zielt darauf ab, die Preise zu vereinfachen, die Benutzererfahrung zu verbessern und langfristige Abonnements durch jährliche Pakete mit verlängerter Datenaufbewahrung zu fördern. Bestehende Kunden können ihren Sitzplatzplan beibehalten oder auf die neue Festpreisgestaltung umsteigen.

Mehr lesen

Pi: Blitzschnelle und präzise KI für App-Metriken

2025-05-22
Pi: Blitzschnelle und präzise KI für App-Metriken

Pi ist ein revolutionäres KI-Tool, das automatisch wichtige App-Metriken identifiziert und misst. Geben Sie einfach App-Prompts, PRD-Dokumente, Benutzerfeedback oder führen Sie ein Gespräch, und Pi hilft Ihnen schnell, die am besten kalibrierten Metriken für Ihre Anwendung zu bestimmen. Angetrieben vom Pi Scorer Basismodell, übertrifft es Deepseek und GPT 4.1 in der Genauigkeit, bei gleichzeitig geringer Größe und Geschwindigkeit wie GPT Mini und Gemini Flash, wobei es über 20 benutzerdefinierte Dimensionen in unter 100 Millisekunden bewertet. Darüber hinaus lässt sich Pi nahtlos in Ihren KI-Stack und bestehende Tools wie Google Spreadsheets, Promptfoo und CrewAI integrieren, für Offline-Bewertungen, Online-Beobachtbarkeit, Trainingsdatenqualität, Modelloptimierung, Agentensteuerungsabläufe und mehr.

Mehr lesen

macOS-Sicherheitslücke bei Berechtigungs-Popups: TCC, wer?

2025-05-12
macOS-Sicherheitslücke bei Berechtigungs-Popups: TCC, wer?

Eine kürzlich behobene macOS-Sicherheitslücke (CVE-2025-31250) ermöglichte es Anwendungen, Systemberechtigungs-Popups zu fälschen und Benutzer so zur Erteilung nicht autorisierten Zugriffs zu verleiten. Angreifer nutzten eine Schwachstelle in Apple Events und dem Transparenz-, Einwilligung- und Kontrollsystem (TCC) aus, indem sie die in dem Popup angezeigte Anwendung von der Anwendung trennten, die tatsächlich die Berechtigungen erhielt. Diese Sicherheitslücke nutzte einen logischen Fehler im TCC-Daemon bei der Behandlung von Apple-Events-Berechtigungsanforderungen aus und umging die Notwendigkeit, gefälschte Anwendungen zu erstellen oder Dock-Verknüpfungen zu überschreiben. Die Sicherheitslücke wurde behoben, unterstreicht aber die Komplexität und potenziellen Risiken bei der Verwaltung von Systemberechtigungen.

Mehr lesen
1 2 549 550 551 553 555 556 557 595 596