ViewTube

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

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 Lean standard library contains the basic concepts that underpin all Lean formalization and programming projects, like logical ...

Coffee Compiler Club meeting on Jan 30, 2026 Typical rambling conversation loosely related to compilers, language runtimes, ...

1000 years ago in the Package Management devroom at FOSDEM 2018 I gave a talk entitled "How To Make Package Managers ...

Broadcasted live on Twitch -- Watch live at https://www.twitch.tv/kuviman.

Wishlist Crop and Claw 2 on Steam: https://store.steampowered.com/app/3065270/Crop_and_Claw_2/ Streamed on Twitch at ...

Note from the organizers: Apologies for the poor audio quality, we had some problems with our streaming microphone at this ...

Rustlings: https://rustlings.rust-lang.org/ The Rust Programming Language Book: https://rust-book.cs.brown.edu Zoeae: ...

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

Advanced JavaScript Lecture 7: Meta Programming in JavaScript Explained Welcome to Advanced JavaScript – Lecture 7 In ...

Mastering c++ on Stack Overflow Learn everything you need to know about c++ in this comprehensive guide. ⏲️ TIMESTAMPS: ...

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

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

Special guest Pierre Vannier.

Join the Effect community → https://discord.gg/effect-ts In this Office Hours episode, Kit riffs on whimsical Britain, then, along with ...

Meetup event: https://www.meetup.com/bevy-game-development/events/312681343 Live-Ask Questions Board: ...

Martín Venegas leads a discussion of Chapter 21 ("Translating R code") from Advanced R by Hadley Wickham on 2026-01-27, ...

Awesome T-Shirts! Sponsors! Books! ☟☟ C++ Best Practices - NDC Toronto - May 5,6 ...

January 2026 Newsletter: KDAB Training Day, Meeting C++ 2025 Videos, KDSoap Video series, 2026 Training, News, Events ...

Email ▻ dexzoyp@hotmail.com Discord ▻ dexzoyp#8389 Patreon ▻ https://www.patreon.com/dexzoyp Playlist ...

I'm VP of Community at Zig Software Foundation. I stream not only to work on my projects, but also to chat with people about all ...

I'm VP of Community at Zig Software Foundation. I stream not only to work on my projects, but also to chat with people about all ...