ViewTube

I got excited by GDQ and I thought it would be fun to do a coding speedrun. This feature automatically adds a ToString() function ...

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

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

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.

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

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

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

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

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

Presented at Core C++ 2024 Conference, Tel Aviv. C++ has evolved a lot in the last decade. Yes, the new capabilities are cool ...

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

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

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

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

In the previous installment I forgot to delete a component from the ECS when I was deleting entities. I thought to automatically ...

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

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

How to become obsolete - Roth Michaels - Meeting C++ 2025 Slides: https://slides.meetingcpp.com A sign of a good leader is that ...