» Etiket
optimization
11 yayınFlare: LLM Tabanlı Teorem Kanıtlamayla MILP Yeniden Formülasyon Doğrulama
FLARE, LLM ajanı ve Lean kanıt asistanını birleştirerek MILP yeniden formülasyonlarını makine tarafından doğrulanabilir şekilde kontrol ediyor.
Rust'ta Yerinde Başlatmanın Dört Seviyesi
Rust'ta yerinde başlatma, bellek verimliliğini artırabilir. Dört seviyeli hiyerarşi ile türlerin inşası hakkında bilgi edinin.
Kısa Vektör Problemini $2^{0.6039n}$ Sürede Çözmek
Kısa vektör problemini $2^{0.6039n}$ sürede çözmek için yeni algoritmalar sunulmuştur.
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.comLlama.cpp PR ile Q2_0, x86 CPU'larda 3.0–3.6 kat hızlandı
Llama.cpp'daki yeni PR, Q2_0'ı x86 CPU'larda 3.0–3.6 kat hızlandırıyor. Detaylar burada.
Linux için Teensy ELF İkili Dosyaları Oluşturma
Linux üzerinde ELF ikili dosyalarını küçültmek için yöntemler ve ipuçları sunuluyor.
AutoDesign: Uzun Vadeli Tasarım için Meta-Harness Optimizasyonu
AutoDesign, uzun vadeli tasarım için meta-harness optimizasyonu sunarak, insan tercihlerini en üst düzeye çıkarıyor.
Patlayıcı Gelen Talepler LLM Çıktı Sürelerini Hızlandırıyor
Patlayıcı yüklerin LLM çıktılarında beklenmedik hız artışı sağladığı keşfedildi.
Postgres Performansını Row-Level Security ile Hızlandırma
Postgres'te Row-Level Security (RLS) ile performans sorunlarını çözmek için ipuçları.
GreptimeDB'de Performans Artışı: Rust PR ile 10 Kat Hız
GreptimeDB, Rust PR ile Prometheus protokolü için performans artışı sağlıyor.
next/image, sharp yüklü değilse orijinal dosyayı sunar
Next 14 uygulamasında sharp eksikse, next/image orijinal dosyayı sunar. Optimizasyon eksikliği ve çözüm yolları hakkında bilgi edinin.