Webtagr - Technologienummer

Beliebte Tags：

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

AGX: Ein moderner ClickHouse-Desktop-Client mit Tauri und SvelteKit

2025-03-19

AGX: Ein moderner ClickHouse-Desktop-Client mit Tauri und SvelteKit

AGX ist eine Desktop-Anwendung, die mit Tauri und SvelteKit erstellt wurde und eine moderne Benutzeroberfläche zum Erkunden und Abfragen von Daten mithilfe der eingebetteten ClickHouse-Datenbank-Engine (chdb) bietet. Sie verfügt über die Leistung einer nativen Desktop-Anwendung, einen interaktiven SQL-Abfrageeditor mit Syntaxhervorhebung, einen Schema-Browser, tabellarische Ergebnisanzeige, Unterstützung für Drag-and-Drop-Dateioperationen und plattformübergreifende Kompatibilität (macOS, Linux, Windows). Das Frontend verwendet SvelteKit für eine reaktive und effiziente Benutzeroberfläche, während das Backend Tauri und Rust für native Leistung und Sicherheit nutzt. Die Kommunikation zwischen Frontend und Backend erfolgt über die IPC-Bridge von Tauri, wobei die Datenabfrage von der eingebetteten ClickHouse-Engine chdb verarbeitet wird. Beiträge sind willkommen!

(github.com)

Entwicklung

Ikemen GO: Eine Open-Source Kampfspiel-Engine in Go

2025-03-19

Ikemen GO: Eine Open-Source Kampfspiel-Engine in Go

Ikemen GO ist eine Open-Source Kampfspiel-Engine, geschrieben in Go, die Abwärtskompatibilität mit M.U.G.E.N Version 1.1 Beta bietet und gleichzeitig zahlreiche neue Funktionen hinzufügt. Vorkompilierte Binärdateien sind für Windows, macOS und Linux verfügbar, ebenso wie Nightly Builds. Eine umfassende Dokumentation behandelt das Erstellen, Debuggen (mit Goland oder VS Code) und Cross-Compilieren mit Docker. Der Quellcode der Engine ist unter der MIT-Lizenz lizenziert, bestimmte Assets unter CC-BY 3.0.

(github.com)

Spiele

Zest: Eine Programmiersprache, die Flexibilität und Lesbarkeit vereint

2025-03-19

Zest: Eine Programmiersprache, die Flexibilität und Lesbarkeit vereint

Zest ist eine sich in der Entwicklung befindliche Programmiersprache, die darauf ausgelegt ist, Systeme zu erstellen, die sowohl flexibel als auch lesbar sind. Sie zielt darauf ab, die Interaktivität und Lebendigkeit von Systemen wie Emacs mit Funktionen wie statischer Typisierung, früher Bindung und Sprung-zu-Definition zu kombinieren. Derzeit unterstützt Zest grundlegende Kontrollstrukturen, Arithmetik und Funktionen, benötigt aber noch Verbesserungen in der Fehlerbehandlung, Speicherverwaltung und rekursiven Funktionen. Code kann interpretiert oder kompiliert werden, aber ein gemischter Modus wird noch nicht unterstützt. Die Dokumentation enthält eingebettete Tests, um die Ausgabe verschiedener Dialekte (lax und strict) zu überprüfen.

(github.com)

Entwicklung

fd: Blitzschneller Dateisuchlauf (23x schneller als find)

2025-03-19

fd: Blitzschneller Dateisuchlauf (23x schneller als find)

fd ist eine schnellere und benutzerfreundlichere Alternative zum find-Befehl. Es bietet eine intuitive Syntax, parallele Verzeichnisdurchquerung und intelligente Groß-/Kleinschreibungs-Übereinstimmung und ignoriert standardmäßig versteckte Dateien und .gitignore-Dateien. Es unterstützt reguläre Ausdrücke und Glob-Muster und bietet umfassende Optionen zum Anpassen von Suchen, einschließlich der Angabe von Wurzelverzeichnissen, Dateitypen, Größen, Änderungszeiten usw. Es lässt sich nahtlos in andere Befehle wie `ls`, `rm`, `rg` und `fzf` integrieren. Benchmark-Tests zeigen den deutlichen Geschwindigkeitsvorteil von fd gegenüber find in großen Dateisystemen, mit bis zu 23-facher Leistungssteigerung.

