Webtagr - Technologienummer

arXivLabs: Experimentelle Projekte mit Community-Mitwirkenden

2025-08-21

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

(arxiv.org)

Entwicklung

Debugging-Views: Zeitersparnis für Programmierer

2025-08-21

Programmiererin Sophie stieß in einem Unison-Projekt auf einen Fehler, der komplexe SQL-Abfragen zur Fehlersuche erforderte. Der Autor stellt eine Lösung vor: das Erstellen von Datenbank-Views zur Straffung des Debugging-Prozesses. Vordefinierte Views verbinden mehrere Tabellen und präsentieren die Daten übersichtlicher, wodurch das wiederholte Schreiben komplexer JOIN-Anweisungen für jede Debugsitzung entfällt. Obwohl dieser Ansatz die Leistung bei bestimmten Abfragen geringfügig beeinträchtigen kann, verbessert er die Debugging-Effizienz deutlich und spart Entwicklungszeit.

(chrispenner.ca)

Entwicklung

D3.js: Die Kunst hinter dem ausführlichen Code

2025-08-21

Das Erlernen von D3.js ist wie das Besteigen eines Berges. Anfangs können der umfangreiche Code und die komplexe Syntax abschreckend wirken; das Zeichnen einer einfachen Linie erfordert eine beträchtliche Codemenge. Der Autor verwendet das Beispiel eines Boxplots – 194 Codezeilen – um die leistungsstarke Flexibilität und Anpassbarkeit von D3.js zu veranschaulichen. D3.js ist nicht nur ein einfaches Zeichenwerkzeug, sondern ein Pinsel, der Entwickler befähigt, Datenvisualisierungs-Kunst zu schaffen, indem er eine präzise Steuerung von SVG-Elementen ermöglicht, um komplexe und einzigartige Visualisierungseffekte zu erzielen und letztendlich die Grenzen von vorgefertigten Tools zu überwinden.

(theheasman.com)

Entwicklung

Lakehouse-Tiering-Strategien: Shared Tiering vs. Materialisierung

2025-08-21

Dieser Artikel untersucht Daten-Tiering-Strategien in Lakehouse-Architekturen. Der direkte Zugriff auf gemeinsam genutzte Tiers birgt Zuverlässigkeitsprobleme; API-Zugriff ist vorzuziehen. Die Datenlebenszyklusverwaltung erfordert einen kanonischen Metadatenservice, der primäre und sekundäre Speicherorte koordiniert. Das Schema-Management sollte vom primären System gesteuert werden, um die Kompatibilität mit dem sekundären Speicher zu gewährleisten. Die Wahl zwischen Shared Tiering und Materialisierung hängt vom Ort der Zusammenfüge-/Konvertierungslogik (Client- oder Server-seitig) und deren jeweiligen Vor- und Nachteilen ab. Bei Client-seitigem Zusammenfügen ist der Unterschied minimal; Server-seitiges Zusammenfügen erfordert eine sorgfältige Berücksichtigung der Metadatenwartung und der Integration der Echtzeitdatenverarbeitung.

(jack-vanlightly.com)

Entwicklung Daten-Tiering Metadatenverwaltung

Common Lisp im Browser ausführen: Fortschritt beim Web Embeddable Common Lisp Projekt

2025-08-21

Das Web Embeddable Common Lisp (WECL) Projekt zielt darauf ab, die Common Lisp Laufzeitumgebung in Webbrowser zu bringen. Das Projekt ermöglicht derzeit die Ausführung von Common Lisp Code über `` Tags und bietet JS-FFI für die Low-Level Interaktion zwischen Common Lisp und JavaScript. Zusätzlich ermöglicht LIME/SLUG die Interaktion mit WECL von Emacs aus. Das Projekt befindet sich jedoch noch in einem frühen Stadium mit Einschränkungen wie unzureichender Thread-Unterstützung und Verbesserungspotenzial bei der Leistung. Zukünftige Pläne umfassen die Portierung auf WASI, um diese Probleme zu beheben.

(turtleware.eu)

Entwicklung

Daemonlose Docker Compose Builds mit Podman, BuildKit und einem Schuss Bakah

