381
 

Lean hat die Korrektheit des Programms bewiesen, doch darin wurde ein Bug gefunden

 (kirancodes.me)
Beim Fuzzing einer formal verifizierten zlib-Implementierung wurden ein Heap-Buffer-Overflow in der Lean-4-Runtime und eine DoS-Schwachstelle im nicht verifizierten Archiv-Parser entdeckt.
1 Punkte von GN⁺ 15 일 전 | 1 Kommentare
382
 

Spanien weitet Internetsperren auf Tennis, Golf und sogar Sendezeiten von Filmen aus

 (bandaancha.eu)
Spanien weitet gerichtlich angeordnete IP-Sperren auf weitere Sportarten sowie Filme und Serien aus, mit Auswirkungen auf alle Internetanbieter und mögliche Kollateralschäden für legitime Websites.
2 Punkte von GN⁺ 15 일 전 | 1 Kommentare
383
 

Die Gefahren von Kaliforniens Gesetzesvorlage zur Zensur von 3D-Druck

 (eff.org)
Kaliforniens Gesetzentwurf A.B. 2047 könnte verpflichtende Zensursoftware für 3D-Drucker einführen und damit Open Source, Nutzerkontrolle, Privatsphäre und Innovation bedrohen.
1 Punkte von GN⁺ 15 일 전 | 1 Kommentare
384
 

Anthropic: Opus 4.7 und AI-Designtool stehen kurz vor dem Start … Adobe- und Wix-Aktien reagieren sofort

 (theinformation.com)
Anthropic soll kurz vor dem Start von Opus 4.7 und einem AI-Designtool stehen, woraufhin die Aktien von Adobe, Wix und Figma sofort nachgaben.
4 Punkte von princox 15 일 전 | Kommentare und Diskussion
385
 

OpenAI stellt erweiterte Strategie „Trusted Access“ für Cyberabwehr und GPT-5.4 Cyber vor

 (openai.com)
OpenAI will fortschrittliche KI für die Cyberabwehr breiter verfügbar machen und setzt dafür mit „Trusted Access for Cyber“ auf verifizierte, gestufte Zugangsmodelle statt auf reine Funktionsbeschränkungen.
1 Punkte von princox 15 일 전 | 2 Kommentare
386
 

Wenn KI Fachwissen komprimiert, was dem Menschen am Ende bleibt

 (eggp.dev)
Ein ehrlicher Erfahrungsbericht darüber, wie KI beim Entwurf eines DSL-Compilers half und zugleich ihre Grenzen sichtbar machte.
6 Punkte von eggplantiny 15 일 전 | 11 Kommentare
387
 

BOJ stellt den Dienst ein

 (acmicpc.net)
Die Algorithmus-Plattform Baekjoon Online Judge (BOJ) stellt nach 16 Jahren den Dienst ein; die Aufgaben sollen möglicherweise in einer wieder einsehbaren Form erhalten bleiben.
56 Punkte von mdisprgm 15 일 전 | 36 Kommentare
388
 

Fiverr ließ Kundendateien öffentlich zugänglich und durchsuchbar

 (news.ycombinator.com)
Durch öffentliche statt signierter Cloudinary-URLs waren bei Fiverr sensible Kundendokumente über Google auffindbar, was scharfe Kritik am Sicherheitsmanagement auslöste.
1 Punkte von GN⁺ 16 일 전 | Kommentare und Diskussion
389
 

Flock stoppen

 (stopflock.com)
Flock-Safety-Kameras weiten sich in den USA rasch aus und stehen wegen KI-gestützter Massenüberwachung, Risiken für die Privatsphäre und mangelnder Kontrolle in der Kritik.
2 Punkte von GN⁺ 16 일 전 | 1 Kommentare
390
 

Current — ein RSS-Reader, der ohne Schuldgefühle über ungelesene Artikel einfach weiterfließt

 (terrygodier.com)
Ein RSS-Reader beseitigt strukturell das Schuldgefühl rund um „999+ ungelesen“, indem Inhalte mit quellenabhängigen Halbwertszeiten natürlich verschwinden und aktive Feeds nicht mehr alles andere verdrängen.
9 Punkte von GN⁺ 16 일 전 | 3 Kommentare
391
 

