Webtagr - Technologienummer

Beliebte Tags：

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

Compiler Explorer: 92 Millionen Kompilierungen pro Jahr – und immer noch stark

2025-06-08

Compiler Explorer, die Online-Plattform zur Erkundung von Compilern, verarbeitet jährlich beeindruckende 92 Millionen Kompilierungen. Dieser Artikel taucht tief in die Architektur ein, vom Monaco-Editor-Frontend und dem Load Balancer/CloudFront bis zum sicheren Sandboxing mit nsjail. Um diese massive Arbeitslast zu bewältigen, nutzt es das automatische Skalieren von AWS und verfügt über fast 4 TB an über 3000 Compiler-Versionen, die 81 Programmiersprachen unterstützen. Der Autor beschreibt die Herausforderungen und Lösungen in den Bereichen Sicherheit, Versionsverwaltung, plattformübergreifende Unterstützung (Windows, ARM und GPU) und Kostenoptimierung und zeigt die Entwicklung von einem Wochenendprojekt zu einer robusten Plattform, die Tausende von Entwicklern bedient.

(xania.org)

Entwicklung

Die überraschend komplexe Geschichte des Wortes „Mainframe“

2025-02-01

Die überraschend komplexe Geschichte des Wortes „Mainframe“

Dieser Artikel untersucht die unerwartete Entwicklung des Begriffs „Mainframe“. Ursprünglich bezog er sich auf die physischen Rahmen früher Computer wie den IBM 701, seine Bedeutung veränderte sich im Laufe der Zeit. Er wurde zum Synonym für die CPU und schließlich zu seiner modernen Definition: ein großer, leistungsstarker Computer für die Transaktionsverarbeitung oder Geschäftsanwendungen. Der Artikel erforscht diesen semantischen Wandel, analysiert die Auswirkungen von Minicomputern und Mikrocomputern, die Rolle von IBM bei der Popularisierung des Begriffs und seine letztliche weitverbreitete Akzeptanz.

(www.righto.com)

Technologie Mainframe Fachterminologie

Mathesar: Open-Source Tabellenkalkulations-Interface für Postgres

2025-01-30

Mathesar: Open-Source Tabellenkalkulations-Interface für Postgres

Mathesar ist eine Open-Source-Anwendung mit einer intuitiven, Tabellenkalkulations-ähnlichen Oberfläche zum Anzeigen, Bearbeiten und Abfragen von Postgres-Daten. Benutzer aller technischen Kenntnisstufen können direkt an ihren Daten zusammenarbeiten. Es ist zu 100 % Open Source, selbst gehostet und nutzt die native Postgres-Zugriffskontrolle für Sicherheit. Mathesar zeichnet sich durch einfache Installation (über Docker), Skalierbarkeit für beliebige Datenmengen und nahtlose Integration in bestehende Infrastrukturen aus. Die benutzerfreundliche Oberfläche vereinfacht die Datenbankinteraktion, während robuste Sicherheitsfunktionen den Datenschutz gewährleisten.

(github.com)

Entwicklung

arXivLabs: Experimentelle Projekte mit Community-Mitwirkenden

2025-02-18

arXivLabs ist ein Framework, das es Mitwirkenden ermöglicht, neue arXiv-Funktionen direkt auf unserer Website zu entwickeln und zu teilen. Sowohl Einzelpersonen als auch Organisationen, die mit arXivLabs zusammenarbeiten, haben unsere Werte von Offenheit, Community, Exzellenz und Datenschutz der Benutzerdaten angenommen und akzeptiert. arXiv engagiert sich für diese Werte und arbeitet nur mit Partnern zusammen, die sich an diese halten. Haben Sie eine Idee für ein Projekt, das der arXiv-Community einen Mehrwert bietet? Erfahren Sie mehr über arXivLabs.

(arxiv.org)

Entwicklung

Korrektheit von Memoisierung in Lean beweisen: Eine Fallstudie

2025-06-20

Korrektheit von Memoisierung in Lean beweisen: Eine Fallstudie

