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 次1 周前
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 Install Metasploitable on VirtualBox | Complete Beginner Tutorial (2025).
3:43
How to Install Metasploitable on VirtualBox | Complete Beginner Tutorial (2025).
YouTubetechwithabhi2910
已浏览 1 次1 个月前
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)
21:10
Generate your first function with LLVM IR C++ API (Metaprogramming)
YouTubeCodotaku
已浏览 210 次1 周前
Zig vs Odin: Two Radically Different Futures for Systems Programming
20:35
Zig vs Odin: Two Radically Different Futures for Systems Programming
YouTubeTheTechyShop
已浏览 7248 次1 周前
Meta-Petri Net Deep Dive: Creating 4 Workflows - Claude Code does the heavy lifting
44:52
Meta-Petri Net Deep Dive: Creating 4 Workflows - Claude Code does the heavy lifting
YouTubeAlexej Sailer
1 天前
Metasploitable Exploits
Day 10 | Metasploitable Scanning | Enumeration | Metasploit Framework | Samba Exploit
52:16
Day 10 | Metasploitable Scanning | Enumeration | Metasploit Framework | Samba Exploit
YouTubeRishabh Kumar Cyber Securit
已浏览 4 次3 个月之前
Master Exploits & Payloads FAST — Metasploit Basics (For Real Hackers)
5:08
Master Exploits & Payloads FAST — Metasploit Basics (For Real Hackers)
YouTubeACW360
已浏览 138 次1 个月前
Exploit Windows XP Service Pack 3 Using Metasploit | Vulnerability (MS08_067_netapi) |2021
Exploit Windows XP Service Pack 3 Using Metasploit | Vulnerability (MS08_067_netapi) |2021
YouTubeMUHAMMAD BUTT
已浏览 1.2万 次2021年4月19日