ViewTube

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

Support me on Ko-fi: https://ko-fi.com/jonathanblowclips Jonathan Blow on Metaprogramming Clip from Jonathan Blow Original: ...

This is Adam Ernst, a Distinguished Engineer at Meta (IC9) who's built iOS infrastructure that has impacted the entire company.

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 ...

https://cppcon.org​ --- A Case-study in Rewriting a Legacy Gui Library for Real-time Audio Software in Modern C++ (Reprise) ...

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

While this is a well-established style of formalization, we use Lean's new proof automation features and metaprogramming in ...

ABSTRACT I will give an introduction to metaprogramming in Lean, touching briefly upon Syntax, Expressions, InfoTrees and ...

Jai is intended as a C++ alternative that supports things like compile-time code execution, powerful metaprogramming, integrated ...

00:00 - Ali Almutawa - Keyword Mess 06:35 - Jonathan Gopel - Stop Teaching Floating Point 11:41 - Dave Steffen - My Best Bug ...

Want to add functionality to classes, methods, and properties without changing their source code? Meet decorators—a powerful ...

... 01:20:20 Metaprogramming & Jai 01:28:58 Why Jai Exists 01:31:03 How Metaprogramming Shaped OotSS? 01:48:22 C++ vs.

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

The Lean standard library contains the basic concepts that underpin all Lean formalization and programming projects, like logical ...

Lean4Lean: Mechanizing the Metatheory of Lean (Video, WITS 2026) Mario Carneiro (Chalmers University of Technology) ...

Lessons from Building an Auto-Active Verifier in Lean (Video, Dafny 2026) George Pîrlea, Vladimir Gladshtein, Qiyuan Zhao, and ...

... #typescript #decoratorshpl #AdvancedTypeScript #MetaProgramming #learntypescript #typescripttutorial #webdevelopment.

Cheap code generation and abstraction increases noise and fragility. First principles matter more than ever. Join the ...

In this lesson, you'll dive into meta programming in TypeScript using Decorators and learn how they help modify and enhance ...