各种值得再次看看的网页/网站/Meta March 8, 2021 少于 1 分钟读完 持续更新。有事没事就去看看吧! Creation Date: Sep, 2020 Meta Study Matthias Felleisen’s Thoughts 小小整理网站 [速度语言网]https://www.languageweb.net/ Paper Writing Matplotlib可视化最有价值的 50 个图表 Vulnerability CVE Details CTF CTFtime HackTheBox CTF-All-in-One cheatsheet SDR 雪碧0xroot 卫星黑客 Micro Architecture Jo Van Bulck Daniel Gruss Interesting Gadgets betrusted project Light Commands 分享 Twitter Facebook LinkedIn 推演 回溯 留下评论
符号和解释 March 6, 2022 少于 1 分钟读完 在被Coq折磨了快一个月后,终于我终于看完了Logic Foundation。作为Software Foundations系列书籍中的第一员大将,它还是有点东西的。这里只浅谈一下我对于符号和解释这两个概念所产生的更深的理解。正文部分基本不涉及任何与编程本身相关的问题。
留下评论