GeekNews Yeni Yorumlar Arşiv
41
 

Neden sadece Lean kullanılmıyor

(lawrencecpaulson.github.io)
Matematik formelleştirmesinin tarihi Lean’den çok daha eski; Isabelle gibi diğer sistemler otomasyon, okunabilirlik ve farklı tasarım tercihleriyle hâlâ güçlü seçenekler sunuyor.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
42
 

Öğrencilere

(ozark.hendrix.edu)
Bilişim öğrencilerine, teknoloji sektöründeki çalkantıya rağmen etik sınırlar, derin düşünme ve insanı önceleyen bir yaklaşımın korunması çağrısı yapılıyor.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
43
 

Warp’ün açık kaynağa geçişi ve ajan odaklı geliştirme modeli duyurusu

(x.com/zachlloydtweets)
Warp, istemcisini AGPL ile açık kaynağa açarken Oz merkezli ajan öncelikli geliştirme modelini ve OpenAI destekli yeni iş akışını duyurdu.
4 puan yazan ragingwind 1 일 전 | 1 yorum
44
 

GitHub'da şu anda bir kesinti yaşanıyor

(githubstatus.com)
GitHub'da Pull Requests performans düşüşü yaşanıyor; bazı depolarda indekslenmiş pull request sonuçları eksik görünebiliyor.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
45
 

Super ZSNES - GPU tabanlı SNES emülatörü

(zsnes.com)
GPU tabanlı bu yeniden yazılmış SNES emülatörü, gelişmiş görsel iyileştirmeler ve çoklu platform desteği sunuyor ancak hâlâ early build aşamasında.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
46
 

Quarkdown - Güçlü özelliklerle zenginleştirilmiş Markdown

(quarkdown.com)
Quarkdown, Markdown yazımını LaTeX düzeyinde dizgi, canlı önizleme ve çoklu belge türü desteğiyle birleştiren açık kaynak bir belge oluşturma aracı sunuyor.
2 puan yazan GN⁺ 1 일 전 | 1 yorum
47
 

Warp, terminal tabanlı Agentic Development Environment'ını açık kaynak yaptı

(github.com/warpdotdev)
Warp, terminal istemcisini açık kaynak yaparken yapay zeka ajanlarıyla yönetilen yeni bir açık kaynak katkı modelini de öneriyor.
6 puan yazan happyhaki 1 일 전 | 4 yorum
48
 

Hollanda Merkez Bankası, AWS’yi bırakıp Avrupa bulutu için Lidl’i seçti

(techzine.eu)
Hollanda Merkez Bankası, ABD bulut bağımlılığını azaltmak için AWS yerine Schwarz Digits’in Avrupa bulut platformu Stackit’e yöneliyor.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
49
 

1930’dan 13B vintage dil modeli Talkie

(talkie-lm.com)
Yalnızca 1931 öncesi İngilizce metinlerle eğitilen 13B’lik Talkie, modern dünyayı bilmeyen bir modelle diyalog ve kirlenmesi düşük genelleme deneyleri sunuyor.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
50
 

dirac-run/dirac

(github.com/dirac-run)
Dirac, uzun bağlamlarda daha kararlı akıl yürütme ve düşük maliyet hedefleyen, güçlü benchmark sonuçları açıklayan açık kaynaklı bir kodlama ajanı.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
51
 

Çin, Meta'nın yapay zeka girişimi Manus'u satın almasını engelledi

(cnbc.com)
Çinli yetkililer, yabancı yatırım yasağı gerekçesiyle Meta'nın yapay zeka girişimi Manus'u satın almasını durdurdu.
1 puan yazan GN⁺ 1 일 전 | 1 yorum
52
 

VibeVoice - Açık kaynak frontier ses yapay zeka modeli

(github.com/microsoft)
Microsoft’un açık kaynak VibeVoice ailesi, yerleşik konuşmacı ayrıştırmalı ASR ve uzun bağlamlı/gerçek zamanlı TTS yetenekleri sunan çok dilli ses yapay zeka modellerini bir araya getiriyor.
26 puan yazan xguru 1 일 전 | 1 yorum
53
 

Benim mavim senin mavinle aynı mı?

(ismy.blue)
Mavi ile yeşil arasındaki sınırı sizin nasıl ayırt ettiğinizi gösteren kısa bir etkileşim.
1 puan yazan GN⁺ 2 일 전 | 2 yorum
54
 

Harness Engineering: Modelden Daha Önemli Olan Çalışma Ortamı Tasarımının Çağı

(addyosmani.com)
Addy Osmani’ye göre kodlama yapay zekasının gerçek performansını modelden çok, onu çevreleyen harness tasarımı belirliyor.
46 puan yazan ragingwind 2 일 전 | 10 yorum
55
 

pgBackRest artık bakım almıyor

(github.com/pgbackrest)
PostgreSQL yedekleme ve kurtarma aracı pgBackRest'in bakımı sona erdi; hata düzeltmeleri, incelemeler ve yeni geliştirmeler artık yapılmayacak.
3 puan yazan GN⁺ 2 일 전 | 1 yorum
56
 

Mercor’da 40 bin yapay zeka yüklenicisinin 4 TB ses örneği sızdı

(app.oravys.com)
Mercor’daki 4 TB’lık sızıntı, 40 binden fazla yapay zeka yüklenicisinin ses biyometrisini ve doğrulanmış kimliklerini açığa çıkararak ses klonlama temelli dolandırıcılık riskini büyüttü.
1 puan yazan GN⁺ 2 일 전 | 1 yorum
57
 

Duvara Bakan Adamlar

(alexselimov.com)
Bilgi yükü ve dopamin döngüsüyle bozulan odak için, birkaç dakika duvara bakma rutini belirgin üretkenlik artışı sağlayabiliyor.
2 puan yazan GN⁺ 2 일 전 | 1 yorum
58
 

GitHub Copilot kullanım bazlı faturalandırmaya geçiyor

(github.blog)
GitHub Copilot, 1 Haziran 2026’dan itibaren tüm planlarda GitHub AI Credits temelli kullanım bazlı faturalandırmaya geçiyor; temel fiyatlar korunurken organizasyon havuzları ve bütçe kontrolleri ekleniyor.
6 puan yazan GN⁺ 2 일 전 | 10 yorum
59
 

HyperFrames - HTML ile video üreten, yapay zeka ajanlarına özel açık kaynak çerçeve

(github.com/heygen-com)
HyperFrames, saf HTML ile MP4 video üretmeye odaklanan ve yapay zeka kodlama ajanları için optimize edilmiş açık kaynak bir çerçeve sunuyor.
21 puan yazan xguru 2 일 전 | 1 yorum
60
 

Microsoft ve OpenAI, münhasırlık ve gelir paylaşımı anlaşmasını sonlandırıyor

(bloomberg.com)
Microsoft ve OpenAI, münhasır satış ve gelir paylaşımı düzenini değiştirerek OpenAI’ın rakip bulut sağlayıcılarıyla da çalışmasının önünü açtı.
4 puan yazan GN⁺ 2 일 전 | 1 yorum
Daha fazla başlık yükle
GeekNews | Hakkında Şartlar Gizlilik İletişim
GeekNews, teknoloji ve yapay zeka gündemini seçerek sunan bir teknoloji haber platformudur.