Popularne tematy
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Taelin
Rodzaj / Zagięcie / HVM / ODLEGŁOŚCI / λRachunek różniczkowy
Praktycznym sposobem na wykorzystanie świetnego modelu myślenia jest rozszerzenie swojego kompilatora, aby wykrywał problemy, których jeszcze nie potrafi wystarczająco inteligentnie znaleźć™. Mówiąc inaczej, nowe komunikaty o błędach, które obejmują nowe klasy błędów.
Na przykład, niedawno napisałem dość dużą (15k tokenów) aplikację w czystym C. Ten plik implementuje kilka zaawansowanych funkcji w HVM, który jest językiem liniowym, w którym zmienne nie mogą być używane więcej niż raz, pod ryzykiem uszkodzenia pamięci.
To bardzo subtelny błąd. Wizualna inspekcja całego pliku zajmie wieki. Debugowanie jest bardzo trudne. Straciłem na to godziny/dni w przeszłości. Tym razem po prostu napisałem zapytanie prosząc AI o wykrycie nieliniowych użyć - czego GCC nie jest w stanie zrobić.
Nie wykryło wszystkich błędów od razu, więc musiałem kilka razy uruchomić zapytanie. Niemniej jednak, szybko wskazało miejsca w kodzie, które były błędne, co pozwoliło mi szybko je naprawić. Kontynuowałem uruchamianie zapytania, aż zaczęło halucynować, co zasadniczo oznacza, że większość błędów zniknęła.

7,86K
Praktycznym sposobem na wykorzystanie świetnego modelu myślenia jest rozszerzenie kompilatora, aby wykrywał problemy, których jeszcze nie potrafi wystarczająco dobrze znaleźć. Mówiąc inaczej, nowe komunikaty o błędach, które wykrywają nowe klasy błędów.
Na przykład, niedawno napisałem dość dużą (15k tokenów) aplikację w czystym C. Ten plik implementuje kilka zaawansowanych funkcji w HVM, który jest językiem liniowym, w którym zmienne nie mogą być używane więcej niż raz, pod ryzykiem uszkodzenia pamięci.
To bardzo subtelny błąd. Ręczne przeszukiwanie całego pliku wizualnie zajmie wieki. Debugowanie jest bardzo trudne. Straciłem na to godziny/dni w przeszłości. Tym razem po prostu napisałem zapytanie prosząc AI o wykrycie nieliniowych użyć - czego GCC nie jest w stanie zrobić.
Nie wykryło wszystkich błędów od razu, więc musiałem kilka razy uruchomić zapytanie. Niemniej jednak, szybko wskazało miejsca w kodzie, które były błędne, co pozwoliło mi szybko je naprawić. Kontynuowałem uruchamianie zapytania, aż zaczęło halucynować, co zasadniczo oznacza, że większość błędów zniknęła.

924
Kiedy gpt-5-high zawodzi, po prostu poproś go, aby zadawał pytania
W poniższej interakcji:
- gpt-5-high źle wykonał zadanie
- Powiedziałem mu, aby przestał próbować i po prostu poprosił mnie o wyjaśnienia
- Zauważyłem, że źle odczytał mój kod, więc wyjaśniłem to na przykładach
Następnie napisał poprawny plik C, 150 LOC

51,93K
Najlepsze
Ranking
Ulubione