#meets
BPF Meets Io_uring(lwn.net)
2021-3-20 8:58只要验证者的输出为＆＃34;这是安全的，这是安全的。或者＆＃34;我不知道这是否是安全的，所以我赢了＆＃39; t让你运行它＆＃34;，无论＆＃34;安全＆＃34;你要。在微不足道的情况下，验证者可以发出＆＃34;唐＆＃39; t知道＆＃34;对于每个程序。诀窍是在挑选＆＃34;安全＆＃34;，然后使可证实的安全子集......
LLVM Meets Code Property Graphs(blog.llvm.org)
2021-3-1 8:0代码属性图（CPG）是一种数据结构，旨在通过特定于域的查询语言为编程模式的实例挖掘大型代码库。它是在2014年IEEE安全和隐私会议（出版物，PDF）的会议记录中首次引入的，涉及C系统代码（尤其是Linux内核）中的漏洞发现。该方法的核心思想如下：
Ocular-专有的代码分析工具，支持Java，Scala，C......
Soul Meets Body: The Samkhya School of Philosophy(worthypatterns.substack.com)
2020-7-13 13:53
三驾马车被认为是印度教六个东正教(āsttika)学派中最古老的。在我一直遵循的课程中，对于那些希望深入研究次大陆系统的人来说，这是一个始终如一的起点。考虑到它的显赫地位和影响力，我发现令人惊讶的是，关于Samkhya哲学是否实际上符合吠陀(印度教东正教的决定性特征)的权威，或者它是否相反是一种不可知论-甚至是无神论......
