Great talk! I'd probably put Cantor and Gentzen on that historical slide, too (and note that Russell's paradox was noticed by Frege).
@qu4ku8 ай бұрын
great talk, thanks to the author.
@ziadirida10 ай бұрын
Isn’t Prometheus server a single node and a bottleneck for metrics exporting to M3?
@Ancipital_ Жыл бұрын
Can someone please explain to me λf.ff. In particular the ff after the period. Can this be reduced and if so, how? I don't understand how to understand this 😸 (λf.ff)λa.a = (λa.a)λa.a .. i get it but i don't get it.
@Coolbassist Жыл бұрын
λf.ff takes a function f, and applies f to f. You're correct in that (λf.ff)λa.a = (λa.a)λa.a. λa.a is the identity function, which we can call I. So (λf.ff)I is equal to II, which is the identity function applied to the identity function. Which returns just the identity function, I.
@DevineLuLinvega2 жыл бұрын
Interobang spotted!! Nice talk, it made a lot of things clearer, thank you.
@mskiptr2 жыл бұрын
Wow! That is one awesome talk!
@mikeCavalle2 жыл бұрын
kzbin.info/www/bejne/e2Oap2tpjLycfdE
@neilbedwell77632 жыл бұрын
There is something incredibly daoist about boolean logic and equality expressed as combinators
@marcfoster715 Жыл бұрын
Which is probably why Raymond Smullyan loved combinatory logic.
@zekodun2 жыл бұрын
curious how this works for SKI commentators?
@lillylightlove42292 жыл бұрын
very nice talk, skills and humour! Bravo
@caosed49912 жыл бұрын
Google changes people. Hmm or maybe its just age.😶
2 жыл бұрын
in what way? i only watched the older video
@caosed49912 жыл бұрын
@ i honestly don't remember why I made that comment, but i think it was because in this video it looks like they talk in a more lower level language? If that makes sense. In this video they are talking in javascript, unlike the other video, where they were talking in math more. And I don't think that's a great thing. Just a personal opinion.
@glebec Жыл бұрын
LOL, it could just be that I was jet lagged from flying from NYC to Helsinki the night before. 😅
@rahulpratap853 жыл бұрын
which extension you are using to highlighting the YAML pre spaces.
@vagifk28643 жыл бұрын
need to remove background noise
@SahilRajput033 жыл бұрын
LInks showed in video - "Practical Blend Modes" - Una Kravets - kzbin.info/www/bejne/aqDTfWOaga-AfaM "mix-blend-mode Article" - css-tricks.com/almanac/properties/m/mix-blend-mode/ "filter Article" - css-tricks.com/almanac/properties/f/filter/
@helloimwill3 жыл бұрын
Once thought an idiot bird, later was found to be fond of all other birds and itself. 🥰
@gongfei4 жыл бұрын
The old talk has a better pace. kzbin.info/www/bejne/aYe0ZGtohqxgr5Y