Webtagr - Technologienummer

Beliebte Tags：

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

Apache Kvrocks: Eine verteilte NoSQL-Datenbank kompatibel mit Redis

2025-01-23

Apache Kvrocks ist eine verteilte Key-Value NoSQL-Datenbank, die RocksDB als Speicherengine verwendet und mit dem Redis-Protokoll kompatibel ist. Sie unterstützt Namespaces (ähnlich dem Redis SELECT, aber mit Tokens pro Namespace), asynchrone Replikation (mit binlog-ähnlichen Mechanismen), hohe Verfügbarkeit (unterstützt Redis Sentinel für Failover) und ein zentrales Cluster-Management, das über jeden Redis-Cluster-Client zugänglich ist.

(kvrocks.apache.org)

Technologie

arXivLabs: Experimentelle Projekte mit Community-Mitarbeitern

2025-06-15

arXivLabs ist ein Framework, das es Mitarbeitern 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, Gemeinschaft, Exzellenz und Datenschutz der Benutzerdaten übernommen und akzeptiert. arXiv verpflichtet sich zu diesen Werten und arbeitet nur mit Partnern zusammen, die diese einhalten. Haben Sie eine Idee für ein Projekt, das der arXiv-Community einen Mehrwert bietet? Erfahren Sie mehr über arXivLabs.

(arxiv.org)

Entwicklung

Serverless Lakehouse für 10 $/Monat: Eine DuckLake-Implementierung

2025-06-01

Serverless Lakehouse für 10 $/Monat: Eine DuckLake-Implementierung

Dieser Artikel demonstriert den Aufbau eines serverlosen Lakehouse für unter 10 $/Monat mit DuckLake und DuckDB. Durch die geschickte Kombination von Cloudflare R2-Speicher, Cloudflare Containers für die Berechnung und NeonDB für die Metadatenverwaltung wird eine flexible, skalierbare und kostengünstige Lakehouse-Architektur erreicht. Der Artikel beschreibt detailliert den Bereitstellungsprozess, einschließlich der Installation von Abhängigkeiten, dem Erstellen von Images, der Einrichtung von Geheimnissen und der Ausführung von Abfragen, mit einem Link zum vollständigen GitHub-Repository. Dies zeigt, wie man ein flexibles Lakehouse für kleinere Projekte oder Teams aufbaut, ohne auf komplexe und teure Lösungen von großen Cloud-Anbietern angewiesen zu sein.

(tobilg.com)

Entwicklung

RealtimeSanitizer für Rust: Eine neue Open-Source-Bibliothek

2025-01-23

Dieser Beitrag stellt `rtsan-standalone-rs` vor, eine neue Open-Source-Bibliothek, die den RealtimeSanitizer (RTSan) von LLVM nach Rust bringt. RTSan hilft, schwer zu findende Echtzeitverletzungen in Ihrem Code zu erkennen, wie z. B. Speicherzuweisungen, die für Anwendungen wie Audioverarbeitung und selbstfahrende Autos entscheidend sind. Der Autor beschreibt die Implementierung, die Verwendung mit Makros wie `nonblocking` und `blocking` und wie man sie in Ihre Rust-Projekte integriert. Diese Bibliothek bietet sofortigen Zugriff auf die Funktionen von RTSan in stabilem Rust und verbessert so die Sicherheit und Vorhersagbarkeit von Echtzeitanwendungen vor der offiziellen Integration in LLVM20.

(steck.tech)

Entwicklung Echtzeitprogrammierung

Hochleistungs-Teams begrüßen Konflikte, nicht Harmonie

2025-04-12

Hochleistungs-Teams begrüßen Konflikte, nicht Harmonie

