Są nowe wieści od pięknego umysłu.
Twierdzenie "FiNumSall" opisuje pewien względnie oczywisty fakt, który jest bardzo łatwy do uzasadnienia koncepcyjnego, słownego. Obrazowo, mówi on mniej więcej tyle, że jeśli ustawimy ileś skrzynek z butelkami, a w każdej skrzynce będzie co najmniej jedna butelka, to liczba butelek będzie większa lub równa liczbie skrzynek. Niestety udowodnienie tego faktu, umiejscowionego w formalnym opisie funkcji VMPC, zajęło mi 3 tygodnie intensywnej pracy. Przewidywałem, że zajmie mi to 1 dzień. Dowód tego niezwykle odkrywczego faktu zajmuje 1,5 strony A4.
Studentowi na 2 roku by to zajęło 45 minut na kolokwium poprawkowym, a ChatGPT 2 sekundy. 🧠
W idealnym świecie miałbym współpracowników, którzy komponowaliby takie dowody narzędziowe, a sam mógłbym się bardziej skupić na głównym torze rozumowania, jak te fakty ułożyć, aby ukończyć główny dowód, jednokierunkowości funkcji VMPC. Niestety wszystko muszę robić sam. To mniej więcej tak, jakby własnoręcznie jedna osoba budowała cały dom. Położyła cegły, instalacje, tynki, podłogi. Da się, ale zajmie to ogromną ilość wysiłku. Piszę to dla zobrazowania sytuacji, choć też dla złagodzenia własnej frustracji, na wypadek, gdyby ktoś zastanawiał się, jak to możliwe, że pisanie tego dowodu trwa tak długo.
xD
@Deykun: xD no to trzeba było zostać na uczelni, a nie się mazgaić, że jo jestem zosia samosia xD
Obrazowo, mówi on mniej więcej tyle, że jeśli ustawimy ileś skrzynek z butelkami, a w każdej skrzynce będzie co najmniej jedna butelka, to liczba butelek będzie większa lub równa liczbie skrzynek.
Brzmi niebezpiecznie blisko aksjomatu wyboru xD
wiedzieliście, że (pomijając krzywiznę Ziemi) łącząc Warszawę, Berlin i Wiedeń dostajemy trójkąt równoboczny? (z dokładnością do ~50 km)
Wyszedłem przed blok, idzie starzec z laską, dziecko jedzie rowerem mniej niż 10 lat.
Starzec mówi "ciężko mi się chodzi pomóżcie"
dziecko go kopie w laskę, ludzie zewsząd mówią pierdolony starzec śmieszny i niech zdycha. Ksiądz z kościoła niedaleko woła starcze zdejmij buty.
Pyta ferun dziecko o papieża a on że już zdechł.
A to że ja mam afery o podnoszenie swojej czystej koszulki to już mnie choć nie dziwi to bulwersuje.
Co idzie dostać w mało uprzedzonej Europie?
No kto by kurwa przypuszczał, że im więcej gówna z internetu przemielisz przez sieć neuronową tym głupszy będzie model językowy
Czy w tym mikrosofcie są jakieś parytety że muszą zatrudniać ludzi pijanych albo niespełna rozumu?
Jest taka komenda dotnet watch. Czyli zwyczajny watcher do hot reloadów. Jak działa? No tak, że jak pliczek z logami się zmienia, to triggeruje hot reload xD powiecie "sens, czepiasz się, możesz sobie przecież ustawić żeby nie brał logów pod uwagę". No to kurwa powodzenia. Komenda nie ma argumentów do tego celu tylko pasuje sobie konfigurację projektu. Czy w konfiguracji da się ustawić taką rzecz? Teoretycznie tak, w praktyce to kurwa oczywiście nie działa xD
Czy w tym mikrosofcie są jakieś parytety że muszą zatrudniać ludzi pijanych albo niespełna rozumu?
Jest taka komenda dotnet watch. Czyli zwyczajny watcher do hot reloadów. Jak działa? No tak, że jak pliczek z logami się zmienia, to triggeruje hot reload xD powiecie "sens, czepiasz się, możesz sobie przecież ustawić żeby nie brał logów pod uwagę". No to kurwa powodzenia. Komenda nie ma argumentów do tego celu tylko pasuje sobie konfigurację projektu. Czy w konfiguracji da się ustawić taką rzecz? Teoretycznie tak, w praktyce to kurwa oczywiście nie działa xD
@sens: aha, no i do hot reloadów ASP injectuje do stronki skrypt js, który nasłuchuje sobie websocket czy trzeba przeładować stronkę. Oczywiście zamiast pobrać sobie host IP z konfiguracji projektu, to na sztywno jest wklepany localhost, więc nie działa to w przypadku jak się łączysz z innego IP.
Co za problem? Przecież możesz sobie zrobić reverse-proxy i sprawa załatwiona.
No nie bardzo, bo websocket ma ustawiony losowy port, więc za każdym razem musisz sobie forwardować inny port XD
Apropos jebania gównosoftów to poważnie rozważam pierdolnieciem firefoxem w pizdu, używam tej gównoprzeglądarki od dekady już i chyba się trzeba przyzwyczaić do tych webkitowych devtoolsów.
Jebane kurwie mnie powstrzymywaly przed uzywaniem backdrop-filter przez 5 lat, a teraz miałem ochotę zaimplementować na stronie startViewTransition i chuj, bo po chuj mam na swojej stronce implementować coś czego nie zobaczę.
Firefox powinien być realityczekiem W3C i standardów css, żeby css nie był tym co chromium z webkitem wymyślą tylko, a jest tylko jebanym hamulcem i chyba kogoś srogo w tej mozlili pojebało jeśli myśli, że świat powinien czekać z przeglądarką z 5% udziału w rynku, świat już ma wyjebane a jak przeglądarka internetowa się zatrzymała w 2010 roku to niech zdycha skoro przerasta ją w przeglądanie internetu.
Ja pierdolę. Jebane kurwy. Firefox jest tak skurwiały, że przejście na webkita by mu wyszło na plus.
@Deykun: swoją drogą też nie rozumiem decyzji Mozilli, mają super dokumentację MDN, a są w erze kamienia łupanego, już przeżyłbym ten ich wolniejszy silnik, bo jebie mnie że stronka się ładuje 200 ms wolniej, ale oni nie chcą implementować takich rzeczy jak bluetooth API, USB API, bo BEZPIECZEŃSTWO
Apropos jebania gównosoftów to poważnie rozważam pierdolnieciem firefoxem w pizdu, używam tej gównoprzeglądarki od dekady już i chyba się trzeba przyzwyczaić do tych webkitowych devtoolsów.
Jebane kurwie mnie powstrzymywaly przed uzywaniem backdrop-filter przez 5 lat, a teraz miałem ochotę zaimplementować na stronie startViewTransition i chuj, bo po chuj mam na swojej stronce implementować coś czego nie zobaczę.
Firefox powinien być realityczekiem W3C i standardów css, żeby css nie był tym co chromium z webkitem wymyślą tylko, a jest tylko jebanym hamulcem i chyba kogoś srogo w tej mozlili pojebało jeśli myśli, że świat powinien czekać z przeglądarką z 5% udziału w rynku, świat już ma wyjebane a jak przeglądarka internetowa się zatrzymała w 2010 roku to niech zdycha skoro przerasta ją w przeglądanie internetu.
Ja pierdolę. Jebane kurwy. Firefox jest tak skurwiały, że przejście na webkita by mu wyszło na plus.
pierdolnieciem firefoxem w pizdu
@Deykun: zrobiłem to jakiś rok temu, ogólnie to był dobry krok
trzeba przyzwyczaić do tych webkitowych devtoolsów
devtoolsy firefoxa to jest właśnie to za czym bardzo tęsknię, były duuużo lepsze
no i prawilnie, ziarna oddzielone od plew
Maciak to w ogóle niezły typ xD nawet pytania nie umiał zrozumieć