(github.com)

Entwicklung Dateisuche

Git-Who: Code-Autorenschaft einfach herausfinden

2025-03-18

Git-Who: Code-Autorenschaft einfach herausfinden

Müde davon, nach den Autoren spezifischer Codeabschnitte zu suchen? Git-Who, ein Kommandozeilen-Tool, ist Ihre Lösung! Im Gegensatz zu `git blame`, das sich auf einzelne Zeilen konzentriert, identifiziert Git-Who die Hauptbeitragende zu ganzen Codekomponenten oder -Subsystemen. Mit drei Unterbefehlen – `table`, `tree` und `hist` – präsentiert es Autorenschaftsinformationen in Tabellen, Baumstrukturen und Zeitachsen, wobei Beitragszahlen, letzte Bearbeitungszeiten, geänderte Zeilen und mehr angezeigt werden. Filtern Sie die Ergebnisse nach Pfad, Branch, Tag oder Revisionsintervall und verwenden Sie Flags zum Sortieren und Filtern. Git-Who beachtet sogar Git Mailmaps und konsolidiert Beiträge unter verschiedenen Namen oder E-Mail-Adressen. Testen Sie Git-Who, um ein klares Bild der Code-Autorenschaft zu erhalten!

(github.com)

Entwicklung Code-Autorenschaft

NVIDIA Dynamo: Hochdurchsatz-Inferenzframework mit niedriger Latenz für generative KI

2025-03-18

NVIDIA Dynamo: Hochdurchsatz-Inferenzframework mit niedriger Latenz für generative KI

NVIDIA stellt Dynamo vor, ein Hochdurchsatz-Inferenzframework mit niedriger Latenz für das Bereitstellen von generativen KI- und Reasonierungsmodellen in verteilten Umgebungen mit mehreren Knoten. Dynamo ist unabhängig von der Inferenz-Engine (unterstützt TRT-LLM, vLLM, SGLang und andere) und bietet Funktionen wie entkoppelte Prefill- und Decode-Inferenz, dynamische GPU-Scheduling, LLM-aware Request-Routing, beschleunigte Datenübertragung und KV-Cache-Offloading, um den GPU-Durchsatz zu maximieren und die Latenz zu minimieren. In Rust für Performance und in Python für Erweiterbarkeit geschrieben, ist Dynamo vollständig Open Source.

(github.com)

KI Inferenzframework

Sesame AI veröffentlicht 1-Milliarden-Parameter-Konversations-Sprachmodell

2025-03-18

Sesame AI veröffentlicht 1-Milliarden-Parameter-Konversations-Sprachmodell

Die Sesame AI Labs haben CSM (Conversational Speech Model) veröffentlicht, ein Sprachgenerierungsmodell mit 1 Milliarde Parametern, das auf der Llama-Architektur basiert. CSM generiert RVQ-Audiocodes aus Text- und Audioeingaben, und sein Checkpoint ist auf Hugging Face verfügbar. Eine interaktive Sprachdemo und ein Hugging Face Space zum Testen der Audiogenerierung werden ebenfalls bereitgestellt. Obwohl es in der Lage ist, verschiedene Stimmen zu erzeugen, wurde CSM nicht auf bestimmte Stimmen feinabgestimmt und hat eine begrenzte mehrsprachige Unterstützung. Sesame AI betont die Verwendung nur für Forschungs- und Bildungszwecke und verbietet die Nachahmung, Falschinformationen und illegale Aktivitäten.

(github.com)

KI Spracherzeugung

Cascii: Ein abhängiger Online-ASCII- und Unicode-Diagramm-Builder

2025-03-17

Cascii: Ein abhängiger Online-ASCII- und Unicode-Diagramm-Builder