2025-08-21

Aufgrund der Inkompatibilität von Docker mit nftables und der Präferenz für einen rootlosen und daemonlosen Ansatz verwendet der Autor Podman, um ein Docker Compose-Projekt zu erstellen. Der Artikel untersucht die Nachteile der Verwendung der offiziellen Docker Compose CLI und von podman-compose und erreicht schließlich Builds unter Podman mithilfe der Docker Compose CLI und BuildKit, indem der Podman-Socket aktiviert und ein Docker-Kontext erstellt wird. Um einen BuildKit-Daemon zu vermeiden, hat der Autor Bakah entwickelt, ein Tool, das Compose-Projekte in Bake-JSON-Dateien konvertiert und Buildah zum Erstellen verwendet, was zu einem vollständig daemonlosen Build-Prozess führt.

(emersion.fr)

Entwicklung

Revitalisieren Sie Ihr Mavericks: Ein altes System neu beleben

2025-08-21

Dieser Leitfaden zeigt Ihnen, wie Sie Ihrem alten OS X Mavericks-System neues Leben einhauchen können. Er umfasst ein einfaches Skript zum Aktualisieren des Systems, das Ersetzen des veralteten Browsers durch einen modernen Firefox (Firefox Dynasty), die Verwendung von Aqua Proxy zur Behebung von HTTPS-Kompatibilitätsproblemen, das Hinzufügen neuer Emojis und das Einrichten von Time Machine-Sicherungen. Der Leitfaden weist die Benutzer auch an, nicht benötigte vorinstallierte Apps wie Chess, iTunes und iBooks zu löschen, um ein personalisiertes Erlebnis zu schaffen. Der gesamte Prozess ist unkompliziert und sorgt dafür, dass Ihr Mavericks-System flüssiger und besser auf Ihre Bedürfnisse zugeschnitten läuft.

(mavericksforever.com)

Entwicklung

Unendlichkeit in CSS: Eine kuriose Reise durch die Browserinterpretationen

2025-08-21

Dieser Artikel untersucht das eigenartige Verhalten des Schlüsselworts `infinity` in CSS-Berechnungsfunktionen. Durch die Anwendung von `infinity` auf Eigenschaften wie `text-indent`, `word-spacing` und `letter-spacing` entdeckt der Autor Inkonsistenzen in der Art und Weise, wie verschiedene Browser unendliche Werte behandeln, obwohl die visuellen Ergebnisse stets zu einem horizontalen Überlauf führen. Noch interessanter ist, dass bei Verwendung mit `z-index` der berechnete Wert von `infinity` auf den maximalen ganzzahligen Wert in allen Browsern begrenzt ist, was zu einer unerwarteten Stapelreihenfolge führt. Schließlich experimentiert der Autor mit `infinity` für die Animationsdauer und stellt fest, dass dies zu extrem langen Zeiträumen führt, die sogar dazu führen, dass Safari die Seite nicht mehr antwortet. Kurz gesagt, das Experiment zeigt die verschiedenen Strategien auf, die Browser beim Umgang mit unendlichen Werten in CSS anwenden, sowie einige überraschende Nebeneffekte.

(meyerweb.com)

Entwicklung

Elegante Dependency Injection in OCaml: Ein objektorientierter Ansatz

2025-08-21

Dieser Artikel untersucht verschiedene Ansätze zur Dependency Injection in OCaml und schlägt eine neue objektorientierte Lösung vor. Der Autor kontrastiert die Nachteile bestehender Methoden, die benutzerdefinierte Effekte und Module als First-Class-Werte verwenden, und argumentiert, dass diese in realen Anwendungen zu umständlich und fehleranfällig sind. Der neue Ansatz nutzt das leistungsstarke Objektmodell von OCaml, wobei Features wie strukturierte Objekttypen und Zeilenvariablen verwendet werden, um eine typsichere Dependency Injection mit einfacher Komposition und Erweiterbarkeit zu erreichen. Der Artikel demonstriert die Eleganz und Wartbarkeit dieses Ansatzes anhand einfacher und komplexerer Beispiele, vergleicht ihn mit anderen Ansätzen und empfiehlt schließlich den objektorientierten Ansatz für einfache Dependency-Injection-Szenarien.

