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

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

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

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

CJ is tired of AI slop in search results. In this video he shows how to set up and use SearXNG a self hosted privacy conscious ...

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

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

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

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

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

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

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

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

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

How do expert C++ engineers think? In this long-form interview, Sam Morley (University of Oxford; author of “The C++ ...

The C vs C++ debate has raged since practically the dawn of time. Lately, C seems to be experiencing a bit of a revival but don't ...

I also have another metaprogramming talk that I can deliver here at some point. But let's go with this one. This is a real problem.

But did you know that it is used by: Babel for code transpilation Webpack for dynamic imports Metaprogramming in advanced ...