Webtagr - Technologienummer

Alonzo-Church-Award 2025: Vereinheitlichung der Lambda-Kalkül-Forschung

2025-06-23

Paul Blain Levy erhielt den Alonzo-Church-Award 2025 für seine bahnbrechende Arbeit am Call-by-Push-Value (CBPV)-Kalkül. Seine Forschung vereinte die getrennten Forschungszweige des reinen logischen und des angewandten Lambda-Kalküls mit Effekten. CBPV dient als vereinheitlichendes Framework für die Untersuchung von rechnerischen und logischen Phänomenen, darunter Effekte, Polarisierung, Termnormalisierung, Typisomorphismen und Programmtransformationen. Levys Beiträge umfassen algebraische Datentypen, operationelle Semantik, denotationale Semantik und Gleichungstheorien und bringen die semantische Theorie des Lambda-Kalküls und ihre Anwendung auf die Modellierung von Programmiersprachen deutlich voran.

(siglog.org)

Entwicklung Alonzo-Church-Award

Polystate: Kompositionelle endliche Zustandsautomaten in Zig

2025-06-23

Polystate ist eine Zig-Bibliothek zum Erstellen von kompositionellen endlichen Zustandsautomaten durch Typenkomposition. Sie erzwingt Programmierkonventionen, zeichnet den Zustand des Zustandsautomaten auf Typ-Ebene auf und erreicht Komposition durch Typenkomposition. Dies verbessert die Korrektheit imperativer Programmstrukturen und fördert das Neugestalten des Programmzustands aus der Perspektive von Typen und Komposition, wodurch die Code-Komposition verbessert wird. Polystate generiert automatisch Zustandsdiagramme, sodass Benutzer das Programmverhalten intuitiv verstehen können. Beispiele zeigen, wie einfache und komplexe Zustandsautomaten durch Typenkomposition erstellt werden, z. B. die Begrenzung von PIN-Eingabeversuchen an einem Geldautomaten und die Wiederverwendung von Auswahlmechanismen in einem Raylib-Spiel.

(github.com)

Entwicklung Endlicher Zustandsautomat Komposition

Otus Lisp 2.6 veröffentlicht: Ein leichter, plattformübergreifender Lisp-Dialekt

2025-06-23

Otus Lisp (Ol) Version 2.6 ist da! Ein leichter (~64 KB), rein funktionaler Lisp-Dialekt, der eine erweiterte Teilmenge von R7RS Scheme implementiert, mit plattformübergreifender Kompatibilität (Linux, Windows, macOS, Android und mehr) und Unterstützung verschiedener Architekturen. Ol ist einbettbar und bietet eine hochrangige Schnittstelle zum Aufrufen von Code, der in anderen Sprachen geschrieben wurde. Es unterstützt auch WebAssembly und kann somit in verschiedenen Browsern ausgeführt werden. Diese Version führt die Infix-Notation für bequemere mathematische Ausdrücke ein.

(yuriy-chumak.github.io)

Entwicklung

Der Rückgang von Stack Overflow und seine Auswirkungen auf die Programmiersprachen-Rankings

2025-06-23

RedMonk nutzt Daten von GitHub und Stack Overflow, um Trends bei Programmiersprachen zu verfolgen. Die Anzahl der Fragen auf Stack Overflow nimmt jedoch seit 2016 ab, wobei der Rückgang nach dem Aufkommen von KI-Codierungsassistenten wie ChatGPT beschleunigt wurde. Dies beeinträchtigt die Zuverlässigkeit der Programmiersprachen-Rankings von RedMonk erheblich. Das Team untersucht derzeit alternative Datensätze, um diese wichtige Analyse aufrechtzuerhalten.

(redmonk.com)

Entwicklung

Lösung des Rätsels der Konto- und Regionsübergreifenden Kopie von AWS Backup mit Lambda

2025-06-23

