Archiv | GeekNews

◀ Vorheriges Jahr | ◁ Vorheriger Monat | << Vorherige Woche | < Vorheriger Tag | 2025-06-01 | Nächster Tag > | Nächste Woche >> | Nächster Monat ▷ | Nächstes Jahr ▶

1

Ein Lean-Companion zu Analysis I

(terrytao.wordpress.com)

Ein Open-Source-Projekt überträgt Terence Taos Analysis-I-Lehrbuch in Lean und verbindet Analysis-Lernen mit praktischer Einführung in Mathlib und formale Beweise.

2 Punkte von GN⁺ 2025-06-01 | 1 Kommentare

2

Darwin Gödel Machine – KI, die sich durch eigenes Umschreiben des Codes weiterentwickelt

(sakana.ai)

Die Darwin Gödel Machine verbessert ihren eigenen Code selbst und erzielt in Benchmarks wie SWE-bench und Polyglot deutlich bessere Ergebnisse als manuell entworfene AI-Agenten.

10 Punkte von GN⁺ 2025-06-01 | 2 Kommentare

3

Ask HN: Was ist das beste LLM, das man auf Consumer-Hardware nutzen kann?

(news.ycombinator.com)

Für 16GB VRAM werden vor allem aktuelle 8B~14B-Modelle wie Qwen3, DeepSeek-R1, Mistral und Gemma3 empfohlen, wobei Quantisierung, Offloading und eigene Tests entscheidend sind.

13 Punkte von GN⁺ 2025-06-01 | 1 Kommentare

4

Buttplug MCP

(github.com/ConAcademy)

Ein experimenteller MCP-Server verbindet Geräte aus dem Buttplug.io-Ökosystem mit LLM-Tools wie Claude Desktop, ist aktuell aber noch instabil.

1 Punkte von GN⁺ 2025-06-01 | 2 Kommentare

5

Valkeys 1. Jahrestag: Wie der Community-Fork Redis überholt hat

(gomomento.com)

Valkey hat ein Jahr nach dem Redis-Fork bei Leistung, Community-Entwicklung und praxisnahem Tuning deutlich aufgeholt und teils bereits überholt.

8 Punkte von GN⁺ 2025-06-01 | 4 Kommentare

6

Ein großer Elektronikfachhändler kehrt ins Silicon Valley zurück: Micro Center eröffnet

(microcenter.com)

Micro Center eröffnet einen neuen Standort im Silicon Valley und bietet sein Member-Pricing-Programm bis 2026 kostenlos an.

1 Punkte von GN⁺ 2025-06-01 | 1 Kommentare

7

jjui - TUI für das Versionsverwaltungssystem Jujutsu

(github.com/idursun)

jjui ist ein Terminal-UI für Jujutsu, das zentrale Workflows wie Commit-Baum-Navigation, Rebase, Squash, Diff und Bookmarks effizient unterstützt.

21 Punkte von xguru 2025-06-01 | 4 Kommentare

8

Angular v20 vorgestellt

(blog.angular.dev)

Angular v20 stabilisiert signalbasierte Reaktivitäts-APIs, bringt Zoneless als Developer Preview und verbessert Performance, Debugging sowie GenAI-Support deutlich.

3 Punkte von GN⁺ 2025-06-01 | Kommentare und Diskussion