Forwarded from Deleted Account
新公告：
预计关闭时间为5月15日，届时将会清理全部服务器有关数据，即日起不再接受续费，若仍有商业用户有效期在5月15日后一个月以上请联系退费有关事宜。
预计关闭时间为5月15日，届时将会清理全部服务器有关数据，即日起不再接受续费，若仍有商业用户有效期在5月15日后一个月以上请联系退费有关事宜。
Deleted Account
新公告： 预计关闭时间为5月15日，届时将会清理全部服务器有关数据，即日起不再接受续费，若仍有商业用户有效期在5月15日后一个月以上请联系退费有关事宜。
R.I.P 小锑锑
一直以来都是用过的最快的梯子
一直以来都是用过的最快的梯子
什么鬼，让王琦看看？
https://news.1rj.ru/str/solidot/7019
https://news.1rj.ru/str/solidot/7019
Telegram
Solidot
计算机科学家发布不会被黑的加密代码
程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt，向这个目标迈出了一大步。就像证明毕达哥拉斯定理难以，他们能证明 EverCrypt 可完全避开多种黑客攻击。EverCrypt 没有采用常见的编程方法编写，而是利用了形式化验证。他们首先明确代码能做什么，然后证明只能这么做，排除了代码在特殊情况下偏离的可能性。EverCrypt 始于 2016 年，是微软研究院项目…
程序员都是凡人，但数学则是不朽的。通过让编程变得更数学化，计算机科学家希望能消除向黑客敞开大门的编程错误。研究人员在 GitHub 上发布了加密工具 EverCrypt，向这个目标迈出了一大步。就像证明毕达哥拉斯定理难以，他们能证明 EverCrypt 可完全避开多种黑客攻击。EverCrypt 没有采用常见的编程方法编写，而是利用了形式化验证。他们首先明确代码能做什么，然后证明只能这么做，排除了代码在特殊情况下偏离的可能性。EverCrypt 始于 2016 年，是微软研究院项目…
好像是跟💊联盟有关的三位巨佬的尬聊频道，宣
t.me/do_no_research
t.me/do_no_research
Telegram
不学无术
本质吹水&版聊&天天不知道干啥的频道