好资源和短想法
Show HN: I made a little math game named Summle https://summle.net/?hn
An ALS Protein, Revealed https://www.science.org/content/blog-post/als-protein-revealed
A regular expression to check for prime numbers (2007) https://www.noulakaz.net/2007/03/18/a-regular-expression-to-check-for-prime-numbers/
New Linux vulnerability affecting cgroups: can containers escape? https://unit42.paloaltonetworks.com/cve-2022-0492-cgroups/
Bypass Paywalls: a browser extension to help bypass paywalls for selected sites https://github.com/iamadamdev/bypass-paywalls-chrome
The Software Foundations: mathematical underpinnings of reliable software https://softwarefoundations.cis.upenn.edu/
The hardest program I've ever written (2015) http://journal.stuffwithstuff.com/2015/09/08/the-hardest-program-ive-ever-written/
Alan Kay: A Conversation with CMU Faculty and Students (2007) [video] https://www.youtube.com/watch?v=PFc379hu--8
【Databend的个人空间-哔哩哔哩】 https://b23.tv/pBPBnWO
#杂
Datafuse Labs 一岁了:
https://mp.weixin.qq.com/s/ypR9BsHox01XibTumwampg
一年时间产品能到现在这个成熟度,除了团队成员的技术实力,选择了Rust来开发也是重要原因。
对比C系语言,Rust是一门“心智负担”更少的语言,只要能编译过去,运行时的各种问题就少了很多,这样编码者可以更多考虑逻辑、业务的问题,而不用想着类似“子弹打出去了,还会不会绕回来误伤自己”这样的问题。
减少使用时的“心智负担”,这才是一个好工具应该做的。
Datafuse Labs 一岁了:
https://mp.weixin.qq.com/s/ypR9BsHox01XibTumwampg
一年时间产品能到现在这个成熟度,除了团队成员的技术实力,选择了Rust来开发也是重要原因。
对比C系语言,Rust是一门“心智负担”更少的语言,只要能编译过去,运行时的各种问题就少了很多,这样编码者可以更多考虑逻辑、业务的问题,而不用想着类似“子弹打出去了,还会不会绕回来误伤自己”这样的问题。
减少使用时的“心智负担”,这才是一个好工具应该做的。