Hochleistungs-Teams zeichnen sich nicht durch oberflächliche Harmonie aus, sondern durch ein Gefühl von psychologischer Sicherheit – die Fähigkeit, offen zu diskutieren und Konflikte produktiv zu lösen. Wahre Sicherheit bedeutet nicht, Konflikte zu vermeiden, sondern herausfordernde Ideen zuzulassen, um das Team stärker zu machen. Der Autor argumentiert, dass gesunde Teams Probleme frühzeitig aufdecken, gründlich debattieren, sich auf das Problem und nicht auf die Person konzentrieren und Fehler in Lernmöglichkeiten verwandeln. Umgekehrt verbergen „nette“ Teams, denen offene Kommunikation fehlt, verdeckte Probleme, was letztendlich zum Scheitern führt. Der Aufbau dieses Umfelds beinhaltet: Führungskräfte zeigen ihre Verletzlichkeit, legen Grundregeln für Debatten fest und belohnen diejenigen, die herausfordernde Fragen stellen. Letztendlich löst ein psychologisch sicheres Team, auch wenn es Konflikte gibt, Probleme effektiv, vermeidet Ressentiments und liefert letztendlich qualitativ hochwertigere Arbeit.

(terriblesoftware.org)

Entwicklung psychologische Sicherheit Konfliktlösung

Newtons „Bildungsgleichheit“-Experiment scheitert

2024-12-14

Newtons „Bildungsgleichheit“-Experiment scheitert

Im Herbst 2021 führten die öffentlichen Schulen von Newton in Massachusetts eine komplexe Initiative namens „Mehrstufenklassen“ durch, um die Bildungsgerechtigkeit zu verbessern. Dieses Modell mischte Schüler mit unterschiedlichen akademischen Fähigkeiten in einzelnen Klassen mit einem einzigen Lehrer. Drei Jahre später sind die Ergebnisse besorgniserregend. Lehrer berichten, dass das Modell den Bedürfnissen verschiedener Lernender nicht gerecht wird; leistungsstarke Schüler werden behindert, während leistungsschwächere Schüler zögern, Fragen zu stellen. Der Mangel an angemessener Ausbildung und Unterstützung für Lehrer führte zu schlechten Ergebnissen, wobei Schüler in Mehrstufenklassen oft schlechter abschnitten als ihre Kollegen in Einstufenklassen. Der Schule fehlten Kennzahlen für den Erfolg, und keine Daten stützten die Wirksamkeit des Modells. Ein Lehrerkollegium reichte eine Petition ein, um die Mehrstufenklassen in MINT-Fächern und Sprachen rückgängig zu machen, und forderte den Schulbezirk auf, bessere Lösungen zur Verbesserung der Bildungsgerechtigkeit zu finden. Das Scheitern unterstreicht die Notwendigkeit datenbasierter Ansätze und eines Fokus auf die Bedürfnisse der Schüler bei der Bildungsreform.

(www.thefp.com)

Sonstiges Bildungsgerechtigkeit Mehrstufenklassen Bildungsreform

Bau eines Finanzhandels-Bots mit Claude und SnapTrade

2025-05-25

Dino Angelov beschreibt den Bau eines Finanzhandels-Bots mithilfe von Anthropics Claude und dem MCP-Protokoll, integriert mit der SnapTrade-API. Obwohl er zunächst versuchte, Claude zum Schreiben des MCP-Servers zu verwenden, stellte er fest, dass Gemini effektiver war. Letztendlich nutzte er das go-mcp-Framework für schnellere Entwicklung und schuf Funktionen zum Verbinden von Brokerage-Konten, Anzeigen von Portfolios und Ausführen von Trades. Der Autor warnt Benutzer vor der unvorhersehbaren Natur von LLMs und dem Potenzial für versehentliche Trades.

(dangelov.com)

Entwicklung

Devstral: Open-Source LLM übertrifft GPT-4.1-mini im Software-Engineering-Benchmark

2025-05-21

Devstral: Open-Source LLM übertrifft GPT-4.1-mini im Software-Engineering-Benchmark

