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.
@parimi00114 күн бұрын
Love this video
@PaulaRother15 күн бұрын
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.
@abbottwalkingcarbonic961319 күн бұрын
❤❤
@tal50024 күн бұрын
Too bad the stabilizer project seems to be dead. Anyone knows an updated version for llvm18+?
@arirajunsАй бұрын
Such a great composition, delivered step by step. Very useful. Thanks for sharing.
@olbluelipsАй бұрын
Interesting idea about smaller language layers preserving more symmetries
@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Ай бұрын
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Ай бұрын
Some facts are already outdated. F.e. MongoDB supports multi-document transactions even across shards, but anyway great talk
@ShaylaRayArtАй бұрын
Please don't ever remove this. ❤
@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Ай бұрын
Flutter 💙
@mikefinnerty1852Ай бұрын
I really enjoyed this video. Great presentation, very well spoken. Funny, and smart. Great job!
@Aalii6Ай бұрын
👍👍
@galopeian2 ай бұрын
100rabbits is the best. Really pushed me towards learning more about local-first software
@daoshen2 ай бұрын
2024 and it is still not possible to wish away state. Many thanks for this work! <3
@patrickcrawford1192 ай бұрын
Rip to a real one
@hamzakyamanywa97922 ай бұрын
Genius! Way ahead of his time
@rkmr412 ай бұрын
The definitive guide on ACID properties.
@rcherrycoke73222 ай бұрын
What a brilliant talk - honestly i wish it were longer
@laughingvampire75552 ай бұрын
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.
@shpluk2 ай бұрын
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...
@roeniss2 ай бұрын
Point-free programming == pipelining?
@eqapo2 ай бұрын
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.
@laughingvampire75552 ай бұрын
'A' 5 STO what syntax is this? can someone enlighten me?
@billguschwan41122 ай бұрын
9:20 begin with concept of perception : funneling impinging triggers a concept
@olbluelips2 ай бұрын
Programming languages aren’t even 100 years old; I believe there’s SO much room for improvement and new ideas. Really appreciate the talk!
@Georgggg2 ай бұрын
Not long time ago I started to use emojis 🙂🔈⚠️⛔ in terminal output. Never felt better to read logs
@MrOnlineCoder2 ай бұрын
Amazing speech, watched it in one breath with a smile on my face
@yapayzeka2 ай бұрын
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.
@someonlinevideos2 ай бұрын
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
@kubamigda33362 ай бұрын
Great talk, cheers
@ilikeshiba2 ай бұрын
7:57 wow this has aged incredibly well with LLMs being the same thing but even worse
@VikasBhardwaj152 ай бұрын
Best I have seen on CQRS and Event soursing
@funkijote2 ай бұрын
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.
@nasenbaer063 ай бұрын
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.
@immanuellitzroth19053 ай бұрын
(mapcar #'1+ '(1 2 3))
@robhp13 ай бұрын
Amazing lecture! So many important ideas and discoveries shared in less than a hour! Thank you Philip!
@Hackensack1253 ай бұрын
Nice video professor Milano.
@manueldippold51243 ай бұрын
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
@leadingauctions84403 ай бұрын
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-maccked3 ай бұрын
Just found this trying to optimize a 6 hour playlist for a friend's wedding. Thank you so much for this!!
@mulllhausen3 ай бұрын
Excellent talk! I remembered this from watching it back in 2016 so it must have made an impression on me. So innovative!
@PatternShift3 ай бұрын
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!
@mohammadrezamohammadifar38673 ай бұрын
The best explanations of proof, type, and history of algorithms! Seems a category? Yes I guess. Thanks a million man.