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

Die dunkle Seite des Internets: Ein Aufruf zur Rechenschaftspflicht der Menschheit

2025-02-15

Der Autor verurteilt die Manipulation des Internets durch Megakonzerne und Superreiche, die zu moralischem Verfall und wachsender Ungleichheit führt. Er plädiert für eine neue Internetordnung, die Datenschutz, menschliche Werte und Ethik priorisiert, und schlägt die Konfiszierung des Vermögens von Milliardären vor, um globale Armut und Ungleichheit zu lindern. Dieser Artikel ist idealistisch, regt aber zu einer tiefen Reflexion über Macht, Reichtum und soziale Gerechtigkeit an.

Mehr lesen
(m-onz.net)
Sonstiges Internet Governance Macht und Reichtum

HTTP Feeds: Asynchrones Event Streaming mit einfachem HTTP

2025-04-26

HTTP Feeds ist eine minimale Spezifikation für asynchrones Event Streaming und Datenreplikation mit einfachen HTTP-APIs. Es definiert einen einfachen HTTP GET-Endpunkt, der eine chronologisch geordnete Sequenz von CloudEvents in gebatchten Antworten zurückgibt. Mit dem Query-Parameter `lastEventId` können Clients unendlich lange für Echtzeit-Updates pollern und bieten eine Alternative zu Message Brokern (wie Kafka oder RabbitMQ). Die Spezifikation deckt auch Long Polling für niedrigere Latenz, Datenkompression und -löschung für Effizienz und die Behandlung von Event-IDs für robuste Event-Verarbeitung ab.

Mehr lesen
(www.http-feeds.org)
Entwicklung

Erweiterter Vertex Block Descent: Ein Durchbruch in der Echtzeit-Physiksimulation

2025-06-21

Forscher haben den Erweiterten Vertex Block Descent (AVBD) entwickelt, eine neue Physiksimulationsmethode, die bedingungslos stabil, hochgradig parallelisierbar ist und eine deutlich verbesserte Konvergenz und Handhabung komplexer Constraints bietet. AVBD bewältigt effizient komplexe Szenarien wie das Stapeln starrer Körper, Reibung, Gelenkbeschränkungen und starr-weichkörper-Interaktionen. Eine GPU-Implementierung erreicht Echtzeit-Leistung und behält die Stabilität selbst bei Millionen von Objekten, die durch Kollisionen interagieren. Im Vergleich zu den besten Alternativen zeigt AVBD eine überlegene Leistung, Konvergenz und Stabilität, mit einer verfügbaren 2D-Online-Demo.

Mehr lesen
(graphics.cs.utah.edu)
Entwicklung Physiksimulation

Alibabas Qwen2.5-Max fordert US-Tech-Giganten heraus und gestaltet KI für Unternehmen neu

2025-01-29
Alibabas Qwen2.5-Max fordert US-Tech-Giganten heraus und gestaltet KI für Unternehmen neu

Alibaba Cloud hat heute sein Modell Qwen2.5-Max vorgestellt, den zweiten großen Durchbruch Chinas im Bereich künstliche Intelligenz in weniger als einer Woche. Dies erschüttert die US-Technologiemärkte weiter und verstärkt die Sorgen um die schwindende KI-Führungsrolle Amerikas. Das neue Modell übertrifft das Modell R1 von DeepSeek in mehreren wichtigen Benchmarks, darunter Arena-Hard, LiveBench und LiveCodeBench. Qwen2.5-Max zeigt auch wettbewerbsfähige Ergebnisse gegenüber Branchenführern wie GPT-4o und Claude-3.5-Sonnet in Tests zu fortgeschrittenem Denken und Wissen. Seine Architektur mit einem Mix aus Experten ermöglicht eine signifikante Rechenleistungseffizienz, da es mit über 20 Billionen Token trainiert wurde, aber deutlich weniger Ressourcen benötigt als traditionelle Ansätze. Diese Effizienz könnte die KI-Strategien von Unternehmen umgestalten und die Infrastrukturkosten um 40 bis 60 % senken. Fragen zur Datenhoheit, API-Zuverlässigkeit und langfristiger Unterstützung bleiben jedoch entscheidend für die Unternehmensakzeptanz.

