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

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​ --- An Introduction to the new C++ 26 "Reflection" Feature - Inbal Levi - CppCon 2025 --- This talk will ...

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

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

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

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

Want personalized help landing a top tech job offer? Book a private 1-on-1 strategy call with me here ...

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

Key highlights include: - Advanced compile-time reflection for powerful metaprogramming. - The arrival of Linear Types (explicit ...

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

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

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

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

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

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

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

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