Пікірлер
@ibgib
@ibgib 11 күн бұрын
I watch this every year or two. ❤
@ralfrolfen5504
@ralfrolfen5504 12 күн бұрын
Still the best talk on color spaces!
@spyrex3988
@spyrex3988 12 күн бұрын
this is insane
@yifumao1379
@yifumao1379 14 күн бұрын
He speaks English so well😂. Really like his way of introducing the history of all those punch cards and TTYs. Plus, the idea of interactive programming is quite useful in my opinion.
@parimi001
@parimi001 14 күн бұрын
Love this video
@PaulaRother
@PaulaRother 15 күн бұрын
This is a little hard to take in, but i can see there us future here. Amazing possibilities for such low power. Thank you Chuck.
@abbottwalkingcarbonic9613
@abbottwalkingcarbonic9613 19 күн бұрын
❤❤
@tal500
@tal500 24 күн бұрын
Too bad the stabilizer project seems to be dead. Anyone knows an updated version for llvm18+?
@arirajuns
@arirajuns Ай бұрын
Such a great composition, delivered step by step. Very useful. Thanks for sharing.
@olbluelips
@olbluelips Ай бұрын
Interesting idea about smaller language layers preserving more symmetries
@GabrielSakalauskas
@GabrielSakalauskas Ай бұрын
When I first heard of the cut and fold theorem which was 29/9/2024 I folded a square using disk packing and then cutted it are got a square. which was easy to understand but this video explains the other very well. Also I like how like 99.9% of people are constantly watching things that make them addicted and mindless. Meanwhile the 0.1% are watching videos like yours constantly. Hopefully the next comment is in a few years if not months.
@demesisx
@demesisx Ай бұрын
Ironic to be watching this, as I just so happen to be re-compiling my whole Nix store as ``content-addressed``. This man was and this talk is simply BRILLIANT. I wonder how many people know about Unison, which brings some of these content-addressable goodness to the world of programming.
@32zim32
@32zim32 Ай бұрын
Some facts are already outdated. F.e. MongoDB supports multi-document transactions even across shards, but anyway great talk
@ShaylaRayArt
@ShaylaRayArt Ай бұрын
Please don't ever remove this. ❤
@martink6092
@martink6092 Ай бұрын
The "GLR" approach is a good generalisation of what we've been doing since the 1970's: simply treating most things as expressions, and only later hoisting out a contained L-value reference if it's required by context. So "L-value expected" becomes a semantic error rather than a syntax error.
@venkatareddy6122
@venkatareddy6122 Ай бұрын
Flutter 💙
@mikefinnerty1852
@mikefinnerty1852 Ай бұрын
I really enjoyed this video. Great presentation, very well spoken. Funny, and smart. Great job!
@Aalii6
@Aalii6 Ай бұрын
👍👍
@galopeian
@galopeian 2 ай бұрын
100rabbits is the best. Really pushed me towards learning more about local-first software
@daoshen
@daoshen 2 ай бұрын
2024 and it is still not possible to wish away state. Many thanks for this work! <3
@patrickcrawford119
@patrickcrawford119 2 ай бұрын
Rip to a real one
@hamzakyamanywa9792
@hamzakyamanywa9792 2 ай бұрын
Genius! Way ahead of his time
@rkmr41
@rkmr41 2 ай бұрын
The definitive guide on ACID properties.
@rcherrycoke7322
@rcherrycoke7322 2 ай бұрын
What a brilliant talk - honestly i wish it were longer
@laughingvampire7555
@laughingvampire7555 2 ай бұрын
Or you can do what common lisp (in particular SBCL) does, add type inference within the runtime itself, when you type a function in the REPL you get the type analysis, and is Hindle Millner analysis. Steel-Bank Common Lisp uses the type analysis to increase performance of the code, due to its standard definition you can add type hints respecting the syntax predefined in the 1980s using primitives like `declare` Or you can use what Verse a functional-logic programming language for video-games by Epic does, uses functions as contracts in Scheme to use as types, oops we go back to Lisp baby. Maybe JavaScript should've never acquired the filthy Java -ness.
@shpluk
@shpluk 2 ай бұрын
I've nodded all the way, but what the heck should I do now? For my tiny brain it was too "abstract", I need examples. Wonderful to say who, when, where... show me how, I mean please show me...
@roeniss
@roeniss 2 ай бұрын
Point-free programming == pipelining?
@eqapo
@eqapo 2 ай бұрын
24:03 I like Doug but unfortunately he's dangerously wrong about zen buddhism and misattributing perhaps one meditation practice that the west has imported (as analytical westerners we are specifically vulnerable to 'infinite reflection' type amusement). The utility of such a practice is to tire that mode and induce a non-concept state of being (like the fly) which can be therapeutic to some.
@laughingvampire7555
@laughingvampire7555 2 ай бұрын
'A' 5 STO what syntax is this? can someone enlighten me?
@billguschwan4112
@billguschwan4112 2 ай бұрын
9:20 begin with concept of perception : funneling impinging triggers a concept
@olbluelips
@olbluelips 2 ай бұрын
Programming languages aren’t even 100 years old; I believe there’s SO much room for improvement and new ideas. Really appreciate the talk!
@Georgggg
@Georgggg 2 ай бұрын
Not long time ago I started to use emojis 🙂🔈⚠️⛔ in terminal output. Never felt better to read logs
@MrOnlineCoder
@MrOnlineCoder 2 ай бұрын
Amazing speech, watched it in one breath with a smile on my face
@yapayzeka
@yapayzeka 2 ай бұрын
i dont know the game but a game did random generation with counting user inputs. i think it is a pretty clever aproach if not exposed.
@someonlinevideos
@someonlinevideos 2 ай бұрын
I’d like to play the contrary here and propose the hypothesis that if our software was properly architected replayability or as we call it in this video time, travel bugging would be a part of the architecture rather than an afterthought that we need external tools for
@kubamigda3336
@kubamigda3336 2 ай бұрын
Great talk, cheers
@ilikeshiba
@ilikeshiba 2 ай бұрын
7:57 wow this has aged incredibly well with LLMs being the same thing but even worse
@VikasBhardwaj15
@VikasBhardwaj15 2 ай бұрын
Best I have seen on CQRS and Event soursing
@funkijote
@funkijote 2 ай бұрын
Wow really great talk! I’m coming from a JS/TS background and this was really helpful in understanding some things about both C++ (a language I’ve only a cursory understanding of) and Swift (same level), and just systems programming language concepts in general.
@nasenbaer06
@nasenbaer06 3 ай бұрын
The first ten minutes are the *best* explanation of continuations on youtube, hands-down. Jay has a very lucid style of explaining, no hand-waving there. Yes, the list syntax is weird, but you don't really have to know anything to read it. I watched hours worth of other videos on continuations that at some point relied on TypeScript or Haskell knowledge, and lost me that way. A bunch of the remaining 30 mins went over my head, too. Planning to digest and revisit. I think it's worth it.
@immanuellitzroth1905
@immanuellitzroth1905 3 ай бұрын
(mapcar #'1+ '(1 2 3))
@robhp1
@robhp1 3 ай бұрын
Amazing lecture! So many important ideas and discoveries shared in less than a hour! Thank you Philip!
@Hackensack125
@Hackensack125 3 ай бұрын
Nice video professor Milano.
@manueldippold5124
@manueldippold5124 3 ай бұрын
I've been developing software for 15 years now and I only now learned about shellcheck. So yeah, "Where has this been all the time?" Spot on :D
@leadingauctions8440
@leadingauctions8440 3 ай бұрын
The one thing I have not been able to find anywhere on KZbin is what kind of programs did they use to program these games?!
@k-maccked
@k-maccked 3 ай бұрын
Just found this trying to optimize a 6 hour playlist for a friend's wedding. Thank you so much for this!!
@mulllhausen
@mulllhausen 3 ай бұрын
Excellent talk! I remembered this from watching it back in 2016 so it must have made an impression on me. So innovative!
@PatternShift
@PatternShift 3 ай бұрын
This is why static typing is a trap. Semantics about entities and their relations should not be static but dynamic. That’s where flexibility and adaptability comes from. Too many devs throw that away due to fear. “We never let you run a certain kind of mistake” feels safe, but in reality, “we can correct any kind of mistake while the program runs” is safer, and unlocks so many possibilities. Thanks to Sussman for making that trade off so clear in this talk!
@mohammadrezamohammadifar3867
@mohammadrezamohammadifar3867 3 ай бұрын
The best explanations of proof, type, and history of algorithms! Seems a category? Yes I guess. Thanks a million man.
@yuri0001
@yuri0001 3 ай бұрын
Very helpful for newbies like me!