Webtagr - Technologienummer

Beliebte Tags：

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

Musks xAI-Rechenzentrum in Memphis sorgt für Umweltkontroverse

2025-06-13

Elon Musks KI-Unternehmen xAI steht wegen seines Rechenzentrums in Memphis in der Kritik. Es nutzt 35 Methangasturbinen, die unter einer „vorläufigen“ Genehmigung betrieben werden und damit die Bundesemissionsvorschriften umgehen. Diese Turbinen, denen wichtige Schadstoffkontrollanlagen fehlen, stoßen NOx und andere gefährliche Luftschadstoffe aus. xAI behauptet, der temporäre Status befreie sie von Genehmigungsanforderungen, aber Kritiker stellen dies in Frage, insbesondere angesichts der fehlenden Anfangsinvestitionen in Schadstoffkontrolltechnologie. The Guardian berichtet über Unstimmigkeiten zwischen der Anzahl der aktiven Turbinen und den Behauptungen des Bürgermeisters, was die Kontroverse weiter anheizt. Die Situation hebt ein großes Umweltproblem im Zusammenhang mit der Entwicklung von KI-Infrastruktur hervor.

(simonwillison.net)

Technologie

Samsung entwickelt revolutionäre Peltier-Kühltechnologie

2025-07-21

Samsung entwickelt revolutionäre Peltier-Kühltechnologie

Samsung Electronics hat in Zusammenarbeit mit dem Johns Hopkins University Applied Physics Laboratory (APL) einen Artikel in der renommierten wissenschaftlichen Zeitschrift Nature Communications über seine nächste Generation der Peltier-Kühltechnologie veröffentlicht. Das Team entwickelte erfolgreich ein hocheffizientes Dünnschicht-Halbleiter-Peltier-Element mithilfe von Nanotechnologie und demonstrierte eine kältemittelfreie Kühlung. Diese Technologie wird bereits in Samsungs Bespoke AI Hybrid-Kühlschrank eingesetzt und soll zukünftig zu einem vollständig kältemittelfreien Kühlschrank führen.

(news.samsung.com)

Hardware Peltier-Kühlung

Serverlose Website-Screenshot-API: Das Herzstück von Abbey AI

2025-02-06

Serverlose Website-Screenshot-API: Das Herzstück von Abbey AI

Gordon Kamer hat eine robuste Web-Scraping-API entwickelt, um die KI-Plattform Abbey zu unterstützen. Diese API läuft lokal, nimmt eine URL entgegen und gibt Website-Daten und Screenshots zurück. Angetrieben von Playwright und Docker, führt sie JavaScript aus, beinhaltet Sicherheitsfunktionen wie Speicherlimits und Prozessisolation und gibt eine Multipart-Antwort mit JSON-Daten, Seiteninhalt und bis zu 5 Screenshots zurück. Der Zugriff wird über API-Schlüssel gesteuert, mit anpassbarer Speicherzuweisung und Screenshot-Parametern.

(github.com)

Entwicklung

Minecraft bekommt ein riesiges, blockiges Großbritannien

2025-04-15

Minecraft bekommt ein riesiges, blockiges Großbritannien

Eine riesige Minecraft-Karte von Großbritannien erscheint, mit jedem County und einem 15 km breiten Puffer um jedes herum, was über eine Milliarde Blöcke ergibt! Spieler können ikonische Sehenswürdigkeiten, bekannte Städte und Dörfer, Flüsse, Strände und mehr erkunden. Der Kreativmodus ermöglicht Bauen, Umgestalten und sogar das Erstellen von Minecart-Eisenbahnen. Spieler können sogar Großbritannien selbst mit den integrierten Kartierungstools kartieren und die Arbeit des Ordnance Survey nachbilden. Mach dich bereit, Großbritannien auf deine Weise neu zu gestalten!

(www.ordnancesurvey.co.uk)

Spiele

ANEMLL: Beschleunigung von LLMs auf Apples Neural Engine

2025-05-03

ANEMLL: Beschleunigung von LLMs auf Apples Neural Engine

