Webtagr - Technologienummer

Beliebte Tags：

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

PyReason: Erklärbare Inferenzsoftware für graphenbasiertes Schließen

2025-04-12

PyReason: Erklärbare Inferenzsoftware für graphenbasiertes Schließen

PyReason ist ein visuelles Inferenzwerkzeug, das logische Regeln und Fakten verwendet, um über Graphstrukturen zu schließen. Es unterstützt annotierte, echtwertige Graphen und temporale Logik und bietet die Installation als Python-Bibliothek, Multi-Core-Parallelisierung (nur Python 3.9 und 3.10) sowie umfassende Dokumentation und Codebeispiele. Die Software wurde mit einer Veröffentlichung versehen und ist unter der Markenlizenz des Arizona Board of Regents/Arizona State University lizenziert.

(github.com)

Entwicklung Grapheninferenz Temporale Logik

DiscMaster 2: Ein massives Upgrade des CD-ROM-Archivs

2025-03-04

DiscMaster 2 ist online! Dieses Projekt verarbeitet Millionen von Dateien aus dem alten DiscMaster 1 neu, fügt Unterstützung für über 3000 Dateiformate hinzu und verfügt über eine erheblich verbesserte Suchmaschine. Die neue Suche bietet Fuzzy Matching, reguläre Ausdrücke, Dateihash-Suche und eine dramatisch erhöhte Geschwindigkeit. DiscMaster 2 bietet auch Verbesserungen bei der Dateibrowsing, dem Download und der Anzeige, was zu einer viel benutzerfreundlicheren Erfahrung führt.

(discmaster.textfiles.com)

Sonstiges Datenarchiv Dateiformatkonvertierung

Chicagos erstaunliche Hebung: Die vertikale Migration einer Stadt

2025-01-06

Mitte des 19. Jahrhunderts litt das sumpfige Chicago unter Krankheiten. Um das Entwässerungsproblem zu lösen, wagten Ingenieure einen kühnen Plan: die gesamte Stadt anzuheben! Tausende von Wagenhebern hoben Gebäude, ja sogar ganze Blocks an, während das Leben seinen gewohnten Gang ging. Holzhäuser wurden auf Rollen gesetzt und in die Vororte verlegt. Diese epische Ingenieurleistung veränderte nicht nur Chicagos Landschaft, sondern zeigte auch die außergewöhnlichen Fähigkeiten der Ingenieurskunst des 19. Jahrhunderts.

(en.wikipedia.org)

Technologie Geschichte Chicagos

Tolle Spendenmöglichkeiten: Eine kuratierte Liste von FLOSS-Projekten zur Unterstützung

2025-01-03

Tolle Spendenmöglichkeiten: Eine kuratierte Liste von FLOSS-Projekten zur Unterstützung

Dieses GitHub-Repository, awesome-donations, ist eine kuratierte Liste von Spendenmöglichkeiten für zahlreiche freie und Open-Source-Software-Projekte (FLOSS). Es bietet einfachen Zugriff auf die Unterstützung von Projekten, die von großen Stiftungen wie der Linux Foundation und der Mozilla Foundation bis hin zu Einzelprojekten wie LibreOffice, GIMP und QEMU reichen. Egal, ob Sie PayPal, Kreditkarten oder andere Methoden bevorzugen, Sie können ganz einfach zur Open-Source-Community beitragen und zur kontinuierlichen Entwicklung wichtiger freier Software beitragen.

(github.com)

Entwicklung

Washington Post-Karikaturistin kündigt wegen Zensur

2025-01-04

Washington Post-Karikaturistin kündigt wegen Zensur

Die erfahrene Karikaturistin Ann Telnaes hat ihren Job beim Washington Post gekündigt, nachdem eine Karikatur, die die engen Beziehungen zwischen Tech-Giganten und dem gewählten Präsidenten Trump kritisierte, zensiert wurde. Sie sieht dies als Angriff auf die Pressefreiheit und verspricht, weiterhin mit ihren Zeichnungen die Mächtigen zur Rechenschaft zu ziehen. Der Vorfall löst eine Debatte über die Verantwortung von Nachrichtenorganisationen für die Wahrung der journalistischen Integrität und den Einfluss von Tech-Giganten auf die Politik aus.