Mistral AI und All Hands AI haben gemeinsam Devstral veröffentlicht, ein agentisches Large Language Model (LLM) für Software-Engineering-Aufgaben. Devstral zeichnet sich im SWE-Bench Verified Benchmark aus und erreicht einen Score von über 46,8 %, mehr als 6 % besser als vorherige Open-Source-Modelle und sogar besser als GPT-4.1-mini. Es bewältigt komplexe Software-Engineering-Probleme wie das Verstehen von Kontextbeziehungen in großen Codebasen und das Erkennen subtiler Bugs. Devstral ist leichtgewichtig, läuft auf einer einzelnen RTX 4090 oder einem Mac mit 32 GB RAM und unterstützt lokale Bereitstellung, Unternehmenseinsatz und Copilot-Integration. Das Modell ist Open Source und über eine API und verschiedene Download-Optionen verfügbar.

(mistral.ai)

Entwicklung

Logik für Programmierer: Eine sanfte Einführung in den Sequenzenkalkül

2025-01-22

Dieser Beitrag, der erste einer Reihe über Logik, führt den Sequenzenkalkül als ein leistungsstarkes System zum Schließen ein. Unter Verwendung der Gentzen-Notation erklärt der Autor, wie man logische Inferenzen symbolisch darstellt, wobei Inferenzregeln, Ableitungsbäume und Metavariablen behandelt werden. Der Artikel vergleicht den Sequenzenkalkül, die natürliche Deduktion von Sequenzen und die natürliche Deduktion und behandelt den einseitigen Sequenzenkalkül und die intuitionistische Logik. Schließlich werden kurz die Beweisbegriffe in der intuitionistischen Logik und deren Zusammenhang mit dem einfach typisierten Lambda-Kalkül vorgestellt.

(ryanbrewer.dev)

Entwicklung Sequenzenkalkül Typentheorie

Soziales, nicht alleiniger Alkoholkonsum ist der Schlüssel zum Verständnis von Alkoholabhängigkeit

2025-05-09

Eine neue Studie stellt die gängige Meinung zur Alkoholabhängigkeit in Frage. Während alleiniger Alkoholkonsum lange Zeit als Hauptmerkmal der Alkoholkrankheit galt, zeigt eine in Current Directions in Psychological Science veröffentlichte Forschung, dass sozialer Alkoholkonsum der Schlüsselfaktor für schwerwiegende alkoholbedingte Probleme ist. Die Studie zeigt, dass Personen in sozialen Situationen durchweg mehr Alkohol konsumieren als allein, und viele negative Folgen von Alkoholkonsum, wie Gewalt, risikoreiches Sexualverhalten und exzessives Trinken, hängen hauptsächlich mit sozialem Alkoholkonsum zusammen. Die Forscher plädieren dafür, den Fokus zukünftiger Forschung zur Alkoholabhängigkeit auf soziale Faktoren zu verlagern und über die alleinige Betonung des alleinigen Alkoholkonsums hinauszublicken.

(news.illinois.edu)

Sonstiges Alkoholabhängigkeit sozialer Alkoholkonsum

Linux-Kernel-Maintainer Hector Martin tritt zurück

2025-02-07

Hector Martin, ein wichtiger Entwickler des Linux-Kernels, hat seinen Rücktritt von der Kernel-Wartung angekündigt und sich insbesondere als Maintainer für die Apple/ARM-Plattform entfernt. Er gab einen Vertrauensverlust in den Kernel-Entwicklungsprozess und das Community-Management an. Zukünftig könnte er zwar selbständig Patches einreichen, sein Weggang löst jedoch eine Diskussion über das Community-Management des Linux-Kernels aus.

(lkml.org)

Entwicklung Community-Management

Ein tiefer Einblick in XOR: Von der Booleschen Logik zur Kryptographie

2025-02-18