Dieser Blogbeitrag zeigt, wie man ein dynamisches Programmierproblem mithilfe von Memoisierung im Lean-Theorembeweiser löst und seine Korrektheit formal verifiziert. Der Autor behandelt das Problem der Bytelandianischen Goldmünzen und präsentiert zunächst eine memorierte Lösung unter Verwendung eines HashMap. Die Schwierigkeit, seine Korrektheit direkt zu beweisen, wird hervorgehoben, da das Schließen über Datenstrukturinvarianten herausfordernd ist. Die Lösung verwendet Subtypen und abhängige Paare, um ein `PropMap` zu erstellen, eine Memoisierungstabelle, die nicht nur berechnete Werte, sondern auch Beweise für ihre Korrektheit speichert. Die Korrektheit des Algorithmus wird dann inkrementell innerhalb der rekursiven Implementierung selbst bewiesen, was zu einem trivialen Beweis auf oberster Ebene führt. Dieser Ansatz verbindet elegant Code und Beweis und zeigt eine leistungsstarke Technik zur formalen Verifizierung von Algorithmen der dynamischen Programmierung.

(tannerduve.github.io)

Entwicklung dynamische Programmierung

Browser MCP: Lokale Browserautomatisierung

2025-04-07

Browser MCP ist ein Tool für die lokale Browserautomatisierung, das Geschwindigkeit, Sicherheit und Benutzerfreundlichkeit priorisiert. Die Automatisierung erfolgt lokal, was zu einer höheren Leistung ohne Netzwerklatenz führt und Ihre Browseraktivitäten privat hält – keine Daten werden an entfernte Server gesendet. Es verwendet Ihr vorhandenes Browserprofil, wodurch Sie bei allen Diensten angemeldet bleiben, und umgeht Bot-Erkennung und CAPTCHAs durch die Verwendung Ihres echten Browser-Fingerabdrucks.

(browsermcp.io)

Entwicklung

Druckluft-Aufladung: Die nächste große Sache im Drag Racing?

2025-04-07

Druckluft-Aufladung: Die nächste große Sache im Drag Racing?

Drag-Racer ersetzen Turbos und Kompressoren durch eine neue Technologie: die Druckluft-Aufladung (CAS). CAS verwendet Hochdruckluft zur Aufladung von Motoren, ohne Motorleistung zu verbrauchen und extrem kalte, dichte Luft für überlegene Leistung und Effizienz im Vergleich zu traditionellen Methoden zu liefern. Von Dale Vaznaian entwickelt, gewinnt CAS an Popularität bei Racern wie Tina Pierce und Ryan Mitchell, die beeindruckende Ergebnisse erzielen. Obwohl noch in der Anfangsphase, ist das Potenzial unbestreitbar und verspricht eine Revolution in der Leistung des Drag Racings.

(www.thedrive.com)

Technologie Druckluft-Aufladung

Nintendo gibt zu, dass Emulatoren technisch legal sind, aber Entwickler sollten vorsichtig sein

2025-01-16

Ein hoher Nintendo-Manager gab zu, dass Emulatoren technisch legal sind. Jedoch sind Emulatoren, die technische Schutzmaßnahmen einer Konsole umgehen, urheberrechtlich geschützte Programme reproduzieren oder Benutzer zu Raubkopien leiten, illegal. Nintendos frühere aggressive Aktionen gegen mehrere Emulator-Projekte lassen sich jetzt mit dieser Aussage erklären, die den Fokus auf den Schutz von Entwicklern und Urheberrechten hervorhebt.

(www.androidauthority.com)

Spiele Emulatoren

Argentinische Nagetiere gedeihen in Dubaier Oase

2024-12-19

Argentinische Nagetiere gedeihen in Dubaier Oase

