FixpointOfBeing

喜欢约翰·威廉斯；喜欢亚里士多德和马基雅维利、尼采；喜欢Programming 和 Type Theory。

[FixpointOfBeing @_Alyssa101_]

研究计算世界的人，或者说程序员，也能体会到爱因斯坦所说的“宇宙宗教情怀”吗？

[FixpointOfBeing @_Alyssa101_]

作为王虹的学弟，我的数学水平低到-273摄氏度，我真的太菜了。

[FixpointOfBeing @_Alyssa101_]

用上neovide后，写代码真的太爽了。我爱nvim���

[FixpointOfBeing @_Alyssa101_]

@oooodjdjd 好平庸的追求

[FixpointOfBeing @_Alyssa101_]

感觉存在主义心理学就是我要找的那个东西，我将努力研读存在主义心理学

[FixpointOfBeing @_Alyssa101_]

���真是服了马斯克，我在x上搜个“惠特曼”，也能出来好多色情内容。

[FixpointOfBeing @_Alyssa101_]

INTP黑化指南：成为一个马基雅维利主义者

[FixpointOfBeing @_Alyssa101_]

Lean3怎么翻译成中文？靠靠靠！
Lean4怎么翻译成中文？靠靠靠靠！

[FixpointOfBeing @_Alyssa101_]

我认可张小龙说的话，把公务员当作职业目标，确实没什么本事。但是不妨碍微信是一个垃圾软件。

[FixpointOfBeing @_Alyssa101_]

“一个人如果对性没有兴趣，这个人就是没有生命的人。”
听到这句话就不想看下去了，这个世界充满了有性恋对我这种无性恋的暴力。

[白骏知识分享 @cj3214567667]

香港大学中文学院教授犀利发声：

“性，从来都是和权利、阶层联系在一起”

“性就是人生命的表现”！

[FixpointOfBeing @_Alyssa101_]

我将用Lean4形式化霍布斯的《利维坦》

[FixpointOfBeing @_Alyssa101_]

一个程序员，如果没有���点诗人的气质，那他永远不可能成为一个杰出的程序员。

[FixpointOfBeing @_Alyssa101_]

牛顿迭代法为什么不能用来找完美数？

[FixpointOfBeing @_Alyssa101_]

在B站上搜个荷尔德林都能看到未明子，真晦气

[FixpointOfBeing @_Alyssa101_]

我的朋友：福瑞，kig，绳艺
我：纯爱。就很......你懂吧？

[FixpointOfBeing @_Alyssa101_]

我将来也可以成为这样漂亮的大姐姐吗

[Kenzaki_Kazuma🍥 @Xe1_N0n]

我将来也可以成为这样的人吗

[FixpointOfBeing @_Alyssa101_]

@huihoo 谁看得懂《逻辑哲学论》的，可以教教我

[FixpointOfBeing @_Alyssa101_]

AI为什么喜欢对人说“我会稳稳地接住你”？大概在人类的世界里，有条件的爱太多，无条件的爱太少