Notes
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。 其实老师给了Racket和Python两种语言的选择，奈何我实在是不习惯那长到姥姥家的Racket括号，于是选择了Python。幸好在最新的Python 3.10中引入了match case的新特性，这直接使得代码量减少了非常多！它太好用了！！！（感 … 阅读更多 →
关于博客的一些变化
最近好像博客都没啥更新，但其实不是的：我用上了TiddlyWiki作为自己的笔记本。 注意看博客右上角是不是多了一个Notes？原创性/系统性不是那么强的内容以后都会在那里更新，除非我哪天心血来潮想把它们挪出来了。 Overview 它可以当作单一的html文件来使用，也可以在server被部署。 Why Tiddlywiki? 最近我逐渐发现用markdown写笔记有的劣势： 没法交叉在各个笔记 … 阅读更多 →
各种值得再次看看的网页/网站/Meta
持续更新。有事没事就去看看吧！ Creation Date: Sep, 2020 Meta Study Matthias Felleisen’s Thoughts 小小整理网站 [速度语言网]https://www.languageweb.net/ Paper Writing Matplotlib可视化最有价值的 50 个图表 Vulnerability CVE Details CTF … 阅读更多 →
Modern Cryptography Notes (To be continued...)
虽然课上完了，但是由于本人精力有限，暂且无限期鸽鸽本文。。。 Cryptography course notes taking from Introduction to Modern Cryptography. Intro What make Modern Crypto Modern? The central role of definitions The importance of formal … 阅读更多 →
Neuroscience Notes - Neuralanatomy (To be continued...)
Terms Eng Chn Comments arachnoid 似蜘蛛的 蛛网膜 Dura mater 硬脑膜 falx 大脑镰 分左右脑 tentorium 小脑幕 分大小脑 leptomeninges 软脑膜 epidural hematoma 硬膜外血肿 vessel 血管 artery 动脉 sinus 窦 carotid 颈动脉 watershed zone 分水岭带 choroid … 阅读更多 →
Kernel Module 历险记
最近在我大哥儿子@StanPlatinum的指导下搞了个截获/添加syscall的kernel module，在这里稍微记录一下折腾的过程。 前排特别感谢一下Robotxm大佬的这篇博文里面记录了他详细的折腾过程。大佬本科期间就开始吊着Linux Kernel到处捉迷藏了，我本科的时候还不知道在哪个田野里面玩泥巴呢。 虽然大抵之前就接触过这玩意，但是由于每个版本Kernel Module的食用方法 … 阅读更多 →
SGX Local Attestation 源码分析
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。 Overview Linux SGX样例里面给了Local Attestation的程序Sample。这里给出了两个Local Attestation的design：一个App下的俩Enclave和俩App对应 … 阅读更多 →
Programming Language Review
Review what I learned from programming language, a fundamental course of CS. The code is mainly in typed racket, a dialect of scheme. The code here is mainly from Weixi Ma’s lecture notes and my … 阅读更多 →
Neuroscience Notes - Sensory Neurobiology
What is a sensory system and what does it do? What is the role of a sensory system in behavior? What are some things that a sensory system does not do? Terms Eng Chs Comment cochlea 耳蜗 incus 砧骨（位于中耳） … 阅读更多 →
Neuroscience Notes - Neurobiology of Motor Systems
Notes taken form Neuroscience course, Part 3: Neurobiology of Motor Systems. Last update: Oct. 31, 2020 Terms Eng Chs Comment somatotopy N/A soma-:body; -topy:org/mapping rostral towards head (face) … 阅读更多 →