Eine überraschende Population von Patagonischen Maras, kaninchenartigen Nagetieren aus Argentinien, hat sich in der Oase Al Qudra Lakes außerhalb Dubais etabliert. Diese langbeinigen Tiere mit großen Ohren durchstreifen nun die Wüstenlandschaft, die normalerweise Gazellen beheimatet. Ihre Ankunft bleibt ein Rätsel, möglicherweise entlaufene Haustiere wohlhabender Besitzer. Trotz des harten Wüstenklimas bietet die Oase einen geeigneten Lebensraum, und das Fehlen natürlicher Fressfeinde hat es den Maras ermöglicht, über mehrere Jahre hinweg zu gedeihen und sich fortzupflanzen. Die blühende Population deutet auf eine erfolgreiche Anpassung und Fortpflanzung in ihrer unerwarteten Umgebung hin.

(apnews.com)

Sonstiges Patagonische Mara Wildtiere

USA beschränken Schweizer Zugang zu KI-Chips: Technologischer Kalter Krieg?

2025-01-27

USA beschränken Schweizer Zugang zu KI-Chips: Technologischer Kalter Krieg?

Die USA haben die Schweiz vom uneingeschränkten Zugriff auf KI-Computerchips ausgeschlossen, was zu Kritik von Schweizer Wirtschaftsminister Guy Parmelin geführt hat. Dieser Schritt beschränkt den Zugang Schweizer Hochschulen und Unternehmen zu diesen wichtigen Komponenten und stuft die Schweiz in eine Kategorie mit eingeschränkten Importen ein. Parmelin erklärte, dies sei unverständlich, da die ETH Zürich diese Chips für Innovationen nutzt, die für die USA von entscheidender Bedeutung sind, was für Amerika ein mögliches Eigentor darstellen könnte. Verhandlungen laufen, um uneingeschränkten Zugang zu erhalten. Ziel der USA ist es, Konkurrenten, insbesondere China, daran zu hindern, diese Technologie zu erhalten und Exportbeschränkungen zu umgehen. Zusätzlich wird Trumps Ankündigung, auf die globale Mindeststeuer zu verzichten, Folgen für die Schweiz haben und Bund, Kantone und Unternehmen betreffen. Die Schweizer Regierung wird Gegenmaßnahmen prüfen.

(www.bluewin.ch)

Technologie technologischer Kalter Krieg Handelsbeschränkungen

Optoelektronische neuronale Netze: Ein Aufbruch für das Post-Mooresche-Gesetz-Rechnen?

2025-04-10

Optoelektronische neuronale Netze: Ein Aufbruch für das Post-Mooresche-Gesetz-Rechnen?

Dieser Überblick fasst die rasante Entwicklung optoelektronischer neuronaler Netze der letzten Jahre zusammen, von den bahnbrechenden Arbeiten im Deep Learning bis hin zu den neuesten Fortschritten beim Aufbau von großskaligen neuronalen Netzen mit photonischen Bauelementen. Forscher haben verschiedene Methoden des optischen Rechnens erforscht, darunter kohärente nanophotonische Schaltungen, diffraktive tiefe neuronale Netze und photoelektrische Multiplikation zur Implementierung von Deep Learning. Diese Studien haben nicht nur Durchbrüche in der Bilderkennung und in StarCraft erzielt, sondern bieten auch neue Möglichkeiten, die Grenzen des Mooreschen Gesetzes zu überwinden und neue Wege für das Rechnen nach dem Mooreschen Gesetz zu erkunden.

(www.nature.com)

Technologie optoelektronische neuronale Netze photonisches Rechnen Post-Mooresches Gesetz

Game Boy Sounds mit der Web Audio API nachbilden: Fourier-Reihe vs. Wave Shaper

2025-04-07

Bei der Entwicklung eines webbasierten Game Boy Musik-Trackers stand der Autor vor der Herausforderung, die charakteristischen quadratischen Wellen der Game Boy Sounds originalgetreu nachzubilden. Die Impulskanäle des Game Boy unterstützten variable Tastverhältnisse, aber der OscillatorNode der Web Audio API bietet nur eine quadratische Welle mit einem Tastverhältnis von 50 %. Der Artikel untersucht zwei Lösungsansätze: die Erzeugung einer benutzerdefinierten Wellenform mithilfe der Fourier-Reihe und die Formgebung einer Sägezahnwelle mit einem WaveShaperNode. Der Ansatz mit der Fourier-Reihe bietet höhere Genauigkeit, ist aber rechenintensiv; die WaveShaperNode-Methode ist einfacher, kann aber Rauschen erzeugen. Der Autor bevorzugt letztendlich den WaveShaperNode-Ansatz aufgrund seiner Einfachheit und seiner Fähigkeit, einen authentischeren Game Boy Sound zu erzeugen.

