Main Greg Channel!

Main Greg Channel!

By
Download on the App Store

Main Greg Channel! episodes

  • Pokemon - Dreaming of good times (良辰有梦)

    Pokemon "Dreaming of good times", a chinese animated short film directed by DaiWei (All Saints Street) and produced by MTJJ / HMCH studio (Legend of Hei) for chinese new year.

    https://www.catsuka.com/news/2024-02-02/pokemon-dreaming-of-good-times-court-chinois-par-daiwei-hmch-pour-le-nouvel-an

    0 min
  • War Squids

    Provided to YouTube by Universal Music Group

    War Squids · Slugdge

    Esoteric Malacology

    ℗ 2018 Willowtip Records

    Released on: 2018-03-02

    Producer, Composer Lyricist: Kev Pearson

    Composer Lyricist, Producer: Matt Moss

    Auto-generated by YouTube.

    0 min
  • The Best New Programming Language is a Proof Assistant by Harry Goldstein | DC Systems 006

    Harry Goldstein, professor at the University at Buffalo, explores the programming language Lean as more than just a proof assistant. In this talk, he walks through how Lean enables powerful metaprogramming and live programming features, allowing developers to define new syntax, build interactive widgets, and reshape their development experience directly in the language. This is a look at how a simple language design can support complex workflows and why other languages might want to catch up.

    http://antithesis.com/

    0 min
  • Walk up hills without getting tired

    THIS is how to walk uphill without getting tired. We all know walking uphill makes you tired — but what if you could climb with less effort and more efficiency?

    Oh the "walking downhill" video is here: https://youtu.be/3jsQMDe1GYI

    In this video, I’ll show you exactly how to walk uphill in a way that uses the least amount of energy possible. It’s all about using your strongest muscles — your thighs and glutes — and learning a few simple tricks that can make a big difference out on the trail.

    You’ll learn:
    • Why your body gets tired on hills (and how to fix it)
    • The #1 rule for efficient uphill walking: land your foot under your body
    • Why shorter steps and zig-zagging save you energy
    • How small changes in technique can make big climbs feel easier
    Once you get the hang of this, you’ll wonder why you ever walked any other way. Perfect for hillwalkers, hikers, mountain leaders in training — or anyone who’s sick of feeling wrecked halfway up the slope.

    0 min
  • PLAN: Purely Functional Programming With Batteries Included by Jack Ek

    PLAN: Purely Functional Programming With Batteries Included by Jack Ek at #LambdaConf2024

    Get your ticket for #LambdaConf2025 here: https://www.eventbrite.com/e/lambdaconf-2025-tickets-903567092497

    PLAN is a new VM based on established technology which allows programmers to write functional programs with automatically persisted state which is portable across architectures. Programming languages today tend to run in stateful environments, which imposes an impedance mismatch on purely functional languages. Instead of adapting the language to the environment—introducing impurity, whether directly or managed through an IO monad—we suggest adapting the environment to the language and simply treat our main closure as our state, in the hope that this will make software simpler and more maintainable. The specification of the VM is both minimal and straightforward to implement performantly, while its native code format remains human-understandable. We use an immutable code sequence to bootstrap an extensible higher level language, which together with the runtime gives us a usable system in significantly less than 10k of non-golfed, zero-dependency and highly auditable LOC.

    0 min
  • Andrej Karpathy: Software Is Changing (Again)

    Andrej Karpathy's keynote at AI Startup School in San Francisco. Slides provided by Andrej: https://drive.google.com/file/d/1a0h1mkwfmV2PlekxDN8isMrDA5evc4wW/view?usp=sharing

    Chapters (Powered by https://ChapterMe.co) -

    00:00 - Intro
    01:25 - Software evolution: From 1.0 to 3.0
    04:40 - Programming in English: Rise of Software 3.0
    06:10 - LLMs as utilities, fabs, and operating systems
    11:04 - The new LLM OS and historical computing analogies
    14:39 - Psychology of LLMs: People spirits and cognitive quirks
    18:22 - Designing LLM apps with partial autonomy
    23:40 - The importance of human-AI collaboration loops
    26:00 - Lessons from Tesla Autopilot & autonomy sliders
    27:52 - The Iron Man analogy: Augmentation vs. agents
    29:06 - Vibe Coding: Everyone is now a programmer
    33:39 - Building for agents: Future-ready digital infrastructure
    38:14 - Summary: We’re in the 1960s of LLMs — time to build

    Drawing on his work at Stanford, OpenAI, and Tesla, Andrej sees a shift underway. Software is changing, again. We’ve entered the era of “Software 3.0,” where natural language becomes the new programming interface and models do the rest.

    He explores what this shift means for developers, users, and the design of software itself— that we're not just using new tools, but building a new kind of computer.

    More content from Andrej: https://www.youtube.com/@AndrejKarpathy

    Thoughts (From Andrej Karpathy!)

    0:49 - Imo fair to say that software is changing quite fundamentally again. LLMs are a new kind of computer, and you program them in English. Hence I think they are well deserving of a major version upgrade in terms of software.
    6:06 - LLMs have properties of utilities, of fabs, and of operating systems → New LLM OS, fabbed by labs, and distributed like utilities (for now). Many historical analogies apply - imo we are computing circa ~1960s.
    14:39 - LLM psychology: LLMs = "people spirits", stochastic simulations of people, where the simulator is an autoregressive Transformer. Since they are trained on human data, they have a kind of emergent psychology, and are simultaneously superhuman in some ways, but also fallible in many others. Given this, how do we productively work with them hand in hand?
    Switching gears to opportunities...
    18:16 - LLMs are "people spirits" → can build partially autonomous products.
    29:05 - LLMs are programmed in English → make software highly accessible! (yes, vibe coding)
    33:36 - LLMs are new primary consumer/manipulator of digital information (adding to GUIs/humans and APIs/programs) → Build for agents!

    Some of the links:

    • Software 2.0 blog post from 2017 https://karpathy.medium.com/software-2-0-a64152b37c35
    • How LLMs flip the script on technology diffusion https://karpathy.bearblog.dev/power-to-the-people/
    • Vibe coding MenuGen (retrospective) https://karpathy.bearblog.dev/vibe-coding-menugen/
      • 0 min
    • Pattern Against User

      Provided to YouTube by Redeye Worldwide

      Pattern Against User · At The Drive-In

      Relationship Of Command

      ℗ At The Drive-In

      Released on: 2012-04-17

      Music Publisher: At The Drive-In

      Composer: At The Drive-In

      Auto-generated by YouTube.

      0 min

    About Main Greg Channel!

    From the publisher's feed

    Unsorted stuff