Webtagr - Technologienummer

Beliebte Tags：

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

Formale Spezifikationen: Über Instruktionen hinaus, das Definieren von Softwareverhalten

2025-07-28

Formale Spezifikationen: Über Instruktionen hinaus, das Definieren von Softwareverhalten

Dieser Beitrag untersucht den Unterschied zwischen formalen Spezifikationen und traditionellen Programmen. Während Programme Listen von Anweisungen sind, sind formale Spezifikationen Mengen von Verhaltensweisen. Anhand eines Zählerbeispiels veranschaulicht der Autor, wie Spezifikationen alle korrekten Verhaltensweisen definieren und die Mengenlehre verwenden, wobei Generatoren (Init und Next) verwendet werden, um unendliche Mengen von Verhaltensweisen zu beschreiben. Dies steht im Gegensatz zum Konzept des Nichtdeterminismus in der Programmierung; in formalen Spezifikationen bezieht sich Nichtdeterminismus auf die verschiedenen Möglichkeiten, wie ein Verhalten erweitert werden kann, während er in Programmen sich auf unsichere Codepfade bezieht. Der Artikel betont das Verständnis formaler Spezifikationen als Mengen von Verhaltensweisen, was für das Debugging und die Interpretation von Fehlern des Modellprüfers entscheidend ist.

(surfingcomplexity.blog)

Entwicklung formale Spezifikation Verhaltensmodellierung

Extrem schnelles Suchen in Cuckoo Filter in C# mit Bit-Manipulation

2025-07-28

Extrem schnelles Suchen in Cuckoo Filter in C# mit Bit-Manipulation

Bei der Implementierung eines Cuckoo-Filters in C# hat der Autor die Suchgeschwindigkeit erheblich optimiert, indem er clever einen 4-Byte-Bucket durch eine 32-Bit-Ganzzahl ersetzte und Bit-Manipulationstricks anwendete. Anfangs benötigte ein Byte-Array eine Iteration über vier Bytes pro Bucket. Die Umstellung auf ein uint-Array und die Verwendung von Bitverschiebungen verbesserten die Leistung um etwa 35 %. Die endgültige Optimierung des Autors, eine verzweigungsfreie Bit-Manipulationstechnik zum direkten Überprüfen eines Zielbytes, führte jedoch zu über 60 % schnelleren positiven Suchen und mehr als dem Doppelten der Geschwindigkeit bei negativen Suchen. Obwohl die Lesbarkeit leicht abnahm, sind die Leistungsgewinne erheblich, was dies zu einer lohnenswerten Optimierungsstrategie macht.

(maltsev.space)

Entwicklung

Claude Code Router: Entfessele die Macht des Multi-Modell-IA-Zugriffs

2025-07-28

Claude Code Router: Entfessele die Macht des Multi-Modell-IA-Zugriffs

Ein leistungsstarkes Tool, um Claude Code-Anfragen an verschiedene Modelle zu leiten und jede Anfrage anzupassen. Es unterstützt mehrere Modellanbieter wie OpenRouter, DeepSeek, Ollama, Gemini und mehr, wodurch die Anpassung von Anfragen und Antworten über Transformer ermöglicht wird. Benutzer konfigurieren Modelle flexibel über eine Konfigurationsdatei, wodurch dynamisches Modell-Switching, GitHub Actions-Integration und ein Plugin-System ermöglicht werden. Dies verbessert die Flexibilität und Effizienz von Claude Code erheblich, insbesondere für Szenarien, die einen Modellwechsel oder eine Anpassung von Anfragen/Antworten erfordern.

(github.com)

Entwicklung

Wie man PostgreSQL lächerlich langsam macht?

2025-07-28

Wie man PostgreSQL lächerlich langsam macht?