(www.danblack.co)

Entwicklung Sound Synthese

Lyon verabschiedet sich von Microsoft und setzt auf Open Source für digitale Souveränität

2025-06-25

Lyon verabschiedet sich von Microsoft und setzt auf Open Source für digitale Souveränität

Die Stadt Lyon ersetzt schrittweise Microsoft-Software durch Open-Source-Alternativen wie OnlyOffice, Linux und PostgreSQL, um die Abhängigkeit von US-amerikanischen Lösungen zu verringern und die digitale Souveränität zu stärken. Die Stadt nutzt dafür die Software-Suite "Territoire Numérique Ouvert", die in Zusammenarbeit mit SITIV und der Metropole Lyon entwickelt wurde und bereits von Tausenden von Mitarbeitern in neun lokalen Verwaltungen eingesetzt wird.

(digitrendz.blog)

Technologie

Ist Atlas Shrugged der neue Trend?

2025-01-18

Ist Atlas Shrugged der neue Trend?

Diese Podcast-Diskussion befasst sich mit dem überraschenden Wiederaufleben von Ayn Rands Atlas Shrugged. Zwei Gäste analysieren die spannende Handlung des Romans, seine einprägsamen Charaktere und seine scharfsinnigen Kommentare zu aktuellen gesellschaftlichen Problemen. Sie argumentieren, dass Atlas Shrugged über seinen Ruf als politisches Manifest hinausgeht und eine nuancierte Erkundung von Rationalität, individuellen Erfolgen und sozialer Verantwortung bietet, die ihn auch heute noch relevant macht. Das Gespräch beleuchtet die anhaltende Anziehungskraft des Romans und seinen Einfluss auf prominente Persönlichkeiten in der Technologie- und Politikwelt.

(www.commonreader.co.uk)

Sonstiges Romananalyse

Neue API: Vollständige Backends für Agents

2025-07-17

Neue API: Vollständige Backends für Agents

Die Softwareentwicklung betritt mit dem Aufkommen von KI-Agenten eine neue Phase. Dieser Beitrag kündigt eine neue API an, die vollständige Backend-Dienste für Agents bereitstellt, darunter Datenbanken, Synchronisations-Engines, Authentifizierung, Dateispeicher und Präsenz. Die API wurde entwickelt, um die Anwendungsentwicklung zu vereinfachen und nutzt integrierte Abstraktionen, effizientes Hosting und Datenexposition für höhere Produktivität. Die Multi-Tenant-Architektur ermöglicht die schnelle Erstellung zahlreicher Datenbanken, senkt die Kosten und unterstützt verschiedene Isolationsstrategien zur Optimierung der Ressourcennutzung. Das endgültige Ziel ist es, sowohl Entwicklern als auch KI-Agenten zu ermöglichen, Anwendungen einfacher zu erstellen und bereitzustellen, wobei Datenbank-ähnliche Abstraktionen die Erweiterbarkeit der Anwendung ermöglichen.

(www.instantdb.com)

Entwicklung vollständiges Backend

Russisch unterstützte Hacker knacken verschlüsselte Messenger-Dienste

2025-02-22

Russisch unterstützte Hacker knacken verschlüsselte Messenger-Dienste

Die Google Threat Intelligence Group hat enthüllt, dass russisch unterstützte Hackergruppen Techniken entwickelt haben, um verschlüsselte Messenger-Dienste wie Signal, WhatsApp und Telegram zu kompromittieren. Journalisten, Politiker und Aktivisten sind dadurch gefährdet. Die Angriffe nutzen die Signal-Funktion „Verknüpfte Geräte“ mit bösartigen QR-Codes aus, greifen Schlachtfeld-Handys an und setzen Phishing-Websites ein. Diese Angriffe sind schwer zu erkennen und können lange unentdeckt bleiben. Signal hat Sicherheitsverbesserungen implementiert, aber Benutzer sollten wachsam bleiben und verdächtige Links vermeiden.

