Iota和Jot
在形式语言理论和计算机科学中，Iota（ι，发音如希腊字母 iota）和Jot（י，发音如希伯来字母 yodh）是两种极简的形式系统与编程语言。 这两个名称分别取自希腊语字母Ι（iota）和希伯来语字母Yodh（י/yodh）——分别是各自字母表中最小、最简单的字母，这一命名恰如其分地体现了这些语言的极简主义设计哲学。 它们的设计目标是比λ演算以及SKI组合子演算等更为人熟知的图灵完备系统更加简洁、更加基础。 因此，它们也被归类为图灵焦…
标签：#极简主义
共 2 篇文章
FIRE运动
FIRE运动（Financial Independence, Retire Early；即经济独立，提前退休）是一种以经济独立和提前退休为目标，以及重視幸福感多於對物質的滿足的一种生活方式。该运动在2010年代逐渐开始流行，通过在线上社区，如博客、播客、论坛等，获得网民关注。 那些想经济独立、提前退休的人们通过增加收入或减少支出来最大化存款比率。这样做是为了积攒的财产所产生的被动收入能作为终身年金中的日常开支。 4%法則 很多FIRE运…