ANEMLL ist ein Open-Source-Projekt, das sich auf die Beschleunigung großer Sprachmodelle (LLMs) auf Tensorprozessoren konzentriert, beginnend mit Apples Neural Engine (ANE). Es bietet eine vollständige Open-Source-Pipeline von der Modellkonvertierung (von Hugging Face) zur Inferenz auf ANE, wodurch eine nahtlose On-Device-Inferenz für stromsparende Edge-Anwendungen ermöglicht wird und Datenschutz und Sicherheit maximiert werden. Derzeit werden Modelle wie LLaMA 3.1 unterstützt, und es werden Swift- und Python-Beispielcodes sowie iOS/macOS-Anwendungen bereitgestellt. Dies ist eine Alpha-Version, daher sind Verbesserungen bei der Quantisierung zu erwarten.

(github.com)

Entwicklung Apples Neural Engine

CONL: Das Markdown für Konfigurationsdateien?

2025-04-26

Genervt von der Komplexität von JSON, YAML und TOML? Ein Softwareentwickler hat CONL erstellt, ein minimalistisches Format für Konfigurationsdateien, das als „Markdown“ für Konfigurationsdateien gedacht ist. CONL ist einfach zu lesen und zu bearbeiten, verfügt über ein JSON-ähnliches Datenmodell und ist einfach zu implementieren. Es unterstützt verschiedene Datentypen, darunter Skalare, Listen und Mappings, und bietet gute Unterstützung für mehrzeilige Strings. Der Autor stellt auch Implementierungen für Rust und Go sowie einen Language Server und eine Zed-Erweiterung bereit.

(cirw.in)

Entwicklung

Das ethische Dilemma autonomer Fahrzeuge: Fußgängersicherheit und KI-Lernen

2025-01-05

Das ethische Dilemma autonomer Fahrzeuge: Fußgängersicherheit und KI-Lernen

San Francisco ist voll von Waymo-Robotaxis, und der Autor hat festgestellt, dass diese Fahrzeuge Fußgängern an Fußgängerüberwegen oft nicht die Vorfahrt gewähren. Der Autor hat mehrere Fälle dokumentiert, in denen Waymo-Fahrzeuge nicht nachgaben, was eine Debatte über die Sicherheit von KI und die Koexistenz von Mensch und Maschine ausgelöst hat. Waymo antwortete, dass seine Fahrzeuge so konzipiert sind, dass sie die Verkehrsregeln befolgen, räumte aber ein, dass es Verbesserungspotenzial gibt. Die Vorfälle verdeutlichen die Herausforderungen der autonomen Fahrtechnologie, Verkehrsregeln einzuhalten und soziale Normen zu verstehen, und wie Sicherheit und Effizienz beim KI-Lernen in Einklang gebracht werden können.

(www.yahoo.com)

Technologie autonome Fahrzeuge Mensch-Maschine-Interaktion

Saudisches Zukunftsstadtprojekt „The Line“ leidet unter Rückschlägen

2025-07-15

Saudisches Zukunftsstadtprojekt „The Line“ leidet unter Rückschlägen

Der ehrgeizige Plan Saudi-Arabiens, eine futuristische 170 km lange Stadt namens „The Line“ zu bauen, ein wichtiger Bestandteil des Megaprojekts Neom, steht vor erheblichen Herausforderungen. Der Public Investment Fund (PIF) hat Berater mit der Überprüfung der Machbarkeit beauftragt, nachdem Berichte über eine deutliche Verkleinerung des Projekts veröffentlicht wurden. Das ursprüngliche Ziel von 1,5 Millionen Einwohnern bis 2030 wurde Berichten zufolge auf unter 300.000 reduziert, und nur ein kleiner Teil der Stadt soll bis dahin fertiggestellt sein. Dies spiegelt die größeren Schwierigkeiten wider, mit denen die Projekte der Vision 2030 Saudi-Arabiens aufgrund hoher Kosten und sinkender Ölpreise konfrontiert sind, und wirft Zweifel an der Zukunft von „The Line“ auf.

(www.middleeasteye.net)

Technologie

Nextcloud beschuldigt Google, seine Android-Dateianwendung absichtlich zu behindern

2025-05-13