Dieser Artikel befasst sich eingehend mit dem scheinbar einfachen XOR-Operator (Exklusiv-ODER) in der Informatik. Ausgehend vom XOR in der Booleschen Logik geht er zu bitweisen Operationen auf ganzen Zahlen über und untersucht die Anwendungen von XOR in der Kryptographie, Pixelgrafik, Spieltheorie und endlichen Körpern. Der Autor verwendet eine ansprechende Erzählweise und zahlreiche Beispiele, um die Eigenschaften und Verwendungen von XOR zu erklären, wie z. B. seine Rolle als einfache Verschlüsselungsmethode in der Kryptographie, reversibles Zeichnen und Löschen in der Pixelgrafik und die Bestimmung optimaler Strategien im Spiel Nim. Schließlich verbindet der Artikel XOR mit mathematischen Konzepten wie der symmetrischen Differenz von Mengen, Gruppen mit Exponent 2, Nim-Summe, dem endlichen Körper GF(2) und CRC-Prüfsummen und enthüllt die tieferen mathematischen Grundlagen und die breiten Anwendungen des XOR-Operators.

(www.chiark.greenend.org.uk)

Entwicklung bitweise Operationen

Discourse feiert ein Jahrzehnt der Förderung von Online-Communities

2024-12-17

Discourse feiert ein Jahrzehnt der Förderung von Online-Communities

Discourse, die Open-Source-Forum-Software, feierte am 26. August 2024 ihr 10-jähriges Jubiläum. Mit der Vision, den Standard des Online-Diskurses zu heben, ist sie von einem kleinen Team von vier auf über 100 Mitarbeiter in 25 Ländern gewachsen. Die Plattform umfasst über 20.000 Communities, 107 Millionen Themen und fast 1,65 Milliarden Beiträge. Die kontinuierliche Entwicklung umfasste die Hinzufügung von 49 Plugins, Chat-Funktionen und KI-basierten Tools für Moderation und Benutzererfahrungsverbesserung. Dieser Erfolg ist ein Beweis für ihren Open-Source-Charakter, ihr Engagement für Benutzerfeedback und das Engagement ihres Teams.

(blog.discourse.org)

Entwicklung Open-Source-Forum Community-Software KI-Integration

Apple-Gerät als Zugangskarte verwenden: Ein cleverer Trick mit einer chinesischen Transitkarte

2025-01-19

Apple-Gerät als Zugangskarte verwenden: Ein cleverer Trick mit einer chinesischen Transitkarte

Viele haben versucht, ihr Apple-Gerät als Zugangskarte zu verwenden, aber die geschlossene Natur der NFC- und Wallet-Ökosysteme macht dies schwierig. Eine chinesische Transitkarte namens "China T-Union", die offiziell von Apple Wallet unterstützt wird, bietet jedoch eine clevere Lösung. Ihre einzigartigen Eigenschaften – eine nicht zufällig generierte UID und eine unveränderliche Seriennummer zwischen Geräten – ermöglichen die Verwendung mit einigen UID-basierten Zugangskontrollsystemen. Obwohl die UID-Authentifizierung weniger sicher ist, unterstützen einige Systeme sie als Fallback. Die Beschaffung der Karte erfordert ein Alipay-Konto und ein biometrisches Reisedokument. Die Methode ist etwas umständlich, bietet aber eine praktikable Lösung für Zugangssysteme, die die UID-Authentifizierung unterstützen.

(github.com)

Technologie Apple-Gerät Zugangskarte

Neue Klasse virusähnlicher Einheiten im menschlichen Darm entdeckt

2024-12-30

Neue Klasse virusähnlicher Einheiten im menschlichen Darm entdeckt

Forscher haben eine völlig neue Klasse virusähnlicher Objekte im menschlichen Verdauungssystem entdeckt, die als „Obelisken“ bezeichnet werden. Diese RNA-Strukturen, etwa 1.000 Nukleotide lang, unterscheiden sich von allen bekannten Viren und könnten eine völlig neue biologische Einheit darstellen, die möglicherweise die evolutionäre Lücke zwischen einfachen genetischen Molekülen und komplexen Viren schließt. In menschlichen Mikrobiomen gefunden, codieren Obelisken für ein neuartiges Protein namens „Oblins“, aber ihre Auswirkungen auf Wirtszellen und ihr Übertragungsmechanismus sind noch unbekannt. Diese Entdeckung eröffnet spannende neue Wege für die Forschung in den Biowissenschaften.