Dieser Artikel fordert den Leser heraus, PostgreSQL so langsam wie möglich zu machen, indem er Parameter in der Datei `postgresql.conf` anpasst, ohne die CPU zu drosseln oder Indizes zu löschen. Durch eine Reihe sorgfältig ausgewählter Anpassungen, darunter die drastische Reduzierung der Größe des Pufferspeichers (`shared_buffers`), die aggressive Auslösung von Autovacuum und Analyse (`autovacuum_*` Parameter) und die Konfiguration von WAL (`wal_*` Parameter) für maximale Schreibfrequenz und E/A-Konkurrenz, gelingt es dem Autor, den TPS von PostgreSQL um mehr als das 7000-fache zu reduzieren, von 7000+ auf weniger als eine einstellige Zahl, sogar unter 0,1 TPS. Der Autor beschreibt die Begründung und die Auswirkungen jeder Parameteränderung und liefert eine reproduzierbare Konfiguration. Dies ist ein faszinierendes Experiment, das die tiefgreifende Wirkung der Datenbankparametereinstellung zeigt.

(byteofdev.com)

Entwicklung Parameteroptimierung

Mein Blog-Performance-Retter: jekyll-skyhook

2025-07-28

Mein Blog-Performance-Retter: jekyll-skyhook

Die Google-Indexierung meines Blogs schlug fehl, und PageSpeed Insights ergab einen miserablen Wert von 43/100. Die Übeltäter? Google Fonts, YouTube-Einbettungen und schlecht optimierte Bilder. Ich habe ein Jekyll-Plugin namens jekyll-skyhook erstellt, um das Problem zu beheben. Es hostet Schriften selbst, verwendet eine leichte YouTube-Bibliothek und implementiert Bildtransformationen, responsive Bilder und Caching. Das Ergebnis? Ein beeindruckender PageSpeed-Score von 99/100! jekyll-skyhook unterstützt die Konvertierung von Bildformaten (WebP, AVIF), die automatische srcset-Generierung für responsive Bilder und Caching, um redundante Verarbeitung zu vermeiden, was die Blog-Performance deutlich verbessert.

(arclight.run)

Entwicklung

Programmieren mit 800 Wörtern pro Minute: Der Weg eines blinden Entwicklers

2025-07-28

Dieser Artikel beschreibt die Erfahrungen eines blinden Softwareentwicklers, der einen Screenreader verwendet, um mit erstaunlichen 800 Wörtern pro Minute zu programmieren. Der Autor beschreibt die Herausforderungen bei der Verwendung eines Screenreaders, erklärt seine Wahl von Windows und VS Code und gibt Einblicke in den Umgang mit Bildern, Diagrammen und der Teamarbeit. Er teilt Techniken wie die Verwendung von IaC, LLMs und benutzerdefinierten Userscripts und betont die entscheidende Bedeutung von barrierefreien Entwicklungstools. Der Artikel unterstreicht die bemerkenswerte Anpassungsfähigkeit des Entwicklers und die Notwendigkeit einer besseren Barrierefreiheit in der Softwarebranche.

(neurrone.com)

Entwicklung barrierefreie Entwicklung Screenreader

Multiplex: Kommandozeilen-Tool für parallele Prozesse

2025-07-28

Multiplex: Kommandozeilen-Tool für parallele Prozesse

Multiplex ist ein Kommandozeilen-Tool mit einer einfachen Python-API, um mehrere Prozesse parallel auszuführen und alle auf einmal oder basierend auf einer Bedingung zu stoppen. Es beendet Kindprozesse sauber und multiplext deren Ausgaben und Fehlerströme an stdout und stderr, um die Verarbeitung mit Standard-Kommandozeilen-Tools zu vereinfachen. Multiplex ist nützlich, wenn mehrere Programme gleichzeitig ausgeführt und deren Ausgaben kombiniert werden sollen, z. B. ein Webserver, eine Arbeitswarteschlange und eine Datenbank. Es unterstützt benannte Prozesse, verzögerte Starts, prozess- oder zeitbasierte Abhängigkeiten und Aktionen wie den Silent-Modus und die Beendigung anderer Prozesse nach Abschluss. Mit seiner prägnanten Syntax vereinfacht Multiplex komplexe Orchestrierung, einschließlich CI/CD-Pipelines und die Einrichtung von Entwicklungsumgebungen.