Nextcloud beschuldigt Google, seine Android-Dateianwendung absichtlich zu behindern

Der europäische Softwareanbieter Nextcloud beschuldigt Google, seine Android-Dateianwendung, die über 800.000 Nutzer hat, absichtlich zu behindern. Das Problem liegt bei der Berechtigung "Zugriff auf alle Dateien", die für die Dateisynchronisierung der Anwendung erforderlich ist. Obwohl Google datenschutzfreundlichere Alternativen anbietet, argumentiert Nextcloud, dass diese nicht ausreichend sind. Google hat diese Berechtigung 2024 widerrufen, wodurch die Anwendung im Play Store effektiv unbrauchbar wurde. Nextcloud sieht darin ein Muster antikompetitiven Verhaltens großer Technologieunternehmen und verweist auf langsame Regulierungsprozesse und den Mangel an Möglichkeiten für kleinere Unternehmen. Die Anwendung funktioniert weiterhin auf F-Droid.

(www.theregister.com)

Entwicklung Wettbewerbswidrig

Hoch auflösende Oberflächenanalyse mit LiDAR-Daten: Archäologische Entdeckungen in der Schweiz

2025-05-24

Hoch auflösende Oberflächenanalyse mit LiDAR-Daten: Archäologische Entdeckungen in der Schweiz

Das Schweizerische Bundesamt für Landestopografie swisstopo stellt swissALTI3D bereit, ein hochpräzises digitales Höhenmodell basierend auf LiDAR-Daten. Durch das Entfernen von Gebäuden und Vegetation wird die darunter liegende Topografie sichtbar gemacht. Dieses Projekt verbessert den Datenzugriff durch Visualisierung und eine interaktive Online-Karte und zeigt die archäologischen Anwendungen von LiDAR. Beispielsweise wurden im Osten der Schweiz mit LiDAR-Daten ein römisches Lager aus der Zeit um 15 v. Chr. und andere historische Stätten entdeckt, was die Leistungsfähigkeit von LiDAR bei der Aufdeckung unterirdischer Strukturen unterstreicht. Ein Teil dieser Daten ist unter https://lidar.cubetrek.com verfügbar.

(github.com)

Technologie Hoch auflösende Topographie

Funktoren, Applikative und Monaden in Haskell verstehen

2025-03-30

Funktoren, Applikative und Monaden in Haskell verstehen

Dieser Artikel bietet eine klare und verständliche Erklärung von Funktoren, Applikativen und Monaden in der funktionalen Programmierung mit Haskell. Der Autor verwendet Analogien, um komplexe Konzepte leichter verständlich zu machen. Er benutzt die Metapher von Boxen, um zu veranschaulichen, wie diese Typen die Anwendung von Funktionen in verschiedenen Szenarien handhaben, und liefert Codebeispiele, um deren Verwendung und Unterschiede zu demonstrieren. Der Artikel schließt mit einer Reflexion über die Bedeutung von Lernen und Wissensaustausch, die aus einer Interaktion mit der Haskell-Community resultiert.

(www.thecoder.cafe)

Entwicklung Monaden

Riesiges Robotik-Projekt dankt hunderten von Mitwirkenden

2025-06-24

Riesiges Robotik-Projekt dankt hunderten von Mitwirkenden

Ein großes Robotik-Projekt hat eine lange Liste von Danksagungen veröffentlicht und hunderte von Mitwirkenden – Forscher, Ingenieure und Betriebspersonal – für ihren Beitrag zum Erfolg des Projekts gewürdigt. Die Liste umfasst Experten aus der ganzen Welt und zeigt das riesige kollaborative Netzwerk hinter dem Projekt.

(deepmind.google)

KI

Mistral AI präsentiert Magistral: Ein transparentes, mehrsprachiges Reasonierungsmodell

2025-06-10

Mistral AI präsentiert Magistral: Ein transparentes, mehrsprachiges Reasonierungsmodell

