A w sumie. Nocna edycja CZERSTWEGO! - wybucha jebutna armata z konfetti.

Hejto city, czy mnie słychać?!

Cisza mą odpowiedzią.

W akompaniamęcie wycia @bojowonastawionaowca i majowych kropel deszczu, cieknących po ścianach pewnego mieszkania pod Częstochową, zapraszam. Udziwnijmy sobie noc. xD

---------

#czerstwyhumor #memy #heheszki #halflife

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

#gry #heheszki #halflife #theelderscrolls #gaben

Nowe demo remaku Half-Life 2: RTX. Jak dla mnie mogliby więcej detali dodać.

https://youtu.be/90nIfKBbLVY

#halflife #gry

Warto za 80?

#steam #vr #oculus #halflife

Remake Half-Life 2 na silnik Source 2 znanego z HL: Alyx.

Tylko nie wiem czy to jakiś poważny projekt, czy co, ale prace dość zaawansowane.

https://youtu.be/iou5akAQ0Ro

#gry #halflife #ciekawostki

https://youtu.be/1V8lGyYqiGc

#heheszki #gry #halflife

Jak wiadomo z ostatniego wywiadu z Gabenem, bardziej niz mniej prawdopodobne jest, ze powstaje Half Life 3.

Teraz pojawiaja sie informacje/plotki, ze HL3 jest we wczesnej fazie testow gameplayu.

Wcale bym sie nie zdziwil.

Bardziej ciekawi mnie to, jakie nowa gra przyniesie innowacje, bo kazda nowa odslona ma w zamierzeniu jakos zmienic branze gier.

Moze jakies LLMowe NPC? Albo dialogi dynamicznie dostosowujace sie do wyborow i generowanie dialogow w czasie rzeczywistym, za kazdym razem co nieco inaczej?

Ultrarealizm nie tylko otoczenia, ale i postaci?

Wykorzystanie do maximum mozliwosci kart NVIDIA i innowacyjna fizyka?

A moze rozwiniecie VRu?

Premiera gry polaczona z wydaniem nowego Steam Decka?

Kto wie

https://thegamepost.com/half-life-3-undergoing-external-playtesting-valve/

#gry #halflife

Czy da się gdzieś kupić pierwszą część half-life? Czy można grać w dwójkę nie znając jedynki? Nie widzę nigdzie na steam

#pytanie #steam #halflife #halflife2 #gry

Co ten Gaben tu za przeproszeniem pier.. ekhm wygaduje

Prosze nas nie traktowac jak dzieci Panie Gaben!

Skopales Pan, nie tlumacz sie Pan i dawaj mnie Half Life 3!

https://www.youtube.com/watch?v=135aqsBR4uk

#gry #halflife #halflife2 #steam

Dziś gratka dla fanów #gry #halflife - za godzinę wychodzi nowy rozdział remaku Half Life: Blue Shift. Trochę im zajęło od czasu ostatniego rozdziału, ale jest to to remake Xen.

https://www.moddb.com/mods/black-mesa-blue-shift-remake

Dodam, że niedawno wyszło też demo Project Brealis, czyli fanowska kreacja Epistle 3 - nie wydanego a tylko planowanego HL2: Episode 3 opisanego swego czasu na blogu Marca Laidlawa.

https://projectborealis.com/

No i na 20 lecie HL2 Valve wypościło nieco zmienioną wersję HL2 z komentarzami do podstawki.

#halflife

Mamy update do Half Life 2. Połączono EP1 i EP2 z główną grą. I nie wiem czy zrobiono coś więcej.

#gry #halflife

#gry #halflife

w sobotę będzie 20 lecie halflife 2. Ciekawe czy wypuszczą jakiś update

#lego #halflife #gry

Dog!

Właśnie skończyłem (u mnie skończenie to wbicie wszystkich osiągnięć :P). Boże, jakie to dobre https://store.steampowered.com/app/1583720/Entropy__Zero_2/

#gry #halflife #steam

#halflife #gry #heheszki

Dziękuję Pan Jutub

https://youtu.be/1KnsG1QFa-s

#gry #heheszki #aicover #halflife

https://youtu.be/xqAAtdAjEdg?feature=shared

#halflife #valve #kononowicz #majorsuchodolski #suchodolski #szkolna17 #bialystok