(anntelnaes.substack.com)

Technologie Pressefreiheit Tech-Giganten Zensur

KI-generiertes Minecraft: Eine glitchy Pixelwelt

2025-01-23

KI-generiertes Minecraft: Eine glitchy Pixelwelt

Oasis Minecraft, ein KI-generiertes Minecraft-Spiel, zeichnet sich durch seine einzigartige „fehlende Objektpermanenz“ aus. In diesem Spiel verschwinden Berge im Handumdrehen, Gebäude zerfallen sofort und Kreaturen verwandeln sich in Sand. Der Autor beschreibt bizarre Fehler, die er erlebt hat: sich veränderndes Gelände, sich verwandelnde Blöcke und unregelmäßige Gesundheitsschwankungen. Dies sind keine Fehler, sondern seltsame Ereignisse, die aus dem Versuch der KI resultieren, den nächsten Frame vorherzusagen. Dies verdeutlicht die Grenzen des Trainings generativer KI, schafft aber gleichzeitig unbeabsichtigt ein surreales, traumartiges Erlebnis.

(www.aiweirdness.com)

Spiele KI-Spiel

Ruby 3.4.0 veröffentlicht: Verbesserte Leistung und neue Funktionen

2024-12-25

Ruby 3.4.0 wurde veröffentlicht und bietet erhebliche Verbesserungen! Zu den Highlights gehören ein leistungsstärkerer YJIT-Compiler, ein neuer modularer Garbage-Collector und die praktische `it`-Blockparameterreferenz. Der Standard-Parser wurde auf Prism umgestellt, und die Socket-Bibliothek unterstützt jetzt Happy Eyeballs V2 für effizientere Netzwerkverbindungen. Kernklassen wurden aktualisiert und diverse Bugs behoben. Die Version enthält außerdem Deprecation-Warnungen für Änderungen an String-Literalen und Verbesserungen beim Keyword-Splatting.

(www.ruby-lang.org)

Entwicklung Veröffentlichung

Ash Framework: Voreingestellte Optionen für die schnelle Anwendungsentwicklung

2025-05-14

Ash ist ein leistungsstarkes Framework für die Anwendungsentwicklung mit vordefinierten Optionen für die schnelle Anwendungserstellung. Benutzer können Presets auswählen, die verschiedene Komponenten wie Phoenix LiveView, GraphQL und PostgreSQL enthalten, mit der Möglichkeit, später Funktionen hinzuzufügen, darunter AI, Finanz- und Automatisierungsmodule. Auch Anfänger können einfach loslegen und Projekte schnell über eine einfache Kommandozeileninstallation und eine PostgreSQL-Datenbank starten.

(ash-hq.org)

Entwicklung Anwendungsentwicklung Voreingestellte Optionen

Multiplayer-Shooter-Spiel in Lisp: Die Odyssee eines Solo-Entwicklers

2025-01-22

Multiplayer-Shooter-Spiel in Lisp: Die Odyssee eines Solo-Entwicklers

Ein Solo-Entwickler hat ein webbasiertes Multiplayer-Third-Person-Shooter-Spiel namens Wizard Masters mit Clojure, einem Lisp-Dialekt, entwickelt. Er nutzte Clojures REPL für schnelle Iteration und Babylon.js für die Grafik. Der Artikel beschreibt detailliert das Regelwerk des Spiels, die Netzwerkarchitektur und die Berechnung von Flächenschaden. Herausforderungen waren das Zustandsmanagement, die fehlende starke Clojure-Game-Dev-Community und die Einschränkungen der Webplattform. Der Autor fasst die Vor- und Nachteile der Web-Spielentwicklung zusammen und betont die Bedeutung von Tools, wobei er einen möglichen Wechsel zu einer gängigen Engine wie Unity oder Unreal in der Zukunft andeutet.

(ertu.dev)

Spiele

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.

(venturebeat.com)

KI Unternehmen-KI

GitHub-Ausfall: Git-Operationen, Actions und Pages betroffen