(github.com)

Entwicklung Prozessmanagement

Mein Waschmaschinen-Hack: Eine Discord-Benachrichtigungs-Odyssee

2025-07-28

Mein Waschmaschinen-Hack: Eine Discord-Benachrichtigungs-Odyssee

Eine Gruppe von Studenten hat aus Spaß und praktischen Gründen eine günstige Smart-Waschmaschine gehackt. Mittels Netzwerk-Sniffing entdeckten sie, dass die Maschine über einfaches HTTP mit ihrer App kommuniziert und eine einfache XOR-Verschlüsselung verwendet. Durch Reverse Engineering und Brute-Forcing des Verschlüsselungsschlüssels erhielten sie Zugriff auf den Status der Maschine und erstellten ein Skript, um diesen auf ihrem Discord-Server zu aktualisieren. Der Prozess war herausfordernd und unterhaltsam und zeigte ihre Fähigkeiten. Sie planen, dies auf andere Geräte anzuwenden, um ein vollständig automatisiertes Smart Home zu schaffen.

(nexy.blog)

Entwicklung

Blender auf Tablets: 3D-Modellierung wird mobil

2025-07-28

Blender auf Tablets: 3D-Modellierung wird mobil

Blender expandiert auf Tablets! Das Team bringt die Leistung von Blender auf das iPad Pro (zunächst), wobei die Benutzeroberfläche für Touch- und Stift-Eingabe angepasst wird. Der Fokus liegt auf Kernfunktionen wie Objektmanipulation und Sculpting, später werden erweiterte Tools hinzugefügt. Obwohl auf Tablets ausgerichtet, profitieren auch Desktop-Benutzer von den Verbesserungen. Das Projekt ist offen für Beiträge, und Demos sind für die SIGGRAPH 2025 und die Blender Conference 2025 geplant.

(code.blender.org)

Entwicklung

DumbPipe: Eine konfigurationsfreie Pipe zwischen Computern

2025-07-28

DumbPipe ist ein Tool, das mit einem einzigen Befehl eine sichere Datenleitung zwischen zwei Computern herstellt, ohne dass Accounts oder Konfigurationen benötigt werden. Der Empfänger führt `./dumbpipe listen` aus, um einen Schlüssel zu erhalten. Der Sender verwendet diesen Schlüssel mit `./dumbpipe connect`, um Daten zu übertragen, z. B. `echo "hello" | ./dumbpipe connect `. DumbPipe findet einen Weg zur Verbindung, unabhängig vom Standort der Maschinen, und ermöglicht so eine einfache Datenübertragung.

(www.dumbpipe.dev)

Entwicklung Netzwerkübertragung Datenleitung

Der Anwalt, der den Ethanol-Mythos entlarvte: Eine Geschichte über Ernährung, Landwirtschaft und Klimawandel

2025-07-28

Der Anwalt, der den Ethanol-Mythos entlarvte: Eine Geschichte über Ernährung, Landwirtschaft und Klimawandel

Im Jahr 2003 entdeckte der Anwalt Tim Searchinger Fehler in einem Bericht, der behauptete, Maisethanol reduziere die Treibhausgasemissionen. Seine gründlichere Untersuchung ergab, dass der Bericht die Klimafolgen der Verwendung von Getreide als Kraftstoff unterschätzte und die notwendigen Änderungen der Landnutzung zur Kompensation der verlorenen Nahrungsmittelproduktion vernachlässigte. Obwohl der Klimawandel damals kein großes Problem war, führte Searchingers Skepsis dazu, dass er die komplexe Wechselwirkung zwischen Landwirtschaft, Landnutzung und Klimawandel untersuchte und schließlich die erheblichen Umweltauswirkungen von Biokraftstoffen aufdeckte und den Weg für Lösungen für globale Nahrungsmittel- und Klimaprobleme ebnete.

(lithub.com)

Technologie Landnutzung

ByteDance' Trae IDE: Ein Performance-Monster mit Datenschutzproblemen

2025-07-27