Mehr lesen
(venturebeat.com)
KI Unternehmen-KI

Gehirnstimulation hilft Gelähmten wieder zu gehen

2024-12-12
Gehirnstimulation hilft Gelähmten wieder zu gehen

Der Economist berichtet über eine bahnbrechende Studie, die zeigt, dass die Stimulation bestimmter Gehirnbereiche es gelähmten Menschen ermöglichen kann, wieder zu gehen. Forscher verwendeten implantierte Elektroden, um einem Mann zu helfen, ohne Hilfe Treppen zu steigen, was neue Hoffnung für Menschen mit Rückenmarksverletzungen bietet und einen bedeutenden Fortschritt in der Neurowissenschaft darstellt.

Mehr lesen
(www.economist.com)
Technologie Gehirnstimulation Paralyse Neurowissenschaft

30 Euro Strafe: Ein Produktivitäts-Hack

2025-03-06
30 Euro Strafe: Ein Produktivitäts-Hack

Frustriert über seine unregelmäßigen Blogbeiträge, wendet der Autor einen ungewöhnlichen Produktivitäts-Hack an: eine selbst auferlegte Strafe von 30 Euro, wenn er nicht jeden Monat einen Blogbeitrag veröffentlicht. Inspiriert von der Idee, dass konsistente, weniger druckvolle Beiträge besser sind als seltene, hochdruckvolle Beiträge, motiviert ihn dieses Commitment zum regelmäßigen Schreiben. Er erweitert dieses System auf das Bemalen von Miniaturen und zielt auf 52 Blogbeiträge und 60 bemalte Miniaturen bis Ende des Jahres ab. Der Autor plant, über die Ergebnisse zu berichten und diese Methode auf andere Projekte auszuweiten.

Mehr lesen
(www.krayorn.com)
Sonstiges Verantwortung

YouTube hat seine Web-Einbettungen stillschweigend verschlechtert und die Benutzererfahrung beeinträchtigt

2024-12-14
YouTube hat seine Web-Einbettungen stillschweigend verschlechtert und die Benutzererfahrung beeinträchtigt

YouTube hat kürzlich seinen Publisher-Player (PfP) geändert und den Titel-Link zurück zu YouTube entfernt. Diese Änderung, die darauf abzielt, Werbetreibende zu schützen, da PfP es Publishern ermöglicht, eigene Anzeigen zu verkaufen, bedeutet, dass viele Websites, darunter The Verge, jetzt YouTube-Einbettungen haben, bei denen ein Klick auf den Titel das Video nicht mehr auf YouTube.com oder in der App öffnet. Trotz Bemühungen, mit YouTube zu kommunizieren, einschließlich der Kontaktaufnahme mit CEO Neal Mohan, bleibt die Änderung bestehen. Dies unterstreicht, wie große Technologieplattformen ihre eigenen Interessen über die Benutzererfahrung stellen können.

Mehr lesen
(www.theverge.com)
Technologie Eingebetteter Player

Trump-Regierung entlässt Mitarbeiter des US Forest Service

2025-02-27
Trump-Regierung entlässt Mitarbeiter des US Forest Service

Der US Forest Service erlebte unter der Trump-Regierung massive Entlassungen. Etwa 3400 Mitarbeiter verloren ihren Job, darunter viele Fachkräfte, die im Kampf gegen den Klimawandel und bei der Katastrophenhilfe unerlässlich waren. Dies hat Bedenken hinsichtlich des Managements öffentlicher Flächen und des Umweltschutzes ausgelöst und die langjährige Unterfinanzierung und Unterbesetzung der Behörde hervorgehoben. Der Verlust erfahrener Mitarbeiter wirkt sich schwerwiegend auf die Forstpflege, die Brandverhütung und die Wiederaufbaubemühungen der Gemeinden aus. Gewerkschaften haben Klagen eingereicht, um die Rechtmäßigkeit der Entlassungen anzufechten.

Mehr lesen
(grist.org)
Technologie

Raumzeitkrümmung im Keller: Ein einfaches Gravitationsexperiment

2025-03-11

