25 065 205 - 80 = 25 065 125
30 25 25
#pompujwpoprzekziemi

Matematyk - informatyk, programista - onanista
25 065 205 - 80 = 25 065 125
30 25 25
#pompujwpoprzekziemi
Zaloguj się aby komentować
Kiedyś wrzucałem zdjęcie jak mi się sworzeń rozwalił na ekspresówce. No więc, jak ktoś jest ciekawy jak to wyglądało w środku xD
#samochody #gownowpis
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 jest liczbą naturalną
jeżeli a jest liczbą naturalną, to a+1 również jest liczbą naturalną
nie istnieje taka liczba naturalna a, że a+1 = 1
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:
0 = λf.λx.x
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

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

@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

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ć
Jak myślicie, ile o miłości do ojczyzny mówi ktoś kto pomalował pomnik żołnierzy Polskich?
#bekazpodludzi #polska


Zaloguj się aby komentować
zobaczymy jak szybko mi przejdzie hiperfiksacja nowym tematem #asperger #autyzm
#ksiazki

@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.

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ć

Opisana konstrukcja w której pszczoły są uczone rozpoznawania zapachu, następnie siedzą w pudełku przez kilka dni mówiąc o tym jaki zapach czują, i wracają do ula. Jest również opisany sposób trenowania gołębi do sterowania pociskami rakietowymi
#gruparatowaniapoziomu #zwierzaczki...
Petru zapowiedział serie filmów na konfederacje, a on je od roku robił
#polityka

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 'arn
s3:::${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ć
Zawsze urywam nakrętki, ale dzisiaj trafiłem na wyjątkowo oporną xD
#gownowpis #niewiemjaktootagowac

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ć
Czaicie mieć bażanta 50m od mieszkania w mieście?
#ptaki #chwalesie #smiesznypiesek #zwierzaczki

Zaloguj się aby komentować
25 085 600 - 110 = 25 085 490
30 25 20 35
może wieczorrem coś dodam
#pompujwpoprzekziemi
Zaloguj się aby komentować