2025-01-14

GitHub-Ausfall: Git-Operationen, Actions und Pages betroffen

GitHub erlebt einen größeren Systemausfall, der Git-Operationen, Actions und Pages betrifft. Es werden Leistungseinbußen und Ausfälle gemeldet. GitHub hat einen Störungsbericht veröffentlicht und untersucht das Problem aktiv und arbeitet an einer Lösung. Benutzer können sich über E-Mail oder SMS über Updates informieren.

(www.githubstatus.com)

Entwicklung Ausfall

30% schnellerer Bitonicsort auf CUDA: Nutzung von Warp Shuffle

2025-05-06

Dieser Blogbeitrag beschreibt eine CUDA-Implementierung des Bitonicsort-Algorithmus, die durch geschickte Verwendung der `__shfl_sync`-Instruktion eine 30%ige Leistungssteigerung erzielt. Der Autor erklärt die Prinzipien des Bitonicsorts, SIMD-Programmierung und die spezifischen Details der CUDA-Implementierung. Die entscheidende Optimierung besteht im Ersatz der traditionellen Shared-Memory-Kommunikation durch `__shfl_sync`, wodurch der Synchronisierungsaufwand eliminiert und die Effizienz deutlich verbessert wird. Der Beitrag deutet auch das Potenzial an, diesen beschleunigten 32-Element-Sort zum Beschleunigen des Sortierens größerer Sequenzen zu verwenden, und verspricht ein Follow-up zur Optimierung des 32-Wege-Merges.

(winwang.blog)

Entwicklung Bitonicsort paralleler Algorithmus

Vom Unternehmensentwickler zum GameDev: 3 Jahre unerwarteter Einblicke

2025-07-06

Ein Entwickler mit Hintergrund in traditioneller Unternehmens-IT teilt seine Erfahrungen aus drei Jahren in der Spieleentwicklungsbranche. Er fand die Branche sehr unterschiedlich: Leidenschaft für Spiele ist oberstes Gebot, Kreativität regiert, aber innerhalb enger Grenzen; Projektzyklen sind lang, die Veröffentlichung eines Spiels ist ein wichtiger Karrieremoment; Technologie hinkt oft hinterher, aber es gibt einzigartige technische Herausforderungen, wie Tech Art und Content-Pipelines. Obwohl leidenschaftlich und kreativ, kämpft die Branche auch mit Skalierungs- und Reifegradproblemen, und die Work-Life-Balance bleibt schwer zu erreichen.

(smyachenkov.com)

Spiele Branchenvergleich

Langfristige Auswirkungen von Remote Work: Warum Dell und Amazon Mitarbeiter zurückholen

2025-04-06

Anfang 2025 kehrten Technologieriesen wie Dell, Amazon und JPMorgan Chase die Remote-Work-Richtlinien um und machten die Vollzeit-Anwesenheit im Büro zur Pflicht. Dies führte zu erheblichem Widerstand der Mitarbeiter, aber Forschungsergebnisse zeigen Herausforderungen beim langfristigen Remote Work, darunter weniger Zusammenarbeit, geringeres Zugehörigkeitsgefühl und zunehmende psychische Gesundheitsprobleme. Unternehmen mit Remote-First-Ansatz wie GitLab und Automattic hingegen zeigen, dass Remote Work mit radikaler Transparenz und asynchronen Arbeitsabläufen erfolgreich sein kann, wobei der Schwerpunkt auf klaren Prozessen und gemeinsamen Zielen liegt. Die Zukunft der Arbeit könnte in gut designten Hybridmodellen liegen, die Flexibilität und Zusammenarbeit in Einklang bringen.

(timestripe.com)

Technologie Hybridmodell

Mysteriöser B-2-Bomber-Einsatz: Iran?

2025-03-27

Mysteriöser B-2-Bomber-Einsatz: Iran?