(www.sciencealert.com)

KI Virus Mikrobiom

Globale PC-Leistung sinkt erstmals: PassMark-Daten zeigen unerwarteten Trend

2025-02-11

Globale PC-Leistung sinkt erstmals: PassMark-Daten zeigen unerwarteten Trend

Die neuesten Daten von PassMark zeigen einen überraschenden Rückgang: Erstmals ist die durchschnittliche globale PC-Prozessorleistung gesunken, was einen langjährigen Aufwärtstrend beendet. Die Leistung von Laptops sank um 3,4 %, die von Desktop-PCs um 0,5 %. Trotz der jüngsten Veröffentlichungen von AMD und Intel waren die tatsächlichen Leistungsgewinne minimal und blieben hinter den Erwartungen zurück. PassMark vermutet, dass Faktoren wie die Umstellung von Nutzern auf günstigere Geräte, Leistungsprobleme unter Windows 11 und Bloatware zu diesem unerwarteten Rückgang beitragen könnten. Die genaue Ursache ist jedoch noch unklar, und zukünftige Daten könnten sich ändern.

(www.tomshardware.com)

Hardware PC-Leistung

60 Minutes ermittelt: Ehemalige NSA-Mitarbeiterin kehrt nach Menwith Hill zurück

2024-12-24

Margaret Newsham, ehemalige Mitarbeiterin der National Security Agency (NSA), kehrte auf Einladung des 60 Minutes-Teams zur Abhörstation Menwith Hill im Vereinigten Königreich zurück. Jahre später war sie verblüfft über die Expansion der Basis und riskierte zusammen mit dem Filmteam die Verhaftung, um sich der Anlage zum Filmen und Interviewen zu nähern. Newsham berichtete über ihre Erfahrungen bei der Arbeit auf der Basis und teilte ihre Beobachtungen mit – ein spannendes Abenteuer, das das enorme Ausmaß und den Einfluss dieser geheimen Abhörstation enthüllte.

(cryptome.org)

Sonstiges Abhörstation

Open-Source-Kurs: Robotik und ROS 2 Essentials – ROS 2 von Grund auf lernen

2025-01-19

Open-Source-Kurs: Robotik und ROS 2 Essentials – ROS 2 von Grund auf lernen

Henki Robotics hat in Zusammenarbeit mit der Universität Ostfinnland einen für Anfänger geeigneten ROS 2 Robotik-Kurs als Open Source veröffentlicht. Der Kurs behandelt essentielle ROS 2 Konzepte, Gazebo-Simulation, SLAM, Navigation und mehr, alles in einer Docker-basierten Containerumgebung, die keine vorherige Installation erfordert. Praktische Übungen und der Fokus auf Anwendung machen diesen Kurs ideal für Anfänger, die schnell die Fähigkeiten für die moderne Robotik-Entwicklung erlernen möchten.

(henkirobotics.com)

Entwicklung Open-Source-Kurs

Revolutionäre Kühltechnologie: Umweltfreundliche Kühlschränke durch thermogalvanische Zellen

2025-02-01

Revolutionäre Kühltechnologie: Umweltfreundliche Kühlschränke durch thermogalvanische Zellen