Mistral AI hat Magistral vorgestellt, sein erstes Reasonierungsmodell, das sich durch Transparenz, mehrsprachige Unterstützung und domänenspezifische Expertise auszeichnet. Es ist in Open-Source- (Magistral Small, 24 Milliarden Parameter) und Enterprise-Versionen (Magistral Medium) verfügbar. Magistral schneidet in Benchmarks wie AIME2024 hervorragend ab und bietet ein deutlich schnelleres Reasonieren (bis zu 10x schneller als die Konkurrenz). Seine Anwendungen reichen von juristischer Forschung und Finanzprognosen bis hin zu Softwareentwicklung und kreativem Schreiben und eignet sich besonders für mehrstufige Aufgaben, die Transparenz und Präzision erfordern. Die Open-Source-Veröffentlichung von Magistral Small fördert Beiträge der Community und zukünftige Modellverbesserungen.

(mistral.ai)

KI

IBMs Starling: Ein Quantensprung zur praktischen Quantencomputer?

2025-06-10

IBMs Starling: Ein Quantensprung zur praktischen Quantencomputer?

IBM plant, seinen Quantencomputer 'Starling' im Jahr 2029 auf den Markt zu bringen. Er wird 200 logische Qubits besitzen und 100 Millionen logische Operationen hintereinander mit hoher Genauigkeit ausführen können – ein bedeutender Fortschritt gegenüber den derzeitigen Möglichkeiten. Obwohl Experten die unmittelbare Praktikabilität für die Lösung realer Probleme anzweifeln, stellt Starling einen wichtigen Meilenstein im Bereich des Quantencomputings dar. IBMs modularer Ansatz, bei dem mehrere Module miteinander verbunden werden, um die Skalierung zu ermöglichen, ist entscheidend für sein Design. Der Fahrplan umfasst kleinere Zwischenstationen wie Loon und Kookaburra, bevor Starling fertiggestellt wird. Dieses ambitionierte Projekt markiert den Fortschritt des Quantencomputings in Richtung praktischer Anwendungen, obwohl technische Herausforderungen bestehen bleiben.

(www.technologyreview.com)

Technologie

Alephics Schreibstil-Leitfaden: Prägnant, präzise und mutig

2025-05-13

Alephics Schreibstil-Leitfaden: Prägnant, präzise und mutig

Alephics umfassender Leitfaden zum Schreibstil priorisiert Prägnanz, Präzision und eine mutige Stimme. Er beschreibt Kernprinzipien wie die aktive Stimme, datengetriebene Behauptungen und eine klare Struktur. Der Leitfaden betont Alephics einzigartige Markenstimme: intellektuell mutig, ambitioniert fundiert und radikal einfach. Er behandelt Best Practices für die Dokumentation, Strategien für die Zusammenarbeit mit KI und einen robusten Bearbeitungsprozess, um sicherzustellen, dass alle Texte von Alephic klar, überzeugend und effektiv ihre Botschaft vermitteln.

(www.alephic.com)

Design Schreibstil-Leitfaden Stilguide

Der Aufstieg von KI-Entwicklungstools: Das Ende der Frontend-Entwicklung?

2025-04-15

Der Aufstieg von KI-Entwicklungstools: Das Ende der Frontend-Entwicklung?

Vor zwei Jahren gab es Vorhersagen, dass KI menschliche Softwareentwickler ersetzen würde. Heute spielen KI-Tools eine immer wichtigere Rolle in der Softwareentwicklung, fungieren aber eher als Assistenten denn als Ersatz. KI kann zwar Code generieren, aber menschliche Entwickler sind weiterhin für Anleitung, Bearbeitung und Verfeinerung notwendig. Viele Versuche, Entwickler vollständig durch KI zu ersetzen, sind gescheitert, da KI mit komplexen Aufgaben und subtilen Fehlern zu kämpfen hat. KI-Tools steigern die Effizienz, eliminieren aber nicht den Bedarf an menschlichen Entwicklern. Der derzeit schwierige Arbeitsmarkt ist teilweise auf makroökonomische Faktoren und Missverständnisse über KI zurückzuführen, nicht darauf, dass KI tatsächlich Entwickler ersetzt. Die Zukunft wird wahrscheinlich eine engere Zusammenarbeit zwischen KI und menschlichen Entwicklern beinhalten, um einen synergistischen Effekt zu erzielen.