Ein bedeutender und weitgehend unbestätigter Einsatz von B-2-Stealth-Bombern wurde von der Whiteman AFB nach Diego Garcia im Indischen Ozean verfolgt. Open-Source-Informationen deuten darauf hin, dass mindestens vier oder fünf B-2 beteiligt waren, wobei einer aufgrund eines Notfalls nach Joint Base Pearl Harbor-Hickam umgeleitet wurde. Das Ausmaß dieses Einsatzes ist beispiellos und übertrifft typische Bomber-Task-Force- oder Global-Power-Missionen. Zahlreiche C-17-Transporter begleiten die B-2 und transportieren Personal und Ausrüstung. Die Schließung von Landebahnen in Diego Garcia bis zum 1. Mai deutet auf einen längeren Aufenthalt hin. Obwohl es keine offizielle Stellungnahme gibt, lässt der Zeitpunkt, der mit den zunehmenden Spannungen im Nahen Osten zusammenfällt, insbesondere den Sanktionen und Drohungen der USA gegen den Iran, viele über einen Zusammenhang mit dem Iran spekulieren. Die Fähigkeit des B-2, die GBU-57 Massive Ordnance Penetrator zu tragen, verstärkt diese Theorie weiter.

(theaviationist.com)

Technologie B-2-Bomber Militäreinsatz Naher Osten

New Yorks City-Maut: Sechs Monate Erfolg und Kontroverse

2025-07-06

New Yorks City-Maut: Sechs Monate Erfolg und Kontroverse

Sechs Monate nach seiner Einführung zeigt das City-Maut-Programm von New York City signifikante Ergebnisse. Ein Bericht zeigt eine Reduzierung der Fahrzeugzahl um 11 %, wobei täglich 67.000 weniger Fahrzeuge in die Mautzone fahren, und eine Reduzierung der Verkehrsverzögerungen um 25 %. Verbesserungen der Luftqualität, weniger Lärmbelastung, mehr Fußgängeraktivitäten und eine höhere Auslastung der öffentlichen Verkehrsmittel wurden ebenfalls festgestellt. Das Programm wird jedoch kritisiert, wobei einige es als „ungerechte Steuer“ bezeichnen.

(ny1.com)

Technologie

Scrappy: Eigenständige Apps für Freunde und Familie erstellen

2025-06-18

Scrappy: Eigenständige Apps für Freunde und Familie erstellen

John und Pontus haben Scrappy entwickelt, einen Forschungsprototypen zum Erstellen einfacher, personalisierter Apps für sich selbst und Freunde. Es ist ein visuelles Werkzeug ähnlich Figma oder Google Slides, ermöglicht aber das Hinzufügen von Verhalten zu interaktiven Objekten. Man zieht Objekte wie Schaltflächen und Textfelder per Drag-and-Drop und fügt JavaScript-Code hinzu, um Aktionen zu definieren, z. B. das Aufzeichnen von Texteingaben per Mausklick. Scrappy-Apps sind Multiplayer-fähig, mit persistenten und synchronisierten Zuständen, was die Zusammenarbeit mit Freunden und Familie vereinfacht. Ziel ist die Demokratisierung der Softwareentwicklung, damit mehr Menschen Apps erstellen können, die auf ihre individuellen Bedürfnisse zugeschnitten sind.

(pontus.granstrom.me)

Entwicklung Low-Code-Entwicklung kollaborative Erstellung personalisierte Apps

Chilenischer Vulkanausbruch enthüllt tausendjährige Unterwasserlandschaft

2024-12-24

Chilenischer Vulkanausbruch enthüllt tausendjährige Unterwasserlandschaft

Nach dem Ausbruch des Vulkans Chaitén in Chile im Jahr 2008 entdeckten Wissenschaftler mithilfe eines ferngesteuerten Tauchroboters ein Unterwassertal, das von alten Gletschern und vulkanischer Aktivität geformt wurde. Die Expedition untersuchte die Auswirkungen des Vulkans auf die Meeresumwelt, einschließlich potenzieller Auswirkungen auf Unterwasserinfrastrukturen und die Fischerei. Unerwartet fanden sie eine bemerkenswert gut erhaltene alte Gletscherlandschaft, die wertvolle Einblicke in die geologische Geschichte der Region bietet. Die Analyse von Sedimentproben wird dazu beitragen, eine Zeittafel der geologischen Ereignisse zu rekonstruieren und die Auswirkungen des Ausbruchs auf das marine Ökosystem besser zu verstehen.

