Tag: CompilerDesign
-
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…
-
Tematy, o których teraz się mówi No103
Pytanie do HN: Kto używa lokalnych otwartych LLM-ów i asystentów kodowania? • The Smol Training Playbook: The Secrets to Building World-Class LLMs • Komputer mówi nie: raportowanie błędów w LTL
-
Tematy, o których teraz się mówi No99
Plan rozwoju ulepszeń dla sprawdzania typów w Swift • Niezawodne sygnały w Django • Bezpieczne wątkowo testy w NumPy • Gdy umysł nie tworzy obrazów: zjawisko afantazji • Gra Podróżującego Handlowca TSP
-
Tematy, o których teraz się mówi No86
JSON Query lekki i elastyczny język zapytań do JSON • Pomiar kosztów przekazywania struktur przez wartość • OpenAI: Ponad milion osób tygodniowo rozmawia z ChatGPT o samobójstwie • Microsoft powinien być bardziej transparentny w relacjach z OpenAI
