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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Manuel presented a talk about ASTS to the other AI Baguetteers. Learn advanced techniques that will change your AI coding ...