Deykun
g/Mozilla

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

strimsVEVO

@sens: The axiom of choice is obviously true, the P=NP obviously false, and who can tell about Zorn's lemma

Deykun
g/Mozilla

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

strimsVEVO

@Deykun:

 Studentowi na 2 roku by to zajęło 45 minut na kolokwium poprawkowym, a ChatGPT 2 sekundy. 🧠

45 minut? przecież dowodem tutaj jest po prostu zapisanie formalnie samego założenia xddd

sens
g/CieszsiezeSrimoidem

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

strimsVEVO

@sens: to tak jakbys polaczyl sie z siostra i matka ruchena

strimsVEVO
g/demosceny

obrzydliwa funkcja

sens
g/pneumatyka

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

strimsVEVO

@sens: kurwa co jest w jednym z wpisow niedawno mial swoja morde ze lzami szczescia, teraz nie ma tego zdj juz, moze za mocnego mejla mu napisalem w sprawie stekania ze ludzie wola wplacac na chore dzieci niz na niego xd

strimsVEVO
g/demosceny

to naprawde dobry rok dla muzyki

sens
g/Poezja

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

strimsVEVO

@sens: sajnog wykurwiaj

sens
g/javascript

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)

strimsVEVO

@sens:

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)
poka te filmy

strimsVEVO
g/DesktopPorn

nie sprawdzajcie
nie sprawdzajcie ile lat temu wyszło Neō Wax Bloom

ajdajzler
g/balony

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

strimsVEVO

@ajdajzler: dlaczego?

strimsVEVO

jebac stanowskiego, boze jak ja nienawidze tego czlowieka (filmu nie obejrzalem oczywiscie bo w dupie mam wysrywy tego smeicia)

ajdajzler
g/Volkh

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

strimsVEVO

@Logika: pragnę zauważyć że @ajdajzler wypowiada się o mężczyznach, a jeśli nie masz w domu oszczanych i najlepiej osranych ścian nie możesz nazywać siebie mężczyzną

strimsVEVO
g/Drzewa

chciałbym polecić ten album waszej uwadze - https://prayerproduction.bandcamp.com/album/now-i-know-paradise

Pozdrawiam

strimsVEVO
g/FotoHistoria

zauważyliście w całym internecie jest normą coraz mniejsze informowanie użytkownika o czymkolwiek? np kiedyś w DHL w śledzeniu elegancko miałeś skąd idzie paczka, w jakim oddziale jest itp. teraz masz tylko informacje odnośnie tego czy została nadana, czy jest w doręczeniu i inne takie bez żadnych szczegółów, no nie podoba mi się to
obsługa klienta też jest kurwa na coraz niższym poziomie, kiedyś jak np wolt albo uber coś nawalił to zwracali hajs i dawali kupon w ramach przeprosin, teraz uzyskanie samej refundacji to już wyczyn a o jakimś dodatkowym zadośćuczynieniu możesz pomarzyć
KIEDYŚ TO BYŁO KURŁA