Tag: DistributedSystems
-
Tematy, o których teraz się mówi No341
Sisyphus: automatyczna naprawa dowodów w zweryfikowanych bibliotekach • Agenci AI budują Sapera wyniki testu Ars Technica • Uwaga od podstaw: zrozumienie mechanizmu Attention w ML • Zastąpiliśmy strumieniowanie H.264 zrzutami JPEG i działało lepiej • X-ray: biblioteka Pythona do wykrywania błędnych redakcji w PDF-ach
-
Tematy, o których teraz się mówi No333
Polyproto: odświeżająco prosty, zdecentralizowany i federacyjny protokół • WebHTML rzeczy, których należy unikać 2017 • Granule statycznie typowany język funkcyjny z gradacyjnymi typami modalnymi
-
Tematy, o których teraz się mówi No327
Carolina Cloud Jedna trzecia kosztów AWS dla obciążeń data science • A Decade on Datomic – Davis Shepherd Jonathan Indig Netflix • FunctionGemma 270M model AI do lokalnego wykonywania funkcji
-
Tematy, o których teraz się mówi No322
Wykorzystaj pełnię możliwości tablic bitowych w Gleam • GPT-5.2-Codex • Chiński Projekt Manhattan w dziedzinie chipów AI • Drogi ACM, źle korzystasz ze sztucznej inteligencji ale możesz to naprawić • Częściowe inlineowanie precyzyjna optymalizacja kompilatora
-
Tematy, o których teraz się mówi No311
W obronie kodu MATLAB dlaczego inżynierowie wciąż potrzebują stylu tablicowego • Jednoprzebiegowe kodowanie Huffmana • IronFleet: Dowodzenie poprawności praktycznych systemów rozproszonych • Porady dotyczące modelowania w TLA
-
Tematy, o których teraz się mówi No309
Jestem Kenijczykiem. Nie piszę jak ChatGPT to ChatGPT pisze jak ja • Tysiące amerykańskich rolników choruje na Parkinsona winą obarczają śmiercionośny pestycyd • 8 milionów rozmów z AI sprzedanych przez rozszerzenia przeglądarki udające prywatność • Co czwarty naukowiec wykształcony w USA ostatecznie opuszcza kraj • Czy Turso okaże się lepszym SQLite?