Dieser Artikel beschreibt, wie der Autor die Einschränkung von AWS Backup überwunden hat, dass keine gleichzeitige konto- und regionsübergreifende Sicherung unterstützt wird. Aufgrund von Sicherheits- und Disaster-Recovery-Richtlinien musste eine Lösung gefunden werden, um Sicherungen auf separaten Konten und Regionen zu speichern. Der Autor beschreibt detailliert eine Lösung mit AWS Backup, EventBridge und einer Lambda-Funktion, um eine konto- und regionsübergreifende Sicherungsreplikation zu erreichen. Dies umfasst die Konfiguration von Vaults, Richtlinien, EventBridge-Regeln und einer Lambda-Funktion auf den Quell- und Zielkonten, wobei Verschlüsselung und Berechtigungen berücksichtigt werden. Der Autor hat diese Lösung erfolgreich implementiert und schlägt weitere Optimierungen wie automatisierte Wiederherstellungstests und Kostenüberwachung vor.

(tylerrussell.dev)

Entwicklung

Kastle: Gründungstechniker für KI-gestützte Hypothekenabwicklung

2025-06-22

Kastle sucht einen Gründungstechniker zum Aufbau und zur Optimierung seiner KI-Infrastruktur. Sie nutzen KI-gestützte Sprachassistenten, um großen US-amerikanischen Hypothekenkreditgebern zu helfen, ihre Contact Center und Compliance-Abläufe zu skalieren, unterstützt durch 2,3 Millionen US-Dollar an Finanzierung. Diese Position erfordert Expertise in Backend-Entwicklung, verteilten Systemen und KI-Integration. Die Aufgaben umfassen die Entwicklung skalierbarer Backend-Services, APIs, die in Hypotheken-Serviceplattformen integriert sind, und die Sicherstellung der Einhaltung von Finanzvorschriften (SOC 2, FDCPA, RESPA, TILA).

(www.ycombinator.com)

Entwicklung Hypotheken

Void IDE: Ein Open-Source KI-Code-Editor mit Fokus auf Datenschutz

2025-06-22

Void IDE, ein neuer Open-Source KI-gestützter Code-Editor in der Beta-Phase, bietet eine datenschutzorientierte und kostenlose Alternative zu proprietären Optionen wie Cursor und GitHub Copilot. Unterstützt von Y Combinator und als Fork von Visual Studio Code, ermöglicht Void IDE Benutzern die Wahl zwischen lokaler Verarbeitung oder direkten API-Aufrufen an LLMs wie Claude, GPT und Gemini, wodurch Datenschutzbedenken und Abonnementkosten gemildert werden. Es bietet Funktionen wie Inline-Code-Bearbeitung, KI-Chat und Codegenerierung und spiegelt ähnliche Tools wider, priorisiert aber die Benutzerdatensteuerung. Das Projekt hat großes Interesse auf Hacker News und Reddit geweckt und Diskussionen über seine Open-Source-Natur und die zunehmende Anzahl von VS Code-Forks ausgelöst.

(www.infoq.com)

Entwicklung

FreeBSD 14.3 fügt offiziell dedizierte Repositorys für Kernel-Modulpakete hinzu

2025-06-22

Lange Zeit führten Punktversionen von FreeBSD zu Inkompatibilitäten zwischen Kernel-Modulpaketen und der Kernel-Version, was zu Systemabstürzen führte. Um dieses Problem zu lösen, führt FreeBSD 14.3 offiziell separate Repositorys für Kernel-Modulpakete ein, die mit der neuesten Kernel-Version kompatible Module enthalten. Dies behebt ein langjähriges Problem für Benutzer, verbessert die Systemstabilität und korrigiert insbesondere Abstürze aufgrund inkompatibler Grafiktreiber auf Desktop-/Laptop-Systemen. Das Upgrade beinhaltet die Änderung der Datei `/etc/pkg/FreeBSD.conf`, um die neuen Repositorys für Kernel-Module einzuschließen.

(vermaden.wordpress.com)

Entwicklung Kernel-Module

Dissertation mit Typst geschrieben: Erfolge und Herausforderungen

2025-06-22

