2021-5-5 20:55
有时候你的英雄只是一个男人，有许多与我们其他人同样的担忧
他穿着厚厚的眼镜，剩下的头发很少，在家里戴着电缆毛衣（但总是带着伴随公文包的诉讼）。
当他从海外冒险中访问我们时，我记得带来的礼物，因为他的手段更少，花费很多时间在床上蜷缩着他旁边，因为他想起了一些关于遥远的土地和最丑陋的人物的故事。
除了职业生涯作......
SeL4 on RISC-V Verified to Binary Code(microkerneldude.wordpress.com)
2021-5-5 20:55
2020年6月20日我们宣布，世界上第一个操作系统（OS）内核具有机器检查的实施正确性证明，现在还针对RV64架构进行了验证，使其成为RISC-V的第一个正式验证的操作系统。我们很高兴地宣布，此验证现已扩展到可执行的二进制文件，这意味着在处理器上运行的机器代码被证明是对内核规范进行正确的。 RISC-V是实现这一目标......
2021-5-5 20:54
Frank W. Abagnale Jr.可能已经拉开了地球上最伟大的恶作剧之一。
Abagnale着名的锻造支票故事和假设不同的专业身份通过流行文化适应捕获了国家观众，最着名的2002年史蒂文斯皮尔伯格电影，“如果可以的话，”抓住我，“莱昂纳多迪奥帕里奥和汤姆汉克斯主演。它是从Abagnale的同名内容开发的。
......
$1 Unistroke Recognizer (2007)(depts.washington.edu)
2021-5-5 20:54$ 1源代码：javascript，c＃动态时间翘曲：c＃rumine分类器：c＃pseudocode：$ 1，protractor unistroke手势日志：XML纸：PDF
$ 1 Unistroke识别器是一个二维单行识别器，专为基于手势的用户界面的快速原型设计而设计。在机器学习条款中，1美元是基......
2021-5-5 20:54
Clearurls是基于新的WebExtsions技术的加载项，并针对Firefox和基于Chrome的浏览器进行了优化。
此扩展将自动从URL中删除跟踪元素，以帮助保护您的隐私，当浏览互联网时，该互联网经常更新，可以在此处找到。
许多网站在URL中使用跟踪元素（例如https://example.com?ut......
Gaming in colour: uncovering video games’ black pioneers(www.theguardian.com)
2021-5-5 20:53Jerry Lawson LED墨盒发明，ED史密斯制作了一个混合动力控制台/ PC，设计师Muriel Tramis赢得了法国最高荣誉，使历史成为历史。遗忘了多少名字？
我在20世纪70年代，在视频游戏行业的漂浮日，一位名叫杰拉尔德的工程师“杰里”劳动设计了最早的游戏机，频道F，也领导了发明游戏盒的团队，一个......
Declarative Validation in Python(blog.drewolson.org)
2021-5-5 20:53在过去的两年里，我对Pureescript和Haskell都会合理舒适。我学到了许多新的东西，同时进入纯粹的功能编程生态系统，并且许多这是其他范例可以应用于其他范式。不幸的是，纯粹的FP Worldcan感觉有点像另一个维度 - 许多编程问题都有散开解决方案，但“常规”编程的世界不了解素图。
一种这样的模式被称为“......
2021-5-5 20:53
我们在Usenix断言黑人生命问题：阅读关于种族主义和黑人，非洲裔美国人和非洲侨民纳入的Usenix陈述。
分布式应用程序使用复制，由PAXOS等协议实现，以确保数据可用性和透明的屏蔽服务器故障。本文介绍了在没有传统方法的性能成本的情况下实现数据中心复制的新方法。我们的工作仔细划分了网络和协议层之间的复制责任。网......
2021-5-5 20:53
为各种解析器语法生成语法图（也称为Railroad图）。 查看源代码。 由Jakub Dundalek创建。
2021-5-5 20:52
我为CIDCO MailStationZ80计算机创建了一个适配器，它增加了使用WiFi进行数据传输，CodeUpload的能力，并充当我的Mstermterminal仿真器的WiFi调制解调器。
在2019年，我创建了一个终端programfor称为msTERM的MailStation这使我们可以拨入BBS......
2021-5-5 20:52
根据背面的标签，它是一个重创的“Electronics Notherltd”。型号。 7904。
但最近，我对室外温度传感器并不令人兴奋。它会在2个AAA电池上运行，并有额外的问题是公寓的一侧。所以你全天都会得到倾斜的读数，因为太阳在天空中移动。
第一步是弄清楚户外温度Sensorspeak ob的......
Dell patches 12-year-old driver vulnerability impacting millions of PCs(labs.sentinelone.com)
2021-5-5 20:51
Sentinellabs在Dell的固件更新驱动程序中发现了五个高度严重性的缺陷，影响了Dell桌面，笔记本电脑，笔记本电脑和平板电脑。
自2009年以来，戴尔已释放了数亿个Windows设备，其中包含易受攻击的驾驶员。
在12月1日，2020年，主动报告了Sentinellabs调查结果，并被追踪为CVE-2......
MapSCII – The Whole World in Your Console(github.com)
2021-5-5 20:51
如果您＆＃39;重新在OSX上，或者收到关于文件权限的错误，您可能需要执行sudo npm install -g mapscii
如果您的终端支持鼠标事件，则可以拖动地图并使用滚轮放大和缩小。
Lukasmartinelli＆amp; Manuelroth在OSM2V......
uLisp(www.ulisp.com)
2021-5-5 20:50最新发布的ARM ULISP，版本3.6B，现在可以让您将整个LISP工作区的图像保存到DON＆＃39; t提供单独的DataFlash芯片上的ATSAMD21板上的闪存。
这增加了对Adafruit Neo Trinkey，Adafruit Gemma M0，Adafruit M0，Arduino Zero，Ar......
Branchless Coding in Go(mattnakama.com)
2021-5-5 20:50因此，我最近受到同事的设计启发，可以将JSON（JavaScript对象符号）数据包装成64位元素数组中的一堆位字段。二进制算术，比特包装和高性能对我来说很有趣，所以我想到了一些方法来改善它，以便学习目的。然后我有一个想法：也许我可以在不使用条件分支（如果语句）的情况下解压缩/包装比特。
性能和安全性。现代CPU......
Dogecoin Is “Blowing Up”(www.cnbc.com)
2021-5-5 20:50
最新的加密电流明星是经过一只以笑话的MEME命名的硬币，该狗被开始作为一个笑话。
根据Coin指标的数据，DogeCoin＆＃39的价格在周二飙升了大约40％。硬币也达到了690亿美元的市场上限，使其成为比特币，国内和二明金背后的第四大加密货币。
奔跑是史诗般的最新泪腿，＆＃39;自从年初开始超过600％的加密......
Belgian farmer accidentally moves French border(www.bbc.co.uk)
2021-5-5 20:49
比利时的农民在无意中重绘了与法国的边界之后引起了激动的轰动。
当地历史爱好者在森林里走在森林里，当他注意到两国之间的边界已经移动了2.29米（7.5英尺）。
比利时农民，在他的拖拉机中的石头看起来很烦恼，并将它搬到了法国领土内。
而不是造成国际骚动，这一事件已经在边境两侧遇到了微笑。
＆＃34;他制作比利时更......
2021-5-5 20:49
三名年轻人进入了Walworth County，Wis的一辆车。，2017年5月，他们被迅速驾驶，速度迅速下降了一条长长的玉米落地的道路 - 并在社交媒体上分享他们的逃避。
作为17岁的车轮后面加速到每小时123英里，其中一位乘客打开了Snapchat。
他的父母说他们的儿子想使用应用程序功能捕获经验 - 争......
Efficiency Is the Enemy(fs.blog)
2021-5-5 20:47
你的生活中大多数问题都有很大的机会，并努力下降到不足。这是懈怠的工作以及为什么你需要更多。
想象一下，如果你作为一个崭露头角的生产力爱好者，有一天才获得了一个时间机器的机会，并决定将几十年来返回你的一位旧的商业英雄的办公室。让我们称他为Tony。
你把自己伪装为一个看门人，图几天的观察应该足以揭示CEO令人难以置......
Kotlin 1.5.0 – the First Big Release of 2021(blog.jetbrains.com)
2021-5-5 20:47
欢迎符合新版本的第一个功能释放 - Kotlin 1.5.0！
此版本提供稳定的语言功能，例如JVM记录，密封接口，内联类，并包含新的默认默认JVM IR编译器。您对Kotlin 1.4.30和Kotlin 1.5.0 EAP版本的特征预览的反馈真的帮助我们稳定了这些功能。我们非常感谢您的帮助！谢谢！
超过25......
Regression and Linear Combinations(jeremykun.com)
2021-5-5 20:47
最近，我一直在帮助大达纳尔布拉德利和杰克海关组织的线性代数课程，以及几次提出的问题是“为什么程序员应该关心线性组合的概念？”
对于那些不了解的人，给定载体的线性组合是载体的选择，其中一些系数，其将载体以总和重量。
我必须承认，数学书籍做了一个糟糕的绘画概念，因为唯一只需要线性组合只需要证明，而真正的肉是矩阵乘法和......
The Obsessive Art and Great Confession of Charlotte Salomon (2017)(www.newyorker.com)
2021-5-5 20:46
Warning: Can only detect less than 5000 characters
CITADELLE的五十个Gouaches呈现了一种繁荣的图片，讽刺的文本和诙谐对话 - 这是图形小说的早期示例，因为我们现在定义了这种类型。 OneBlight-Blue-and黄色绘画显示了年轻的夏洛特跪在洋葱床......
Observable Plot(observablehq.com)
2021-5-5 20:46
在制作这个徽标时没有饼图损害。 我们很激动到宣布可观察的情节，是一个新的开源JavaScript库，用于探索数据可视化。 可观察到的使命是帮助每个人都有与数据有意义的。 为了成功，我们需要更轻松地使可视化更快，既可以学习和练习。 减少苦差事，更快乐。 如果他们可以“使用愿景”而不是摔跤，我们相信人们会更成功地找到和沟......
2021-5-5 20:46
Fortran是最古老的商业编程语言，在20世纪50年代在IBM设计。甚至多年来，程序员已经预测了它的消亡，64年后仍然踢，用户在包括来自美国宇航局的顶级科学家，包括在世界上使用它的热门科学家们，在世界上使用它＆＃39;最强大的超级计算机。
它甚至最近 - 非常出乎意料地 - 在最受欢迎的节目语言中再次出现，尽管第......
Multitasking hurts performance and may even damage the brain (2018)(www.linkedin.com)
2021-5-5 20:45
您可能听说多任务服务对您有害，但新的研究表明它会杀死您的表现，甚至可能会损害您的大脑。每次你都是你的争夺＆＃39; t只是伤害你的表现;您可能很好地损坏您的大脑区域，并对您未来的工作成功至关重要。
在斯坦福大学进行的研究发现，多任务处理的效率低于一件事。研究人员发现，经常用几个电子信息流轰炸的人无法注意，召回信息......
FreeSurfer: Open-source software for processing and analyzing brain MRI images(surfer.nmr.mgh.harvard.edu)
2021-5-5 20:45用于处理和分析（人类）脑MRI图像的开源软件套件。
An NFT That Saves Lives(paulgraham.com)
2021-5-5 20:44Noora Health，一个非营利组织I＆＃39; VE多年来支持，只是推出新的NFT。它有一个戏剧性的名字，节省了数千个生命，因为那个收益会做什么。 Noora一直储蓄7年。他们在南亚举行的课程inhoshitals，教授新的母亲，一旦回家就如何照顾他的婴儿。他们现在在165家医院里＆＃39。事实后，他们知道他们......
2021-5-5 20:44
根据拦截审查的联邦合同，根据截止的联邦合同，美国海关和边境保护采购的购买技术，该技术在汽车内部存储在汽车内存储的个人信息，说明了连接车辆和智能手机的严重风险。
与Latinx倡导组织Mijente的拦截分享的合同，表明，CBP支付了瑞典数据提取公司MSAB $ 456,073，一捆硬件，包括由美国公司Berla制造......
2021-5-5 20:44
自Ipython笔记本发射以来，今年标志着十年。开源工具，现称为jupyter笔记本，已成为一个非常受欢迎的数据科学套件，其中包含数百万笔记本电脑，存入GitHub代码共享网站。
计算笔记本在单个文档中组合代码，结果，文本和图像，产生了Mathematica软件包的斯蒂芬Wolfram，称为“计算论文”。以及是否使......