Dieser Artikel beschreibt ein einfaches physikalisches Experiment, das mit leicht verfügbaren Materialien zu Hause durchgeführt werden kann. Es demonstriert die universelle Gravitation mithilfe einer Torsionswaage. Das Experiment nutzt geschickt die Differentialmessung, um die Erdanziehungskraft aufzuheben und so die Gravitationsanziehung zwischen kleinen Objekten zu beobachten, wodurch das Konzept der Raumzeitkrümmung in Einsteins Allgemeiner Relativitätstheorie bestätigt wird. Der Autor spekuliert sogar darüber, wie sich die Geschichte entwickelt hätte, wenn Archimedes dieses Experiment in der Antike durchgeführt hätte.

Mehr lesen
(www.fourmilab.ch)
Technologie universelle Gravitation

Freedesktop SDK entfernt OpenH264-Erweiterung: Patentstreitigkeiten und Sicherheitsrisiken

2025-03-25
Freedesktop SDK entfernt OpenH264-Erweiterung: Patentstreitigkeiten und Sicherheitsrisiken

Dieser Artikel beschreibt die Entfernung der OpenH264-Erweiterung aus dem Freedesktop SDK. Um anfängliche Probleme mit H.264-Patenten zu lösen, wurde libopenh264 von Cisco über eine Flatpak-Erweiterung verwendet. Dieser Ansatz brachte jedoch Herausforderungen mit sich: ein ungültiges SSL-Zertifikat, Sicherheitsrisiken und schwierige Updates. Das Freedesktop SDK integrierte die H.264-Dekodierung in die codecs-extra-Erweiterung, die weitere Codec-Bibliotheken enthält und automatisch als Laufzeit-Erweiterung installiert wird. Dies löste die zahlreichen Probleme der OpenH264-Erweiterung, reduzierte den Wartungsaufwand und verbesserte die Sicherheit.

Mehr lesen
(bbhtt.space)
Entwicklung

Claude Code: Mein KI-basierter Terminal-Assistent spart mir eine Stunde pro Tag

2025-06-03
Claude Code: Mein KI-basierter Terminal-Assistent spart mir eine Stunde pro Tag

Seit zwei Monaten verwende ich Claude Code im Modus "dangerously-skip-permissions" unter macOS und umgehe so alle Berechtigungsaufforderungen. Obwohl riskant (ich verwende zuverlässige Backups), spart es mir täglich etwa eine Stunde. Claude Code ist nicht nur eine intelligentere Kommandozeile, sondern eine universelle Computerschnittstelle. Ich verwende es für alles, von der Migration von Macs und der Konvertierung von Blog-Posts bis zur Generierung von Testdaten, der Git-Verwaltung und der Automatisierung von Systemaufgaben. Sein kommandozeilenorientiertes Design und seine Fähigkeit, den Kontext zu verstehen, machen es hocheffizient, obwohl die Antwortzeit eine Einschränkung sein kann. Im Gegensatz zu Warp ermöglicht der "gefährliche Modus" von Claude einen kontinuierlichen Workflow ohne ständige Berechtigungsanfragen. Dies stellt einen Paradigmenwechsel in Entwicklertools dar - von der Befehlsausführung zum Verständnis von Absichten und Aktionen. Es geht nicht darum, dass KI Entwickler ersetzt, sondern darum, dass Entwickler zu Orchestratoren leistungsstarker Systeme werden.

Mehr lesen
(steipete.me)
Entwicklung

Die neuen Gesetzgeber des Silicon Valley: Wie Tech-Oligarchen die öffentliche Sphäre umgestalten

2025-04-09
Die neuen Gesetzgeber des Silicon Valley: Wie Tech-Oligarchen die öffentliche Sphäre umgestalten

Dieser Artikel untersucht, wie sich die Technologieelite des Silicon Valley von bloßen Technologen zu mächtigen Kräften gewandelt hat, die den politischen und gesellschaftlichen Wandel prägen. Sie nutzen immensen Reichtum, technologische Autorität und Medienplattformen, um persönliche Ideologien in Politik umzusetzen und die öffentliche Sphäre umzugestalten. Der Artikel argumentiert, dass diese „Oligarchen-Intellektuellen“ nicht nur technologische Trends interpretieren, sondern auch politische Entscheidungen diktieren und ihre politischen Agenden durch Investitionen und Propaganda vorantreiben. Ihr Handeln stellt traditionelle Elite-Modelle in Frage und legt deren interne Widersprüche und potenzielle Risiken offen.