(arstechnica.com)

Technologie Unterwasser-Vulkan Geologie Ozeanforschung

Atomisiertes Leben: Das Geheimnis des Glücks ist die Integration

2025-03-29

Dieser Artikel untersucht die negativen Auswirkungen des "atomisierten Lebens", bei dem verschiedene Lebensbereiche (Fitness, Ernährung, soziale Kontakte usw.) getrennt werden, was zu Einsamkeit und Überforderung führt. Der Autor unterscheidet zwischen zwei Arten von Spaß: unmittelbarer Spaß und Spaß im Rückblick, wobei er feststellt, dass eine übermäßige Betonung von unmittelbarem Spaß (wie Videospiele) zu Unzufriedenheit führen kann. Der Autor schlägt vor, die verschiedenen Lebensbereiche wieder zu integrieren, indem man beispielsweise Fitness in soziale Aktivitäten einbaut, Mahlzeiten zu gemeinsamen Erlebnissen mit Freunden und Familie macht, um reichere Erfahrungen und dauerhaftes Glück zu erlangen.

(www.nateliason.com)

Sonstiges Atomisierung

Lösen von Differentialgleichungen erster Ordnung mit Julia: Ein Schritt-für-Schritt-Tutorial

2025-03-05

Dieses Tutorial zeigt, wie man Differentialgleichungen erster Ordnung mit der Programmiersprache Julia und dem Paket DifferentialEquations.jl löst. Es beginnt mit einer Zusammenfassung der Grundlagen von Differentialgleichungen und führt dann zwei Beispiele durch – radioaktiver Zerfall und Newtonsches Abkühlungsgesetz – und zeigt, wie man mathematische Gleichungen in Julia-Code umwandelt und sie numerisch mit DifferentialEquations.jl löst und die Ergebnisse mit Diagrammen visualisiert. Das Tutorial ist klar und prägnant und eignet sich für Leser mit Grundkenntnissen in Mathematik und Programmierung.

(ritog.github.io)

Entwicklung Differentialgleichungen Numerische Methoden

Verzweifelte Flucht: Der kühne Flug eines südvietnamesischen Piloten

2025-01-26

Verzweifelte Flucht: Der kühne Flug eines südvietnamesischen Piloten

Als Südvietnam 1975 zusammenbrach, wagte Major Buang-Ly der Luftwaffe mit seiner Frau und fünf Kindern die Flucht in einem kleinen, überladenen Flugzeug. Sie flogen unter feindlichem Beschuss, ohne Navigation, Treibstoff und Funkgerät, auf das Meer zu, auf der Suche nach US-Marineschiffen. Wunderbarerweise landeten sie auf der USS Midway – ein Kunststück, das nur durch die mutige Entscheidung des Kapitäns möglich wurde, das Flugdeck trotz immenser Risiken und möglicher Konsequenzen freizumachen. Die waghalsige Landung rettete die Familie und zeugt von der menschlichen Widerstandsfähigkeit angesichts überwältigender Widrigkeiten.

(www.historynet.com)

Sonstiges Vietnamkrieg Flucht

Mozilla veröffentlicht datenschutzfreundliches KI-Tool Orbit

2024-12-31

Mozilla hat Orbit veröffentlicht, eine Firefox-Erweiterung, die KI nutzt, um Webinhalte wie E-Mails, Dokumente, Artikel und Videos zusammenzufassen und dabei die Privatsphäre der Nutzer priorisiert. Orbit benötigt keine Kontoerstellung, speichert keine Sitzungsdaten oder persönlichen Informationen und verwendet ein von Mozilla gehostetes Mistral 7B LLM-Modell. Benutzer können mühelos lange Dokumente und Videos zusammenfassen, schnell den Kern von E-Mails und Artikeln erfassen und mithilfe von Fragen spezifische Informationen erhalten.

(orbitbymozilla.com)

Entwicklung

Toxische Ursprünge, toxische Entscheidungen: Verzerrungen bei der Auswahl von CEOs

