Tag: FunctionalProgramming
-
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 No337
USA ogranicza finansowanie grantów naukowych i medycznych • Języki programowania używane w muzyce • Czy użyteczne komputery kwantowe są już tuż za rogiem? • Język programowania Nature
-
Tematy, o których teraz się mówi No336
Strukturalne wyniki tworzą fałszywe poczucie pewności • Gdy SIMD zawodzi: łączność działań zmiennoprzecinkowych • Cięcie Galois jako automatyczne różniczkowanie
-
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 No332
Clair Obscur traci tytuł Gry Roku przez użycie AI • Opalanie w solarium postarza młodą skórę na poziomie genetycznym • Odwrotne nawiasy eksperyment z nietypową składnią języka • Jak działają wskazówki pojemności w Go • Szybsza praktyczna inwersja modularna
-
Tematy, o których teraz się mówi No331
Dowodzenie granic dla algorytmu Randomized MaxCut w Lean4 • Task Injection nowa klasa ataków na autonomiczne agentowe AI • Wyszukiwanie podobnych tekstów z użyciem znormalizowanego dystansu kompresji
-
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 No326
Mistral OCR 3 nowa generacja rozpoznawania tekstu w dokumentach • Rok 2025 w świecie LLM przegląd trendów i przełomów • Ulepszona bomba ZIP inżynieria ekstremalnej kompresji • NOAA wprowadza nową generację globalnych modeli pogodowych opartych na AI • Zrozumieć modyfikatory klas w Dart dzięki teorii krat