Phantom-Verpflichtung

 (terrygodier.com)
Ein Essay untersucht, wie RSS-Reader und ähnliche Apps visuelle Muster echter sozialer Verpflichtungen übernommen und daraus grundloses Schuldgefühl erzeugt haben.
4 Punkte von GN⁺ 16 일 전 | 1 Kommentare
392
 

Das Sicherheitsdesaster einer per Vibe Coding gebauten Patientenverwaltungs-App

 (tobru.ch)
Ein mit einem AI Coding Agent erstelltes Patientenverwaltungssystem legte unverschlüsselte Patientendaten offen und wirft erhebliche Datenschutz- und Sicherheitsfragen auf.
20 Punkte von GN⁺ 16 일 전 | 11 Kommentare
393
 

YouTube überholt Disney und steigt zum größten Medienunternehmen der Welt auf

 (hollywoodreporter.com)
YouTube überholt Disney beim Medienumsatz, wächst mit Werbung und Abos weiter und festigt mit AI-Investitionen seine Rolle als führende hybride Medienplattform.
1 Punkte von GN⁺ 16 일 전 | 2 Kommentare
394
 

Vergleich von Claude Code (~100 Stunden) vs. Codex (~20 Stunden)

 (reddit.com)
Ein Senior Engineer vergleicht Claude Code und Codex in einem realen 80.000-Zeilen-Projekt: Claude ist schneller, Codex arbeitet sorgfältiger und verlässlicher.
59 Punkte von GN⁺ 16 일 전 | 18 Kommentare
395
 

Cloudflare Mesh veröffentlicht – sicheres privates Networking für Nutzer, Nodes, Agenten und Workers

 (blog.cloudflare.com)
Cloudflare Mesh bringt bidirektionales privates Networking für Geräte, Nodes, Agenten und Workers und ist bis zu 50 Nodes sowie 50 Nutzer kostenlos.
5 Punkte von GN⁺ 16 일 전 | 5 Kommentare
396
 

Vollständig neu geschriebene Claude-Code-Desktop-App vorgestellt

 (x.com/claudeai)
Die komplett neu entwickelte Claude-Code-Desktop-App unterstützt mehrere Sitzungen, integrierte Entwicklerwerkzeuge und anpassbare Layouts.
7 Punkte von xguru 16 일 전 | 3 Kommentare
397
 

Aufforderung zur Ablehnung der Erhebung personenbezogener Daten bei Flock Safety und die Reaktion des Unter...

 (honeypot.net)
Ein kalifornischer Nutzer verlangte von Flock Safety die Löschung und künftige Unterlassung der Erhebung seiner personenbezogenen Daten, doch das Unternehmen wies den Antrag mit Verweis auf seine Rolle als Processor zurück.
2 Punkte von GN⁺ 16 일 전 | 1 Kommentare
398
 

jj – CLI für Jujutsu

 (steveklabnik.github.io)
`jj` ist die CLI von Jujutsu und kombiniert die Stärken von `git` und Mercurial in einem einfacheren, aber leistungsfähigen DVCS-Workflow.
2 Punkte von GN⁺ 16 일 전 | 1 Kommentare
399
 

Claude Code Routines veröffentlicht

 (code.claude.com)
Claude Code erhält Cloud-basierte Automatisierung mit Zeitplan-, API- und GitHub-Triggern, die auch bei ausgeschaltetem Laptop auf der Anthropic-Infrastruktur weiterläuft.
13 Punkte von GN⁺ 16 일 전 | 1 Kommentare
400
 

Tausende seltene Konzertmitschnitte im Internet Archive veröffentlicht

 (techcrunch.com)
Im Internet Archive wurden Tausende seltene Konzertmitschnitte aus Aadam Jacobs’ Kassettenarchiv digitalisiert und veröffentlicht, darunter ein Nirvana-Auftritt von 1989.
5 Punkte von GN⁺ 16 일 전 | 2 Kommentare