jiang
@jiangplus
23 Following
58 Followers
Casts
Casts + replies
jiang
@jiangplus
https://terrytao.wordpress.com/2024/09/25/a-pilot-project-in-universal-algebra-to-explore-new-ways-to-collaborate-and-use-machine-assistance/ 这是一个难以置信的伟大开端，对于数学史，对于人类知识的探索。 当代最杰出的数学家之一，陶哲轩，这几年一直在探索定理证明器 Lean 语言，AI，以及用 AI 辅助数学定理的探索和证明，发表了很多博客。通过 Lean 语言，我们得以用一种机器可处理的方式描述和构造数学定理，程序自动验证其有效性。并且这样的处理方式可以将复杂艰深的数学问题，以模块化的方式分解成更小的部分，这些部分可以在不必了解整个项目的所有方面的情况下进行探索。
1 reply
0 recast
0 reaction
jiang
@jiangplus
Rationalists are people who have an irrational preference for rationality. https://www.lesswrong.com/posts/MEa2wtvt559kxGAB7/trying-to-be-rational-for-the-wrong-reasons
0 reply
0 recast
0 reaction
jiang
@jiangplus
https://www.quantamagazine.org/the-new-math-of-how-large-scale-order-emerges-20240610/
0 reply
0 recast
0 reaction
jiang
@jiangplus
看了《超文本与超链接》这本小书，讲超文本的概念，图形交互技术，万维网的诞生，以及伴随着互联网演进的硅谷发展史。 互联网是个什么东西？互联网是一个连接东西的东西，这种连接产生了一个复合的，复杂的，复数的空间。
1 reply
0 recast
0 reaction
jiang
@jiangplus
前段时间看动画《葬送的芙莉莲》，最后片段是一级魔法师考试，大魔法师对一个女孩说“你虽然侥幸通过了前面的试炼，但你都想象不出来自己成为一级魔法师的样子，不及格”。魔法的力量就是想象的力量。
1 reply
0 recast
0 reaction
jiang
@jiangplus
万维网被设计的时候，以超文本和超链接作为核心，是一个以内容为中心的网络，赋予内容可互动性和可连接性（HTML）。
1 reply
0 recast
0 reaction
jiang
@jiangplus
Hoot is a full-featured Scheme implementation build for WebAssembly. I am really excited about it! Live coding WebAssembly programs in the browser! https://spritely.institute/hoot/
0 reply
0 recast
0 reaction
jiang
@jiangplus
现代前端开发常用的 SPA (Single Page App, 单页面应用) 模式，实际上是在应用层做了很多浏览器做的事情，每个人都在重写浏览器，为什么我们不充分利用 Web 本身的功能呢
0 reply
0 recast
0 reaction
