Metaprogramming Your IDE in Lean 4 with Harry Goldstein
41:19
YouTubeSoftware Unscripted Podcast
Metaprogramming Your IDE in Lean 4 with Harry Goldstein
Harry Goldstein talks with Richard Feldman about the Lean 4 programming language's compile-time metaprogramming capabilities, including how they can be used to control elements of your IDE in realtime. They also discuss other topics like property-based testing, theorem proving, and Smalltalk. You can get ad-free episodes by supporting Software ...
4 views1 day ago
Metas Academy
Inside Metas Adventist School — Where Every Step Leads to Growth
0:57
Inside Metas Adventist School — Where Every Step Leads to Growth
YouTubeMetas Adventist School Surat
3.6K views2 months ago
Academic Excellence at Metas Adventist School | 2024-25
1:27
Academic Excellence at Metas Adventist School | 2024-25
YouTubeMetas Adventist School Surat
3K views2 months ago
Annual Function 2025 || Metas Adventist School || 5th Jan 2025 ||
3:39:45
Annual Function 2025 || Metas Adventist School || 5th Jan 2025 ||
YouTubeMetas Adventist School Surat
28.6K views11 months ago
Top videos
Generate your first function with LLVM IR C++ API (Metaprogramming)
Generate your first function with LLVM IR C++ API (Metaprogramming)
YouTubeCodotaku
1 views3 days ago
manifold-systems/manifold - Gource visualisation
10:27
manifold-systems/manifold - Gource visualisation
YouTubeGourcer
1 day ago
Jonathan Blow on Programming Language Design
1:41:43
Jonathan Blow on Programming Language Design
YouTubeSoftware Unscripted Podcast
3.6K views1 month ago
Metas and Goals
693K views · 10K reactions | Entre mas metas mejor #goals | Will de San Luis | Facebook
4:09
693K views · 10K reactions | Entre mas metas mejor #goals | Will de San Luis | Facebook
FacebookWill de San Luis
408.9K views4 weeks ago
Metas😍 - - - #goals❤️ #baileschingones #noviosgoals | Locos X Los Bailes
0:13
Metas😍 - - - #goals❤️ #baileschingones #noviosgoals | Locos X Los Bailes
FacebookLocos X Los Bailes
129.1K views6 months ago
Cómo hago mis metas? Simple y sin complicaciones 🥅🎯🚀 #metas #goals #metas2025 #2025 | El Diario de Mariela
3:17
Cómo hago mis metas? Simple y sin complicaciones 🥅🎯🚀 #metas #goals #metas2025 #2025 | El Diario de Mariela
FacebookEl Diario de Mariela
338.7K views11 months ago