Zdjęcie w tle

redve

Fanatyk
  • 1599wpisy
  • 5742komentarzy

Matematyk - informatyk, programista - onanista

Zaloguj się aby komentować

Mnie kiedyś wypadł sworzeń przy 100 km/h podczas wyprzedzania. Cud, że zaparł się o gniazdo i koło nie stanęło bokiem, bo dziś bym z wami nie śmieszkował. Także dobrze, że tobie zdarzyło się to na wjeździe.

Zaloguj się aby komentować

Co będzie jeżeli przemnożymy przez siebie dodawanie oraz dodawanie?

Pytanie może sugerować że zadająca je osoba ma udar i bredzi bez sensu, ale w zasadzie, jest to możliwe.


W XIX wieku w matematyce nastąpił kryzys. Okazało się że kilka teorii (teorii, a więc posiadających dowody swojej prawdziwości) jest ze sobą sprzeczne, a dalsze badania ujawniły, że cała metodologia dowodzenia twierdzeń prowadziła do wielu paradoksów, i trzeba było ją wynaleźć od nowa (przykładowo, za pomocą indukcji matematycznej można przeprowadzić zupełnie poprawny dowód twierdzenia, jakoby wszystkie konie były tego samego koloru).

Wtedy też zaczęto się bardziej przyglądać sposobom w jakie uprawiana wtedy była matematyka. Jednym ze skutków było powstanie logiki, arytmetyki Boola, twierdzeń Gödla, ale dzisiaj chcę opisać dziedzinę, znaną jako Rachunek Lambda.

W skrócie? Zakładamy że wszystko jest funkcją.


Rachunek Lambda ma trzy najważniejsze "operatory":

-Zmienna. Jest to coś, co jest argumentem funkcji, używane przez funkcje, i zwracane przez funkcje. Przykładowo, w równaniu

f(x) = x+3

zmienną jest x


