jiang pfp

jiang

@jiangplus

23 Following
58 Followers
jiang pfp
jiang
@jiangplus
他现在启动了一个叫做 Universal Algebra 的项目，构建一个巨大的程序化的数学定理集合，每个人可以贡献一小部分的定理，进行社会化的协作，形成具有广泛表达力的统一数学框架。未来能够以开源协作的方式创造新的数学知识。 这个工作极其重要，我能想到可比的例子是 20 世纪初希尔伯特提出 23 个数学问题，推动数学公理形式化的发展。
0 reply
0 recast
0 reaction
jiang pfp
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
timbeiko.eth pfp
timbeiko.eth
@tim
Protocol Symposium kicks off tomorrow ☀️ Will keep a running thread of the daily sessions here. @vgr and I will kick things off tomorrow with an overview of the SoP '24 research, future SoP plans, and how to participate throughout the week 😁 Join us on Sep 18, 00:00 UTC: https://app.sola.day/event/detail/8660ddd
3 replies
11 recasts
43 reactions
jiang pfp
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 pfp
jiang
@jiangplus
https://www.quantamagazine.org/the-new-math-of-how-large-scale-order-emerges-20240610/
0 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
https://book.douban.com/subject/35438602/
0 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
被连接的东西又是什么呢？是各种大的小的、层次复杂、形态多样的数字空间。超链接就是一个“link”，这种简单的结构产生了深远的影响，不断延伸的网络和迅速生长的数字空间成为世界的另一个层次，一个新的世界。
1 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
看了《超文本与超链接》这本小书，讲超文本的概念，图形交互技术，万维网的诞生，以及伴随着互联网演进的硅谷发展史。 互联网是个什么东西？互联网是一个连接东西的东西，这种连接产生了一个复合的，复杂的，复数的空间。
1 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
想象现在在做的事情会变成什么样，这个世界会变成什么样。 我不一定能成为我想象成为的，但至少无法成为我无法想象的。
0 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
我常在想象自己变成某些状态，而无法想象自己变成另外一些状态，不管这些状态是想要的还是不想要的。比如说我无法想象自己去去华为上班，即使这些工作有足够吸引人的回报，比如很多的其他事情。
1 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
前段时间看动画《葬送的芙莉莲》，最后片段是一级魔法师考试，大魔法师对一个女孩说“你虽然侥幸通过了前面的试炼，但你都想象不出来自己成为一级魔法师的样子，不及格”。魔法的力量就是想象的力量。
1 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
HTMLX/Liveview 这样的框架，让我们回到以内容为中心的设计方式，避免管理额外的状态，又不牺牲丰富的交互能力。
0 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
随着 Web2 的发展，为了更好的交互性，人们走向了脚本在前端生成渲染内容的方式，从 content web 走向 scripting web，网站不再是内容而是一个程序。
1 reply
0 recast
0 reaction
jiang pfp
jiang
@jiangplus
万维网被设计的时候，以超文本和超链接作为核心，是一个以内容为中心的网络，赋予内容可互动性和可连接性（HTML）。
1 reply
0 recast
0 reaction
jiang pfp
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 pfp
jiang
@jiangplus
现代前端开发常用的 SPA (Single Page App, 单页面应用) 模式，实际上是在应用层做了很多浏览器做的事情，每个人都在重写浏览器，为什么我们不充分利用 Web 本身的功能呢
0 reply
0 recast
0 reaction