Ein Doktorand berichtet über seine Erfahrungen beim Schreiben seiner Dissertation mit der innovativen Satzsprache Typst. Typst kombiniert die Benutzerfreundlichkeit von Markdown mit der Leistungsfähigkeit von Rust-Skripten, was zu extrem schnellen Kompilierzeiten führt, die eine schnelle Iteration von Layout und Stil ermöglichten. Allerdings erwies sich das Literaturverwaltungssystem von Typst als weniger als ideal und erforderte zusätzliche Tools und manuelle Anpassungen, um die strengen Anforderungen an die Zitierformatierung zu erfüllen. Der Autor kommt zu dem Schluss, dass Typst eine gute Wahl für diejenigen ist, die gerne programmieren und Tools anpassen, während LaTeX für diejenigen, die eine sofort einsatzbereite Lösung bevorzugen, immer noch die sicherere Wahl ist.

(fransskarman.com)

Entwicklung Dissertation

Das Internet-Biest zähmen: Ein Smart-Home-Ansatz zur Moderation

2025-06-22

Müde von Internet-Ablenkungen, hat der Autor ein Smart-Home-System gebaut, um den Zugriff auf soziale Medien zu kontrollieren. Mit AdGuard Home, Home Assistant und einer Zigbee-Smart-Steckdose hat er eine Automatisierung erstellt: Ein Knopfdruck deaktiviert die AdGuard-Filterung für 15 Minuten, gefolgt von einer einstündigen Abkühlphase. Der Artikel beschreibt die Einrichtung, einschließlich der AdGuard Home API-Konfiguration und der Home Assistant-Automatisierung, und bietet eine praktische Lösung für die Verwaltung der Internetnutzung und die Bekämpfung von Sucht.

(www.romanklasen.com)

Entwicklung Internetkontrolle

Schlechte technische Dokumentation: Ein Hindernis für Entwickler?

2025-06-22

Die Stack-Overflow-Umfrage 2024 hebt technische Dokumentation und Tutorials als entscheidende Lernressourcen für Entwickler hervor. Dennoch erleben viele Entwickler Frustration und fühlen sich nach dem Lesen verwirrter. Dies liegt daran, dass Programmierkenntnisse nicht automatisch zu klarem Schreiben führen. Lösungen umfassen die Verbesserung der Schreibfähigkeiten von Entwicklern und Maßnahmen von Organisationen, wie das Sammeln von Benutzerfeedback, die Einstellung von technischen Redakteuren und die proaktivere Behandlung von Dokumentationsproblemen auf GitHub.

(www.gmoniava.com)

Entwicklung Entwicklerlernen

C++26 erhält Compile-Time Reflection: Abschied von Boilerplate-Code, Hallo High Performance

2025-06-22

Herb Sutter hat angekündigt, dass C++26 Compile-Time Reflection enthalten wird, eine bahnbrechende Änderung für die C++-Entwicklung. Compile-Time Reflection ermöglicht den Zugriff auf die eigene Struktur eines Programms, z. B. das Auflisten der Methoden einer Klasse. Dies ist besonders wichtig für Bibliotheken wie simdjson, die eine Hochgeschwindigkeitskonvertierung zwischen benutzerdefinierten Datenstrukturen und JSON-Strings ohne Boilerplate-Code ermöglichen. Der Artikel zeigt, wie man mit Compile-Time Reflection effiziente SQL-Insert-Anweisungen generiert, wodurch Boilerplate-Code reduziert und die Wiederverwendbarkeit und Sicherheit des Codes verbessert werden. Obwohl der Code komplex aussehen mag, sind die Leistungsgewinne und die Vereinfachung des Codes erheblich.

(lemire.me)

Entwicklung Compile-Time Reflection

Der komplette Leitfaden zur Gehaltsverhandlung: Überwinden Sie Ihr inneres moralisches Dilemma

2025-06-22