ByteDance' Trae IDE: Ein Performance-Monster mit Datenschutzproblemen

Eine kürzlich durchgeführte Analyse der Leistung und des Datenschutzes von ByteDance' Trae IDE, einem Fork von Visual Studio Code, ergab alarmierende Ergebnisse. Trae verbraucht übermäßige Ressourcen, führt 3,7-mal mehr Prozesse aus und verbraucht 6,3-mal mehr Arbeitsspeicher als VSCode. Trotz der Deaktivierung der Telemetrie-Einstellungen übermittelt es weiterhin detaillierte Nutzungsdaten an ByteDance-Server, einschließlich Systeminformationen, Nutzungsmuster und eindeutiger Kennungen. Darüber hinaus unterdrückt das Community-Management von Trae kritische Rückmeldungen zu Datenschutz- und Sicherheitsbedenken. Benutzer sollten Vorsicht walten lassen, wenn sie Trae IDE aufgrund seiner erheblichen Leistungs- und Datenschutzprobleme verwenden.

(github.com)

Entwicklung

Nixons Memoiren: Ein überraschend persönlicher Blick auf einen Präsidenten

2025-07-27

Nixons Memoiren: Ein überraschend persönlicher Blick auf einen Präsidenten

Dieser Beitrag bespricht den ersten Band von Richard Nixons Memoiren. Der Autor hinterfragt die vorgefassten Meinungen über Nixon als Außenseiter und enthüllt einen überraschend sensiblen Menschen, der sowohl Macht als auch Anerkennung schätzte. Die Rezension hebt Nixons Perspektive auf seine Beziehung zu Eisenhower hervor und zeichnet ein Bild einer komplexen politischen Landschaft. Der Artikel behandelt auch die bedeutenden Ereignisse der 1960er und 1970er Jahre, einschließlich Nixons Präsidentschaft, und endet mit einer nachdenklichen Betrachtung seiner Karriere, die in seinem letzten Buch, *Beyond Peace*, gipfelt.

(justismills.substack.com)

Sonstiges

Base58 vs. Base85 Kodierung: Ein Vergleich

2025-07-27

Base58 und Base85 Kodierungen stellen binäre Daten in menschenlesbarer Form dar. Base58, mit einem kleineren Zeichensatz, ist konservativer; Base85, mit einem größeren Zeichensatz, ist effizienter. Ein wichtiger Unterschied liegt in der Definition von „Basis“. Base58 ist essentiell für Bitcoin und Teil des Base58Check-Protokolls für Adressen und Schlüssel. Base85 bietet eine kompaktere Alternative zu Base64 und findet sich in PDF-Dateien und Git-Patch-Kodierungen. Es funktioniert, indem Bits in 32-Bit-Wörter aufgeteilt und jedes Wort in Base85 kodiert wird. Variationen in Base85-Alphabeten führen zu unterschiedlichen Ergebnissen. Base85 ist effizienter, da es weniger Symbole verwendet und eine bessere Rechenleistung bietet.

(www.johndcook.com)

Entwicklung Kodierung

AOHell: Der Teenager-Hacker, der versehentlich Phishing erfand

2025-07-27

AOHell: Der Teenager-Hacker, der versehentlich Phishing erfand

Mitte der 90er Jahre schuf der 17-jährige Koceilah Rekouche (alias Da Chronic) AOHell, ein Programm, das einen massiven Angriff auf AOL auslöste. Angetrieben von der Empörung über AOLs Untätigkeit gegen Kinder-Prädatoren und der Unfähigkeit, sich den Online-Zugang zu leisten, übertraf die Wirkung von AOHell seinen ursprünglichen Zweck. Es erfand unbeabsichtigt automatisiertes Phishing und wurde zu einer grundlegenden Technik in der modernen Cyberkriminalität. Während Da Chronic als AOLs berühmtester Hacker bekannt wurde, diente AOHell auch als kostenlose und kreative Plattform für unzählige junge Programmierer und prägte eine Generation von Technologen. Jahre später reflektiert Rekouche das komplexe Erbe seiner Schöpfung und erkennt sowohl die schädlichen Folgen als auch den überraschenden Einfluss auf die digitale Welt an.

