蝉语 是一个开源程序语言设计团队。 主要项目Cicada 是一个Dependently Typed 程序语言（类似Coq、Agda、Idris 和Lean）， 可以用来辅助证明数学定理，并却作为形式化的数学基础。 想要设计一个实用的计算机辅助证明系统的同时，这个语言也是大家学习与尝试新想法的基础。
禅语主要指从佛门中传出的精华语句，话语平朴，含意深远，对人生思想等方面有着精神食粮的作用。由于禅语的文雅和隽永，常在文学艺术作品中得到应用。
蝉语提供经典的案例、书籍、培训、提案、PPT模版等下载，提供强大的资料库。为广告兴趣爱好者、从业人员借鉴、学习、参考。蝉语主势力为80后团体，为将“蝉语”打造成一个 ...
蝉语 ... 博尔赫斯：我认为一个人总在死亡。每一次我们不能有所感受，不能有所发现，而只能机械地重复什么的时刻，就是死亡的时刻...但我不想做一个行尸走肉。我尽量保持对 ...
2022年11月11日 · 人心皆有欲，有欲就生贪。事情不如意，嗔心似火燃。痴迷障道性，自缚自系缠。贪嗔痴断了，就得大自在。 01. 一切有为法，如梦幻泡影，.
蝉语简介：Karen, left for dead in the wilderness, struggles to survive after uncovering a dark secret about the people in her Middle America hometown while ...
2021年8月6日 · 夏日蝉语. 绿草蝉. 长鼻蜡蝉. 钩凹大叶蝉. 夏日，阵阵蝉鸣声总会引起人们的注意，而且，天气越热，它越唱得起劲。 不少人认为蝉是树上长、林中飞、会唱歌 ...
“蝉语”则象征蝉漫长的十七年等待与蓄势后，坦荡有度的生命绝唱——耐得住寂寞，守得住向往，即使乏人倾听，也要一丝不苟地将生命的精彩与热烈最大化。
2010年4月24日 · 蝉语即是蝉鸣，是夏季里乡间丛林中最热烈最能展示天籁之音的歌唱，任何人身临其境，都会驻足倾听，倾听自然界的禅音，感受绿色世界的奏鸣，于无限风光里循 ...
2020年1月10日 · 自己本来善良，就不要让善良沾上灰尘。 2. 为饥饿故，发心出家，如是之人名为秃人。 3. 谓舍罪福，净修梵行，慧能破恶，是为比丘。