(gr-im.github.io)

Entwicklung Objektmodell

Mysteriöse `d4d4`-Instruktionen in LLD: Kein Trap, sondern bedingter Sprung

2025-08-21

Ein Programmierer entdeckte zahlreiche `d4d4`-Instruktionen in disassembliertem ARM-Code, die stets unerreichbar waren und von LLVM's objdump als relativer Sprung nach -0x58 identifiziert wurden. Experimente und Analysen zeigten, dass diese nicht vom LLVM-Compiler, sondern vom LLD-Linker beim Ausrichten der Grenzen von Objektdateien hinzugefügt wurden. LLD verwendet `d4d4` als Füllmaterial, in der Absicht, dass es sich um eine Trap-Instruktion handelt. Es ist jedoch tatsächlich ein bedingter Sprung, der im Thumb-Instruction-Set als relativer Sprung fungiert. Dies scheint ein Fehler in LLD zu sein; es ist kein echter Trap, der unvorhersehbare Sprünge verursachen kann. Der GNU-Linker verwendet Nullen als Füllmaterial und vermeidet dieses Problem.

(www.nmichaels.org)

Entwicklung

illumos Cafe: Eine weitere gemütliche Ecke für die Vielfalt von Betriebssystemen

2025-08-21

Nach dem Erfolg des BSD Cafés wurde das illumos Cafe-Projekt gestartet. Ähnlich wie das BSD Cafe zielt das illumos Cafe darauf ab, Dienste bereitzustellen, die auf illumos-basierten Betriebssystemen laufen, um deren Benutzerfreundlichkeit zu demonstrieren und die Vielfalt von Open-Source-Betriebssystemen zu fördern. Derzeit hostet es Mastodon- und snac-Instanzen, mit Plänen, die Dienste zu erweitern. Das Projekt verfolgt eine positive und inklusive Philosophie und möchte eine freie und unabhängige Community schaffen, die nicht der Kontrolle großer Technologieunternehmen unterliegt.

(it-notes.dragas.net)

Entwicklung

Pure CSS 3D Engine: Realistische 3D-Welten mit HTML-Elementen bauen

2025-08-21

Ein Entwickler hat monatelang an einer beeindruckenden 3D-Umgebungsdemo gearbeitet, die nur CSS 3D-Transformationen, HTML-Elemente und JavaScript verwendet. Die Demo enthält komplexe Modelle, realistische Beleuchtung und Schatten sowie Kollisionserkennung. Der Artikel beschreibt die technischen Aspekte im Detail, einschließlich der Erstellung von 3D-Objekten aus rechteckigen Elementen, der cleveren Verwendung von Farbverläufen und Canvas für Beleuchtungs- und Schatteneffekte sowie der höhenkartenbasierten Kollisionserkennung. Dies ist nicht nur ein technisches Schaustück, sondern zeigt das immense Potenzial von CSS im Bereich der 3D-Grafik.

(keithclark.co.uk)

Entwicklung 3D-Engine

Tieftauchen in die Architektur von Bluesky: Ein dezentrales soziales Netzwerk im Detail

2025-08-21

Dieser Artikel taucht tief in die Architektur des ATProto-Protokolls ein, das das dezentrale soziale Netzwerk Bluesky antreibt. Er erklärt gründlich Kernkonzepte wie Records, Blobs, Lexicons, DIDs und Handles und beschreibt detailliert, wie Serverkomponenten wie PDS (Personal Data Server), Relay, AppView, Labeller und Feed Generatoren zusammenarbeiten. Der Autor vergleicht ATProto mit dem Fediverse und gibt einen Überblick über relevante SDKs, Dokumentation und Community-Ressourcen. Dies bietet Entwicklern einen umfassenden Leitfaden zum Verständnis und zur Mitarbeit am Bluesky-Ökosystem.

(mackuba.eu)

Entwicklung

Zedless: Ein privacy-freundlicher, lokal-first Fork von Zed

2025-08-21