(finance.yahoo.com)

Technologie

StackSafe: Rekursion in Rust zähmen ohne Stack Overflow

2025-07-27

StackSafe: Rekursion in Rust zähmen ohne Stack Overflow

Rekursive Algorithmen in Rust können leicht zu Stack Overflows führen, die zum Absturz Ihres Programms führen. StackSafe behebt dies, indem es den Stack in rekursiven Funktionen und Datenstrukturen automatisch erweitert. Fügen Sie einfach `#[stacksafe]` hinzu, und Ihr Code funktioniert ohne Abstürze. StackSafe wird in der Produktion von Produkten wie ScopeDB verwendet, wo es bei der Verfolgung und dem Debuggen von Observability-Daten-Workloads im Petabyte-Maßstab hilft. Es schützt nicht nur rekursive Funktionen, sondern auch abgeleitete Traits (wie `Debug`, `Clone`, `Drop`) rekursiver Datenstrukturen und bietet eine umfassende Lösung mit Laufzeitüberprüfungen im Debug-Modus, um potenzielle Stack Overflows frühzeitig zu erkennen.

(fast.github.io)

Entwicklung

Rote Bete Saft, orales Mikrobiom und Blutdruck bei älteren Menschen

2025-07-27

Rote Bete Saft, orales Mikrobiom und Blutdruck bei älteren Menschen

Eine neue Studie zeigt, dass die blutdrucksenkende Wirkung von nitratreichem Rote-Bete-Saft bei älteren Menschen mit spezifischen Veränderungen ihres oralen Mikrobioms zusammenhängen könnte. Die Forscher stellten fest, dass nach zweiwöchiger Einnahme von konzentriertem Rote-Bete-Saft zweimal täglich ältere Erwachsene einen Blutdruckabfall erlebten, im Gegensatz zu jüngeren Teilnehmern. Dieser Effekt ist wahrscheinlich auf die Unterdrückung potenziell schädlicher Bakterien im Mund zurückzuführen, die die Umwandlung von Nitrat in Stickoxid beeinflussen, welches für die Gesundheit der Blutgefäße unerlässlich ist. Die Studie legt nahe, dass die Ermutigung älterer Menschen, mehr nitratreiche Gemüse zu konsumieren, erhebliche gesundheitliche Vorteile langfristig bringen könnte.

(news.exeter.ac.uk)

Technologie Rote Bete Saft Blutdruck orales Mikrobiom

KI tötet das Web: Ein Appell eines menschlichen Autors

2025-07-27

KI tötet das Web: Ein Appell eines menschlichen Autors

Zwei Artikel im *Economist* beleuchten, wie KI-betriebene Antwort-Engines das Geschäftsmodell des Webs zerstören. Suchmaschinen liefern jetzt KI-generierte Antworten statt Links zu Webseiten, was den Anreiz zur Erstellung von Originalinhalten reduziert und zu einer sinkenden Webqualität führt. Der Autor verwendet persönliche Erfahrungen, um Probleme wie KI-Plagiate und ungenaue Inhalte aufzuzeigen und fordert die Ablehnung von KI-generierten Inhalten, um die Originalität und Authentizität des Webs zu bewahren. Der Autor schließt mit einem einzigartigen Eulen-Emoji, um seine Artikel als rein menschlich erstellt zu kennzeichnen.

(eclecticlight.co)

Technologie Web-Content

BlueOS: Ein leichter, sicherer und universeller Rust-Kernel

2025-07-27

BlueOS: Ein leichter, sicherer und universeller Rust-Kernel

BlueOS ist ein leichter, sicherer und universeller Betriebssystem-Kernel, der in Rust geschrieben wurde. Er ist POSIX-kompatibel, unterstützt die Rust-Standardbibliothek und unterstützt derzeit die Architekturen ARM32, ARM64, RISCV32 und RISCV64 mit QEMU-Emulation. Die Unterstützung von Hardware-Boards befindet sich in der Entwicklung. Das Projekt umfasst den Kern-Kernel, eine benutzerdefinierte libc-Implementierung, Beispielanwendungen und eine umfassende Dokumentation und bietet Entwicklern eine vollständige Umgebung.