Mehr lesen
(www.theideasletter.org)
Technologie Tech-Oligarchen Öffentliche Sphäre

GIMP 3.0 veröffentlicht: Sieben Jahre in der Entwicklung

2025-03-17
GIMP 3.0 veröffentlicht: Sieben Jahre in der Entwicklung

Nach sieben Jahren Entwicklung durch freiwillige Entwickler ist GIMP 3.0 endlich da! Dieses wichtige Release bietet bedeutende Verbesserungen, darunter nicht-destruktive Filterbearbeitung, verbesserte Dateikompatilität (Unterstützung von BC7 DDS-Dateien und verbesserte PSD-Exportfunktion), automatische Layer-Erweiterung, leistungsstarke Text-Styling-Tools, verbesserte Layer- und Farbverwaltung und eine modernisierte GTK3-Oberfläche. GIMP 3.0 bietet einfachere Bedienung, schnellere Leistung und verbesserte Bildbearbeitungsfunktionen. Laden Sie es jetzt herunter und erleben Sie den Unterschied!

Mehr lesen
(testing.gimp.org)
Entwicklung

Warum ich von Clojure zu Common Lisp gewechselt bin

2025-01-12

Nach sieben Jahren mit Clojure wechselte ein Programmierer zu Common Lisp aufgrund von Frustrationen über lange Startzeiten und Schwierigkeiten bei der Erstellung nativer ausführbarer Dateien. Wichtige Faktoren bei seiner Entscheidung waren der Bedarf an schnellen, eigenständigen ausführbaren Dateien, Vim-Kompatibilität, plattformübergreifende Unterstützung, robustes Multithreading und eine lebendige Community mit einem reichhaltigen Ökosystem. Common Lisp setzte sich letztendlich aufgrund seiner ausgereiften Werkzeuge, des leistungsstarken CLOS- und Condition-Systems und der schnellen Laufzeit durch.

Mehr lesen
(blog.djhaskin.com)
Entwicklung

Warum Array-Indizes bei Null beginnen sollten

2025-03-21

Dieser Essay argumentiert, warum Array-Indizes in der Informatik bei Null und nicht bei Eins beginnen sollten. Durch mathematische Argumentation und Beispiele aus Programmiersprachen zeigt der Autor die Überlegenheit der nullbasierten Indexierung auf: Sie ist mathematisch konsistenter, vermeidet mehrdeutige Randbedingungen und führt zu saubererem, effizienterem Code. Der Artikel behandelt auch historische Inkonsistenzen bei der Wahl von Indizes in Programmiersprachen und die daraus resultierenden Nachteile.

Mehr lesen
(www.cs.utexas.edu)
Entwicklung Indexierung Arrays

ICONIC: Edle Skill-Icons für GitHub READMEs

2025-06-15
ICONIC: Edle Skill-Icons für GitHub READMEs

ICONIC ist eine Entwickler-fokussierte Bibliothek mit stilvollen, blasenförmigen Skill-Icons, designt für GitHub READMEs, Portfolios und Lebensläufe. Sie bietet klare und ästhetisch ansprechende Bubble-Icons, helle und dunkle Themenvarianten und einfache Einbettung in Markdown/HTML. Zusätzlich gibt es eine HTML-Vorschau-API (Django Backend) und herunterladbare SVGs für eine mühelose Präsentation der Fähigkeiten.

Mehr lesen
(github.com)
Entwicklung Icon-Bibliothek

Höhere und günstigere Windkraftanlagen: Ingenieurholz schafft Abhilfe

2025-05-23
Höhere und günstigere Windkraftanlagen: Ingenieurholz schafft Abhilfe

Der Bau höherer Windkraftanlagen ist traditionell teuer und begrenzt deren Höhe und Effizienz. Eine neue Lösung verwendet Ingenieurholz, das die Festigkeit von Stahl bietet, aber deutlich leichter ist. Dadurch entfallen teure Verstärkungen und Wartungen, wodurch höhere Türme effizienter und kostengünstiger werden. Tatsächlich wird dieses modulare Holzdesign umso vorteilhafter, je höher es ist, und verspricht eine Revolution in der Windenergie.

