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

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

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)

https://i.imgur.com/UHeuxa6.png

ŻÓŁTAK DAWAJ NOWY WPIS JUŻ DZIEWIETNASTY WIEM ŻE TO CZYTASZ WIEM ŻE UMIESZ CZYTAĆ

Mam flupy usłyszałem od dziewczyny, myślę - co?

Nwm kurwa ale ten rust to jednak trochę wkurwiajacy jest xD nadal lepsze niż C++ ale te jebane optionale do szału mogą doprowadzić. Nie ma nulla i trzeba być sierotą żeby sobie w tym języku narobić kłopotów, ale kurwa połowa kodu to jest unwrapowanie wartości. Jeszcze żeby był operator jakiś ?. ale nie kurwa po co. Niby jest ? ale nie robi tego czego normalny człowiek by się spodziewał. I jeszcze żeby nie było za prosto to są dwa główne typy optionali, taki od errorow i taki prawdziwy xd

Wszyscy narzekają że borrow checker taki trudny, ale jakoś nikomu nie przeszkadza że kompilator zachowuje się jak kurwy na najbardziej pojebanych filmikach bdsm (nie pytajcie skąd wiem)

ciekawy ciąg przyczynowo-skutkowy jest taki, że poprzez przeczytanie książki "Przegryw: mężczyźni w pułapce gniewu i samotności" właśnie żrę antydepresanty

mam taką rozkminę o fekaliach..

założenia na których się opieram:

(1) jelita/żołądek (już nie pamiętam które) są tak mega połączone z mózgiem, że jedno wpływa na drugie mega (jelita na mózg i mózg na jelita; no że jeśli się stresujesz to boli cię brzuch, wymiotujesz etc, możesz też mieć refluks)

(2) jeśli sikasz na siedząco to częściej robisz kupę. spróbujcie sikać na siedząco przez parę dni, to zobacyzcie że nie raz będziecie robić dwójkę przy okazji sikania

no to jeśli połączyć (1) i (2) to zastanwaiam się, na ile różnice między mężczyznami i kobietami byłyby inne, gdyby od mężczyzn zawsze wymagało się sikania na siedząco. robilibyśmy wtedy częściej mniejsze kupy i miałoby to wpływ na nasze mózgi też na pewno

Potrzebuje szybkowaru na 15 psi I się okazuje że po pierwsze to jest jakiś burzliwy problem żeby w ogóle taki dostać i jeszcze drogie to ścierwo

Ja nie jestem grupa "jebać humanistów", ale ludzi co wpadli na pomysł wsadzenia A do skrótu STEM żeby zrobić STEAM z A - Art to zwierzęta które zgubiły point. To prawdziwe artystyczne podejście żeby do skrótowca nauk ścisłych dodać sztukę i zrobić z niego skrót który nie ma żadnego sensu i jest papką.

Już widziałem komcie żeby dać R od Religion i będzie STREAM, big brain.

📷 #WhereTaken🌎 #287 4/6
🟦🟦🟦🟦⬜↙️
🟦🟦🟦🟦🟨↙️
🟦🟦🟦🟦🟨➡️
🟦🟦🟦🟦🟦🎉
⭐

wheretaken.teuteuf.fr

Grejs Anatomy, S3E16 Meredit wpadła na prawie cały odcinek do wody wyciągniętą ją chuj wie kiedy całą szarą, ale plot armor ją ocalił. dx

Meredit w czasie umierania spotkała się z duchem sapera który zginął w odcinku w którym trzymała bombę w klatce piersiowej pacjenta żeby nie wybuchła. xD

W ogóle o co chodzi z tomografią komputerową, że w każdym serialu pacjenta uspokajają, że spoko nie zje cię i niektórzy się boją wjechać zeskanować. Robią z tego rzecz, a to nie wygląda jak popularna powszechna rzecz. Czy ludzie naprawdę myślą, że ich nie wypuszczą z tomografu wartego miliony złotych, wtf.

Drodzy ludziu, strasznie mi się nie chce, oj strasznie. Czasami myśle, że powinienem zmienić zawód, ale nie wiem na jaki i jak szybko mieć kesz dobry z tej zmiany.

Drodzy ludziu, strasznie mi się nie chce, oj strasznie. Czasami myśle, że powinienem zmienić zawód, ale nie wiem na jaki i jak szybko mieć kesz dobry z tej zmiany.