(www.joshwcomeau.com)

Entwicklung

Heap Explorer: Ein leistungsstarker Glibc-Heap-Debugger

2025-02-06

Heap Explorer: Ein leistungsstarker Glibc-Heap-Debugger

`explore_heap` ist ein Glibc-Heap-Debugger, der über `LD_PRELOAD` geladen wird und die interaktive Inspektion und Manipulation des Heapspeichers eines Programms ermöglicht. Durch das Laden von `libheap_explorer.so` und das Unterbrechen des Programms mit einem SIGINT-Signal (Strg+C) gelangen Benutzer in eine REPL, um Chunks zuzuweisen und freizugeben sowie freie Listen, tcache, fastbin und bin-Listen anzuzeigen, was bei der Fehlersuche bei speicherbezogenen Problemen hilft. Derzeit auf Glibc 2.41+ von Arch Linux getestet; die Anpassung an andere moderne Glibc-Versionen erfordert das Anpassen von Konstanten.

(github.com)

Entwicklung Heap-Debugging

Massive Datenpanne bei Volkswagen: Standortdaten von 800.000 E-Autos offengelegt

2024-12-27

Massive Datenpanne bei Volkswagen: Standortdaten von 800.000 E-Autos offengelegt

Eine massive Datenpanne betrifft über 800.000 Elektrofahrzeuge von Volkswagen. Dabei wurden sensible Benutzerdaten, einschließlich präziser GPS-Standortdaten und persönlicher Kontaktdaten, offengelegt. Die Daten waren auf einem ungeschützten Amazon Cloud-Server gespeichert und für jeden mit grundlegenden technischen Kenntnissen zugänglich. Die Panne, die von einem Whistleblower entdeckt und vom Spiegel berichtet wurde, unterstreicht erhebliche Sicherheitsschwachstellen bei Volkswagens Software-Tochter Cariad. Obwohl Cariad behauptet, die Schwachstelle schnell behoben zu haben und kein unbefugter Zugriff durch Dritte stattgefunden habe, wirft der Vorfall ernste Bedenken hinsichtlich der Datensicherheit in der Automobilindustrie und des potenziellen Missbrauchs der offengelegten Standort- und persönlichen Daten auf. Betroffen waren sowohl einzelne Benutzer als auch institutionelle Einrichtungen, darunter Polizeikräfte.

(cyberinsider.com)

Technologie

K8s Cleaner: Optimieren Sie Ihre Kubernetes-Cluster

2024-12-18

K8s Cleaner ist ein Kubernetes-Cluster-Bereinigungstool für Administratoren. Es identifiziert und entfernt effizient ungenutzte Ressourcen, um die Cluster-Leistung zu steigern und die Betriebskosten zu senken. Es unterstützt alle Ressourcentypen, einschließlich CRDs, und bietet vordefinierte Regeln und anpassbare Optionen (zeitbasiert, labelbasiert oder benutzerdefinierte Lua-Skripte). Benachrichtigungen werden über Slack, E-Mail usw. gesendet, während ein Trockenlaufmodus versehentliche Änderungen verhindert. K8s Cleaner optimiert die Kubernetes-Ressourcenverwaltung.

(sveltos.projectsveltos.io)

Entwicklung Clusterbereinigung Ressourcenverwaltung

KI-Modelle sind jetzt überraschend gute Historiker

2025-01-26

KI-Modelle sind jetzt überraschend gute Historiker

Führende KI-Modelle zeigen bemerkenswerte Fähigkeiten in der Geschichtsforschung. Drei Fallstudien verdeutlichen die Leistungsfähigkeit von GPT-4o, o1 und Claude Sonnet 3.5 bei der Transkription und Übersetzung frühneuzeitlicher italienischer Texte, der Analyse eines mexikanischen medizinischen Manuskripts aus dem 18. Jahrhundert und der Generierung neuer historischer Interpretationen. Obwohl Einschränkungen bestehen bleiben, wie gelegentliche faktische Ungenauigkeiten, ist ihr Potenzial zur Optimierung der Forschung, Synthese von Informationen und Anregung neuer Forschungsansätze unbestreitbar. Dies läutet einen transformativen Wandel in der Durchführung historischer Forschung ein.

