◀ Vorheriges Jahr | ◁ Vorheriger Monat | << Vorherige Woche | < Vorheriger Tag | 2026-04-29 | Nächster Tag >

21

Ghostty verlässt GitHub

(mitchellh.com)

Ghostty will GitHub wegen wiederholter Ausfälle verlassen und seine Abhängigkeit von Issues, PRs und Actions schrittweise reduzieren.

5 Punkte von GN⁺ 1 일 전 | 3 Kommentare

22

Dillo-Browser 3.3.0 veröffentlicht

(dillo-browser.org)

Dillo 3.3.0 bringt Fernsteuerung per UNIX-Socket, page_action, experimentelles FLTK 1.4, IPv6 standardmäßig und zahlreiche Bugfixes.

4 Punkte von GN⁺ 1 일 전 | 1 Kommentare

23

Was ich beim Schreiben von 50 MCP-Tools gelernt habe: Funktionsaufrufe waren eine ungewöhnlich intime Bezie...

(evan-moon.github.io)

Ein Erfahrungsbericht darüber, warum sich MCP-Tool-Design trotz gleicher Signaturen grundlegend von RPC unterscheidet und Beschreibungen wichtiger werden als Funktionsaufrufe.

6 Punkte von bboydart91 1 일 전 | Kommentare und Diskussion

24

Chrome Prompt API

(developer.chrome.com)

Eine browsernative API für On-Device-AI-Inferenz mit Gemini Nano in Chrome, inklusive Streaming, Sitzungssteuerung und multimodaler Eingaben.

5 Punkte von GN⁺ 1 일 전 | 1 Kommentare

25

Warum nicht einfach Lean verwenden?

(lawrencecpaulson.github.io)

Warum Lean nicht der einzige sinnvolle Proof Assistant ist und weshalb Systeme wie Isabelle, HOL, AUTOMATH oder Mizar weiterhin gute Gründe für ihren Einsatz liefern.

1 Punkte von GN⁺ 1 일 전 | 1 Kommentare

26

An die Studierenden

(ozark.hendrix.edu)

Ein Appell an Studierende, im Computing Menschen, Gerechtigkeit, tiefes Denken und ethische Grenzen über Produktivität und kurzfristigen Gewinn zu stellen.

1 Punkte von GN⁺ 1 일 전 | 1 Kommentare

27

Warp kündigt Open-Source-Wechsel und agentenzentriertes Entwicklungsmodell an

(x.com/zachlloydtweets)

Warp stellt seinen Client auf Open Source um und setzt mit Oz auf ein agentenzentriertes Entwicklungsmodell unter AGPL mit öffentlicher Roadmap um GitHub-Issues.

4 Punkte von ragingwind 1 일 전 | 1 Kommentare

28

Aktuell liegt eine Störung bei GitHub vor

(githubstatus.com)

GitHub meldet derzeit eine Beeinträchtigung bei Pull Requests, während parallel an Neuindizierung und Wiederherstellung der vollständigen Ergebnisse gearbeitet wird.

1 Punkte von GN⁺ 1 일 전 | 1 Kommentare

29

Super ZSNES - GPU-basierter SNES-Emulator

(zsnes.com)

Ein neu geschriebener GPU-basierter SNES-Emulator mit Hi-Res-Verbesserungen, Komfortfunktionen und einer noch frühen Entwicklungsphase.

1 Punkte von GN⁺ 1 일 전 | 1 Kommentare

30

Quarkdown 2.0.0 - Markdown mit leistungsstarken neuen Funktionen

(quarkdown.com)

Quarkdown 2.0.0 erweitert Markdown um Satzfunktionen auf LaTeX-Niveau und bringt unter anderem vollständig offline nutzbare HTML-Ausgabe, ein neues Berechtigungssystem und paralleles Rendering.

1 Punkte von GN⁺ 1 일 전 | 1 Kommentare

31

Warp veröffentlicht terminalbasierte Agentic Development Environment als Open Source

(github.com/warpdotdev)

Warp hat seine Terminal-Codebasis als Open Source freigegeben und testet zugleich, wie Open-Source-Projekte im Zeitalter von KI-Agenten externe Beiträge annehmen können.

6 Punkte von happyhaki 1 일 전 | 4 Kommentare