Forscher der Huazhong University of Science and Technology in China haben eine bahnbrechende Kühltechnologie entwickelt, die die Kältetechnik revolutionieren soll. Mittels einer thermogalvanischen Zelle erreicht die Technologie eine Temperaturerniedrigung von 1,42 °C, indem Elektrizität verwendet wird, um eine wärmeabsorbierende chemische Reaktion anzutreiben – eine deutliche Verbesserung gegenüber früheren Versuchen, die nur 0,1 °C erreichten. Obwohl derzeit bescheiden, glauben die Forscher, dass diese Technologie ein enormes Skalierungspotenzial besitzt. Zukünftige Arbeiten umfassen die Verbesserung der Leistung, die Entwicklung von Kühlschrankprototypen und die Zusammenarbeit mit Unternehmen, um diese umweltfreundliche Innovation zu kommerzialisieren.

(cosmosmagazine.com)

Technologie thermogalvanische Zelle Kühltechnologie

Neuer Compiler für CHICKEN Scheme: CRUNCH – Ein statisch typisierter Scheme-Compiler

2024-12-17

Dieser Artikel stellt CRUNCH vor, einen neuen Compiler für eine statisch typisierte Teilmenge der Programmiersprache Scheme. Er basiert auf dem CHICKEN Scheme-System und kompiliert Scheme-Code in portablen C99-Code. CRUNCH zielt darauf ab, einen performanten und leichtgewichtigen Scheme-Compiler bereitzustellen, der die Mängel bestehender Scheme-Systeme in Bezug auf Performance und Portabilität behebt. Er eignet sich besonders gut für die Spieleentwicklung, die Erstellung von virtuellen Maschinen und die Programmierung von eingebetteten Systemen. Obwohl CRUNCH Einschränkungen in den unterstützten Scheme-Funktionen aufweist, erreicht er durch Typinferenz und verschiedene Optimierungen eine effiziente Codegenerierung und integriert sich nahtlos in das CHICKEN Scheme-Ökosystem.

(www.more-magic.net)

Entwicklung Statisch Typisiert

Norwegens Staatsfonds: Ein Petrodollar-Imperium

2025-02-01

Norwegens Staatsfonds: Ein Petrodollar-Imperium

Nachdem Norwegen 1963 die Souveränität über den norwegischen Kontinentalschelf erklärt hatte, entdeckte es riesige Ölreserven. 1990 wurde der staatliche Öl-Fonds gegründet, um dieses Vermögen in ein diversifiziertes Portfolio von Vermögenswerten zu investieren. Heute ist dieser Fonds der größte Staatsfonds der Welt mit einem Vermögen von über 1,78 Billionen US-Dollar – das entspricht über 319.900 US-Dollar pro norwegischem Bürger. Obwohl Aktien den größten Teil des Fondswerts ausmachen, hat die Norges Bank Investment Management (NBIM) zunehmend Kapital in erneuerbare Energien investiert. Ironischerweise wird Norwegens ehrgeizige grüne Transformation, einschließlich der nahezu vollständigen Umstellung auf Elektrofahrzeuge, durch Billionen von Petrodollars finanziert.

(sherwood.news)

Startup Staatsfonds Ölinvestitionen

Mysteriöse Tafel mit unbekannter Schrift in Georgien entdeckt

2024-12-14

Eine Basalttafel mit 60 rätselhaften Zeichen wurde in der Nähe des Bashplemi-Sees in Georgien entdeckt. Die einzigartigen Symbole, in sieben Zeilen angeordnet, weisen teilweise Ähnlichkeiten mit Schriften aus dem Nahen Osten, Indien, Ägypten und sogar Westiberien auf, entsprechen aber keinem bekannten Schriftsystem. Die Datierung in die späte Bronze- oder frühe Eisenzeit ist wahrscheinlich, ihr Zweck bleibt jedoch ein Rätsel. Theorien reichen von der Aufzeichnung von Kriegsbeute über Bauprojekte bis hin zu religiösen Opfergaben. Die Entdeckung deutet auf einen kulturellen Austausch zwischen dem Kaukasus und den Nachbarregionen in der Antike hin.

(languagelog.ldc.upenn.edu)

Sonstiges alte Schrift archäologische Entdeckung Georgien

Nintendos Anti-Palworld-Patentstreit geht global: US-Patent erteilt

