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

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

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.

Hey! Jonathan Blow joined me one more time to talk about Order of The Sinking Star as well as jai and more! Wishlist Order of the ...

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

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

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

Streamed Live on Twitch: https://twitch.tv/tsoding Chapters: - 00:00:00 - Intro - 00:01:45 - libtasn1 - 00:05:41 - Building libtasn1 ...

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

This video is part 2 of the Dart and Flutter Getting Started tutorial series. Learn about the Dart language features that make ...

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

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

Yes, new Function is dangerous. But did you know that it is used by: Babel for code transpilation Webpack for dynamic imports ...

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

Merci à eXalt pour avoir héberger le meetup ! Slides: ...

This January, Emmanuel takes us through a talk on getting to know your compile times and run times.

From acrobatics to ergonomics: a field report on how to Make libraries helpful - Joel Falcou - Meeting C++ 2025 Slides: ...

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