(resobscura.substack.com)

KI geschichtsforschung

Chinesische Wissenschaftler entwickeln revolutionäre Batterie-Reparaturtechnologie, die Lebensdauer um das Sechsfache verlängert

2025-02-18

Chinesische Wissenschaftler entwickeln revolutionäre Batterie-Reparaturtechnologie, die Lebensdauer um das Sechsfache verlängert

Chinesische Wissenschaftler haben eine bahnbrechende, kostengünstige und umweltfreundliche Reparaturtechnologie für Lithium-Ionen-Batterien vorgestellt, die ihre Lebensdauer um mehr als das Sechsfache verlängern kann. In Nature veröffentlicht, beschreibt die Forschung eine injizierbare Lösung, die alternde Batterien verjüngt und den Effizienzverlust bei Kälte ausgleicht. Diese Technologie verspricht einen bedeutenden Fortschritt für Smartphones, Elektrofahrzeuge und andere moderne Technologien und wird voraussichtlich bald auf dem Markt verfügbar sein.

(www.scmp.com)

Technologie Lithium-Ionen-Batterie Batteriereparatur

Katalytisches Computing: Ein Durchbruch im Computing mit Speicherbeschränkungen

2025-02-18

Katalytisches Computing: Ein Durchbruch im Computing mit Speicherbeschränkungen

Informatiker waren lange Zeit durch Speicherbeschränkungen eingeschränkt und kämpften mit der Lösung bestimmter komplexer Probleme. Ein Durchbruch gelang mit dem "katalytischen Computing", das auf clevere Weise einen großen, aber unzugänglichen zusätzlichen Speicher nutzt (ähnlich einer riesigen, nicht veränderbaren Festplatte). Durch reversible Anpassungen an diesen zusätzlichen Speicher wird die Rechenleistung gesteigert, ähnlich einem chemischen Katalysator. Ursprünglich von Buhrman und Cleve vorgeschlagen, wurde diese Technik erweitert und angewendet. James Cook, ein Softwareentwickler, wandte sie sogar auf zuvor unlösbare Baumbewertungsprobleme an und zeigte so ihr Potenzial. Diese Forschung stellt unser traditionelles Verständnis der Ressourcennutzung in Frage und eröffnet neue Wege zur Lösung komplexerer Rechenprobleme.

(www.quantamagazine.org)

Entwicklung katalytisches Computing Speicherbeschränkungen

Reispflanzen erben Kältetoleranz in nur drei Generationen durch epigenetische Veränderungen

2025-05-23

Reispflanzen erben Kältetoleranz in nur drei Generationen durch epigenetische Veränderungen

Eine zehnjährige Studie zeigt, dass asiatische Reispflanzen in nur drei Generationen Kältetoleranz erworben haben, nicht durch Veränderungen der DNA-Sequenz, sondern durch epigenetische Modifikationen. Forscher entdeckten durch Kälte-Stress-Experimente, dass diese Toleranz auf epigenetische Veränderungen chemischer Marker auf der DNA der Pflanze zurückzuführen ist, nicht auf die DNA-Sequenz selbst. Dies stellt die traditionelle Sichtweise der Evolution in Frage und legt nahe, dass Umweltbelastungen vererbbare Veränderungen induzieren, ohne das Genom zu verändern. Die Umwelt wirkt daher als selektive Kraft, nicht nur als passiver Akteur.

(www.nature.com)

Technologie Kältetoleranz

Wahnvorstellungen: Ein umfassenderer, kulturell informierter Ansatz

2025-04-12

Wahnvorstellungen: Ein umfassenderer, kulturell informierter Ansatz