Patrick McKenzies beliebter Essay über Gehaltsverhandlungen für Ingenieure hat Millionen geholfen, höhere Gehälter zu erzielen. Diese Audioadaption behandelt die psychologischen Barrieren, die Fachkräfte daran hindern, zu verhandeln, und betont, dass es nicht unmoralisch ist, sondern eine wichtige Fähigkeit. Praktische Tipps beinhalten, niemals zuerst seine Gehaltsvorstellung zu nennen, aktiv zuzuhören und die Sprache des einstellenden Managers zu spiegeln, gründliche Recherchen anzustellen, mehrere Präferenzen zu nutzen und den Zeitplan und die Dynamik der Verhandlung zu verstehen. Der Essay befähigt die Leser, selbstbewusst zu verhandeln und eine optimale Vergütung zu erzielen.

(www.complexsystemspodcast.com)

Entwicklung Gehaltsverhandlung

Linux Pipes an die Grenzen bringen: Von 3,5 GiB/s auf 62,5 GiB/s

2025-06-22

Dieser Beitrag untersucht die Implementierung von Unix-Pipes in Linux durch iterative Optimierung eines Testprogramms, das Daten über eine Pipe schreibt und liest. Beginnend mit einem einfachen Programm mit einem Durchsatz von etwa 3,5 GiB/s, verbessert der Autor die Leistung um das Zwanzigfache durch mehrere Optimierungsschritte. Zu den wichtigsten Verbesserungen gehören die Verwendung der Systemaufrufe `vmsplice` und `splice`, um Datenkopien zu vermeiden, die Nutzung von Huge Pages, um den Paging-Overhead zu reduzieren, und die Verwendung von Busy-Looping, um Synchronisierungskosten zu minimieren. Der Prozess wird mit Codebeispielen und Leistungsanalysen mithilfe des Linux-Tools `perf` detailliert beschrieben.

(mazzo.li)

Entwicklung

Ein 163-Zeilen-Implementierung eines Speicherallokators

2025-06-22

Bei der Erkundung des mimalloc-Speicherallokators stellte der Autor fest, dass die Vorabzuweisung nicht unterstützt wird. Dies führte zur Erstellung eines einfachen, 163-zeiligen Allokators basierend auf dem Buddy-System. Der Artikel beschreibt detailliert die Zuweisungs- und Freigabeprozesse im Buddy-System und behandelt die Speicherfragmentierung. Der Autor hebt die überraschende Einfachheit der Implementierung hervor und betont die Bedeutung des Verständnisses der Prinzipien der Speicherzuweisung für Programmierer.

(tgmatos.github.io)

Entwicklung Buddy-System

GlassFlow ClickHouse Lasttest: Echtzeit-Deduplizierung im großen Maßstab

2025-06-22

Das GlassFlow-Team führte einen umfangreichen Lasttest für die Echtzeit-Deduplizierung durch, mit beeindruckenden Ergebnissen. Auf einem MacBook Pro verarbeitete GlassFlow über 9.000 Datensätze pro Sekunde von Kafka mit einer Latenz unter 0,12 ms und erreichte einen Spitzenwert von 55.000 Datensätzen pro Sekunde. Selbst bei 20 Millionen Datensätzen und 12 gleichzeitigen Publishern blieb das System stabil, ohne Abstürze, Datenverlust oder Fehlordnungen. Der Test verwendete synthetische Daten, die einen realen Anwendungsfall simulierten, und bewertete Deduplizierung, Durchsatz und Latenz. Das vollständige Test-Setup ist Open Source.

(www.glassflow.dev)

Entwicklung Echtzeit-Datenverarbeitung

Git Notes: Das unterschätzte Git-Tool

2025-06-22

Git Notes ist ein mächtiges Werkzeug zum Anhängen von Metadaten an Git-Objekte (Commits, Blobs, Trees), ohne die Objekte selbst zu verändern. Es kann verwendet werden, um Zeit zu verfolgen, Review-Informationen hinzuzufügen und sogar vollständig verteilte Code-Review-Systeme wie `git-appraise` zu erstellen. Allerdings leidet Git Notes unter schlechter Benutzerfreundlichkeit, und GitHub hat 2014 aufgehört, Commit-Notizen anzuzeigen, was die Akzeptanz einschränkte. Trotzdem bietet es immer noch einen Weg zu einem vollständigen Projekthistorien, unabhängig von Code-Forges.

(tylercipriani.com)

Entwicklung Metadaten

