» Etiket
open-source
41 yayınMaith: Yapay Zeka Destekli Matematik Araştırması İçin Disiplinli Çerçeve
Maith, Riemann ve P vs NP gibi açık matematik problemlerini yapay zekayla araştırırken katı ispat standartları uygulayan açık kaynaklı bir çalışma alanı.
Stagehand: Doğal Dille Konuşan AI Destekli Tarayıcı Otomasyonu
Stagehand, AI ile doğal dil talimatlarını gerçek zamanlı olarak deterministik tarayıcı eylemlerine dönüştüren açık kaynaklı otomasyon SDK'sı.
Kapanan Prompt Güvenlik Duvarı Girişimi, Modelini ve 13 Bin Saldırıyı Açtı
Kapanan bir AI prompt güvenlik duvarı girişimi, DeBERTa tabanlı dedektörünü ve 13 bin gerçek jailbreak denemesini açık kaynak olarak yayınladı.
CommitBrief — terminalde yapay zekâ destekli kod incelemesi
Staged değişiklikleri, bir commit aralığını ya da bütün bir GitHub pull request'ini yerelde inceleyen sağlayıcı bağımsız CLI. Sıfır telemetri, sunucu yok. Açık kaynak, GPL-3.0.
commitbrief.comKimi Linear: Tam Dikkat Mekanizmasını Geride Bırakan Hibrit Mimari
Kimi Linear, KDA mekanizmasıyla tam dikkati geride bırakıyor: %75 daha az KV önbellek, 6 kat daha hızlı çıkarım.
Minisqlite: SQLite'ın Rust ile Yeniden Yazılmış Hali
Minisqlite, SQLite'ın disk formatıyla tam uyumlu, 200 bin satırlık, unsafe içermeyen saf Rust yeniden uygulaması; 5.650 testle doğrulanmış.
PXQ: ik_llama.cpp forku eski Tesla/Pascal GPU'larda +88% prefill kazandırıyor
ik_llama.cpp forku pxq_llama, yeni PXQ quant formatıyla Tesla P100/V100 ve 1080 Ti'de prefill ve decode hızını ciddi oranda artırıyor.
Quantprobe: 16 GB RAM'lik Eski PC'de 110B Parametreli LLM Çalıştırma
Quantprobe aracı, 2016 model bir PC'de 110B parametreli LLM'i 16GB RAM ve SATA SSD ile çalıştırmanın ölçümle kanıtlanmış yöntemini gösteriyor.
talkthrough-mcp: Ekran Kayıtlarını AI Ajanları için Veriye Çeviriyor
talkthrough-mcp: Yerel çalışan, MIT lisanslı MCP sunucusu ekran kayıtlarını AI ajanları için transkript, kare ve OCR verisine dönüştürüyor.
PyTorch tarzı API ile LLM 'harness' eğitimi: model donuk, çevresi öğreniyor
LLM ağırlıkları donuk kalırken promptlar, araçlar ve onarım döngüsünü PyTorch benzeri bir eğitim döngüsüyle geliştiren açık kaynak harness-training çerçevesi.
AI Tedarik Zincirinde Lisans Aklama: Yükümlülükler Kayboluyor
232.270 AI tedarik zinciri analizi, lisans yükümlülüklerinin veri setinden uygulamaya giderken nasıl kaybolduğunu veya değiştirildiğini ortaya koyuyor.