41
 

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
42
 

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
43
 

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
44
 

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
45
 

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
46
 

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.
2 Punkte von GN⁺ 1 일 전 | 1 Kommentare
47
 

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
48
 

Niederländische Zentralbank ersetzt AWS und wählt Lidl für eine European Cloud

 (techzine.eu)
Die niederländische Zentralbank ersetzt AWS durch Stackit von Schwarz Digits, um ihre Abhängigkeit von US-Cloud-Anbietern zu verringern.
1 Punkte von GN⁺ 1 일 전 | 1 Kommentare
49
 

Talkie: ein 13B Vintage-Sprachmodell aus dem Jahr 1930

 (talkie-lm.com)
Talkie ist ein 13B-Vintage-Sprachmodell, das nur mit englischen Texten von vor 1931 trainiert wurde und als Forschungsplattform für historische Wissens-Cutoffs, Generalisierung und kontaminationsärmere Evaluierung dient.
1 Punkte von GN⁺ 1 일 전 | 1 Kommentare
50
 

dirac – präziser und tokeneffizienter Open-Source-KI-Agent

 (github.com/dirac-run)
Ein präziser und tokeneffizienter Open-Source-KI-Agent, der starke Refactoring-Leistung mit niedrigen Kosten kombiniert.
1 Punkte von GN⁺ 1 일 전 | 1 Kommentare
51
 

China blockiert Metas Übernahme des KI-Startups Manus

 (cnbc.com)
China hat Metas Übernahme des KI-Startups Manus gestoppt und erhöht damit den Druck auf grenzüberschreitende Deals chinesischer KI-Unternehmen.
1 Punkte von GN⁺ 1 일 전 | 1 Kommentare
52
 

VibeVoice – Open-Source-Sprach-KI-Modell der nächsten Generation

 (github.com/microsoft)
Microsofts Open-Source-Sprach-KI-Familie VibeVoice kombiniert TTS und ASR mit integrierter Sprechertrennung, langen Single-Pass-Sequenzen und Echtzeitfunktionen.
26 Punkte von xguru 1 일 전 | 1 Kommentare
53
 

Ist mein Blau dasselbe wie dein Blau?

 (ismy.blue)
Eine kurze Interaktion lässt Nutzer selbst einordnen, wo sie die Grenze zwischen Blau und Grün ziehen.
1 Punkte von GN⁺ 2 일 전 | 2 Kommentare
54
 

Harness Engineering: Das Zeitalter des Arbeitsumfeld-Designs ist wichtiger als das Modell

 (addyosmani.com)
Addy Osmani argumentiert, dass bei Coding-AI nicht das Modell, sondern vor allem das Design des Harnesses über die tatsächliche Leistung entscheidet.
46 Punkte von ragingwind 2 일 전 | 10 Kommentare
55
 

pgBackRest wird nicht länger gewartet

 (github.com/pgbackrest)
pgBackRest, ein skalierbares Backup- und Restore-Tool für PostgreSQL, wird nicht länger gewartet und stellt Bugfixes, Reviews, Issue-Bearbeitung und neue Funktionen vollständig ein.
3 Punkte von GN⁺ 2 일 전 | 1 Kommentare
56
 

Bei Mercor wurden 4 TB Sprachproben von 40.000 KI-Vertragskräften geleakt

 (app.oravys.com)
Ein Leak bei Mercor soll 4 TB Sprach- und Ausweisdaten von mehr als 40.000 KI-Vertragskräften offengelegt haben und erhöht das Risiko für Voice Cloning und biometrischen Missbrauch erheblich.
1 Punkte von GN⁺ 2 일 전 | 1 Kommentare
57
 

Männer, die Wände anstarren

 (alexselimov.com)
Eine einfache Routine aus 5–10 Minuten Wandanstarren soll helfen, Brain Fog zu durchbrechen und Konzentration sowie Produktivität spürbar zu verbessern.
2 Punkte von GN⁺ 2 일 전 | 1 Kommentare
58
 

GitHub Copilot stellt auf nutzungsbasierte Abrechnung um

 (github.blog)
GitHub Copilot wird ab dem 1. Juni 2026 auf nutzungsbasierte Abrechnung mit monatlichen AI Credits umgestellt, während die Grundpreise unverändert bleiben.
6 Punkte von GN⁺ 2 일 전 | 10 Kommentare
59
 

HyperFrames – Open-Source-Framework nur für KI-Agenten zum Erstellen von Videos mit HTML

 (github.com/heygen-com)
HyperFrames ist ein Open-Source-Framework für KI-Agenten, das Videos direkt aus reinem HTML erstellt und als MP4 rendert.
21 Punkte von xguru 2 일 전 | 1 Kommentare
60
 

Microsoft und OpenAI beenden Exklusiv- und Umsatzbeteiligungsvertrag

 (bloomberg.com)
Microsoft und OpenAI beenden Exklusiv- und Umsatzbeteiligungsklauseln, wodurch OpenAI seine Cloud-Vertriebskanäle erweitern kann und sich der Wettbewerb im AI-Infrastrukturmarkt verändern könnte.
4 Punkte von GN⁺ 2 일 전 | 1 Kommentare