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

Recorded live at the Novotel Bangkok Sukhumvit 20 on January 31 – February 1, 2026. This fourth edition of RubyConf TH ...

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

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

We explore the latest breakthrough updates in Mojo v0.26.2. Key highlights include: - Advanced compile-time reflection for ...

Everyone using C++ is also using metacode (as a "user", e.g. instantiating an std::vector), but what really is metacode and why it's ...

https://javascript.info/call-apply-decorators Want to add functionality to classes, methods, and properties without changing their ...

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

My progress on day 34 of learning python. Like and Subscribe for more Coding Videos!

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

Abstract: I will report on the way I use Lean to teach first year math undergrads in Orsay. The main unusual thing is the use of a ...

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

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

Lightning Talks are presentations restricted to five minutes or less. Speakers plug in their laptops and get started immediately.

This talk will discuss CSLib's locally nameless formalization of lambda calculi, which currently includes STLC and System F with ...

Swati Swoboda traces her path from an eighth-grade research project on a library computer to leading development for Vault in ...

Trampolines in C++ Metaprogramming Helpful? Please use the *Thanks* button above! Or, thank me via Patreon: ...

How to use Template Meta programming to interact with embedded peripherals on a microcontroller.