(github.com)

Entwicklung

Wiederansiedlung von Wölfen in Yellowstone: Nach 80 Jahren gedeihen junge Espen

2025-07-27

Wiederansiedlung von Wölfen in Yellowstone: Nach 80 Jahren gedeihen junge Espen

Zum ersten Mal seit 80 Jahren gedeiht eine neue Generation junger Espen im nördlichen Teil des Yellowstone-Nationalparks, dank der Wiederansiedlung von Grauwölfen im Jahr 1995. Die Anwesenheit der Wölfe kontrollierte die Elchpopulationen und reduzierte die Überweidung, die zuvor die Ansiedlung junger Espen verhindert hatte. Eine neue Studie, die in Forest Ecology and Management veröffentlicht wurde, hebt die erheblichen ökologischen Vorteile der Wiederherstellung von Spitzenprädatoren hervor. Die Erholung der Espen fördert die Artenvielfalt und kommt verschiedenen Arten zugute, darunter Beerensträucher, Insekten, Vögel und Biber.

(www.livescience.com)

Technologie Wölfe Ökosystem-Restaurierung

Optimierungsherausforderungen bei Low-Level-Sprachen und die Zukunft der polyglotten Programmierung

2025-07-27

Ein wiederkehrendes Problem bei modernen „Low-Level“-Sprachen ist die Schwierigkeit der Optimierung aufgrund ihrer Diskrepanz zur Hardware. Der Autor verwendet Haskell und Futhark als Beispiele und hebt die Vorteile funktionaler Sprachen bei der Optimierung hervor. Ihr restriktives Design und ihre referentielle Transparenz ermöglichen es Compilern, freier zu optimieren. Allerdings erfordern einige Szenarien immer noch Low-Level-Operationen, wie die `unsafe`-Blöcke in Rust. Der Artikel plädiert letztendlich für ein polyglotten Programmierparadigma, indem er Metasprachen entwickelt, die es Entwicklern ermöglichen, einfach das richtige Werkzeug für den Job auszuwählen, wie z. B. Inline-Futhark oder Datalog, wodurch die Gesamtperformance verbessert und Optimierungsherausforderungen angegangen werden.

(jyn.dev)

Entwicklung

Drei Hochleistungs-RISC-V-Prozessoren am Horizont

2025-07-27

Drei Hochleistungs-RISC-V-Prozessoren am Horizont

Mehrere Hochleistungs-RISC-V-Prozessoren sollen in der zweiten Hälfte des Jahres 2025 auf den Markt kommen: UltraRISC UR-DP1000, Zhihe A210 und SpacemIT K3. Während die Details noch im Entstehen sind, wird der UR-DP1000, ein Octa-Core 64-Bit RISC-V SoC, das Titan mini-ITX-Mainboard von Shenzhen Milk-V Technology antreiben. Der Zhihe A210 bietet beeindruckende KI-Inferenzfunktionen mit bis zu 12 TOPS (INT8). Der SpacemIT K3, basierend auf dem X100-Kern, bietet eine hohe Vektor-Rechenleistung. Obwohl die vollständigen Spezifikationen noch nicht veröffentlicht wurden, stellen diese Prozessoren bedeutende Fortschritte im RISC-V-Ökosystem dar und werden voraussichtlich im Jahr 2026 verfügbar sein.

(www.cnx-software.com)

Hardware Prozessoren

Bash-Skript-Debugging: Elegante Behandlung von `set -e`-Fehlern

2025-07-27