2025-02-15

Nintendos Anti-Palworld-Patentstreit geht global: US-Patent erteilt

Nintendo erhielt im Februar 2025 ein US-Patent für ein Kreaturenfangsystem, das offenbar auf Palworld abzielt. Dies folgt auf eine Klage in Japan gegen Pocketpair, den Entwickler von Palworld, wegen Verletzung von geistigem Eigentum. Das neue Patent, ähnlich einem Ende 2024 erteilten Patent, verwendet eine leicht abweichende Formulierung, um seinen Geltungsbereich zu erweitern, was darauf hindeutet, dass Nintendo den Rechtsstreit möglicherweise global ausweiten könnte. Das Ergebnis hängt von anhängigen US-Patentanmeldungen ab, von denen eine zuvor abgelehnt, aber von Nintendo angefochten wurde.

(gamerant.com)

Spiele

Grundlagen großer Sprachmodelle: Ein neues Buch entschlüsselt Kernkonzepte

2025-01-23

Ein neues Buch, "Grundlagen großer Sprachmodelle", wurde veröffentlicht. Anstatt eine umfassende Abdeckung modernster Technologien anzustreben, befasst es sich eingehend mit den grundlegenden Kernkonzepten großer Sprachmodelle. Strukturiert in vier Kapitel, die Pretraining, generative Modelle, Prompting-Techniken und Alignment-Methoden behandeln, richtet sich das Buch an Studenten, Fachleute und Praktiker im Bereich der Verarbeitung natürlicher Sprache und verwandter Gebiete. Es dient als wertvolle Referenz für alle, die sich für große Sprachmodelle interessieren.

(arxiv.org)

KI Verarbeitung natürlicher Sprache

Top 100 Software Engineering Vorträge 2024

2025-02-12

Top 100 Software Engineering Vorträge 2024

Diese Liste fasst die 100 meistgesehenen Software Engineering Vorträge von fast allen großen Konferenzen weltweit im Jahr 2024 zusammen. Die Themen reichen von praktischen Anwendungen großer Sprachmodelle und Hochleistungstechniken in Rust und Java bis hin zu Best Practices in moderner Webentwicklung und Zuverlässigkeitstechnik. Herausragende Vorträge sind Jodie Burchells aufschlussreicher Blick auf LLMs und Martin Thwaites' Erklärung von OpenTelemetry, beide mit über 130.000 Aufrufen. Diese kuratierte Liste bietet eine wertvolle Ressource für Softwareentwickler, die ihr Wissen und ihre Fähigkeiten erweitern möchten.

(www.techtalksweekly.io)

Entwicklung Tech-Vorträge GOTO Konferenz

Cody Computer: Ein Open-Source 8-Bit DIY-Computer

2024-12-30

Der Cody Computer ist ein 8-Bit-Heimcomputer, der als DIY-Projekt konzipiert wurde und von den Commodore-Computern der 1980er Jahre inspiriert ist (aber nicht kompatibel ist). Er basiert auf dem 65C02 und 65C22 von Western Design Center und dem Parallax Propeller-Mikrocontroller. Er verfügt über 3D-gedruckte Komponenten, eine benutzerdefinierte Tastatur und unterstützt sowohl Cody BASIC als auch Assemblersprache. Mit Retro-Grafik und -Sound werden die Designdateien und die Software des Cody Computers unter der GPLv3-Lizenz veröffentlicht. Detaillierte Projektinformationen sind im kostenlos herunterladbaren "Cody Computer Book" verfügbar. Dieses Projekt zielt darauf ab, eine einfache, unterhaltsame und lehrreiche DIY-Computererfahrung zu bieten.

(www.codycomputer.org)

Hardware DIY-Computer

Hochleistungs-Verstärkungslern-Framework für humanoide Roboter

2025-05-18