(www.computerweekly.com)

Technologie verschlüsselte Nachrichten

1,2 Millionen Jahre alter Eisbohrkern aus der Antarktis geborgen

2025-01-10

1,2 Millionen Jahre alter Eisbohrkern aus der Antarktis geborgen

Ein internationales Wissenschaftlerteam hat eine bahnbrechende Leistung vollbracht, indem es fast 2 Meilen (2,8 Kilometer) tief in den antarktischen Fels gebohrt und einen der ältesten je entdeckten Eisbohrkerne geborgen hat – mindestens 1,2 Millionen Jahre alt. Das von Italien koordinierte Beyond EPICA-Projekt umfasste vier Jahre Bohrungen bei durchschnittlichen Temperaturen von -35°C (-25,6°F). Die Analyse dieses alten Eises wird voraussichtlich entscheidende Informationen über die Entwicklung der Erdatmosphäre und des Klimas liefern und Aufschluss über Eiszeitzyklen und den Einfluss von atmosphärischem Kohlenstoff auf den Klimawandel geben. Diese Entdeckung liefert unschätzbare Daten, um die aktuelle Klimakrise zu verstehen und zu bewältigen.

(apnews.com)

Technologie Antarktis Eisbohrkern

Vom Transistor zum Browser: Bau eines Computersystems von Grund auf

2025-05-06

Vom Transistor zum Browser: Bau eines Computersystems von Grund auf

Dieser Kurs verfolgt einen radikalen Ansatz in der Informatikausbildung. Die Studierenden bauen ein vollständiges Computersystem von Grund auf, beginnend mit Verilog zum Blinken einer LED und endend mit einem einfachen Betriebssystem und einem textbasierten Webbrowser. Der Lehrplan umfasst FPGA-Programmierung, Compilerdesign und Betriebssystementwicklung und gipfelt in der Ausführung des Systems auf kundenspezifischer Hardware. Diese herausfordernde, aber lohnende Reise ist perfekt für diejenigen, die ein tiefes, prinzipienbasiertes Verständnis der Informatik suchen.

(github.com)

Hardware Computersysteme

Verwenden Sie nicht die veraltete EBNF-Spezifikation ISO/IEC 14977:1996!

2025-05-19

Dieser Aufsatz rät dringend davon ab, die EBNF-Spezifikation ISO/IEC 14977:1996 zu verwenden, da sie zahlreiche Mängel aufweist. Der Autor beschreibt die Schwächen der Spezifikation, darunter die fehlende Unterstützung für Unicode-Zeichen, Zeichenbereiche und die gängige reguläre Ausdrucksyntax sowie die umständliche Notation für "ein oder mehrere". Der Autor argumentiert, dass die Spezifikation schwer zu verstehen ist, schlecht lesbar ist und nicht mehr mit modernen Softwareentwicklungspraktiken übereinstimmt. Im Gegensatz dazu wird die EBNF-Spezifikation des W3C als prägnantere, benutzerfreundlichere und kompatibelere Alternative präsentiert. Der Autor merkt auch an, dass das blinde Befolgen von ISO-Standards nicht immer richtig ist; die Wahl des am besten geeigneten Tools ist wichtiger, als sich von veralteten Standards einschränken zu lassen.

(dwheeler.com)

Entwicklung

Der Wiederaufbau der Ukraine: Vom sowjetischen Wohnungsbau zu modernen, kriegsresistenten Städten

2025-05-19

Der Wiederaufbau der Ukraine: Vom sowjetischen Wohnungsbau zu modernen, kriegsresistenten Städten