2025-05-30

Toxische Ursprünge, toxische Entscheidungen: Verzerrungen bei der Auswahl von CEOs

Eine neue Studie zeigt, dass Auswahlverzerrungen bei der Beförderung von CEOs die Risikobereitschaft verstärken. CEOs, die in der Nähe zukünftiger Superfund-Standorte geboren wurden (pränataler Schadstoffbelastung ausgesetzt), werden eher intern befördert, was darauf hindeutet, dass Unternehmen scheinbaren Erfolg belohnen, ohne die zugrunde liegende Risikobereitschaft zu berücksichtigen. Diese „Superfund-CEOs“ zeichnen sich intern aus, verfolgen aber nach ihrer Beförderung risikoreichere externe Strategien, was zu größerer Volatilität und schlechteren Leistungen führt. Die Studie legt nahe, dass Unternehmen Glück mit Können verwechseln und unbeabsichtigt Risikobereitschaft mit hoher Varianz auswählen, deren Eigenschaften erst dann nachteilig werden, wenn die Entscheidungsfindung auf öffentliche und irreversible Bereiche übergeht.

(papers.ssrn.com)

Startup CEO-Auswahl Risikobereitschaft Umweltrisiko

Tausende Apps gekapert, um Ihren Standort auszuspionieren

2025-01-10

Tausende Apps gekapert, um Ihren Standort auszuspionieren

Ein Hackerangriff auf das Standortdaten-Unternehmen Gravy Analytics zeigt, dass Tausende beliebte Apps, darunter Candy Crush, Tinder und MyFitnessPal, verwendet werden, um sensible Standortdaten in großem Umfang zu sammeln. Diese Datenerfassung findet größtenteils über das Echtzeit-Bidding (RTB)-Werbeökosystem statt und geschieht wahrscheinlich ohne Wissen der Nutzer oder Entwickler. Gravy Analytics und seine Tochtergesellschaft Venntel haben zuvor globale Standortdaten an US-amerikanische Strafverfolgungsbehörden verkauft, was zu ernsthaften Bedenken hinsichtlich des Datenschutzes führt.

(www.wired.com)

Technologie Standortverfolgung Werbeökosystem

Lieferkettenangriff auf Ultralytics: Analyse eines PyPI-Sicherheitsvorfalls

2024-12-14

Lieferkettenangriff auf Ultralytics: Analyse eines PyPI-Sicherheitsvorfalls

Das Python-Projekt Ultralytics wurde kürzlich Opfer eines Lieferkettenangriffs. Angreifer kompromittierten die GitHub Actions-Workflows des Projekts und stahlen einen PyPI-API-Token, was zu kontaminierten Versionen 8.3.41, 8.3.42, 8.3.45 und 8.3.46 führte. Der Angriff nutzte keine Sicherheitslücke in PyPI aus, sondern zielte auf den GitHub Actions-Cache ab. PyPI identifizierte und entfernte die Schadsoftware mithilfe von Trusted Publishing und Sigstore-Transparenzprotokollen schnell. Der Vorfall hob Mängel in den Konfigurationen von API-Token und GitHub-Umgebungen hervor. Der Artikel betont die Bedeutung der Sicherung von Software-Forges und Build-/Release-Workflows und bietet Entwicklern Sicherheitsempfehlungen: Verwendung von Trusted Publishers, Sperren von Abhängigkeiten, Vermeidung unsicherer Muster und Aktivieren der mehrstufigen Authentifizierung.

(blog.pypi.org)

Entwicklung Lieferkettenangriff PyPI-Sicherheit Software-Sicherheit

Racket School 2019: Designen Sie Ihre eigenen Programmiersprachen

2024-12-26

Der Track "Wie man Programmiersprachen designt" der Racket School 2019 bot einen intensiven Einblick in die sprachorientierte Programmierung und den Aufbau von Programmiersprachen mit Racket. Der Lehrplan umfasste Kernkonzepte wie Makroexpansion, Module und Typprüfung, verstärkt durch praktische Laborübungen. Die Teilnehmer bauten einfache Makros und typisierte Sprachen und erlangten so ein praktisches Verständnis der Prinzipien des Sprachdesigns. Vorlesungen und Labore boten eine ausgewogene Lernerfahrung, die in der Fähigkeit gipfelte, eigene Programmiersprachen zu entwerfen und zu bauen.

