ViewTube

Streamed Live on Twitch: https://twitch.tv/tsoding Enable Subtitles for Twitch Chat Chapters: - 00:00:00 - Intro - 00:01:55 - HTML ...

Lean is an incredible platform for mathematics, but it is also an extremely capable programming language. By combining ...

Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming ...

A Type-Theoretic Framework for Certified Meta-programming (Invited Talk Extended Abstract) (Video, PEPM 2025) Brigitte ...

This is my 50 Claude Code tips from 6 months of daily use personally and at Meta as a Staff Software Engineer. I've been coding ...

In this talk we you go over practical cases of applying code-generating techniques in production environments you will learn ...

Talk: The Lazy (Meta)programmer's Guide to Hilt Extensions Speaker: Fabian Shallari Event: droidcon Berlin 2024 Date: ...

https://cppcon.org​ --- Template-less Metaprogramming in C++ - Kris Jusiak - CppCon 2024 --- Meta-programming is one of the ...

https://cppcon.org​ --- An Introduction to the new C++ 26 "Reflection" Feature - Inbal Levi - CppCon 2025 --- This talk will ...

Lean's metaprogramming promises powerful capabilities we've yet to dream of --- aye, there's the rub. In this talk, we'll imagine ...

2025 US LLVM Developers' Meeting https://llvm.org/devmtg/2025-10/ ------ Title: Building Modern Language Frontends with MLIR: ...

Martín Venegas leads a discussion of Chapter 17 ("Metaprogramming intro and big picture") from Advanced R by Hadley ...

Code Generation via Meta-programming in Dependently Typed Proof Assistants (Video, WITS 2026) Mathis Bouverot-Dupuis, and ...

AI ENGINEER ROADMAP [ learn AI Engineering in 2026 ] ▻ https://zazencodes.com/ NEWSLETTER [ weekly video email ] ...

Talk: Meta-programming with K2 compiler plugins Speaker: Tadeas Kriz Event: droidcon San Francisco 2024 Date: June ...

Please consider supporting. This content WILL end some day, but every dollar I make pushes that day further out Join on youtube ...

Week 1 (June 16-20th) is devoted to training PhD students and postdocs on formalization via three courses teaching mathematics ...

In this talk, he walks through how Lean enables powerful metaprogramming and live programming features, allowing developers ...

Full C++ Series Playlist: https://www.youtube.com/playlist?list=PLvv0ScY6vfd8j-tlhYVPYgiIyXduu6m-L ▻Find full courses on: ...

Lecture 4 of TPIL 2025, Chalmers University of Technology.