LibRedirect: Datenschutzorientierter Website-Redirector

2025-06-22

LibRedirect ist eine Browser-Erweiterung, die beliebte Websites wie YouTube, Instagram, Reddit und TikTok auf alternative, datenschutzfreundliche Frontends umleitet. Es bietet eine Vielzahl von Alternativen, wie Invidious und Piped für YouTube, Libreddit und Teddit für Reddit und viele mehr, und ermöglicht Nutzern ein privateres und sichereres Surferlebnis. Verabschieden Sie sich vom Daten-Tracking und begrüßen Sie den Datenschutz!

(libredirect.github.io)

Entwicklung alternative Websites

Kreatives Programmieren: Die Informatik-Ausbildung im Zeitalter der KI neu gestalten

2025-06-22

Da die KI die Softwareentwicklung verändert, muss die traditionelle Informatikausbildung überarbeitet werden. Dieser Artikel argumentiert, dass Programmieren allein nicht ausreicht; Schüler benötigen systemisches Denken, kreative Designfähigkeiten und die Fähigkeit zum zielgerichteten Aufbau. Kreatives Programmieren bietet eine Lösung, indem es Programmierung als Mittel zur Selbstdarstellung und Innovation nutzt und intrinsische Motivation und computationales Denken fördert. Ein Beispiel für einen auf Minecraft basierenden Lehrplan zeigt, wie Spieledesign und Storytelling effektiv Programmierkonzepte vermitteln und das Engagement und die Lernergebnisse der Schüler verbessern. Der Artikel schließt mit der Betonung der Bedeutung der beruflichen Entwicklung von Lehrkräften und der Forderung nach größerer Unterstützung, um kreatives Programmieren in den Unterricht zu integrieren.

(www.edsurge.com)

Entwicklung kreatives Programmieren Informatikausbildung

Clippy geht für 12 Wochen in den Feature-Freeze zur Qualitätsverbesserung

2025-06-22

Der Rust-Linter Clippy wird ab dem 26. Juni 2025 für 12 Wochen einen Feature-Freeze einlegen, um die Genauigkeit zu verbessern und falsch positive Ergebnisse seiner über 750 bestehenden Lints zu reduzieren. Während dieser Zeit werden keine neuen Lints akzeptiert, aber Bug-Reports und PRs zur Verbesserung bestehender Lints sind willkommen. Ziel ist es, die Codequalität zu verbessern und den Rust-Benutzern ein zuverlässigeres Linting-Erlebnis zu bieten.

(blog.rust-lang.org)

Entwicklung

mbake: Ein Makefile-Formatierer und -Linter nach 50 Jahren!

2025-06-22

Nach 50 Jahren Wartezeit (in Anlehnung an die lange Geschichte von Makefiles) ist mbake endlich da! Dieses Makefile-Formatierungs- und Lint-Tool behebt nicht nur automatisch Formatierungsprobleme wie Einrückungen, Leerzeichen und Zeilenumbrüche, sondern erkennt auch intelligent `.PHONY`-Ziele und unterstützt benutzerdefinierte Regeln und Plugin-Erweiterungen. Es bietet eine umfangreiche Befehlszeilenschnittstelle für Formatierung, Validierung und Versionsverwaltung und lässt sich nahtlos in CI/CD-Workflows integrieren. Egal ob Anfänger oder Experte, mbake verbessert die Effizienz und Lesbarkeit beim Schreiben von Makefiles deutlich.

(github.com)

Entwicklung Formatierer

Claude Code unterstützt jetzt Remote MCP-Server für einen verbesserten Entwickler-Workflow

2025-06-22