Mehr lesen
(modvion.com)
Technologie Ingenieurholz Windkraftanlagen

Halliday AR-Brille: Ein einzigartiges Design mit erheblichen Nachteilen

2025-01-27
Halliday AR-Brille: Ein einzigartiges Design mit erheblichen Nachteilen

Die auf der CES vorgestellten Halliday AR-Brillen verfügen über ein neuartiges optisches Design, das von herkömmlichen wellenleiterbasierten Ansätzen abweicht. Mit einem monokularen Projektor, der Bilder direkt über ein Spiegel-Optiksystem auf das Auge projiziert, bieten sie Vorteile in Bezug auf Helligkeit und Effizienz sowie Kompatibilität mit Standard-Korrekturgläsern. Benutzer müssen jedoch nach oben schauen, um das Bild zu sehen, was zu Unbehagen und sozialer Peinlichkeit führt. Streulicht verursacht zudem einen Halo-Effekt, der den Kontrast verringert. Trotz erfolgreicher Vermarktung könnte das Design Verbesserungen bei Auflösung und Bildqualität behindern, und das Fehlen einer Kamera schränkt das KI-Potenzial ein. Trotz Innovation überwiegen die Nachteile deutlich die Vorteile.

Mehr lesen
(kguttag.com)
Hardware AR-Brille Optisches Design

Twitter-Gründer startet Mozi, eine Social-App für reale Beziehungen

2024-12-12
Twitter-Gründer startet Mozi, eine Social-App für reale Beziehungen

Ev Williams, Gründer von Twitter und Medium, hat eine neue Social-App namens Mozi veröffentlicht, die das Wesen sozialer Interaktion neu definieren soll. Im Gegensatz zu inhaltsorientierten sozialen Medien konzentriert sich Mozi darauf, Nutzern zu helfen, Beziehungen zu Menschen in ihrem realen Leben aufzubauen und zu pflegen. Durch die Integration in die Kontaktlisten der Nutzer zeigt es an, wann Nutzer und ihre Bekannten am selben Ort (Stadt oder Veranstaltung) sein werden, um persönliche Treffen zu erleichtern. Mozi betont den Datenschutz, ohne öffentliche Profile und Follower-Zahlen, und zielt darauf ab, eine private Plattform zu sein, die authentische soziale Verbindungen fördert.

Mehr lesen
(ev.medium.com)
Startup Social-App Beziehungen Datenschutz

Der Nachtwächter und die gentechnisch veränderte Maus

2025-04-17
Der Nachtwächter und die gentechnisch veränderte Maus

Ein Tierpfleger in einem Universitätslabor stolpert über ein außergewöhnliches Geheimnis: Eine gentechnisch veränderte Maus, die grausamen Experimenten ausgesetzt war, hat auf wundersame Weise überlebt und scheint eine außergewöhnliche Lebensdauer zu besitzen. Er rettet die Maus heimlich und behält sie zu Hause. Dieses Geheimnis betrifft nicht nur das Schicksal einer einzigen Maus, sondern spiegelt auch die ethischen Dilemmata in der wissenschaftlichen Forschung und die Beziehung zwischen Mensch und Tier wider.

Mehr lesen
(jsomers.net)
Sonstiges wissenschaftliches Geheimnis

Veryfront Figma Kit: Designen Sie beeindruckende Websites in Minuten

2024-12-14
Veryfront Figma Kit: Designen Sie beeindruckende Websites in Minuten

Das neue Veryfront Figma Kit ermöglicht es Benutzern, in wenigen Minuten beeindruckende Websites zu gestalten. Mit über 100 Komponenten, Unterstützung für hellen und dunklen Modus und vollständiger Reaktionsfähigkeit vereinfacht das Kit den Designprozess. Benutzer wählen einfach Komponenten aus, erstellen Seiten, fügen Inhalte hinzu und übergeben Designs nahtlos an Front-End-Entwickler. Die intuitiven Tools und vorgefertigten Komponenten sparen Zeit und steigern die Kreativität. Benutzer loben das Kit für die Transformation ihres Designprozesses und die Steigerung der Effizienz.

