#突出
2021-5-8 23:12
在上周的美国填字游戏舞蹈锦标赛中，作为一个以上1000多名参与者的虚拟活动，一个令人印象深刻的竞争对手。 （而且，尽管我的143分，但遗憾的是，这不是我。）第一次，人工智能设法突出了比赛中的人类索盘，以速度和准确性填充网格。它是填充博士的胜利，一个德语解决自动机，这是争论近十年的碳的十字架论者。
对于一些观察者来说......
Extempore – An audiovisual live programming environment(extemporelang.github.io)
2021-5-5 20:27Extempore是一种编程语言和运行时性环境，旨在支持网络耳语编程，人类程序员作为世界上的活动代理商。 您可能已看到extempore用于LiveCoding-Maving Live Music＆amp; 附带代码和它＆＃39;肯定是非常擅长的，但突出的野心更广泛:)
A new documentary highlights the visionary behind space settlement(arstechnica.com)
2021-4-11 21:43
一部新电影带来了生命的遗产，他们在塑造空间结算愿景中发挥了影响而大的角色。
纪录片的高度前沿：Gerard K. O＆＃39的未罗成故事; Neill从1977年获取它的名字，从1977年预订了高度前沿：人类殖民地在普林斯顿大学物理学家Gerard K.O＆＃39; Neill。这部电影将于4月17日发布，它是一个......
Big Tech's De-Platforming Binge Highlights the Need for Web 3.0(www.forbes.com)
2021-1-18 9:43
上周美国国会大厦暴动后，大型科技公司领导人同时取消了特朗普总统的竞选纲领。 Twitter紧随其后，暂停了与极右翼QAnon阴谋理论小组有关的70,000个帐户。下一个目标是社交媒体平台Parler，称自己为“免费语音天堂”，因为苹果AAPL和Google GOOG禁止在其应用商店中使用该移动应用程序，而Amazon......
Syntax highlighting is a waste of an information channel(buttondown.email)
2020-7-21 8:38下周没有时事通讯运行TLA+研讨会。在那之后我就不会有任何脑力了。语法突出显示是对信息通道的浪费...
Was a PhD necessary to solve outstanding math problems?(www.greaterwrong.com)
2020-7-11 21:24这是我的第二篇帖子，内容是关于是否有一个最终的目标是真正意义上的20世纪开创性科学工作的新的实践意义的帖子，这是我的第二个帖子，是关于20世纪的开创性科学工作是否可行的第二个帖子，我的第二个帖子是关于是否有一个最终的目标是真正意义上的20世纪的科学工作的开创性工作，这是我的第二个帖子。
对于外人来说，数学似乎是一个很......