-Deklaracja nowej funkcji. Używa ona greckiej litery Lambda (λ, znanej z loga organizacji Black Mesa #halflife ). Składa się z tego jaki argument przyjmuje funkcja, i co zwraca. Dobrze czytanie: argument. Nie argumenty. Funkcje w rachunku Lambda w zasadzie mają zawsze tylko jeden argument, i jest cwane obejście problemu funkcji które wymagają więcej argumentów. Przykładem zadeklarowania nowej funkcji, jest f(x) = x+3


Stosowana jest następująca notacja:

λx.x+3

czyli:

λ - znak że deklarujemy nową funkcje

x - zmienna która jest tym co funkcja przyjmuje

x+3 - to co funkcja nam zwraca


-Wywołanie funkcji, przykładowo f(5)=5+3=8


Więc przykładowo, jeżeli chcemy użyć rachunku Lambda do policzenia 5^2, to zapiszemy to jako:

(λx.x^2)(5) = 25

w pierwszym nawiasie deklarujemy funkcję, a kolejnymi nawiasami ją wywołujemy.


Czym to się różni od "klasycznej" matematyki? Pokażemy to na przykładzie:

W klasycznej matematyce, liczby naturalne i dodawanie są zdefiniowane za pomocą aksjomatów Peano:


  1. 1 jest liczbą naturalną

  2. jeżeli a jest liczbą naturalną, to a+1 również jest liczbą naturalną

  3. nie istnieje taka liczba naturalna a, że a+1 = 1

  4. a + (b+1) = (a+b) + 1


Pierwsze dwa aksjomaty pozwalają nam powiedzieć, że 2 oraz 3 są liczbami naturalnymi. Czwarty aksjomat mówi nam o tym w jaki sposób je ze sobą dodać:


  • 2 = (1+1) = (0 + 1 + 1), 3 = (0 + 1 + 1 + 1)

  • 2 + 3 = 2 + (2 + 1) = (2 + 2) + 1 = (2 + (1 + 1)) + 1 = ((2 + 1) + 1) + 1 = 5


Z kolei w rachunku Lambda, liczby definiujemy w następujący sposób:


  1. 0 = λf.λx.x

  2. Jeżeli x jest n-tą liczbą naturalną (w myśl obecnej definicji), to (n+1) liczba jest dana wzorem λf.λx.f(x)


Czyli 0 jest funkcją, która przyjmuje jako argument pewne "f", i zwraca funkcję która dla dowolnego argumentu x zwraca x, a każda kolejna liczba naturalna N jest funkcją która przyjmuje jako argument funkcję f, oraz argument x, i zwraca funkcję f złożoną z samą sobą N razy.

Zagmatwane? No k⁎⁎wa raczej że tak xD ale pokażemy to na przykładzie:

Niech naszą funkcją f będzie znany sinus, a x pewną liczbą rzeczywistą.

W takim wypadku:

0(f, x) = x

1(f, x) = sin(x)

2(f, x) = sin(sin(x))

3(f,x) = sin(sin(sin(x)))

...


no, albo możemy np. napisać

3(λx.x^2, 3) = (((3^2)^2)^2) = 6561


Zastosowałem tutaj jednak pewien skrót, którego wcześniej nie opisałem.

Funkcja 3 jest zgodnie z tym co pisałem wyżej funkcją tylko jednego argumentu, a ja tutaj użyłem dwóch. Troche nielegalizm.

Jak więc zdefiniować funkcję kilku argumentów, na przykład dodawanie?

A no tak:

funkcja add(x,y) której wynikiem będzie x+y, będzie zdefiniowana jako:

add = λx.λy.x+y

czyli funkcja add jest funkcją która przyjmuje jakiś argument (np. 3), i zwraca funkcję która zwraca wynik dodawania jakiegoś y z podanym x. W takim wypadku więc add(3) jest funkcją, która przyjmuje jako argument pewien y, i zwraca wynik operacji y+3


Pokręcone? Tak, ale taki system pozwala nam zrobić w nim właściwie wszystko, włącznie z mnożeniem funkcji przez siebie.

Jako że ten wpis jest już dosyć długi, to zostawię was z samym rozwiązaniem, oraz filmem który to lepiej rozwija:

https://www.youtube.com/watch?v=RcVA8Nj6HEo

Teraz możecie zupełnie śmiało powiedzieć, że +*+(3)(1)(3)(2)=262144

#matematyka #ciekawostki

d37ab481-b32f-45a8-9dd7-9f3b736cad89

@redve rachunek lambda to jedna z pierwszych rzeczy w moim zyciu, przy ktorych stwierdzilem, ze nie jestem tak madry, jak mi sie zawsze wydawalo. Po⁎⁎⁎⁎ne gowno

Zaloguj się aby komentować

Zaloguj się aby komentować

#polityka #bekazkonfederacji

https://oko.press/program-konfederacji-zydzi-geje-aborcja


Mentzen już 6 lat temu podczas wykładu ze słynną piątką konfederacji, mówił jak działa konfederacja


"Nieważny jest program, nieważna jest merytoryka, liczą się emocje. I kiedy niektórym się wydaje, że to, jak Grzegorz Braun opowiada o batożeniu homoseksualistów, to jest przesada, to nam poparcie rośnie!"


- cieszy się Mentzen. I dodaje, że Konfederacja korzysta ze wzorców i narzędzi z kampanii brexitowej i kampanii Donalda Trumpa.


"Na koniec, tytułem wyjaśnienia dla osób niemających czasu na obejrzenie 45 minutowego nagrania. Jest całkowicie oczywiste, że to co nazwałem piątką Konfederacji to:

1. Sprzeciw względem roszczeń do mienia bezspadkowego. 2. Sprzeciw wobec promocji LGBTWTF w szkołach. 3. Sprzeciw wobec aborcji. 4. Sprzeciw wobec wysokich i skomplikowanych podatków. 5. Sprzeciw wobec obecnej Unii Europejskiej.


Tylko w tej formie ma znacznie mniejszą siłę rażenia. Gdyby każdy punkt rozbudować i zniuansować, nikt by się już tym nie zainteresował".


"trzeba mówić ludziom, że Żydzi dostaną naszą polską ziemię. To bardziej chwyci. I co więcej, myślą państwo, że jak dostaną tę naszą polską ziemię, to będą ją sami uprawiać? Oni zatrudnią Polaków. Założą Polakom chomąto i będą uprawiać nimi pole.


Bardziej przerażająca wizja, prawda? W ten sposób trzeba mówić, to trafia do człowieka".


z badań wyszło im, że w 2015 roku na wolność głosowali głównie ludzie nie o wolnorynkowych, ale właśnie narodowo-radykalnych poglądach. Zatem to właśnie tam Wolność powinna łowić i stąd ich sojusz z narodowcami, Kają Godek i Grzegorzem Braunem.


Wolność muszą szukać swojego miejsca na lewo lub prawo i głosić radykalne poglądy. Innymi słowy: my takich poglądów nie mamy, ale szukamy tam, gdzie jest jeszcze niezagospodarowany elektorat

@redve to jest doskonały przykład dylematu konfiarza (sam to wymyśliłem, to moja nazwa).

Otóż jego wyborcy jednocześnie cieszą się, że nie zmienia poglądów i mówią, że piątka Mentzena jest nieaktualna.


Przy czym "nie zmienia poglądów" to wyjaśnienie czemu jeździ po kilkuset gminach i miastach z jednym i tym samym przemówieniem xD

Zaloguj się aby komentować

Boże jak na teflonie sie chujowo smaży

Olej nie pomaga, bo nie tworzy swojej warstwy

Przez co smażenie jest bez oleju, i sie teflon degraduje. Po paru dniach juz jest duzo mniej non stick niz byla.

musze poszukać żeliwnej i stalowej

#gotujzhejto

9ce883f2-9c66-41c8-8849-cdabf5d2d4d7

@redve w ogóle to najlepiej by było jakbyś teflonu nie smarował tłuszczem, tylko trochę dodał do ciasta. Temperatura równomiernie będzie ogrzewała to co tam smazysz i nie będzie różnic między tłustym miejscem a suchym (widać to po kropkach na naleśniku).


Jeżeli nie chcesz zaburzać konsystencji ciasta, bo nie czujesz ile odjąć cieczy, żeby dolać tłuszczu i było git, to tak jak Ci pisze @AdelbertVonBimberstein , trochę tłuszczu na patelnię, rozsmarowujesz ręcznikiem, żeby powstał film, rozgrzewasz. Jeżeli chodzi o teflon to raczej jestem za opcją pierwszą, no ale to już jak tam wolisz.

Zaloguj się aby komentować

Kupiłem mięso mielone, i dałem do lodówki.

Po kilku dniach zaglądam, i widze że jest brązowe, zamiast czerwone.

"Co jest, termin sie zgadza"


No więc juz w sklepie był plastik otwarty

#zalesie #gownowpis

5decfa56-4097-4070-804e-5c26b47bb15d

Zaloguj się aby komentować

No nie wiem o czym mam rozmawiać z babcią.

Codziennie dzwoni bo chce mnie usłyszeć, rozumiem i sam do niej dzwonię i czasami jeżdżę. Została tylko z bratem który siedzi cały dzień u siebie w pokoju, i nie ma za bardzo z kim pogadać.

No ale k⁎⁎wa, moje rozmowy przez telefon z nią trwają maksymalnie minutę, i wyglądają mniej więcej tak:

-Co u ciebie?

-Pracowałem, a co u ciebie?

-Nic jak zwykle, a co jadłeś?

-Makaron z kurczakiem

-a jak ci mogę pomóc? Coś ci potrzeba?

-Nic nie potrzeba, mam wszystko co potrzebuję


dzisiaj wypaliła do tego z pytaniem "a co masz w lodówce?" i sie lekko wkurwiłem już o taki wywiad, i o takie idiotyczne pytanie. Wczoraj mnie pytała czy wiem że muszę usunąć resztki jedzenia przed wrzuceniem go do zmywarki. No k⁎⁎wa nie chcę żeby siedziała sama, żeby nie miała z kim porozmawiać, ale takie zawracanie d⁎⁎y też mi sie nie podoba, i z jego powodu sie wyprowadziłem. Do domu spokojnej starości nie chce i ją w tym rozumiem, bo wiadomo że lepiej z rodziną ale co ja mam z tym zrobić? Ona dosłownie nie ma zainteresowań poza gotowaniem, sprzątaniem i praniem. Jak nie ma mnie żeby miał kto zjeść to co ona ugotuje, ani kogoś kto da jej ubrania do wyprania to już totalnie nie ma co robić

#wkurw #zalesie

Podrzuć jej jakąś nowoczesną książkę kucharską, niech poeksperymentuje w kuchni, zawsze to jakieś zajęcie. Albo kup jej sprzęt do robienia wina, i babcia się zajmie, i się wino przyda xd

@redve To co napisze poniżej może wydać Ci się głupie, jednak wierz mi że rozwiąże Twój problem.


Ludzie na starość czują że są coraz mniej potrzebni. Dzieci wyfrunęły z gniazda, emerytura sprawia że praca przestała rzucać wyzwania i nikt od takiej osoby nic nie oczekuje. Starzy ludzie czują że powoli odchodzą w cień, stają się kulą u nogi - a tego nie chcą, dlatego chcą CI pokazać że jeszcze do czegoś się nadają (Często w boomerski dla Ciebie sposób). Dlatego najgorszą rzeczą jaką możesz Twojej Babci powiedzieć to fakt że jest u Ciebie git i niczego nie potrzebujesz. Ona już czuje że jest nie w pełni sił, zdrowotnie na pewno ma jakieś dolegliwość, dlatego ze zdwojoną siłą ludzie starzy chcą pokazać bliskim że jeszcze coś potrafią.


Dlatego najlepszą opcją jest dawać im sobie pomóc. Pytała co masz w lodówce, bo się o Ciebie troszczy i myślała jak Ci może kupić żeby Ci pomóc. Z resztkami jedzenia, chciała wykazać się swoją życiową mądrością i pomóc Ci w życiu. Jedyne czego oczekiwała to zwykłe "dziękuję", które w domyśle miało przekazać wiadomość "Babciu, przydałaś się".


Zacząłem na to zwracać uwagę od czasu kiedy moi rodzice przeszli na emeryturę i przeprowadzili się bliżej nas. Ciągle dostaje pytania czy nie chodzę głodny i czy mi nic nie ugotować - a jak dostanę wałówkę to tyle że nie przejem. Wkurwiałem się niemożebnie bo nie lubię marnowania żywności - ale to jest kompletnie bez sensu. Przyjmuje więc to co daję - nie dlatego że potrzebuje, tylko żeby oni czuli się potrzebni. Nie narzekam że do zupy dostaje worek makaronu choć mam makaron w domu. Boje się powiedzieć że po wizycie jadę na zakupy bo usłyszę "a co potrzebujesz" i wyjadę z ekstra kostką masła i ketchupem, bo oni mają w zapasie a szkoda żebym kupował. Nie przetłumaczę. Dlatego biorę to wszystko z uśmiechem - tylko po to żeby czuli że są potrzebni. Że ja ich potrzebuję - choć realnie to niekoniecznie może być prawda, jeżeli będziesz sprawiał takie wrażenie, to będziesz ich uszczęśliwiał.


Jak spojrzysz na to z tej strony, to zrozumiesz że nie chodzi o to o co Babcia pyta - tylko o jej potrzebę być zauważoną. Wtedy nie będziesz się tak na nią wkurwiał. Ja się dopiero tego uczę ale mówię Ci że to działa i uszczęśliwia obie strony. Uważam że to po⁎⁎⁎⁎ne ale najwyraźniej na starość pojawiają się takie ukryte wątpliwości, które dzieci muszą adresować. Nas pewnie też to czeka. SKS


Spróbuj, nic Cię to nie kosztuje a jedynie zyskasz - bo w tym co Ci proponuje tylko zyskasz - a to uszyty szalik, pełną lodówkę albo wałówkę. Tylko trzeba nauczyć się zaciskać zęby punktujące głupotę. Dla mnie to najtrudniejsze ale idzie to zrobić

Zaloguj się aby komentować

Zaloguj się aby komentować

@redve Kruca fuks, wracają flashbacki ze studiów. Miałem kurs pod tym samym tytułem z niesamowicie mądrym profesorem. Problem był taki, że temat jest delikatnie mówiąc trudny, a on nie potrafił przekazać wiedzy. Finalnie egzamin to była pamięciówka - laplasjany, dywergencje, pola, całki potrójne. No ja pi⁎⁎⁎⁎lę. Zdałem chyba za trzecim podejściem, sporo osób się na tym całkiem wykładało.

eef1a19c-4be4-4920-b790-4b69b3c27deb

O jezu nie.. najgorszy przedmiot na studiach, tyle po⁎⁎⁎⁎nych wzorów i równań i to na 1 semestrze nam wcisnęli xD


człowiek nie wie jeszcze o macierzach a tam profesor ci mówi ze nie będzie nas tego uczył i musimy nadrobić xD

Zaloguj się aby komentować

Zaloguj się aby komentować

Od poprzedniego wtorku spędziłem 48h na zrobienie działającej lambdy na AWS


I dalej k⁎⁎wa nie działa, teraz wywala timeouty przy próbie pobrania pliku z S3

#pracbaza #zalesie #programista15k

@redve - ustawiasz wszystko ręcznie czy korzystasz z CloudFormation?

Poza tym w jakim języku ta Lambda?

Czy Lambda i S3 bucket są w tym samym regionie?

@redve - ChatGPT wysrał mi taki CloudFormation template, który wygląda na moje oko poprawnie:

AWSTemplateFormatVersion: '2010-09-09'

Description: CloudFormation template to deploy an S3 bucket and a Lambda function that can read from the bucket.


Resources:

 # S3 Bucket

 MyS3Bucket:

   Type: AWS::Bucket

   Properties:

     BucketName: my-s3-bucket-unique-name # Change this to a unique bucket name


 # IAM Role for Lambda Function

 LambdaExecutionRole:

   Type: AWS::Role

   Properties:

     RoleName: LambdaExecutionRole

     AssumeRolePolicyDocument:

       Version: '2012-10-17'

       Statement:

         - Effect: Allow

           Principal:

             Service: lambda.amazonaws.com

           Action: sts:AssumeRole

     Policies:

       - PolicyName: S3ReadPolicy

         PolicyDocument:

           Version: '2012-10-17'

           Statement:

             - Effect: Allow

               Action:

                 - s3:GetObject

               Resource: !Sub 'arns3:::${MyS3Bucket}/*'


 # Lambda Function

 MyLambdaFunction:

   Type: AWS::Function

   Properties:

     FunctionName: MyPythonLambdaFunction

     Handler: index.handler

     Role: !GetAtt LambdaExecutionRole.Arn

     Code:

       ZipFile: |

         import json

         import boto3


         def handler(event, context):

             s3 = boto3.client('s3')

             bucket_name = event['bucket']

             file_key = event['file_key']


             try:

                 response = s3.get_object(Bucket=bucket_name, Key=file_key)

                 file_content = response['Body'].read().decode('utf-8')

                 print(f"File content: {file_content}")

                 return {

                     'statusCode': 200,

                     'body': json.dumps('File read successfully!')

                 }

             except Exception as e:

                 print(e)

                 return {

                     'statusCode': 500,

                     'body': json.dumps('Error reading file from S3')

                 }

     Runtime: python3.8

     Timeout: 30


Outputs:

 S3BucketName:

   Description: "Name of the S3 bucket"

   Value: !Ref MyS3Bucket


 LambdaFunctionArn:

   Description: "ARN of the Lambda function"

   Value: !GetAtt MyLambdaFunction.Arn

Zaloguj się aby komentować

Aktualny stan to imho doskonały kompromis. NIe zgubisz zakrętki + jest na tyle długa że nie powinna smyrać cię po policzku ani nie powinna być trudna w zakręceniu xD

Aleś wymyślił, wyślij to do PE jako pomysł na upgrade xD

Zaloguj się aby komentować

Jak miałem kilka lat to musiałem sie przeprowadzić do babci.

Babcia nie wyobraża sobie świata w którym ona nie gotuje, nie pierze, nie sprząta etc.

W związku z tym, sam praktycznie nie miałem nawet opcji robienia obowiązków domowych.

Przewijając całą historie: w wieku 22 lat po raz pierwszy zrobiłem pranie xD

Zobaczymy czy mi sie jeansy skurczą, bo idąc za losowym komentarzem z reddita uprałem je w 40 stopniach z innymi ciuchami (bo musiałbym odpalić pranie z samymi jeansami, a to szkoda wody i prądu)

#gownowpis

@redve będzie dobrze - u mnie było to samo, co więcej rodzice mieszkają z babcią i do dzisiejszego dnia babcia poprawia za mamę czy to zupę czy pościelony koc na łóżku. Ja póki się nie wyprowadziłam byłam wyręczana ze wszystkiego - nawet jak coś chciałam spróbować zrobić to nie mogłam bo ona to zrobi szybciej albo lepiej. No cóż minęło kilka lat i nauczyłam się gotować, prać, sprzątać - chociaż często łapię się że nie posprzątam czegoś dokładnie albo coś zacznę i nie skończę bo już robię coś innego - ale z czasem będzie tylko lepiej

Zaloguj się aby komentować

Jakiś gość zostawił zaparkowane auto w bramie tak że ledwo sie wyjechać dało. Przechodze i mówie pod nosem "co za kretyn tak zaparkował?"

5s później facet stojący obok wsiadł do auta, a ja spierdoliłem zawstydzony i zadowolony jednoczesnie xD


#polskiedrogi

@redve i to jest prawdziwy post, a nie napinacze co piszą jakby to nie zrugali kierowce, wyjasnili go czy co tam jeszcze. Nawet tutaj ktoś raz fiszował ze każdemu zle zaparkowanemu rysuje kluczem auto

Nie widzę absolutnie żadnych powodów do zażenowania.

Zdarzyło mi się też coś podobnego i najpierw faktycznie, odruch wstydu jest, ale potem od razu harda mina w stylu "tak, dobrze słyszałeś"

Zaloguj się aby komentować

Zaloguj się aby komentować

#gotujzhejto

czy udało wam sie kiedyś usmażyć burgera w domu, bez zadymienia całej kuchni?

Wydaje mi sie to niemożliwość typu pierwszego, bo do burgerów patelnie trzeba rozgrzac jak sam sk⁎⁎⁎⁎syn

Zaloguj się aby komentować

Zaloguj się aby komentować

Zaloguj się aby komentować