Die Geschichte von Yurii Semenenko, einem ukrainischen Ingenieur, dessen Haus in Charkiw zweimal durch russische Angriffe zerstört wurde, unterstreicht die verheerenden Auswirkungen des Krieges auf Zivilisten. Dieser Artikel geht jedoch über die Zerstörung hinaus und erforscht die Möglichkeiten des Wiederaufbaus nach dem Krieg. Die Verwundbarkeit der sowjetischen Fertigbauweise, die für das moderne Leben und die Kriegsbedingungen ungeeignet ist, wird aufgezeigt, was zu einer Neubewertung der Stadtplanung führt. Der Artikel behandelt auch den Tod von Chris Garrett, einem Minenräumungsinstruktor, und die Erforschung von sichereren und integrativeren Stadtdesigns durch die Ukraine, darunter modulare und 3D-gedruckte Häuser und unterirdische Infrastrukturen. Die Erzählung unterstreicht das Potenzial des Krieges, lang überfällige Veränderungen zu katalysieren.

(www.counteroffensive.news)

Technologie Nachkriegswiederaufbau Sowjetische Architektur

Massenausfall der Google Cloud API: Kaskadeneffekt durch Nullzeiger-Ausnahme

2025-06-14

Am 12. Juni erlitten Google Cloud und Google Workspace Produkte einen großflächigen Ausfall aufgrund einer Häufung von 503 Fehlern bei externen API-Anfragen. Die Ursache war ein neues Feature im Service Control System, dem eine angemessene Fehlerbehandlung und Feature-Flag-Protection fehlte, was zu einer Nullzeiger-Ausnahme und einem Kaskadeneffekt führte. Eine Policy-Änderung mit ungültigen Feldern aktivierte diesen Fehler, was zu einer globalen Serviceunterbrechung führte. Google behob das Problem schnell, aber einige Regionen (wie us-central-1) erlebten aufgrund von Überlastung der Infrastruktur eine längere Wiederherstellung. Der Vorfall zeigte Probleme bei Googles Fehlerbehandlung, der Verwendung von Feature-Flags, der Modularität der Systemarchitektur sowie bei der Überwachung und Kommunikation, was zu dem Versprechen führte, umfassende Verbesserungen zu implementieren, um Wiederholungen zu vermeiden.

(status.cloud.google.com)

Technologie API-Ausfall Serviceunterbrechung

Little Snitchs Geheimwaffe: Präzise Steuerung des Safari-Such-Assistenten

2025-01-24

Bei der Konfiguration von Little Snitch auf einem neuen Mac stellte der Autor fest, dass der Such-Assistent-Prozess von Safari heimlich eine Verbindung zu Googles ssl.gstatic.com herstellte. Das Ändern der Suchmaschine oder das Blockieren der Verbindung funktionierte, aber Letzteres beeinträchtigte die Gmail-Authentifizierung. Die Lösung? Eine clevere Little Snitch-Regel mit der Funktion „via“, die nur die Verbindung des Such-Assistenten blockiert, während Safari selbst weiterhin erlaubt ist. Dies zeigt eine leistungsstarke, wenig bekannte Funktion. Es beleuchtet einen subtilen, aber wichtigen Aspekt der Hintergrundkommunikation zwischen Browser und Suchmaschine.

(lapcatsoftware.com)

Entwicklung

Validierung globaler rasterbasierter Bevölkerungsdatensätze mithilfe von Daten zur Umsiedlung aufgrund von Staudämmen

2025-03-21

Validierung globaler rasterbasierter Bevölkerungsdatensätze mithilfe von Daten zur Umsiedlung aufgrund von Staudämmen

Forscher bewerteten die Genauigkeit von fünf globalen rasterbasierten Bevölkerungsdatensätzen (GWP, GRUMP, GHS-POP, LandScan und WorldPop) bei der Vorhersage ländlicher Bevölkerung mithilfe von Daten aus der Datenbank der Internationalen Kommission für große Talsperren (ICOLD). Sie überlagerten räumlich die Umsiedlungsdaten von 307 Stauseen mit den Bevölkerungsdatensätzen und deckten systematische Verzerrungen auf. Die Studie verbesserte die Vorhersagegenauigkeit durch Anpassung von Flächenverzerrungen in GeoDAR-Stausee-Polygonen. Die Ergebnisse zeigten, dass diese Datensätze trotz vorhandener Verzerrungen eine angemessene Genauigkeit bei der Vorhersage ländlicher Bevölkerung bieten und wertvolle Erkenntnisse für zukünftige Forschung liefern.