Zedless ist ein Work-in-Progress-Fork von Zed, der Datenschutz und lokale Priorität in den Vordergrund stellt. Es entfernt die Abhängigkeit von proprietären Cloud-Diensten, Telemetrie und automatischer Fehlerberichterstattung. Es betont die Eigeninfrastruktur und ermöglicht es Benutzern, Anbieter für Netzwerkdienste zu konfigurieren (ohne Standardwerte und standardmäßig deaktiviert). Wichtig ist, dass es keine Contributor License Agreements erfordert und die korrekte Lizenzierung aller Drittanbieter-Abhängigkeiten sicherstellt.

(github.com)

Entwicklung lokal-first

Formalisierung des Fermatschen Letzten Satzes in Lean: Ein kollaboratives Open-Source-Projekt

2025-08-21

Eine internationale Zusammenarbeit unter der Leitung von Kevin Buzzard unternimmt den ehrgeizigen Versuch, den Fermatschen Letzten Satz formal mit dem Lean-Theorembeweiser zu beweisen. Finanziert vom britischen Engineering and Physical Sciences Research Council und gehostet am Imperial College London, erweitert dieses Projekt die Grenzen der Verifikation mathematischer Beweise. Durch die Verwendung eines Computers zur Überprüfung des Beweises erforscht das Projekt das Potenzial der Formalisierung und automatisierten Verifikation in der Mathematik mit Auswirkungen auf zukünftige Forschung.

(imperialcollegelondon.github.io)

Entwicklung Lean Theorembeweiser

SimpleIDE: Professionelle VB.NET-Entwicklung für Linux

2025-08-21

SimpleIDE ist eine leichtgewichtige, professionelle VB.NET-IDE, die mit GTK# 3 unter Linux und .NET 8.0 entwickelt wurde. Sie bietet eine moderne Entwicklungsumgebung für VB.NET-Projekte mit mehrzeiliger Registerkartenbearbeitung, Syntaxhervorhebung, intelligenter Codevervollständigung, integriertem Build-System, Debugging-Funktionen und Unterstützung durch Claude AI. SimpleIDE verfügt außerdem über Git-Integration, anpassbare Themes und umfangreiche Tastaturkürzel. Dieses Open-Source-Projekt freut sich über Beiträge.

(github.com)

Entwicklung

Python f-string Spickzettel: String-Formatierung meistern

Dieser Artikel untersucht die Bewegung von Objekten im dreidimensionalen Raum, insbesondere entlang einer sphärischen Helixbahn. Beginnend mit einer einfachen Kreisbewegung erklärt der Autor, wie Sinus- und Kosinusfunktionen die x-, y- und z-Koordinaten eines Objekts steuern können, um Spiralen und komplexere Trajektorien zu erzeugen. Das Kernkonzept ist die Verwendung parametrischer Gleichungen, die die 3D-Position des Objekts als Funktion der Zeit definieren. Was als komplexe dynamische Effekte erscheint, leitet sich letztendlich von einfachen mathematischen Funktionen ab.

(visualrambling.space)

Entwicklung

OCaml-Editor erhält ein großes Update: Leistungsstarke Refactoring-Funktionen

2025-08-20

Während meines Praktikums habe ich dem OCaml-Compiler Merlin leistungsstarke Refactoring-Funktionen hinzugefügt, beginnend mit der Funktion "Ausdruck an die oberste Ebene extrahieren". Diese Funktion extrahiert ausgewählte Ausdrücke in neue `let`-Bindungen, unterstützt Konstanten und Ausdrücke (einschließlich solcher, die Variablen verwenden), und behandelt die Reinheitsprobleme von OCaml intelligent. Implementiert über das Language Server Protocol (LSP) mit Code-Action- und benutzerdefinierten Request-Interaktionsmethoden, befindet sich die Funktion in PRs und wird bald zusammengeführt. Dies ist ein wichtiger Schritt in Richtung einer IntelliJ-ähnlichen Editor-Erfahrung für OCaml, mit Plänen für weitere Refactoring-Tools in der Zukunft.

(tarides.com)

Entwicklung

Category: Entwicklung