Claude Code unterstützt jetzt Remote MCP-Server, sodass Entwickler ihre bevorzugten Tools und Datenquellen verbinden können, um ihre Codiererfahrung zu personalisieren, ohne lokale Server verwalten zu müssen. Durch den Zugriff auf Tools und Ressourcen, die von MCP-Servern bereitgestellt werden, kann Claude Code Kontext aus Drittanbieterdiensten wie Entwicklungstools, Projektmanagement-Systemen und Wissensdatenbanken extrahieren und Aktionen innerhalb dieser Dienste ausführen. Integrationen wie Sentry zum Debugging und Linear zum Projektmanagement optimieren die Workflows. Remote MCP-Server bieten geringen Wartungsaufwand; fügen Sie einfach die URL des Anbieters hinzu. Die native OAuth-Unterstützung von Claude Code gewährleistet sichere Verbindungen, ohne dass API-Schlüssel verwaltet oder Anmeldeinformationen gespeichert werden müssen.

(www.anthropic.com)

Entwicklung

Umfangreiches Repository für Cross-Compilation-Toolchains für Linux

2025-06-22

Diese Website bietet eine große Sammlung gebrauchsfertiger Cross-Compilation-Toolchains für Linux auf zahlreichen Architekturen. Basierend auf GCC und Binutils, sind diese Toolchains in verschiedenen Varianten mit den C-Bibliotheken glibc, uClibc-ng und musl verfügbar und verwenden das Buildroot-Buildsystem. Die meisten Toolchains werden getestet, indem ein Linux-Kernel und ein Userspace gebaut und unter Qemu gebootet werden. Für jede Architektur- und C-Bibliothekskombination werden zwei Versionen bereitgestellt: stabil (mit älteren, bewährten Komponenten) und Bleeding-Edge (mit den neuesten Komponenten).

(toolchains.bootlin.com)

Entwicklung

Sound as Pure Form: Eine stapelbasierte Sprache mit Postfix-Notation für die Tonerzeugung

2025-06-22

SAPF ist ein Interpreter zur Erforschung von Klang als reine Form. Seine Sprache ist hauptsächlich funktional, stapelbasiert und verwendet eine Postfix-Notation ähnlich wie FORTH. Audio- und Steuerereignisse werden mit trägen, potenziell unendlichen Sequenzen dargestellt. Das Ziel ist es, für träge Sequenzen das zu tun, was APL für Arrays leistet: Funktionen auf sehr hohem Niveau mit allgegenwärtigen automatischen Mapping-, Scan- und Reduktions-Operatoren bereitzustellen. Dadurch können kurze Programme Ergebnisse erzielen, die überproportional zu ihrer Größe sind. Da fast alle vom Programmierer zugänglichen Datentypen unveränderlich sind, kann die Sprache problemlos mehrere Threads ohne Deadlocks oder Beschädigungen ausführen. Inspiriert von APL, Joy, Haskell, Piccola, Nyquist und SuperCollider, wird prägnante Ausdruckskraft priorisiert.

(github.com)

Entwicklung Soundprogrammierung Postfix-Notation

Veröffentlichung eines Docker-Containers für Microsoft Edit im GitHub Container Registry

2025-06-22

Der Autor beschreibt den Prozess der Erstellung und Veröffentlichung eines Docker-Images für Microsofts neuen Terminal-Texteditor Edit im GitHub Container Registry. Mangels offizieller Builds für Apple Silicon erstellte der Autor einen Docker-Container, um die aarch64-linux-gnu-Version auf seinem Mac auszuführen. Der Beitrag führt durch den Build eines mehrstufigen Docker-Images zur Größenminimierung, die Verwendung eines GitHub Personal Access Tokens zum Pushen des Images und bietet einen einfachen Befehl für jeden mit Apple Silicon Mac und Docker, um Edit auszuführen.

(til.simonwillison.net)

Entwicklung

P-Hacking in Startups: Vermeidung statistischer Fallen

2025-06-21

Der Druck, schnell Produkte auf den Markt zu bringen, führt in Startups oft dazu, dass Teams jedes Ergebnis melden, das wie eine Verbesserung aussieht, was zu P-Hacking führt. Dieser Artikel untersucht drei gängige Szenarien: Mehrfachvergleiche ohne Korrektur, die Umformulierung von Metriken nachträglich und die Durchführung von Experimenten, bis ein Treffer erzielt wird. Er betont die Bedeutung der Vorregistrierung von Hypothesen und Metriken, die Vermeidung von nachträglichen Datengrabungen, die Verwendung von Korrekturen für Mehrfachvergleiche und die Anwendung geeigneter Schwellenwerte für frühzeitiges Anschauen. Der Artikel plädiert für die Feier eindeutiger negativer Ergebnisse und argumentiert, dass strenge statistische Verfahren das Lernen beschleunigen, indem sie die Verbreitung von Rauschen verhindern und ein echtes Verständnis des Benutzerverhaltens aufbauen.