(www.nature.com)

Technologie Bevölkerungsdaten Umsiedlung durch Staudämme

Typst 0.13 veröffentlicht: Verbesserte tägliche Benutzererfahrung und experimenteller HTML-Export

2025-02-19

Typst 0.13 veröffentlicht: Verbesserte tägliche Benutzererfahrung und experimenteller HTML-Export

Typst 0.13 konzentriert sich auf die Verbesserung der täglichen Benutzererfahrung, behebt zahlreiche langjährige Fehler und erhöht die Flexibilität. Am aufregendsten ist die Einführung einer experimentellen HTML-Exportfunktion. Updates beinhalten: Verbesserungen an semantischen Absätzen für flexiblere Absatzeinrückungen; verbesserte Gliederungsformatierung für bessere Ästhetik und Anpassung; eine neue `curve`-Funktion zur Vereinfachung des Zeichnens von Bézierkurven; verbesserte Datei- und Byte-Verarbeitung mit direkter Unterstützung für Rohbyte-Daten; optimierter Workflow für die Bilderzeugung mit Unterstützung für unkomprimierte Rohpixel-Daten; verbesserte Plugin-Leistung durch Multithreading; eine Korrektur für das Styling von Einzelbuchstaben-Strings in mathematischen Formeln; hinzugefügte Schriftartenabdeckungskontrolle für eine bessere Typografie gemischter Schriften; eine neue `pdf.embed`-Funktion zum Einbetten von Dateien in PDFs; und experimenteller HTML-Export für eine semantisch reiche HTML-Ausgabe aus Typst-Dokumenten.

(typst.app)

Entwicklung HTML-Export

TikTok kurzzeitig offline, dann wieder online: Ein Balanceakt per Präsidialerlass

2025-01-19

TikTok kurzzeitig offline, dann wieder online: Ein Balanceakt per Präsidialerlass

Am 18. Januar trat ein US-Gesetz in Kraft, das TikTok verbietet, was zu einem kurzzeitigen Ausfall der App führte. Apple und Google entfernten TikTok auch aus ihren App Stores. Der gewählte Präsident Trump erließ jedoch ein Dekret, das das Verbot aussetzt und TikTok’s Muttergesellschaft ByteDance mehr Zeit gibt, einen genehmigten Käufer zu finden. Diese Maßnahme, nach der Wiederherstellung des TikTok-Dienstes, löste eine breite Debatte über nationale Sicherheit, Meinungsfreiheit und den politischen Einfluss von Technologieunternehmen aus.

(apnews.com)

Technologie

React Hydration-Fehler beim Server-Side Rendering: Ursachen und Lösungen

2025-04-06

React Hydration-Fehler beim Server-Side Rendering: Ursachen und Lösungen

Dieser Artikel befasst sich mit häufig auftretenden Hydration-Fehlern beim Server-Side Rendering (SSR) von React. Anhand eines einfachen React/Express-Beispiels wird gezeigt, wie Hydration-Fehler entstehen: wenn der vom Server gerenderte HTML-Code nicht mit der Komponentenstruktur übereinstimmt, die React während der clientseitigen Hydration erwartet. Der Artikel erklärt detailliert den Unterschied zwischen `hydrateRoot` und `createRoot` und bietet verschiedene Lösungsansätze, darunter die Überprüfung der Konsistenz zwischen Server- und Client-Rendering, die Behandlung browser-spezifischer APIs und die Verwendung von `useEffect`, um das Rendering vor dem Abschluss der Hydration zu verhindern. Es wird auch die Bedeutung der Vermeidung ungültigen HTML-Codes und der Behandlung browser-spezifischer Aspekte wie localStorage hervorgehoben. Das Ziel ist letztendlich, ein konsistentes Rendering auf Server- und Client-Seite zu gewährleisten, um Hydration-Fehler zu vermeiden und die Benutzererfahrung zu verbessern.