Eine neue Studie im Schizophrenia Bulletin hinterfragt das herkömmliche Verständnis von Wahnvorstellungen und enthüllt eine weitaus größere Vielfalt an Wahnthemen als bisher angenommen. Die Analyse von 155 Studien (173.920 Teilnehmer) ergab 37 verschiedene Themen und hob signifikante kulturelle Unterschiede hervor. So waren Eifersuchtswahnvorstellungen in Südasiens häufiger, während Schuld-/Sündenwahnvorstellungen in Osteuropa verbreiteter waren. Die Studie betont auch den starken Zusammenhang zwischen dem Inhalt von Wahnvorstellungen und zwischenmenschlichen Beziehungen und hinterfragt bestehende diagnostische Annahmen. Die Ergebnisse unterstreichen die Notwendigkeit eines differenzierteren, individualisierten und kulturell informierten Ansatzes zur Behandlung von Psychosen, der über starre diagnostische Rahmen hinausgeht.

(www.bps.org.uk)

Sonstiges Wahnvorstellungen Psychose

Gen-Antriebe: Sollten wir Moskitos ausrotten?

2025-06-08

Gen-Antriebe: Sollten wir Moskitos ausrotten?

Wissenschaftler haben eine leistungsstarke Gen-Antriebstechnologie entwickelt, mit dem Potenzial, Moskitos und andere Schädlinge auszurotten und so immenses Leid durch Krankheiten wie Malaria zu verhindern. Das Target Malaria-Projekt zielt darauf ab, die Geneditierung zu nutzen, um Anopheles gambiae-Moskitos steril zu machen und so die Malariaübertragung zu kontrollieren. Dies wirft jedoch tiefgreifende ethische Fragen auf: Haben wir das Recht, eine Art absichtlich zum Aussterben zu bringen? Experten warnen, dass, obwohl Moskitos lästig sind, ihre Rolle in Ökosystemen unklar ist und die Ausrottung unvorhersehbare Folgen haben könnte. Der Artikel untersucht das Potenzial und die Risiken der Gen-Antriebstechnologie und gleicht das menschliche Wohlergehen mit dem Artenschutz ab, insbesondere im malariageplagten Afrika. Letztendlich wird vorgeschlagen, den Malariaparasiten selbst anstelle des Moskitos zu bekämpfen, um Risiken zu minimieren und effektivere Ergebnisse zu erzielen.

(www.yahoo.com)

Technologie Moskitos ausrotten

Kritik an irreführenden Benchmarks in formalen Methoden

2025-05-22

Kritik an irreführenden Benchmarks in formalen Methoden

Ein Artikel verwendet irreführende Statistiken bei der Anwendung formaler Methoden zur Verifikation von Betriebssystemcode. Der Autor kritisiert die fehlerhafte Methodik, einfach „Proof-to-Code-Verhältnisse“ zu vergleichen, da dies die Vollständigkeit und Komplexität der Spezifikationen ignoriert. Der Artikel weist darauf hin, dass die Größe des Beweises eine annähernd quadratische Beziehung zur Größe der Spezifikation hat und die Komplexität der Spezifikation viel wichtiger ist als die Codegröße. Durch die Analyse mehrerer verifizierter Systeme präsentiert der Autor umfassendere Daten, einschließlich Codegröße, Spezifikationsgröße und Beweisgröße, und hebt die Rolle der Modularität bei der Reduzierung der Verifikationskosten hervor, merkt aber auch an, dass komplexe Systeme wie seL4 schwer zu modularisieren sind. Schließlich appelliert der Autor an die Forschungsgemeinschaft, die sinnlose Metrik des „Proof-to-Code-Verhältnisses“ nicht mehr zu verwenden.

(microkerneldude.org)

Entwicklung

Tesla zahlte 2024 trotz 2,3 Milliarden Dollar Gewinn keine Bundeseinkommensteuer

2025-01-31

Tesla zahlte 2024 trotz 2,3 Milliarden Dollar Gewinn keine Bundeseinkommensteuer

Trotz eines Gewinns von 2,3 Milliarden Dollar im Jahr 2024 und dem Titel des wertvollsten Automobilherstellers der Welt, zahlte Tesla keine Bundeseinkommensteuer, so neue Berichte. In den letzten drei Jahren lag die durchschnittliche Steuerrate von Tesla bei nur 0,4 %, deutlich unter dem gesetzlichen Körperschaftsteuersatz von 21 %. Dies ist auf Steuervermeidungsstrategien wie beschleunigte Abschreibungen und nicht näher spezifizierte US-Steuergutschriften zurückzuführen. Die Enthüllung löst eine Debatte über die Bevorzugung von Unternehmen und Reichen im US-Steuersystem und die Leichtigkeit aus, mit der Milliardäre ihre fairen Steuern vermeiden können.

