Arşiv | GeekNews

◀ Önceki yıl | ◁ Önceki ay | << Önceki hafta | < Önceki gün | 2025-06-01 | Sonraki gün > | Sonraki hafta >> | Sonraki ay ▷ | Sonraki yıl ▶

1

Analysis I için Lean yardımcı kaynağı

(terrytao.wordpress.com)

Terence Tao’nun Analysis I kitabının temel içeriğini Lean’e taşıyan bu açık kaynak proje, gerçek analiz ile biçimsel ispat pratiğini birlikte öğrenme imkânı sunuyor.

2 puan yazan GN⁺ 2025-06-01 | 1 yorum

2

Darwin Gödel Machine - Kendi Kodunu Değiştirerek Evrimleşen Yapay Zeka

(sakana.ai)

Darwin Gödel Machine, kendi kodunu değiştirerek evrimleşen ve gerçek benchmark'larda elle tasarlanmış ajanları geride bırakan bir yapay zeka yaklaşımı sunuyor.

10 puan yazan GN⁺ 2025-06-01 | 2 yorum

3

Ask HN: Tüketici tipi donanımda kullanılabilecek en iyi LLM hangisi?

(news.ycombinator.com)

16GB VRAM’li tüketici donanımında Qwen3, DeepSeek-R1, Mistral ve Gemma3 gibi yerel LLM’ler; nicemleme, VRAM/RAM paylaşımı ve doğru araç seçimiyle verimli biçimde kullanılabiliyor.

13 puan yazan GN⁺ 2025-06-01 | 1 yorum

4

Buttplug MCP

(github.com/ConAcademy)

Buttplug MCP, Buttplug.io cihazlarını LLM tabanlı araçlarla bağlayan deneysel bir MCP sunucusu olarak açık kaynak ve ücretsiz sunuluyor.

1 puan yazan GN⁺ 2025-06-01 | 2 yorum

5

Valkey 1. yılında: Topluluk çatalı Redis’i nasıl geride bıraktı

(gomomento.com)

Valkey, topluluk desteği ve pratik tuning yöntemleriyle Redis 8.0’ı performans ve topluluk ivmesinde geride bırakıyor.

8 puan yazan GN⁺ 2025-06-01 | 4 yorum

6

Silicon Valley’de büyük elektronik perakendecisi geri döndü: Micro Center açıldı

(microcenter.com)

Micro Center, Silicon Valley’de yeni mağazasını açarken Member Pricing programını 2026’ya kadar ücretsiz sunuyor.

1 puan yazan GN⁺ 2025-06-01 | 1 yorum

7

jjui - Jujutsu sürüm kontrol sistemi için TUI

(github.com/idursun)

jjui, Jujutsu (jj) için commit ağacı gezinme, rebase, squash, diff ve bookmark gibi temel iş akışlarını terminal arayüzünde sunan bir araçtır.

21 puan yazan xguru 2025-06-01 | 4 yorum

8

Angular v20 duyuruldu

(blog.angular.dev)

Angular v20, kararlı reactivity API’leri, Zoneless önizlemesi, SSR iyileştirmeleri, DevTools entegrasyonu ve GenAI desteğiyle geliştirici deneyimini ileri taşıyor.

3 puan yazan GN⁺ 2025-06-01 | Yorumlar ve tartışma