(school.racket-lang.org)

Entwicklung

Bericht zur Sicherheitsüberprüfung der Mullvad VPN-App 2024 veröffentlicht

2024-12-12

Bericht zur Sicherheitsüberprüfung der Mullvad VPN-App 2024 veröffentlicht

Mullvad VPN hat den Bericht zu seiner externen Sicherheitsüberprüfung der VPN-App aus dem Jahr 2024 veröffentlicht. Der Audit ergab sechs Schwachstellen, die von geringfügig bis hochgradig eingestuft wurden und alle behoben wurden. Drei hochgradige Schwachstellen betrafen Signal-Handler und ein Leck der virtuellen IP-Adresse und wurden in der neuesten Version behoben. Der Audit bemerkte auch einige nicht sicherheitsrelevante Probleme, an deren Behebung Mullvad aktiv arbeitet. Insgesamt gilt die Mullvad VPN-App als sehr sicher, aber Benutzern wird dennoch empfohlen, auf die neueste Version zu aktualisieren.

(mullvad.net)

Technologie VPN-Sicherheit Sicherheitsaudit Schwachstellenbehebung

Massive Anfragen zur Analyse städtischer Daten: Ein großes Data-Science-Projekt

2025-04-13

Diese Liste enthält eine große Anzahl von Anfragen zur Analyse städtischer Daten, die Impfraten, Hochwasser-Risikobewertungen, Korrelationen zwischen Krankheiten und Umweltfaktoren, Akzeptanzraten erneuerbarer Energien, Auswirkungen auf den Verkehr, Wohnungspreise, Kriminalitätsraten, Bildungsfinanzierung, Luftqualität und mehr umfassen. Diese Anfragen erstrecken sich über zahlreiche Stadtteile in mehreren US-amerikanischen Städten und erfordern eine umfassende Datenerhebung und -analyse – ein riesiges Data-Science-Unternehmen.

(askcrystal.info)

Sonstiges

Hochleistungs-Verstärkungslern-Framework für humanoide Roboter

2025-05-18

Ein Hochleistungs-Verstärkungslern-Framework, optimiert für das Training von Lokomotion, Manipulation und realem Einsatz humanoider Roboter, steht bevor. Es bietet hohe Vielseitigkeit für Aufgaben wie Gehen, Tanzen, Hausarbeit und sogar Kochen. Das kommende K-VLA nutzt roboterspezifische Daten im großen Maßstab und eine neuartige Netzwerkarchitektur, um den fähigsten und geschicktesten Roboter zu ermöglichen. Es läuft lokal und lässt sich in andere VLAs wie Pi0.5 und Gr00t integrieren.

(www.kscale.dev)

KI

Seltene transiente leuchtende Ereignisse über dem Himalaya festgehalten

2025-07-06

Seltene transiente leuchtende Ereignisse über dem Himalaya festgehalten

Fotografen haben eine beträchtliche Anzahl seltener transienter leuchtender Ereignisse (TLEs) über dem tibetischen Plateau festgehalten, darunter rote Sprites, sekundäre Jets und Geister. Diese Ereignisse, die oft mit starken Gewittern verbunden sind, sind aufgrund ihrer flüchtigen Natur schwer zu untersuchen. Die Forscher synchronisierten Videos und Fotos mithilfe von Satellitendaten und Sternkarten und verknüpften etwa 70 % der beobachteten Sprites mit ihren mutmaßlichen Blitzen. Diese Forschung unterstreicht den Wert von Amateurbeobachtungen in wissenschaftlichen Entdeckungen und verbessert unser Verständnis von atmosphärischen Phänomenen und schweren Sturmsystemen.

(www.nationalgeographic.com)

Technologie Transiente leuchtende Ereignisse Rote Sprites

← Previous 1 2 … 558 559 560 561 562 563 564 565 566 … 595 596 Next →