Cascii ist ein webbasierter ASCII- und Unicode-Diagramm-Builder, der in reinem JavaScript geschrieben wurde. Er hat keine Abhängigkeiten von Servern, Web-Packaging oder Bibliotheken und verwendet kein Markup oder Stylesheets. Öffnen Sie einfach cascii.html, um mit dem Erstellen von Diagrammen zu beginnen. Cascii wird auch unter cascii.app gehostet, wo Sie kurze Links zu Ihren Diagrammen erhalten, ein Konto erstellen können usw. Zu den Funktionen gehören Layer-Management, Auswahlwerkzeuge, Gruppierung, Sortierung, Duplizierung, dynamische Tabellen, freies Zeichnen/Löschen, automatisches Speichern, Einfügen/Importieren von Text, Verlauf (Rückgängig/Wiederherstellen) und Unterstützung für ASCII- und Unicode-Zeichen.

(github.com)

Entwicklung ASCII-Zeichnung Unicode-Zeichnung

coq-of-rust: Formale Verifikation für 100% fehlerfreien Rust-Code

2025-03-17

coq-of-rust: Formale Verifikation für 100% fehlerfreien Rust-Code

coq-of-rust ist ein Werkzeug zur formalen Verifikation von Rust, das Rust-Programme in den Coq-Proof-Assistant übersetzt, um 100% fehlerfreien Code zu erreichen. Durch die Übersetzung von Rust-Code nach Coq nutzt es die leistungsstarken Beweismethoden von Coq, um die Korrektheit des Codes zu verifizieren und alle Fehler zu eliminieren. Das Tool unterstützt eine breite Palette von Rust-Funktionen und bietet formale Verifikationsdienste für kritische Anwendungen wie Smart Contracts und Datenbank-Engines.

(github.com)

Entwicklung

Cline: Ihr KI-Codierungsassistent, der Ihre CLI und Ihren Editor beherrscht

2025-03-17

Cline: Ihr KI-Codierungsassistent, der Ihre CLI und Ihren Editor beherrscht

Cline ist ein KI-Assistent, der auf Claude 3.7 Sonnet basiert und schrittweise komplexe Softwareentwicklungsaufgaben bewältigen kann. Er kann Dateien erstellen und bearbeiten, große Projekte durchsuchen, einen Browser verwenden und Terminalbefehle ausführen (mit Berechtigung). Cline unterstützt mehrere API-Anbieter und kann seine Fähigkeiten über das Model Context Protocol (MCP) erweitern. Er verfügt über eine Benutzeroberfläche mit menschlicher Schleife für Sicherheit und Zuverlässigkeit. Cline bietet außerdem Fehlerüberwachung, Code-Vervollständigung und Versionskontrolle, wodurch die Entwicklungseffizienz erheblich gesteigert wird.

(github.com)

Entwicklung Code-Entwicklung

Amnestys Mobile Verification Toolkit: Ein forensisches Werkzeug zur Erkennung von Spionagesoftware

2025-03-17

Amnestys Mobile Verification Toolkit: Ein forensisches Werkzeug zur Erkennung von Spionagesoftware

Das Amnesty International Security Lab veröffentlichte im Juli 2021 das Mobile Verification Toolkit (MVT). Dieses Tool vereinfacht und automatisiert die Sammlung forensischer Spuren, um potenzielle Kompromittierungen von Android- und iOS-Geräten zu identifizieren. MVT verwendet öffentlich zugängliche Indicators of Compromise (IOCs), um nach Spuren bekannter Spionage-Software-Kampagnen zu suchen. Es ist jedoch wichtig zu beachten, dass dies keine Garantie für die vollständige Sicherheit des Geräts bietet. Das Tool richtet sich an Techniker und Ermittler mit Kenntnissen in digitaler Forensik und der Verwendung von Befehlszeilentools. Es ist nicht für die Selbsteinschätzung durch Endbenutzer gedacht.

(github.com)

Technologie digitale Forensik

CppMatch: Eine C++-Bibliothek für fehlerbehandlung und Mustererkennung im Stil von Rust

2025-03-16

CppMatch: Eine C++-Bibliothek für fehlerbehandlung und Mustererkennung im Stil von Rust

CppMatch ist eine leichte Header-only C++-Bibliothek, die die Fehlerbehandlung und Mustererkennung im Stil von Rust nach C++ bringt. Sie verwendet einen `Result`-Typ, um Erfolg oder Misserfolg darzustellen, vereinfacht die Fehlerbehandlung mit dem `expect`-Makro und implementiert die Mustererkennung mit dem `match`-Makro. Es bietet auch `zip_match` zum Kombinieren mehrerer `Result`-Objekte. Kompatibel mit Clang und GCC, bietet CppMatch verschiedene Strategien zur Fehlerbehandlung, einschließlich der Behandlung verschiedener Fehlertypen mit Lambdas. Es ist eine überzeugende Option für C++-Entwickler, die die Eleganz der Fehlerbehandlung von Rust suchen.

(github.com)

Entwicklung

Wify: Mühelose WLAN-Verbindung mit dieser React Native App

2025-03-16

Wify: Mühelose WLAN-Verbindung mit dieser React Native App

Wify ist eine React Native Anwendung, die die WLAN-Verbindung vereinfacht, indem sie Bilder scannt oder die Kamera verwendet, um WLAN-Anmeldeinformationen zu extrahieren. Sie unterstützt OCR in mehreren Sprachen, verwendet Fuzzy Matching für WLAN-Namen und beinhaltet ein robustes Berechtigungshandling mit benutzerfreundlichen Eingabeaufforderungen. Die App verbindet sich nahtlos mit Netzwerken, selbst bei geringfügigen Unterschieden in den Namen, wodurch der WLAN-Zugriff schnell und einfach auf Android und iOS wird.

(github.com)

Entwicklung WLAN-Verbindung

zlib-ng: Eine Datenkomprimierungsbibliothek der nächsten Generation

2025-03-16

zlib-ng: Eine Datenkomprimierungsbibliothek der nächsten Generation

zlib-ng ist ein modernisierter Fork der beliebten zlib-Datenkomprimierungsbibliothek, der Leistung, Wartbarkeit und Portabilität verbessert. Er beinhaltet Optimierungen von Intel und Cloudflare und unterstützt eine breite Palette von CPU-Befehlssätzen wie AVX-512 und ARM NEON. zlib-ng soll neben zlib existieren und bietet eine niedrigere Schwelle für Codeänderungen sowie Unterstützung für CMake und mehrere Build-Systeme.

(github.com)

Entwicklung

UUSEC WAF: Eine kostenlose, hochperformante Web Application Firewall

2025-03-16

UUSEC WAF: Eine kostenlose, hochperformante Web Application Firewall

UUSEC WAF ist ein kostenloses, hochperformantes und hochskalierbares Produkt zum Schutz von Webanwendungen und APIs, das KI und semantische Engines verwendet. Es bietet eine umfassende dreischichtige Verteidigungsfunktion (Traffic-, System- und Laufzeit-Ebene). Mithilfe von maschinellem Lernen zur Anomalieerkennung werden 0-Day-Angriffe ohne zusätzliche Regeln abgefangen. Seine selbstentwickelte Cache-Bereinigungsfunktion übertrifft kommerzielle nginx-Versionen und bietet reguläre Ausdruckübereinstimmung für höhere Flexibilität. Integrierte HIPS- und RASP-Funktionen bieten eine starke zweischichtige Verteidigung. Fortschrittliche semantische Engines und die Möglichkeit, Regeln in Lua zu schreiben, ermöglichen eine hochflexible Regelerstellung. Die Installation ist einfach, mit Host- und Docker-Optionen. Benchmark-Tests zeigen eine Genauigkeit von über 99 %, was deutlich bessere Ergebnisse als vergleichbare kostenlose WAFs liefert.

(github.com)

Technologie

Docs: Open-Source-Kollaborationseditor für Dokumente – eine Herausforderung für Notion?

2025-03-16

Docs: Open-Source-Kollaborationseditor für Dokumente – eine Herausforderung für Notion?

Docs ist ein Open-Source-Kollaborationseditor für Dokumente, der die Erstellung und gemeinsame Nutzung von Wissen vereinfachen soll. Er bietet Offline-Bearbeitung, übersichtliche Formatierung, KI-gestützte Aktionen (Generieren, Zusammenfassen, Korrigieren, Übersetzen), Echtzeit-Kollaboration und feingranulare Zugriffskontrolle. Docs ist einfach zu installieren und skalierbar und bietet verschiedene Dokumentenexportformate. Das Projekt wird von den französischen und deutschen Regierungen gemeinsam geleitet und unterstützt mehrere Sprachen. Die aktive Entwicklung schreitet voran, und die Integration einer Wiki-Funktionalität ist geplant.

(github.com)

Entwicklung Kollaborationseditor

Werden Sie in 30 Sekunden ein 10x-Entwickler mit rust-stakeholder

2025-03-16

Werden Sie in 30 Sekunden ein 10x-Entwickler mit rust-stakeholder

Müde vom eigentlichen Programmieren? Lernen Sie rust-stakeholder kennen, ein Befehlszeilen-Tool, das eine beeindruckende, aber völlig sinnlose Terminalausgabe generiert. Überzeugen Sie jeden, dass Sie ein Programmiergenie sind, ohne eine einzige Zeile nützlichen Codes zu schreiben! Simulieren Sie Entwicklungsaktivitäten, generieren Sie Fortschrittsbalken, simulieren Sie Netzwerkverkehr und erzeugen Sie sogar künstliche Krisen. Es ist natürlich Satire – verwenden Sie es nicht, um einen Job zu bekommen, für den Sie nicht qualifiziert sind!

(github.com)

Entwicklung Programmiererhumor

Agentic: Eine erweiterbare Agentenplattform mit strukturierten Ausgaben

2025-03-16

Agentic: Eine erweiterbare Agentenplattform mit strukturierten Ausgaben

Agentic ist eine Plattform, die es Benutzern ermöglicht, Erweiterungen und Ausgabeschemata mithilfe von Pydantic-Datenmodellen zu definieren. Dies ermöglicht strukturierte Ausgaben von Chatbots, wie im Beispielcode gezeigt, der ein Zeit-Ausgabemodell für Datums- und Uhrzeitinformationen definiert. Dies bietet mehr Flexibilität und Kontrolle beim Erstellen von KI-Anwendungen.

(github.com)

Entwicklung

Async-Powered Pandas: Beschleunigen Sie Ihre Pandas-Workflows mit Async

2025-03-15

Async-Powered Pandas: Beschleunigen Sie Ihre Pandas-Workflows mit Async

aiopandas ist eine leichtgewichtige Bibliothek, die asynchrone Unterstützung zu den Kernfunktionen von Pandas wie `map`, `apply` und `applymap` mittels Monkey Patching hinzufügt. Dies ermöglicht die nahtlose Integration asynchroner Funktionen und ermöglicht eine kontrollierte parallele Ausführung mit `max_parallel` für eine deutlich schnellere Verarbeitung von E/A-gebundenen Aufgaben wie API-Aufrufe, Web Scraping und Datenbankabfragen. Es integriert sich auch mit tqdm für die Fortschrittsverfolgung. Ersetzen Sie einfach `.map()` durch `.amap()` (und ähnlich für andere Funktionen) für einen nahezu direkten Ersatz.

(github.com)

Entwicklung

MYGA: Mach YouTube wieder großartig

2025-03-15

MYGA: Mach YouTube wieder großartig

MYGA ist ein sauberes und minimales YouTube-Frontend ohne Werbung und unnötige Funktionen. Angetrieben von yt-dlp zum Herunterladen von Videos und optional Ihrem lokalen KI-Modell zum Zusammenfassen von Videobinhalten, bietet es ein lokales, effizientes, prägnantes und werbefreies YouTube-Erlebnis. Funktionen umfassen Kanalverwaltung, Abonnements, Hintergrundwiedergabe, Offline-Wiedergabe und mehr. Es ist abhängigkeitfrei (außer nano-spawn), verwendet nur HTML/CSS; keine JS-Frameworks auf Client- oder Serverseite. Hosten Sie es in Ihrem Heimnetzwerk, um Videos auf all Ihren Geräten wiederzugeben.

(github.com)

Entwicklung lokal

Sketch-Programmierung: Ein minimalistisches Paradigma für das Code-Design (LLM-Transpiler)

2025-03-15

Sketch-Programmierung: Ein minimalistisches Paradigma für das Code-Design (LLM-Transpiler)

Sketch-Programmierung ist ein revolutionärer Ansatz für die Softwareentwicklung, der Einfachheit, Lesbarkeit und Ausdruckskraft priorisiert. Es ist keine spezifische Sprache, sondern ein Metaprogrammierparadigma, das Boilerplate-Code abstrahiert, die kognitive Belastung reduziert und Entwickler auf die Kernlogik konzentriert. Es ist in jeder Sprache implementierbar und funktioniert für Projekte jeder Größe. Die Kernidee besteht darin, die Essenz des Programms mit einer minimalen, intuitiven Syntax zu „skizzieren“ und die Details der zugrunde liegenden Sprache zu überlassen. Es verwendet eine stichwortbasierte, deklarative Syntax, wobei Lesbarkeit und Absicht im Vordergrund stehen, und unterstützt schnelle Iteration und sprachunabhängiges Design. Ein Beispiel zeigt einen React-Komponenten-Sketch und dessen Transpilierung in vollständigen React-Code. Eine VS Code-Erweiterung befindet sich ebenfalls in der Entwicklung.

(github.com)

Entwicklung Sketch-Programmierung

eli: Eine 15-jährige Odyssee der eingebetteten Lisp-Interpretation

2025-03-15

eli: Eine 15-jährige Odyssee der eingebetteten Lisp-Interpretation

eli ist die Krönung von über 15 Jahren Design und Implementierung eingebetteter Lisp-Interpreter in verschiedenen Sprachen. Entstanden aus der Notwendigkeit eines eingebetteten Lisp für persönliche Projekte, ist es zu einem der wichtigsten Projekte des Autors geworden. Hauptsächlich in Java implementiert, mit kontinuierlichen Bemühungen um die Integration in Common Lisp, zeigt eli in bestimmten Benchmarks eine vergleichbare Leistung zu Python. Das Projekt verfügt über ein einzigartiges Typsystem, das Bits, aufrufbare Typen, vergleichbare Typen, zählbare Typen, Zeichen, Gleitkommazahlen, Ganzzahlen, Iteratoren, iterierbare Typen, Bibliotheken, Listen, Mappings, Typen von Typen, Methoden Typen, fehlende Werte, numerische Typen, Paare, Zeichenketten, Bezeichner, Zeitdauern und Zeitpunkte umfasst. Es bietet einen umfangreichen Funktionsumfang, darunter Bedingte Anweisungen, Schleifen, Makros, Variablenbindung, Typprüfung, Methodendefinition, Überladung, Lambdas und Namespace-/Modulverwaltung.

(github.com)

Entwicklung

RubyLLM: Eine elegante Ruby-Bibliothek für die Interaktion mit KI

2025-03-15

RubyLLM: Eine elegante Ruby-Bibliothek für die Interaktion mit KI

RubyLLM ist eine saubere und benutzerfreundliche Ruby-Bibliothek, die die Interaktion mit verschiedenen KI-Modellen, darunter OpenAI, Anthropic, Gemini und DeepSeek, vereinfacht. Sie bietet eine einheitliche API und ein konsistentes Datenformat, wodurch die Probleme mit inkompatiblen APIs verschiedener KI-Anbieter entfallen. RubyLLM unterstützt eine breite Palette von KI-Funktionen, wie Chat, Bild- und Audioanalyse, PDF-Verarbeitung, Bildgenerierung, Vektoreinbettungen und die Integration benutzerdefinierter Tools. Die nahtlose Integration mit Rails ermöglicht die einfache Persistenz des Chat-Verlaufs. Ihre Designphilosophie priorisiert eleganten Ruby-Code gegenüber komplexen Konfigurationen und Callbacks, wodurch die Interaktion mit KI zum Vergnügen wird.

(github.com)

Entwicklung

Open-Source Multi-Agent-Framework OWL führt GAIA-Benchmark an

2025-03-14

Open-Source Multi-Agent-Framework OWL führt GAIA-Benchmark an

OWL, ein hochmodernes Multi-Agent-Kollaborationsframework, das auf dem CAMEL-AI-Framework aufbaut, erreichte mit einem Durchschnittswert von 58,18 den ersten Platz im GAIA-Benchmark! Es ermöglicht eine natürlichere, effizientere und robustere Aufgabenautomatisierung in verschiedenen Bereichen durch dynamische Agenteninteraktionen. OWL ist Open Source, unterstützt verschiedene Installationsmethoden und Modelle (einschließlich OpenAI, Qwen und DeepSeek) und bietet einen umfangreichen Satz von Toolkits wie Browserautomatisierung, multimodale Verarbeitung und Dokumentenanalyse. Eine benutzerfreundliche Weboberfläche wird ebenfalls bereitgestellt. Das OWL-Team sucht aktiv nach Beiträgen der Community zu Anwendungsfällen und verbessert das Framework kontinuierlich.

(github.com)

KI Multi-Agent-Kollaboration

Exo-Sprache: Installations-, Entwicklungs- und Testanleitung

2025-03-14

Exo-Sprache: Installations-, Entwicklungs- und Testanleitung

Exo ist eine Programmiersprache, die Python 3.9 und höher unterstützt. Die Installation erfolgt einfach über pip. Exo-Dateien lassen sich direkt mit Python ausführen, und C/Header-Dateien werden mit dem Befehl exocc generiert. Für die Entwicklung ist die Einrichtung einer virtuellen Umgebung und die Installation der benötigten Abhängigkeiten, einschließlich PySMT und CMake, erforderlich. Für Tests benötigen Sie z3-solver (oder einen anderen Solver) und CMake 3.21 oder höher. Die Tests decken verschiedene Szenarien ab und unterstützen Code-Coverage-Tests. Weitere Informationen und Beispiele finden Sie im Projekt-Repository.

(github.com)

Entwicklung

Probabilistische Zeitreihenvorhersage: Ein Paradigmenwechsel in der prädiktiven Analytik

2025-03-14

Probabilistische Zeitreihenvorhersage: Ein Paradigmenwechsel in der prädiktiven Analytik

Vergessen Sie Punktvorhersagen! Die probabilistische Zeitreihenvorhersage revolutioniert die prädiktive Analytik, indem sie vollständige Wahrscheinlichkeitsverteilungen möglicher Ergebnisse liefert, nicht nur einzelne Werte. Dies ermöglicht fundiertere und zuverlässigere Entscheidungen. Studien zeigen signifikante Verbesserungen in der Vorhersagegenauigkeit, Fehlerreduzierung und insbesondere bei der Vorhersage extremer Ereignisse. Verschiedene Sektoren, darunter Finanzwesen, Gesundheitswesen und Fertigung, profitieren von verbesserter Risikobewertung, Ressourcenallokation und Lagerverwaltung. Dieser umfassende Leitfaden befasst sich mit den Prinzipien, Methoden (Bayes'sche Methoden, Gauß-Prozesse, tiefe probabilistische Modelle) und Anwendungen der probabilistischen Vorhersage in verschiedenen Bereichen. Er behandelt auch wichtige Techniken wie Datenvorverarbeitung, Modellselektion und Unsicherheitskalibrierung.

(github.com)

KI Probabilistische Vorhersage

WebUSB umgehen: Steuerung eines Raspberry Pi Pico über eine U2F-Schwachstelle

2025-03-14

WebUSB umgehen: Steuerung eines Raspberry Pi Pico über eine U2F-Schwachstelle

Steuern Sie einen Raspberry Pi Pico von Ihrem Browser aus, ohne WebUSB! Dieser Artikel beschreibt eine Methode, die eine Schwachstelle im U2F-Sicherheitskennsystem ausnutzt. Durch die Emulation eines U2F-Sicherheits Schlüssels werden Daten als Signatur getarnt und so die Sicherheitseinschränkungen des Browsers umgangen, um die LED des Pico zu steuern. Obwohl dies eine U2F-Schwachstelle ausnutzt, ist es keine Sicherheitslücke an sich, sondern funktioniert nur bei Geräten, die absichtlich mit dieser Schwachstelle entwickelt wurden. Der Artikel betont die Risiken beim Anschließen unbekannter USB-Geräte.

(github.com)

Hardware

MCPGod: Vereinfachte Verwaltung von Model Context Protocol-Servern

2025-03-14

MCPGod: Vereinfachte Verwaltung von Model Context Protocol-Servern

MCPGod ist ein Kommandozeilen-Tool zur Vereinfachung der Verwaltung von Model Context Protocol (MCP)-Servern. Es ermöglicht Entwicklern das einfache Hinzufügen, Ausführen, Auflisten und Entfernen von Servern sowie die Interaktion mit Server-Tools. MCPGod unterstützt Windows, macOS und Linux und bietet detaillierte Protokollierung für einfaches Debugging. Funktionen umfassen das Hinzufügen oder Entfernen von MCP-Servern für bestimmte Clients, das Auflisten aller Tools auf einem MCP-Server, das direkte Ausführen von Tools über die Kommandozeile und die Steuerung von Tool-/Client-Berechtigungen.

(github.com)

Entwicklung

ArkFlow: Eine Hochleistungs-Stream-Processing-Engine in Rust

2025-03-14

ArkFlow: Eine Hochleistungs-Stream-Processing-Engine in Rust

ArkFlow ist eine Hochleistungs-Stream-Processing-Engine, die auf Rust und Tokio basiert. Sie unterstützt mehrere Datenquellen wie Kafka, MQTT und HTTP und bietet verschiedene Prozessoren, darunter SQL-Abfragen, JSON-Verarbeitung und Protobuf-Codierung/Decodierung. Ihr modulares Design ermöglicht einfache Erweiterbarkeit, und die Konfiguration wird über YAML-Dateien verwaltet. Benutzer können Eingaben, Pipelines und Ausgaben definieren, um verschiedene Stream-Verarbeitungsprozesse zu verwalten, z. B. die Datenverarbeitung von Kafka zu Kafka oder die Generierung und Verarbeitung von Testdaten.

(github.com)

Entwicklung

C-Code in Prolog schreiben: Das C Plus Prolog-Projekt

2025-03-13

C-Code in Prolog schreiben: Das C Plus Prolog-Projekt

Das C Plus Prolog-Projekt versucht, Prolog und C zu kombinieren. Es nutzt nicht-standardmäßige Funktionen von SWI-Prolog, um Prolog-Code in C-Code zu übersetzen. Das Projekt verwendet die Metaprogrammierungsfähigkeiten von Prolog, um erweiterte Funktionen wie Makros und generische Programmierung zu implementieren. Obwohl es ausführlich und fehleranfällig ist, untersucht es die Möglichkeiten von Makros in einer Systemprogrammiersprache und zeigt das Potenzial von Prolog für die Codegenerierung. Trotz seiner Eigenheiten bietet es einen einzigartigen Ansatz für plattformübergreifende C-Entwicklung, indem es die Fähigkeiten von Prolog nutzt.

(github.com)

Entwicklung

← Previous 1 2 … 30 31 32 33 34 35 36 37 38 … 50 51 Next →