ViewTube

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Today in this video we are going to learn How to add meta tags to Shopify store How to add meta tags to Shopify store, Shopify ...