Show newer

Grace hopper: 创造了现代第一个编译器A-0 系统,以及第一个高级商用计算机程序语言COBOL

但又有谁的心能真的硬如磐石,不以物喜,不以己悲

看金庸我只喜欢配角,看古龙我只记得住主角

高中生真厉害。图书馆自习室里,最投入最专注战线最长的就是高中生了,一套题一杯茶坐一天

61a scheme 

上一次被括号伤得这么重还是们二次元讲话(尖叫)(阴暗爬行)(抓耳挠腮)(抠脚)
scheme这层层叠叠的括号啊……

救命啊这个notation前置,好像日语

Show thread

困就算了,还真睡着了。睡着了就算了,还记不住做的梦。

五色龙章这姐们儿太牛了,写np和肉文不在话下,写科考八股也是信手拈来。给我看笑了,看点种田文还能学八股文破题。

连续三天在同一家店吃炸蛋螺蛳粉……在此之前我都没意识到自己是这么专一长情的人

《笑傲江湖》开个串 

好喜欢莫大先生。“他奶奶的,怕他个鸟卵蛋”

哪有什么清静之地啊,官府之外是武林,武林里还分什么正教和魔教,有人的地方就有争端

笑傲江湖的后记足以表明,这本颇有点文以载道了

Show thread

同桌对面小哥的电脑贴纸是一整面红彤彤赤裸裸刺眼夺目的党旗,看得我有点眼睛痛

自警:不要妄言,没出家的人也不该打诳语

最近:跟人交流感觉自己说话笨笨的,颠三倒四语塞嘴瓢,讲得很用力的感觉都体现在脸上了。真糟糕,可能是太久没跟人线下交往了

别想了。再多想一点,我就要伤心了

《笑傲江湖》开个串 

江南四友怎一个惨字了得,农夫与蛇引狼入室。好生招待两个骗子还要被傻白甜男主骂做江南四狗,不要欺负我们有怪癖的老头子啊,恋老癖怒了(不是)黑白子还被吸光内力,真就被蛇咬了一口

Show thread

令狐冲难道不是个傻白甜……认不出仪琳喜欢他、把妙龄少女任盈盈当成老婆婆、稀里糊涂练了吸星大法,他不傻谁傻

想起昔日前leader问我转码做开发是为了什么、希望达到什么目标,我说希望获得乐趣。他笑着说这可是很难的。
丘成桐在自传里说数学是他的护照,助他周游世界、探索宇宙。我辈凡人自难以望其项背,然日拱一卒也自有其趣吧

只有求真,才能变强。诚实是需要跋涉的品质。

古龙好大的口气:「世人庸庸碌碌之辈,不过俗物,连悲的水平都没有」

Show older
飞面

“煮喝醉之后把触手伸向fedi宇宙,于是有了拉面站~ ”
Mastodon是一个新兴的社交网络,核心理念是“Giving social networking back to you”,使用分布式的架构,整个网络由若干自发节点构成的联邦宇宙fediverse,从而从根本上杜绝censorship的可能性。另一方面刻意避开了推荐算法,让sns回归原本原子化的“人和人的社交”。
拉面站是fedi中的节点之一,主题是飞天拉面神教FSM,是一个一本正经胡说八道的反宗教宗教,具体可以参见飞天拉面神教介绍,本质是个欢乐沙雕生活分享兴趣交流为主题的站点。
这里欢迎飞天拉面神教FSM信徒,希望你们遵守站点规则里的阿西八戒。
这里也欢迎非信徒,毕竟 煮不在乎! RAmen!
更多详情请点击下方链接: