Kategorie: Internet-Nachrichten

Google hat die logische Programmiersprache Logica veröffentlicht.

Die Firma Google hat eine neue deklarative logische Programmiersprache namens Logica vorgestellt, die zur Datenmanipulation dient und Programme in SQL übersetzt. Diese neue Sprache richtet sich an Benutzer, die den Syntax der logischen Programmierung beim Verfassen von Datenbankabfragen verwenden möchten. Der resultierende SQL-Code kann derzeit in Google BigQuery oder in den Datenbanken PostgreSQL und SQLite ausgeführt werden, deren Unterstützung derzeit […]

Amazon hat OpenSearch vorgestellt, einen Fork der Elasticsearch-Plattform

Das Unternehmen Amazon hat ein Projekt namens OpenSearch ins Leben gerufen, das einen Fork der Such-, Analyse- und Speicherplattform Elasticsearch sowie eine zugehörige Weboberfläche namens Kibana umfasst. Der Code wird unter der Lizenz Apache 2.0 verteilt. Zukünftig ist geplant, den Dienst Amazon Elasticsearch Service in Amazon OpenSearch Service umzubenennen. OpenSearch ist von der Codebasis Elasticsearch 7.10.2 abgezweigt. Offiziell wird an diesem Fork […]

Slackware 15 hat die Beta-Testphase erreicht

Die Entwicklung der Distribution Slackware 15.0 hat die Beta-Testphase erreicht. Slackware gibt es seit 1993 und es ist die älteste der derzeit existierenden Distributionen. Merkmale dieser Distribution sind das Fehlen von Komplexität und ein einfaches Init-System im Stil klassischer BSD-Systeme, was Slackware zu einer interessanten Lösung für das Erlernen der Funktionsweise von Unix-ähnlichen Systemen, für Experimente und für das Vertrautmachen mit Linux macht. Ein Installationsabbild steht zum Download bereit, […]

Einer der Projektleiter der Perl-Entwicklergemeinschaft hat das Team verlassen

Sawyer X hat seinen Rücktritt aus dem Vorstand des Perl-Projekts und aus dem Core Team bekannt gegeben. Außerdem hat er die Verantwortung für die Veröffentlichung von Perl abgegeben, seine Teilnahme am Ausschuss für die Vergabe von Stipendien beendet, auf einen Vortrag auf der Perl-Konferenz verzichtet und sein Twitter-Konto gelöscht. Dennoch hat Sawyer X bereit erklärt, die laufende Entwicklung des Releases […] abzuschließen.

Initiative zur Entwicklung offener Projekte für FPGA

Die Gründung der neuen gemeinnützigen Organisation Open-Source FPGA Foundation (OSFPGA) wurde bekannt gegeben, die sich der Entwicklung, Förderung und Schaffung einer Umgebung für die gemeinsame Entwicklung von offenen Hardware- und Softwarelösungen widmet, die den Einsatz von FPGA (Field Programmable Gate Array) ermöglichen, bei denen die Logik nach der Herstellung des Chips umprogrammiert werden kann. Zu den wichtigsten Binäroperationen (AND, NAND, OR, NOR und XOR) gehören solche […]

Veröffentlichung des Hypervisors Xen 4.15

Nach acht Monaten Entwicklung wurde die Veröffentlichung des freien Hypervisors Xen 4.15 bekannt gegeben. An der Entwicklung der neuen Version waren Unternehmen wie Amazon, Arm, Bitdefender, Citrix und EPAM Systems beteiligt. Die Veröffentlichung von Updates für den Xen 4.15-Zweig wird bis zum 8. Oktober 2022 fortgesetzt, die Veröffentlichung von Sicherheitspatches bis zum 8. April 2024. Zu den wichtigsten Änderungen in Xen 4.15 gehören: In den Xenstored-Prozessen […]

Die Veröffentlichung der Benutzerumgebung Sway 1.6, die Wayland nutzt.

