Laptopy z 8 GB RAM wracają do gry. Programiści lepiej niech wymyślą, jak pisać oprogramowanie, bo przeładowany bałagan Electron nie wystarczy w przyszłości przy takich cenach )))

Knuth opublikował artykuł, który podkreśla bardzo fajne zastosowanie AI, które niestety nazywają vibemathing. To jest przeciwieństwo "vibe-" czegokolwiek: Co się stało, to Filip Stappers zadał problem Claude'owi z bardzo ciasną pętlą samorefleksyjną, dosłownie: ** Po KAŻDYM uruchomieniu exploreXX py, NATYCHMIAST zaktualizuj ten plik [plan md] zanim zrobisz cokolwiek innego. ** Bez wyjątków. Nie zaczynaj następnej eksploracji zanim poprzednia nie zostanie udokumentowana tutaj. A potem starannie zweryfikowali każdą z 31 pętli. A po ostatniej pętli, która wydawała się udana, Knuth napisał rzeczywisty formalny dowód twierdzenia, aby w pełni zweryfikować wyniki. To jest prawdziwa matematyka z użyciem narzędzi, które są super fajne! Myślę, że można bezpiecznie powiedzieć, że badania nad formalnymi dowodami okażą się (haha, złapałem to) bardzo ważne w erze halucynujących maszyn.

Jeśli chcesz nauczyć się trochę teorii typów lub koncepcji FP bez całej elitarniej paplaniny PLT - nie szukaj dalej. Posiadanie rzeczywistego kodu niskiego poziomu, który możesz porównywać z formalnymi opisami, znacznie ułatwia zrozumienie.