Mehr lesen
(veryfront.com)
Design Webdesign UI-Komponenten

TinyKVM: Extrem schneller Single-Process-Sandbox

2025-03-14
TinyKVM: Extrem schneller Single-Process-Sandbox

Ein Doktorand und Spieleentwickler, der nebenbei an libriscv und einem unbenannten Spiel arbeitet, hat TinyKVM geschaffen, eine KVM-basierte Single-Process-Sandbox. TinyKVM führt statische Linux ELF-Programme mit nahezu nativer Leistung und extrem geringem Aufruf-Overhead (ca. 2 µs) aus. Durch die Nutzung von Hugepages werden die Performance verbessert, GDB-Debugging und effizientes VM-Reset unterstützt. Es eignet sich zum Sandboxing von Linux-Programmen, sogar großen Sprachmodellen (LLMs). TinyKVM zeichnet sich durch einen minimalen Code-Basis und einen Fokus auf Sicherheit mit minimaler Angriffsfläche aus. Zukünftige Pläne umfassen die Unterstützung von Intel TDX/AMD SEV und AArch64-Architekturen.

Mehr lesen
(info.varnish-software.com)
Entwicklung

NOMARS: Die Revolution der unbemannten Überwasserschiffe

2025-03-10

Das No Manning Required Ship (NOMARS)-Programm hat den Bau des USX-1 Defiant, eines 180 Fuß langen, 240 Tonnen schweren unbemannten Überwasserschiffs (USV), erfolgreich abgeschlossen. Von Grund auf ohne Berücksichtigung einer menschlichen Besatzung entwickelt, zielt Defiant darauf ab, die Schiffbauarchitektur zu revolutionieren. Durch die Eliminierung des menschlichen Elements erwartet NOMARS signifikante Vorteile in Bezug auf Größe, Kosten, Zuverlässigkeit, hydrodynamische Effizienz, Überlebensfähigkeit bei Seegang und Widerstandsfähigkeit gegen feindliche Aktionen durch Tarnung und Manipulationssicherheit. Geplant sind Seetests im Frühjahr 2025. Defiant verspricht einen kosteneffizienten Weg zu einer verteilten USV-Flotte.

Mehr lesen
(www.darpa.mil)
Technologie autonome Navigation Marinetechnologie

Echtzeit-Hauserkennung mit S2

2025-03-06
Echtzeit-Hauserkennung mit S2

Dieser Artikel beschreibt ein Echtzeit-System zur Erkennung der Hausbelegung, das mit einem AMG8833 Infrarot-Wärmebildsensor, einem Raspberry Pi und der S2-Streaming-Datenplattform aufgebaut wurde. Das System streamt Sensordaten an S2, die dann von einem Next.js-Frontend verwendet werden, um eine Live-Wärmekarte anzuzeigen. Eine einfache Bildverarbeitung bestimmt die Belegung. Die niedrigen Kosten und die Benutzerfreundlichkeit von S2 machen dies zu einer kostengünstigen Lösung, die etwa 2 US-Dollar pro Monat kostet.

Mehr lesen
(s2.dev)
Hardware

Chrome Web Store überschwemmt mit Keyword-Spam

2025-01-12
Chrome Web Store überschwemmt mit Keyword-Spam

Ein Sicherheitsforscher hat einen weit verbreiteten Missbrauch des Google Chrome Web Stores aufgedeckt. Hunderte von Erweiterungen manipulieren die Suchergebnisse, indem sie Zehntausende irrelevanter Keywords in ihre Beschreibungen einfügen, oft versteckt in weniger verwendeten Sprachübersetzungen. Dies ermöglicht es bösartigen oder minderwertigen Erweiterungen, in beliebten Suchanfragen einen hohen Rang einzunehmen und sogar legitime Erweiterungen nach unten zu drängen. Der Forscher betonte, wie einfach diese Manipulation durchzuführen ist und wie wenig Google offenbar überwacht, was Bedenken hinsichtlich der Sicherheit der Plattform aufwirft.

Mehr lesen
(arstechnica.com)
Technologie Keyword-Stuffing Websicherheit