Ein Hochleistungs-Verstärkungslern-Framework, optimiert für das Training von Lokomotion, Manipulation und realem Einsatz humanoider Roboter, steht bevor. Es bietet hohe Vielseitigkeit für Aufgaben wie Gehen, Tanzen, Hausarbeit und sogar Kochen. Das kommende K-VLA nutzt roboterspezifische Daten im großen Maßstab und eine neuartige Netzwerkarchitektur, um den fähigsten und geschicktesten Roboter zu ermöglichen. Es läuft lokal und lässt sich in andere VLAs wie Pi0.5 und Gr00t integrieren.

(www.kscale.dev)

KI

Envloader: Ein vereinfachtes, plattformübergreifendes Tool zum Laden von Umgebungsvariablen

2025-02-22

Frustriert von den Problemen bei der Einrichtung von direnv auf seinem Windows-Rechner aufgrund restriktiver Büro-Einstellungen, hat der Autor `envloader` entwickelt, ein plattformübergreifendes Tool zur Vereinfachung des Ladens von Umgebungsvariablen im Terminal. Es unterstützt .env- und .envrc-Dateien und konvertiert diese automatisch für Ihre Shell. Die Installation ist einfach über brew oder scoop möglich; führen Sie einfach `envloader` aus, um Ihre Variablen zu laden. Obwohl es im Vergleich zu direnv (z. B. kein automatisches Laden) weniger Funktionen bietet, ist es eine schnelle und effektive Lösung für alle, die eine einfache Möglichkeit zur Verwaltung von Umgebungsvariablen benötigen.

(willwa.de)

Entwicklung Umgebungsvariablen plattformübergreifendes Tool

13 Strategien zum Aufbau exzellenter öffentlicher digitaler Dienste

2025-02-23

Dieser Artikel beschreibt 13 wichtige Schritte zum Aufbau exzellenter öffentlicher digitaler Dienste. Er umfasst die Erforschung der Benutzerbedürfnisse, die ganzheitliche Gestaltung der Benutzererfahrung, einfache und intuitive Benutzeroberflächen, agile und iterative Entwicklung, Budget- und Vertragsmanagement, Teamleitung und -auswahl, Auswahl des Technologie-Stacks, flexible Hosting-Umgebungen, automatisierte Tests und Bereitstellung, Sicherheits- und Datenschutzmanagement, datengetriebene Entscheidungsfindung und offene Prinzipien. Jeder Schritt enthält eine detaillierte Checkliste und wichtige Fragen, um Behörden bei der Erstellung benutzerzentrierter, effizienter, zuverlässiger und sicherer digitaler Dienste zu unterstützen und letztendlich die Erfahrung der öffentlichen Dienste zu verbessern.

(playbook.usds.gov)

Entwicklung digitale Dienste

Prolog: Die Eleganz der deklarativen Programmierung

2025-01-26

Dieser Artikel befasst sich mit der Einfachheit und der Leistungsfähigkeit von Prolog, einer logischen Programmiersprache. Im Gegensatz zu populären imperativen Sprachen (wie Python, Java) verwendet Prolog ein deklaratives Paradigma und konzentriert sich auf die Beschreibung des Problems anstatt auf die Spezifikation der Lösungsschritte. Der Autor demonstriert die Vorteile von Prolog in Bezug auf Kürze und Anpassungsfähigkeit, indem er Prolog- und Kotlin-Implementierungen eines Autorisierungssystems vergleicht. Der Prolog-Code ist deutlich kompakter, und Änderungen sind einfacher, wenn sich die Anforderungen ändern (z. B. durch Hinzufügen einer Zeitdimension). Obwohl Prolog eine steilere Lernkurve aufweist, erweitert seine Beherrschung die Programmierperspektiven und trägt zur Beibehaltung der Systemvereinfachung bei.

(bitsandtheorems.com)

Entwicklung Logische Programmierung Deklarative Programmierung

← Previous 1 2 … 564 565 566 567 568 569 570 571 572 … 595 596 Next →