(truthout.org)

Technologie Steuervermeidung Steuersystem

Britisches Parlament billigt knapp Gesetz zur Sterbehilfe

2025-06-20

Britisches Parlament billigt knapp Gesetz zur Sterbehilfe

Nach einer hitzigen Debatte hat das britische Parlament knapp einen Gesetzentwurf zur Legalisierung der Sterbehilfe für todkranke Menschen verabschiedet. Der Gesetzentwurf, der es Menschen mit einer verbleibenden Lebenserwartung von weniger als sechs Monaten und einer tödlichen Krankheit erlaubt, unter strengen Bedingungen ihr Leben zu beenden, reiht Großbritannien in die kleine Gruppe von Ländern ein, die Sterbehilfe zulassen. Diese Entscheidung löst komplexe Diskussionen über Autonomie, Ethik und Ressourcenverteilung aus. Befürworter argumentieren, dass dies eine mitfühlende Wahl für todkranke Menschen bietet, während Gegner Bedenken hinsichtlich ethischer Implikationen äußern und Verbesserungen der Palliativversorgung fordern. Der Gesetzentwurf geht nun an das House of Lords zur weiteren Prüfung.

(edition.cnn.com)

Sonstiges Euthanasie Britisches Parlament

EU beschuldigt Apple der Nichtbeachtung der Interoperabilitätsregeln des DMA

2025-01-16

EU beschuldigt Apple der Nichtbeachtung der Interoperabilitätsregeln des DMA

EU-Organisationen zur Verteidigung digitaler Rechte beschuldigen Apple, seinen Interoperabilitätspflichten nach dem EU-Gesetz über digitale Märkte (DMA) nicht nachzukommen. In einem Brief fordern sie die Europäische Kommission auf, energischer Maßnahmen zu ergreifen, um Apples Einhaltung von Artikel 6(7) des DMA sicherzustellen. Dieser Artikel verpflichtet Gatekeeper, einen nicht-diskriminierenden Zugang zu oder die Interoperabilität mit bestimmter Software und Hardware zu gewährleisten. Die Organisationen schlagen mehrere Empfehlungen vor, darunter das Verbot, dass Apple einseitig Geheimhaltungsvereinbarungen (NDAs) auferlegt, die Erstellung eines standardisierten Formulars für Interoperabilitätsanfragen und die Überprüfung von DMA-Klauseln, die es Apple erlauben, Frameworks und Bibliotheken aus Sicherheitsgründen zu verbergen. Sie kritisieren auch Apples „Feedback-Assistenten“ und das Fehlen eines öffentlichen Fehler-Trackingsystems. Apple entgegnet, dass die Interoperabilitätsanforderungen des DMA personenbezogene Daten preisgeben könnten.

(www.theregister.com)

Technologie Gesetz über digitale Märkte

Notizblock erhält KI-gestützte Zusammenfassungen: Microsoft testet neues Feature

2025-03-14

Notizblock erhält KI-gestützte Zusammenfassungen: Microsoft testet neues Feature

Microsoft testet KI-gestützte Zusammenfassungen im Notizblock für Windows Insider. Benutzer können Text markieren, mit der rechten Maustaste klicken und „Zusammenfassen“ auswählen, um eine Zusammenfassung zu erstellen. Alternativ kann auch Strg + M oder das Copilot-Menü verwendet werden. Ein Microsoft-Konto ist erforderlich, und KI-Funktionen können in den Einstellungen deaktiviert werden. Zusätzlich testet Microsoft die Anzeige kürzlich geschlossener Dateien im Notizblock und eine „Zeichnen und Halten“-Funktion im Snipping Tool zum automatischen Glätten von Linien.

(www.theverge.com)

Entwicklung

← Previous 1 2 … 413 414 415 416 417 418 419 420 421 … 595 596 Next →