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 次17 小时之前
Metasploitable Tutorial
Metasploitable Installation Tutorial 2025 | Build Vulnerable Lab for Pentesting (Step-by-Step)
8:03
Metasploitable Installation Tutorial 2025 | Build Vulnerable Lab for Pentesting (Step-by-Step)
YouTubeCyberSphere Institute
已浏览 23 次2 个月之前
How to Download and Install Metasploitable | Full Setup Tutorial
6:22
How to Download and Install Metasploitable | Full Setup Tutorial
YouTubeKwame Assa-Agyei
已浏览 65 次2 周前
Windows Penetration Testing Training | Metasploitable 3 Walkthrough
Windows Penetration Testing Training | Metasploitable 3 Walkthrough
YouTubeMotasem Hamdan
已浏览 1.3万 次2020年10月4日
热门视频
Generate your first function with LLVM IR C++ API (Metaprogramming)
Generate your first function with LLVM IR C++ API (Metaprogramming)
YouTubeCodotaku
已浏览 1 次3 天之前
manifold-systems/manifold - Gource visualisation
10:27
manifold-systems/manifold - Gource visualisation
YouTubeGourcer
18 小时之前
Jonathan Blow on Programming Language Design
1:41:43
Jonathan Blow on Programming Language Design
YouTubeSoftware Unscripted Podcast
已浏览 3624 次1 个月前
Metasploitable Exploits
How to Find Exploits Get Root with Linux Exploit Suggester
How to Find Exploits Get Root with Linux Exploit Suggester
WonderHowTo
2024年6月2日
কুকুরের সাথে আলোচোনা | Maharaj Decides To Keep Pet Dog As Safety
22:03
কুকুরের সাথে আলোচোনা | Maharaj Decides To Keep Pet Dog As Safety
YouTubeGolpo Noy
已浏览 16.3万 次3 周前
What is Metasploit - Framework
10:05
What is Metasploit - Framework
YouTubeCYBERTECH AI
已浏览 23 次1 个月前