(www.propelauth.com)

Entwicklung

xdg-ninja: Schutz Ihres $HOME-Verzeichnisses

2025-03-06

xdg-ninja: Schutz Ihres $HOME-Verzeichnisses

xdg-ninja ist ein leistungsstarkes Shell-Skript, das Ihr $HOME-Verzeichnis auf unerwünschte Dateien und Verzeichnisse überprüft. Es nutzt XDG-Basisverzeichnis-Spezifikationen aus dem Arch Wiki, antidot und Community-Beiträgen und leitet Sie an, diese Dateien an die richtigen Stellen zu verschieben. Es lässt sich einfach mit einfachen Befehlen ausführen und bietet detaillierte Anweisungen zur Umlagerung. Mehrere Installationsmethoden werden unterstützt, darunter das Klonen von GitHub, die Verwendung von Nix oder über Homebrew. Ein zusätzliches Tool, xdgnj, automatisiert die Generierung und Verwaltung von Konfigurationsdateien und vereinfacht so die Benutzererfahrung.

(github.com)

Entwicklung Verzeichnisverwaltung XDG-Standard

5 Schritte zur N-Körper-Simulation: Ein Python-Tutorial

2025-05-12

Diese Tutorial-Reihe bringt Anfängern bei, wie man schnellen und sauberen Code für N-Körper-Gravitationssimulationen in Python schreibt, inspiriert von dem Kurs "CFD Python: 12 Schritte zu Navier-Stokes". Jeder Schritt bietet detaillierte Erklärungen und vollständigen Code, wobei die Leser dazu angehalten werden, den Code umzuschreiben, um ein besseres Verständnis zu erhalten. Selbst mit grundlegenden Kenntnissen in Python und Kalkül können Anfänger folgen. Nach Abschluss können Sie Ihre eigene N-Körper-Simulation erstellen und verwandte Projekte erkunden.

(alvinng4.github.io)

Entwicklung N-Körper-Simulation

Ann: Ein dezentraler Annotationsserver zur Stärkung von Anwendungen

2025-05-20

Ann ist eine minimale, auf ActivityPub basierende dezentrale Social-Media-Plattform, die um Web-Annotationen herum aufgebaut ist – im Wesentlichen Kommentare, Empfehlungen oder Likes zu beliebigen Inhalten. Es ist keine eigenständige Webseite, sondern ein Server, der für die Integration in andere Anwendungen entwickelt wurde. Stellen Sie sich Kommentarbereiche in Gemini-Browsern, private Systeme zur Annotation von Forschungsarbeiten, Artikel-Empfehlungsfeeds, Browser-Plugins zum Hinzufügen und Anzeigen von Kommentaren im gesamten Web oder sogar Trainingsdatensätze für KI vor. Anns Vision ist ein Web, das unabhängig von JavaScript und Trackern ist und Anwendungen mit Annotationsfunktionen ausstattet, wodurch Benutzern Wahlmöglichkeiten, Datenschutz und Kontrolle über ihren Konsum von Inhalten geboten werden.

(mccd.space)

Entwicklung Web-Annotation

Delicious Library im Jahr 2025 neu erschaffen?

2025-01-29

Der Autor, ein langjähriger Bewunderer des Designs von Delicious Library seit den frühen 2000er Jahren, beschreibt mehrere Versuche, seine Funktionalität als Webanwendung neu zu erstellen. Von internen Tools wie Code Helper bis hin zu unabhängigen Projekten wie catalog.im und verschiedenen Designkonzepten spiegelt die Reise des Autors ein hartnäckiges Streben wider. Der Artikel endet mit einem Vorschlag für eine neue webbasierte Delicious Library und bittet den Leser um Feedback, wodurch eine Diskussion über die Verschmelzung nostalgischen Software-Designs mit modernen Webanwendungen angeregt wird.

(dingyu.me)

Design

← Previous 1 2 … 435 436 437 438 439 440 441 442 443 … 595 596 Next →