搬运
（463/516）
自动连播
48.3万播放
简介
订阅合集
为什么法国大革命导致了理发师失业
01:13
🚨BREAKING： George Hotz
00:42
Jonathan Blow's First Flop
29:35
Ocaml!
00:21
ThePrimeagen's top 5 programming languages ｜ Lex Fridman Podcast Clips
06:58
Killed by Worse is Better What we can learn from the last time - Adam McCullough
47:22
The Story of Raft
01:11:19
Tomorrow Corporation Tech Demo
14:06
Tutorial: Debugging with Strace - A Peek Behind the Scenes of Linux Processes
01:30:18
Casey 谈版本控制
16:45
You can break AI down into 5 tiers | GeorgeHotz
02:26
Omarchy | DHH
23:50
All color is best-effort | fasterthanlime
19:17
Russ Cox solves AoC 2021 Day 24 using Go in Acme [Compiler Analysis]
01:05:21
From Linear Types to Rust
55:44
The Best New Programming Language is a Proof Assistant by Harry Goldstein
33:09
AoC 2021 Day 1 using Ivy | Russ Cox
05:01
Applicative： The Forgotten C++ Functional Pattern - Ben Deane - CppCon 2023
01:00:32
Casey Muratori – The Big OOPs： Anatomy of a Thirty-five-year Mistake – BSC 2025
02:27:34
What’s a linear language like？ — Coding a “Mini Grep” in Par
48:46
Building Systems, Simply by Matklad
44:53
Interview with Senior DevOps engineer 2025
06:19
辐射1的内存模型
11:01
Your Favorite YouTube Channel is (Probably) Owned By Private Equity
12:01
2 Language Creators vs 2 Idiots ｜ The Standup
01:24:30
History of UNIX - Brian Kernighan
01:10:47
This program prints URMOM
06:50
B树的B是什么意思
01:37
How To Learn Programming (But For Real) | lcolonq
03:09
Livecoding (Racket)： Parsing Left-Associative Operators with LL(k) parsers
31:15
AI slop attacks on the curl project - Daniel Stenberg
53:01
C++ 是最好的解释型语言 | Sheafification of G
18:58
Bits with Soul - Professor Simon Peyton Jones
59:03
UTF-8, Explained Simply | Nic Barker
37:42
Python, Go, Rust, TypeScript and AI with Armin Ronacher
01:14:12
Why I Don't Like Rust
24:29
don't put some virus on my iPhone
00:15
Compositional Object Oriented Prototypes
31:34
Bad Apple!! 但是烟雾模拟 | Sebastian Lague
03:51
Text Editing hates you
08:40
写玩具很有用 | Matklad
02:41
在监狱中重写SQLite
01:18:28
Moves Are Broken | Logan Smith
51:53
yt-dlp vs Google | Andrew Kelley
02:10
Closure capture in JS, Kotlin, Java, Python, Go, Temper, Rust, C++, & Odin
23:56
The Complexity of Simplicity - Bryan Cantrill
56:59
What I have learned from 15 years of functional programming | Scott Wlaschin
01:02:32
The Joy of C++26 Contracts-Myths,Misconceptions - Herb Sutter
01:02:50
Matklad教你Paxos
01:33:51
Why Hello World in Rust is 200 times bigger than in C？ Or IS IT？
08:51
TigerStyle with matklad Vol. 2 (Systems Engineering)
01:28:39
Advent of Code 2023 in Janet - Day 1
26:04
[AoCO 1⧸25] Why xor eax, eax？
03:19
How Debuggers ＂Actually＂ Step Through Code
27:45
Rewriting "sleep" from scratch - no libraries, not even libc - only syscalls
47:39
explaining weird stuff via python's compilation pipeline | anthonywritescode
01:15:09
You don't need an ORM - Giacomo Cavalieri ｜ Lambda Days 2025
20:46
＂z3＂ is actual magic (intermediate) anthony explains #425
17:23
Github continues to Downfall
11:02
Somebody Told Me(The UserProvider Should Use Adaptor To Proxy The Query Factory)
03:21
re：bass
04:35
Enterprise Waterfall
03:15
Dylan Beattie and the Linebreakers - Monads (Live at NDC Oslo 2019)
04:22
Slim Lim： ＂Concrete syntax matters, actually＂
01:05:16
Language demo： running raylib at compile-time!
09:19
Deciding the fate of C Language
02:28:33
[AoCO 16⧸25] Calling Conventions | Matt Godbolt
10:20
There Is Nothing Like Emacs Even After 40 Years Of Its Existence | valigo
07:14
The HoTTest Axiom of math
16:18
[AoCO 19⧸25] Tail Call Optimisation
06:24
Some things are MORE EQUAL than others？？
16:23
#304 Creator Of Pipewire's Wireplumber ｜ George Kiagiadakis
01:53:04
Worst Onboarding Experience Ever ｜ The Standup
30:41
A different way to do concurrency — Haskell’s STM monad by Elisabeth Stenholm
44:45
Jean Bartik and the ENIAC Women
06:10
i hate malloc⧸free with a passion
23:53
A monad is a monoid in the category of endofunctors. Whats the problem？ #SoMe2
04:20
A Tribute To A Young Genius： Jack Lance (1997-2023)
41:26
Bun 的 起源 | Jarred Sumner
12:28
Terminal text editors are a dead end | valigo
09:39
Microarchitecture： What Happens Beneath | Matt Godbolt
01:20:57
Rust and the price of ignoring theory
52:35
HUML (Human-oriented Markup Language)
29:33
Functional takes on the GoF design patterns
01:09:36
Category Theory is NOT for Haskell： Hot Take! #shorts
01:38
GopherCon 2025： Understanding Escape Analysis to Speed Up Your Code - Bill Kenne
21:20
Bun的故事以及TigerBeetle和Ghostty
04:33
如何学Rust | Jon Gjengset
07:53
George Hotz 暴论合集
George Hotz Python Tutorial
03:49
High-level is the goal
30:52
Wasm和JavaScript交互 | Ben Visness
16:40
Ken Thompson 说Plan 9是“最好的操作系统”，但它“永远也不会成功”
05:08
Microsoft have lost their minds
09:26
How I would use an LLM to learn Rust | Web Dev Cody
34:56
Porting the TypeScript Compiler to Go for a 10x Speedup V2
39:18
39C3 - A post-American, enshittification-resistant internet
01:01:13
The Internet's Most Enigmatic Programmer
01:30:50
Thompson tells how he developed the Go language at Google
05:16
UNIX v4 program found cleaning out an office at the University of Utah
13:17
Gleam's Design and Compiler - with creator Louis Pilfold
01:11:14
关于type checker相关的资源 | Louis Pilfold
07:33
Linux用户第一次尝试Windows。有那么糟吗？
11:24
The Plan is to Make the Internet Worse. Forever. ｜ Cory Doctorow
01:20:25
Neofetch Developer Actually Became A Farmer
15:30
After two years of vibecoding, I’m back to writing by hand
11:54
Open Source in war-torn Ukraine and around the world—join me on an epic journey
01:09:42
Lauding a Language is Very Mid | Sheafification of G
29:05
Jujutsu Version Control Explained | Brian Will
37:36
What IS a Function？| snsus
06:28
why doing many small projects is more educational than doing one giant project
06:38
The history of C# and TypeScript with Anders Hejlsberg ｜ GitHub
35:14
raylib： a 12-year adventure as a solo-maintainer
24:53
Ladybird browser update (Dec 2025 + Jan 2026)
29:10
Python, Is It Being Killed by Incremental Improvement
29:03
Open Source security in spite of AI - Daniel Stenberg
49:07
Rust Coreutils in Ubuntu： One Troll, One Argument, One Answer ｜ FOSDEM 2026
21:14
Separating the Wayland Compositor and Window Manager
25:15
Some discrete math proofs ｜ How to prove it
36:21
Interview with a ‘Just use a VPS’ bro (OpenClaw version)
07:46
Math Talk! with Professor Paolo Aluffi
01:17:47
How Odin perfected simplicity
07:36
Essential Math Textbooks
54:16
nothings⧸stb programming stream #0
04:56:01
How programming langauge creators abusing NaN for SPEED | Valigo
29:06
Pure Mathematician:There's a Perfect World Most People Will Never See
02:25:03
What is math… really？ ｜ Paolo Aluffi
35:41
BCacheFS Developer Deployed His AI Girlfriend Helper
28:22
The Enshittificator
04:00
为什么OpenClaw用户要买Mac mini
01:32
dynamic arrays in c speedrun glitchless⧸noAI% world record 3 minutes | Dave Eddy
03:25
Shipping a button in 2026…
09:38
TinyHM 4.1 - How type inference in ML works
26:00
Tony Hoare, 1980 ACM Turing Award Recipient
01:44:47
Tony Hoare和tagged union
06:49
plan 9 operating system
02:22:11
The Cost of Concurrency Coordination with Jon Gjengset
46:35
为什么Pi Agent作者依然手写代码
05:24
Nicholas Carlini - Black-hat LLMs ｜ [un]prompted 2026
26:28
I Hated Every Coding Agent, So I Built My Own — Mario Zechner (Pi)
27:16
AI CEO vs Engineer (2026).
04:48
What's the Deal with Hyprland？ - Vaxry
25:22
How to Build (strcmp) in Pure x86_64 Assembly
27:59
The Lambda Calculus | Computable Secrets
Understanding complex type systems
09:05
Assertions in production？ (TigerBeetle Vol. 3) With Alex aka matklad
01:20:18
Bourbaki： A Unified Foundation for Mathematics
08:38
How printf() Works in Assembly ｜ x86-64 Beginner Tutorial ｜ Print Strings, Chars
59:56
Do not get lost in GDB | valigo
08:56
Building pi in a world of slop
18:27
Hyprland的lua配置能做什么
01:11
Working Through 001： The Art Of Computer Programming | K4Y L4CK
03:30:23
Intellectual control
19:37
A love letter to Pi ｜ Lucas Meijer
27:10
Casey Muratori Doesn’t Care About AI (Here’s Why)
01:26:11
为什么rust的过程宏慢 | matklad
02:40
Apps and programming： two accidental tyrannies | Andy Matuschak
45:50
The Science of Learning Math (and Anything Else) with Justin Skycak
03:18:01
How one programmer's pet project changed how we think about software
01:06:20
No one can force me to have a secure website!!!
35:10
Zig 0.16 is here - lets go through the release notes
01:58:34
The Polymorphic Lambda Calculus： System F
14:44
Assembly view on uninitialized variables in C with some undefined behavior magic
23:57
Category Theory： What Makes a Construction Natural？
27:29
Valigo’s cursed jai macros
48:00
We dismissed the practical genius of Recursion Schemes. That was a mistake.
43:56
const is more than you think!
14:31
I Read Chinese Reviews to Understand Slay the Spire 2’s Backlash | wayshush
15:29
Working Through 003： Book of Proof (en route to The Art Of Computer Programming)
04:24:03
The [ Real ] Arch Linux User Experience
12:56
＂Zig ⚡ Live Coding ⚡ Build System Phase Separation＂| Andrew Kelley
02:39:08
Why is rendering text so complicated？| PawelCodeStuff
05:20
Keynote： The Latest on Elixir Types - José Valim ｜ ElixirConf EU 2026
01:03:24
Making a game in Visual Studio from 1997 ｜ Sean Barrett
01:57:54
Linux Customization (A Descent Into Madness)
08:52
Richard Stallman Free software Song
02:03
Nobody Asked #1 - Thoughts about AI | javidx9
19:28
Let's Answer Ray's Question! | Casey Muratori
37:10
Mo - The Unethical Guide to Surviving AI Layoffs
06:12
IO Programming Tutorial - Part III： io_uring
I was laid off by Atlassian
40:06
Customize Hyprland with Lua (2027 Edition)
25:59
The BEST Concurrency Pattern： Pipelines in Go ｜ Golang for Devs
36:24
PERFECT PROGRAMMING LANGUAGE
11:15
【前半】自作TCP⧸IPスタックをRustで実装するまで年を越せない【24時間耐久】 #ch789.P1
Nerding Out About： Coroutines & Goroutines (Go, C++20, Python, Odin)
18:26
FFF： Did He Build the Best Neovim File Picker？
01:33:29
AI slop is flooding maths YouTube
16:11
The World Is Not Ready For Jai | valigo
46:10
Nerding Out About： Metaprogramming
17:47
Game Is Start Release Date Trailer (v1.2) | Qnixly
02:40
＂We're pausing new challenges＂ - CodeCrafters
08:20
One second to find the BILLIONth PRIME | Sheafification of G
28:24
Learning OCaml - Recap of Week 1
17:28
class Dog extends Human
00:18
Hello world in 300 lines of code to piss off vibe coders | Leet Cipher
14:47
Zig No-AI Policy,$670K Foundation, Left GitHub&Why Zig Isn’t 1.0 - Andrew Kelley
01:13:11
The Predictable Rise and Fall of Yacht Club Games
11:49
＂But it happened.＂ | Casey Muratori
15:23
Nerding Out About： WebAssembly (WASM)
12:03
Upper Management Meeting. | Kai Lentit
04:24
Every time Sheafification of G does the ＂Law of the Excluded Middle＂ bit
03:20
I learned Odin | ThePrimeagen
09:59
Comparing Simple C Program to Assembly (x64) | Nir Lichtman
07:14
How to Actually Learn C (2027 Edition)
31:41
Mathematics doesn't actually make any sense | Sheafification of G
13:37
The C++ Standard Library | Bryce Adelstein Lelbach
01:17:48
Claude Code作者：我已经不写Prompt了
00:41
印度小孩假的编程教程
05:34
Nerding Out About： Enums
09:55
Exceptions are horrifying | valigo
14:11
Gleam and the value of small ｜ Ubuntu Summit 26.04
23:43
Functional Programming, Thinking in Types, Useless Language | SPJ
01:27:53
Four Fascinating Programming Languages You've Probably Never Heard Of - Lutz Hüh
45:15
The power and simplicity of Jai | valigo
37:31
A Comprehensive-ish List of References and Inspirations in Undertale
50:32
类型系统的作用 | Kit Langton
04:28
How Software Engineering Is Changing ｜Charlie Marsh
01:22:57
How hackers reverse Math.random() | Zanzlanz
15:29
Tomas Petricek： Cultures of Programming – the Human Side of Software
01:17:05
Training AI to Write Bugs Humans Can't Spot | Will Wilson
07:58
The Man Who Says AI Code Will Break Everything - EP 59 Will Wilson
01:09:18
Odin 1.0 Announcement
04:56
The ＂magic＂ behind Rust's zero line function
14:05
Zig has the hardest ＂Hello world!＂
13:46
The forgotten advantages of concurrency (Let's #TalkConcurrency - QU2)
05:06
Another Taste of Verse ｜ Simon Peyton Jones
01:01:56
Jew or Goy - Build Systems | sin-ack
01:06
The Entire History Of TETRIS Game Design | Acerola
03:37:30
Creator of OCaml:Functional Programming,Formal Verification,Programming Language
01:24:28
APL explained to a layman
02:08:00
Verse： A New Scripting Language？ In THIS Economy？
27:16
Fil-C： Garbage In, Memory Safety Out! - Filip Pizlo ｜ SSW 2026
51:49
Don't Take the Black Pill - Andrew Kelley ｜ SSW 2026
35:11
George Hotz谈抽象泄露
01:09
The Unreasonable Effectiveness of Constructive Data Modeling - Alexis King ｜ SSW
42:26
Formal methods with Hillel Wayne
01:24:53
Reliability Lessons From SQLite - Richard Hipp ｜ SSW 2026
54:21
Lua作者推荐学什么编程语言
03:11
PS3 emulation is fast on ARM now | Whatcookie
01:00:31
AI & The University - Carson Gross ｜ SSW 2026
48:39
How hardware constraints shaped TeX's literate programming
19:41
顶部