Dieser Artikel beschreibt einen eleganten Trick zur Behandlung von Fehlern, die durch `set -e` in Bash-Skripten ausgelöst werden. Mit `trap 'echo "Exit status $? at line $LINENO from: $BASH_COMMAND"' ERR` können Informationen wie die Fehlernummer, der fehlerhafte Befehl und der Exit-Status ausgegeben werden, wenn das Skript einen Fehler findet, was das Debugging erleichtert. Dies nutzt Bash-spezifische Funktionen: die Umgebungsvariablen `$LINENO`, `$BASH_COMMAND` und die Trap-Bedingung `ERR`. Andere Shells wie sh verhalten sich möglicherweise anders und unterstützen diese Funktionalität möglicherweise nicht vollständig.

(utcc.utoronto.ca)

Entwicklung Skript-Debugging

Chinas „Tausend Segel“-Megakonstellation leidet unter erheblichen Verzögerungen

2025-07-27

Chinas „Tausend Segel“-Megakonstellation leidet unter erheblichen Verzögerungen

Chinas ehrgeiziges „Tausend Segel“-Projekt (G60 Starlink), das bis 2030 über 15.000 Satelliten für weltweiten Internetzugang ins All bringen will, leidet unter erheblichen Verzögerungen. Bisher wurden nur 90 Satelliten gestartet, weit weniger als die 648, die bis Ende 2025 geplant waren. Der Mangel an Raketen ist die Hauptursache für die Verzögerungen und beeinträchtigt die Wettbewerbsfähigkeit des Projekts gegenüber SpaceX Starlink. Um die Ziele zu erreichen, müsste das Projekt mehr als 30 Satelliten pro Monat starten – ein derzeit unerreichbares Tempo.

(www.scmp.com)

Technologie

Jenseits von Gut und Böse: Eine philosophische Betrachtung der Verflechtung mit der Natur

2025-07-27

Jenseits von Gut und Böse: Eine philosophische Betrachtung der Verflechtung mit der Natur

Dieser Artikel untersucht die verflochtene Beziehung zwischen Mensch und Natur und die ethischen Dilemmata, die in dieser Beziehung liegen. Aus der Perspektive des Philosophen Friedrich Nietzsche und der Öko-Philosophin Val Plumwood hinterfragt der Artikel anthropozentrische Sichtweisen und argumentiert, dass die Menschheit kein vom Rest der Natur getrenntes Wesen ist, sondern ein Teil ihrer Nahrungskette. Plumwoods Erfahrung mit dem Krokodilangriff sowie Nietzsches Kritik am freien Willen und am Leid führen zu einer Neubewertung unserer Beziehung zur Natur und der Frage, wie die traditionelle dualistische Moral transzendiert werden kann, um harmonisch zu koexistieren. Der Artikel warnt auch vor den Risiken des blinden Strebens nach Reinheit und Gesundheit und betont, dass die Akzeptanz der Verflechtung nicht einfach ist und eine Neudefinition von uns selbst und unseren Interessen erfordert.

(aeon.co)

Sonstiges

Der Fall Komoot: Eine kapitalistische Falle für Community-Plattformen

2025-07-27

Der Fall Komoot: Eine kapitalistische Falle für Community-Plattformen

Dieser Artikel beschreibt die Geschichte der beliebten Routenplanungs-Plattform Komoot nach ihrem Verkauf an eine Private-Equity-Gesellschaft. Die Gründer von Komoot brachen ihr Versprechen, verkauften das Unternehmen und führten zur Entlassung von 80 % der Mitarbeiter und Millionen von Nutzern, die Verluste erlitten. Der Autor argumentiert, dass die Erfahrung von Komoot kein Einzelfall ist, sondern eine Manifestation des kapitalistischen Wertextraktionsmechanismus, der die zerstörte Beziehung zwischen Unternehmen und Communities aufzeigt. Der Artikel fordert die Schaffung von Open-Source-Non-Profit-Plattformen, um die kapitalistische Ausbeutung zu bekämpfen und digitale Gemeingüter zu schützen.

(bikepacking.com)

Startup Community-Plattformen digitale Gemeingüter

Yahoos Aufstieg und Fall: Vom Internet-König zum vergessenen Giganten

2025-07-27

Yahoos Aufstieg und Fall: Vom Internet-König zum vergessenen Giganten