Die Version 1.6 des Composite Managers Sway ist verfügbar, entwickelt mit dem Wayland-Protokoll und vollständig kompatibel mit dem Tiling-Window-Manager i3 sowie dem i3bar-Panel. Der Code des Projekts ist in C geschrieben und unter der MIT-Lizenz veröffentlicht. Das Projekt richtet sich an Nutzer von Linux und FreeBSD. Die Kompatibilität mit i3 wird durch Befehle, Konfigurationsdateien und IPC gewährleistet, was die Verwendung von […] ermöglicht.

Das LLVM-Projekt hat HPVM 1.0 vorgestellt, einen Compiler für CPU, GPU, FPGA und Beschleuniger.

Die Entwickler des LLVM-Projekts haben den Compiler HPVM 1.0 (Heterogeneous Parallel Virtual Machine) veröffentlicht, der darauf abzielt, das Programmieren für heterogene Systeme zu vereinfachen und Werkzeuge zur Codegenerierung für CPU, GPU, FPGA und anwendungsspezifische Hardwarebeschleuniger bereitzustellen (die Unterstützung für FGPA und Beschleuniger war nicht Teil der Version 1.0). Der Code des Projekts wird unter der Apache-2.0-Lizenz veröffentlicht. Die Grundidee von HPVM besteht darin, […]

Die Linux-Kernel-Version 5.13 wird anfängliche Unterstützung für den Apple M1 CPU bieten.

Hector Martin hat vorgeschlagen, den ersten Patch-Satz, der vom Asahi Linux Projekt für die Anpassung von Linux an Mac-Computer mit dem ARM-Chip Apple M1 vorbereitet wurde, in den Linux-Kernel aufzunehmen. Diese Patches wurden bereits vom Betreuer der Linux SoC-Branch genehmigt und in die Codebasis Linux-next aufgenommen, auf deren Grundlage die Funktionalität des Kernels 5.13 geformt wird. Technisch gesehen könnte Linus Torvalds die Bereitstellung […]

Das FreeBSD-Projekt hat den ARM64-Port zu einer primären Plattform erklärt und drei Sicherheitsanfälligkeiten behoben.

Die Entwickler von FreeBSD haben beschlossen, im neuen FreeBSD 13 Branch, dessen Veröffentlichung für den 13. April erwartet wird, dem ARM64 (AArch64) Port den Status einer primären Plattform (Tier 1) zuzuweisen. Zuvor wurde ein ähnliches Unterstützungsniveau für 64-Bit-x86-Systeme bereitgestellt (bis vor kurzem war auch die i386-Architektur primär, wurde jedoch im Januar auf das zweite Unterstützungsniveau herabgestuft). Das erste Unterstützungsniveau […]

Veröffentlichung von Wine 6.6

Die experimentelle Veröffentlichung der offenen WinAPI-Implementierung — Wine 6.6, hat stattgefunden. Seit der Veröffentlichung der Version 6.5 wurden 56 Fehlerberichte geschlossen und 320 Änderungen vorgenommen. Die wichtigsten Änderungen sind: Die Mono-Engine wurde auf Version 6.1.1 aktualisiert, mit der Übertragung einiger Updates aus dem Hauptprojekt. Die DWrite- und DnsApi-Bibliotheken wurden in das PE-Format umgewandelt. Die Unterstützung des Treibers für Geräte wurde verbessert […]

Das Coq-Theorem-Proof-Tool evaluiert die Möglichkeit einer Namensänderung.

Das Werkzeug zur Beweisführung von Theoremen in Coq erwägt einen Namenswechsel. Grund dafür ist, dass die Wörter „coq“ und „cock“ (Slangbegriff für das männliche Geschlechtsorgan) für Englischsprachige ähnlich klingen, was einige weibliche Nutzer in ihrer mündlichen Verwendung mit zweideutigen Witzen konfrontierte. Der Name Coq selbst stammt von dem Nachnamen eines der Entwickler, Thierry Coquand. Die klangliche Ähnlichkeit zwischen Coq und Cock (engl. […]

Kaufen Sie zuverlässiges Hosting für Websites mit DDoS-Schutz, VPS VDS-Servern 🔥 Kaufen Sie zuverlässiges Hosting für Websites mit DDoS-Schutz, VPS VDS-Servern | ProHoster