Notes
从零开始搓一个编译器
今年手痒痒选了一个Implementation of PL的课，需要徒手搓编译器。这里来小记一下这个过程，感觉这可能是我校CS最硬核的课之一了。 其实老师给了Racket和Python两种语言的选择，奈何我实在是不习惯那长到姥姥家的Racket括号，于是选择了Python。幸好在最新的Python 3.10中引入了match case的新特性，这直接使得代码量减少了非常多！它太好用了！！！（感 … Read more →
Changes to This Blog
It might seem like the blog hasn’t been updated lately, but that’s not quite the case—I’ve started using TiddlyWiki as my personal notebook. Notice the Notes link in the top-right … Read more →
Useful Websites and Resources (Meta)
A continuously updated collection. Worth revisiting from time to time! Creation Date: Sep, 2020 Meta Study Matthias Felleisen’s Thoughts Small Collation — Organized knowledge notes Language Web … Read more →
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 … Read more →
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 … Read more →
Adventures in Kernel Module Development
最近在我大哥儿子@StanPlatinum的指导下搞了个截获/添加syscall的kernel module，在这里稍微记录一下折腾的过程。 前排特别感谢一下Robotxm大佬的这篇博文里面记录了他详细的折腾过程。大佬本科期间就开始吊着Linux Kernel到处捉迷藏了，我本科的时候还不知道在哪个田野里面玩泥巴呢。 虽然大抵之前就接触过这玩意，但是由于每个版本Kernel Module的食用方法 … Read more →
SGX Local Attestation Source Code Analysis
记一个对于Intel SGX Local Attestation Sample Code的一次Comprehensive的analysis。Warning：这篇文章十分臭长，超级干燥。 Overview Linux SGX样例里面给了Local Attestation的程序Sample。这里给出了两个Local Attestation的design：一个App下的俩Enclave和俩App对应 … Read more →
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 … Read more →
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 砧骨（位于中耳） … Read more →
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) … Read more →