Yahoo, einst der unangefochtene König der Internetportale, ist in Ungnade gefallen. Dieser Artikel beschreibt Yahoos turbulenten Weg von der Gründung 1994 bis zum Verkauf an Verizon im Jahr 2016. Yahoo stieg zunächst mit seiner gut organisierten verzeichnisartigen Suchmaschine und der Inhaltsaggregation in die Prominenz auf und erreichte eine Marktkapitalisierung von über 100 Milliarden Dollar. Eine Reihe von desaströsen Übernahmen, wie Broadcast.com und Geocities, sowie verpasste Chancen, Google und Facebook zu übernehmen, führten jedoch zu seinem Niedergang. Yahoo wurde schließlich für 4,8 Milliarden Dollar verkauft, was das Ende eines einst dominierenden Internetimperiums markierte. Nur die kluge Investition in Alibaba bleibt ein Lichtblick in seinem Vermächtnis.

(dfarq.homeip.net)

Technologie Interne Geschichte

Implementierung von dynamischer Scope in Fennel: Ein cleverer Ansatz

2025-07-27

Implementierung von dynamischer Scope in Fennel: Ein cleverer Ansatz

Der Autor beschreibt die Herausforderung, dynamische Scope in Fennel, einem Lua-Dialekt, zu implementieren, wo dies nicht nativ unterstützt wird. Der Artikel untersucht verschiedene Ansätze, darunter die Manipulation von Funktionsumgebungen mithilfe der Lua-Debug-Bibliothek und das geschickte Klonen von Funktionen, um deren Umgebungen festzulegen. Obwohl der Autor sich letztendlich dagegen entscheidet, diese Funktion derzeit in die fennel-cljlib-Bibliothek zu integrieren, liefert die eingehende Untersuchung von Lua-Funktionsumgebungen und dynamischen Scope sowie der Vergleich verschiedener Implementierungsstrategien wertvolle Einblicke in funktionale und Metaprogrammierungskonzepte.

(andreyor.st)

Entwicklung Dynamischer Scope

Linaro Connect 2025: ARM64 Linux Laptop Prototyp mit Snapdragon X Elite vorgestellt

2025-07-27

Linaro Connect 2025: ARM64 Linux Laptop Prototyp mit Snapdragon X Elite vorgestellt

Auf der Linaro Connect 2025 stellten Linaro und TUXEDO Computers einen Prototypen eines ARM64 Linux Laptops mit dem Snapdragon X Elite SoC vor. Dies zeigt einen bedeutenden Fortschritt bei der Aktivierung von Linux auf Snapdragon Geräten und erfüllt die steigende Nachfrage nach ARM-Computing. Obwohl es noch keine Snapdragon Laptops mit vorinstalliertem Linux gibt, haben die gemeinsamen Bemühungen von Qualcomm, Linaro und der Community zu einer stabilen Linux-Funktionalität auf vielen Snapdragon Prozessoren geführt, einschließlich des Snapdragon X Elite. Der Linux Kernel 6.15 unterstützt bereits mehrere Snapdragon Laptops, wie das Lenovo Yoga 7x und das ThinkPad T14s Gen 6. Das Engagement von TUXEDO Computers, einen Qualcomm Laptop mit vorinstalliertem Linux auf den Markt zu bringen, verbessert das ARM64 Laptop Ökosystem weiter.

(www.linaro.org)

Technologie

arXivLabs: Entwicklung neuer arXiv-Funktionen in Zusammenarbeit mit der Community

2025-07-27

arXivLabs ist ein Framework, das es Entwicklern ermöglicht, neue arXiv-Funktionen direkt auf der arXiv-Website zu entwickeln und zu teilen. Teilnehmer müssen die Werte von arXiv für Offenheit, Community, Exzellenz und Datenschutz der Benutzerdaten annehmen. Haben Sie eine Idee, um die arXiv-Community zu verbessern? Erfahren Sie mehr über arXivLabs.

(arxiv.org)

Entwicklung

← Previous 1 2 … 93 94 95 96 97 98 99 100 101 … 595 596 Next →