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

Öğ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

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

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

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

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

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

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

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

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

Ç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

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

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

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

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

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

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

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

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

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