Personal channel of @lancern
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
Topics: programming, hacking, memes, life, and more. Forward anything as you wish.
Join the discussion group for more fun.
Discord: https://discord.gg/RwUx9et7
今日大脑和手指打架：
大脑：csv! csv! csv! csv!
手：vsc
大脑：csv! csv! csv! csv!
手：vsc
Coroutines and effects https://without.boats/blog/coroutines-and-effects/
Dataflow Analyses and Compiler Optimizations That Use Them, for Free https://blog.regehr.org/archives/2578
3rd Edition of Programming: Principles and Practice Using C++ by Stroustrup (🔥 Score: 150+ in 3 hours)
Link: https://readhacker.news/s/66gMm
Comments: https://readhacker.news/c/66gMm
Link: https://readhacker.news/s/66gMm
Comments: https://readhacker.news/c/66gMm
#交通 #metro
明起上海地铁三站试点“闸机常开门”模式｜请乘客正常刷卡（码）有序过闸
为进一步提升车站闸机的客流通行能力，学习借鉴国外同行的经验做法，自2024年4月20日至6月30日，上海地铁将在张华浜、杨树浦路、吴中路3座车站首度试点实测“闸机常开门”模式，即这三站的闸机日常均保持打开状态，乘客正常刷卡或扫码后，无需等待扇门开启即可快速进出闸机。
当闸机接受到无效车票或无票通过时，闸机扇门将自动合拢，阻挡通道，乘客须重新刷卡、扫码或寻求工作人员协助票务处置；同时，排队进出站时，当前面的乘客通过后，后面的乘客无须等待闸门关闭后再刷卡或扫码，而是可以直接刷卡或扫码通行；另外，希望乘客在高峰期排队有序进出闸机，勿拥抢，共同保障高效率通行。
InstantView from Source
woc，太先进了
明起上海地铁三站试点“闸机常开门”模式｜请乘客正常刷卡（码）有序过闸
为进一步提升车站闸机的客流通行能力，学习借鉴国外同行的经验做法，自2024年4月20日至6月30日，上海地铁将在张华浜、杨树浦路、吴中路3座车站首度试点实测“闸机常开门”模式，即这三站的闸机日常均保持打开状态，乘客正常刷卡或扫码后，无需等待扇门开启即可快速进出闸机。
当闸机接受到无效车票或无票通过时，闸机扇门将自动合拢，阻挡通道，乘客须重新刷卡、扫码或寻求工作人员协助票务处置；同时，排队进出站时，当前面的乘客通过后，后面的乘客无须等待闸门关闭后再刷卡或扫码，而是可以直接刷卡或扫码通行；另外，希望乘客在高峰期排队有序进出闸机，勿拥抢，共同保障高效率通行。
InstantView from Source
woc，太先进了
Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour https://dl.acm.org/doi/10.1145/3617232.3624859?ai=&ui=&af=
core.editor 设置为 vscode，在 interactive rebase 的时候 vscode 可以在 GUI 中显示 interactive rebase 设置UPDATE：看起来是 GitLens 插件的功能
