EagleBear2002 的博客

08-05

功利主义

08-05

TLA+

08-05

辩证看待 05-有利益考量，也要有理想情怀

08-05

辩证看待 04-有“批判精神”，也要有“建设心态”

08-05

辩证看待 03-有个体意识，也要有全局观念

08-04

辩证看待 02-有“权利意识” 也要有“法治观念”

08-04

辩证看待 01-有“问题意识”，也要有“过程意识”

07-10

POPL'19-Pretend Synchrony-Synchronous Verification of Asynchronous Distributed Programs

07-01

10-禁止吸毒既是限制自由又是保障自由

06-29

09-身体属于自己但又不属于自己