Schweden beschlagnahmt Schiff im Verdacht der Sabotage eines Unterseekabels in der Ostsee

2025-01-27
Schweden beschlagnahmt Schiff im Verdacht der Sabotage eines Unterseekabels in der Ostsee

Die schwedischen Behörden haben am Sonntag ein Schiff beschlagnahmt, das im Verdacht steht, ein Glasfaserkabel in der Ostsee sabotiert zu haben. Die Staatsanwaltschaft hat eine Untersuchung wegen "erschwerter Sabotage" eingeleitet, nachdem ein Unterseekabel zwischen Schweden und Lettland beschädigt wurde. Der Vorfall unterstreicht die Verwundbarkeit der Unterwasserinfrastruktur.

Mehr lesen
(www.barrons.com)
Technologie

Der Aufstieg und Fall der Effizienz der US-Regierung: Von der Kriegsleistung des Zweiten Weltkriegs zur modernen Unfähigkeit

2025-04-09
Der Aufstieg und Fall der Effizienz der US-Regierung: Von der Kriegsleistung des Zweiten Weltkriegs zur modernen Unfähigkeit

Dieser Podcast befasst sich mit der Entwicklung der Effizienz der US-Regierung. Während des Zweiten Weltkriegs setzte die Regierung Prozess-Charting und Work-Simplification-Initiativen ein und zeigte erstaunlich moderne Managementtechniken, die Lean-Prinzipien ähneln. Die 1960er Jahre brachten jedoch eine Verlagerung hin zur „Langzeitplanung“ im Unternehmensstil, was zu mehr Bürokratie und weniger Effizienz führte. Anhand von Fallstudien des USDA und des IRS wird die effektive und ineffektive Verwaltung kontrastiert und die Bedeutung von Prozessvereinfachung und kontinuierlicher Verbesserung hervorgehoben. Die Autoren betonen das Lernen aus historischen Erfolgen und die Anwendung dieser Lehren zur Verbesserung der modernen Regierungsführung.

Mehr lesen
(www.governance.fyi)
Startup Regierungsmanagement

Pi-hole v6 veröffentlicht: Performance-Boost und überarbeitete Benutzeroberfläche

2025-02-18

Pi-hole v6 ist da! Dieses Release bietet eine umfassende Überarbeitung mit integriertem Webserver und REST API. lighttpd und PHP wurden entfernt, was zu verbesserter Performance und kleinerer Installationsgröße führt. Neue Funktionen umfassen Unterstützung für abonnierbare Allowlists, eine konsolidierte Konfigurationsdatei, eine überarbeitete Benutzeroberfläche mit Basis- und Expertenmodus, native HTTPS-Unterstützung und ein Alpine-basiertes Docker-Image für reduzierte Größe. Das Upgrade migriert Konfigurationen automatisch, aber ein Backup wird empfohlen.

Mehr lesen
(pi-hole.net)
Entwicklung Netzwerkfilterung

Das Auswahlaxiom: Ein Jahrhundert der Debatte

2025-06-13

Dieser Artikel befasst sich mit der hundertjährigen Debatte um das Auswahlaxiom in der Mathematik. Von Cantors Wohlordnungsprinzip bis zu Zermelos Beweis und der Einführung des Auswahlaxioms führte dies zu hitzigen Diskussionen in der mathematischen Gemeinschaft. Der Artikel analysiert verschiedene Formen des Auswahlaxioms, darunter die konstruktive und die extensionale Version, und hebt das Problem der extensionalen Version hervor: Sie verletzt das Prinzip „Man kann nicht etwas aus dem Nichts erschaffen“. Durch Beweise in der konstruktiven Typentheorie zeigt der Artikel die Beziehung zwischen dem extensionalen Auswahlaxiom, Zermelos Auswahlaxiom und dem Auswahlaxiom in der Topostheorie auf und kommt zu dem Schluss, dass das extensionale Auswahlaxiom die korrekte Darstellung von Zermelos Axiome in der konstruktiven Typentheorie ist.

Mehr lesen
(research.mietek.io)
Sonstiges mathematische Grundlagen Auswahlaxiom konstruktive Mathematik
1 2 … 560 561 562 564 566 567 568 … 595 596