(briefer.cloud)

Entwicklung A/B-Test

B-Compiler in Crust: Ein Arbeit in Bearbeitung

2025-06-21

Ein B-Programmiersprachencompiler, geschrieben in Rust mit fasm als Backend, ist jetzt verfügbar! Das Projekt enthält ein Testprogramm, btest, das Tests aus dem Ordner ./tests/ kompiliert und ausführt und einen Matrixbericht für alle unterstützten Ziele generiert. btest ermöglicht die Angabe von Zielen (-t) und einzelnen Testfällen (-c), was gezielte Tests erleichtert. Obwohl es sich noch in der Entwicklung befindet, kompiliert und führt der Compiler einfache Beispiele wie hello_world.b erfolgreich aus.

(github.com)

Entwicklung B-Sprache

to-userscript: Leistungsstarkes CLI zum Konvertieren von Browser-Erweiterungen in eigenständige Userscripts

2025-06-21

to-userscript ist ein Kommandozeilen-Tool, das Chrome- oder Firefox-Erweiterungen in eigenständige .user.js-Dateien umwandelt, die in jedem Userscript-Manager ausgeführt werden können. Es unterstützt verschiedene Quellen: Chrome Web Store, Firefox Add-ons, lokale Verzeichnisse und Archivdateien. Das Tool ersetzt intelligent gängige WebExtension-APIs, bettet CSS, Bilder und andere Ressourcen ein und emuliert Hintergrundskripte und Internationalisierung. Die Installation ist einfach über npm, pnpm oder bun.

(github.com)

Entwicklung Userscript

Das Ende der IDE? Der Aufstieg des KI-Coding-Agenten

2025-06-21

Dieser Artikel untersucht den Aufstieg von KI-Coding-Agenten wie Claude Code, Codex und Amp und wie sie die Softwareentwicklung verändern. Der Autor argumentiert, dass terminalbasiertes "Vibe-Coding" traditionelle IDEs ersetzt, wobei Ingenieure qualitativ hochwertigen Code mit erstaunlicher Geschwindigkeit produzieren. Dieser Wandel bringt höhere Produktivität mit sich, wirft aber auch Bedenken hinsichtlich Arbeitsplatzverlust und Leistungsbewertungen auf. Der Artikel blickt auch auf die Auswirkungen von KI auf breitere Wissensarbeit und die Gesellschaft und sagt massive Veränderungen in den kommenden Jahren voraus.

(sourcegraph.com)

Entwicklung

Serverloser QUIC-Proxy mittels NAT-Hole-Punching mit AWS Lambda

2025-06-21

Dieses Projekt implementiert einen serverlosen QUIC-Proxy mithilfe von AWS Lambda-Funktionen und NAT-Hole-Punching. Durch die Nutzung von S3 zur Koordination und UDP-Traversal-Techniken werden verschlüsselte Proxy-Verbindungen ohne dedizierte Server erstellt – nur bedarfsgesteuerte Lambda-Funktionen. Das System verwendet einen dreistufigen Ansatz: Koordination (Client entdeckt öffentliche IP über STUN, schreibt Sitzungsinformationen in S3), NAT-Hole-Punching (Client und Lambda tauschen UDP-Pakete aus, um bidirektionale Löcher zu erstellen), und QUIC-Tunnel-Aufbau (Client startet QUIC-Server, Lambda stellt Verbindung her). Das Ergebnis ist ein Browser, der sich über einen SOCKS5-Proxy mit dem Internet verbindet, wobei die Lambda-Funktion als Exit-Knoten fungiert und den Datenverkehr weiterleitet.

(github.com)

Entwicklung NAT-Hole-Punching

Category: Entwicklung