-
Tematy, o których teraz się mówi No124
Hypothesis: testowanie oparte na właściwościach w Pythonie • Dlaczego programiści wybierają starsze modele AI • SPy interpreter i kompilator dla szybkiego, statycznie typowanego wariantu Pythona • Rekurencyjne makra w C demistyfikacja po łzach • Rozkładanie terabajtów losowych danych z użyciem Zig i Capstone
-
Tematy, o których teraz się mówi No120
Bóle dorastania OCaml piękno funkcjonalności kontra praktyczność • Agor płótno do wspólnej orkiestracji agentów AI • Wydajne renderowanie grafiki 2D na CPU z użyciem rzadkich pasków • Czym jest rozmaitość? Matematyka zakrzywionych przestrzeni • Ceny pamięci DRAM w serwerach rosną o 50 przez boom AI
-
Tematy, o których teraz się mówi No106
Programowanie Finger Trees w Coq weryfikacja formalna w praktyce • Renderowanie tekstu i efekty wizualne z użyciem odległości obliczanych na GPU • Show HN: Po co pisać kod, skoro LLM może zrobić to za nas? eksperyment webowy • Współbieżność w SQLite i dlaczego powinna Cię obchodzić • Z kosmosu widać dowody masakry w Sudanie krwawe…