记体育课

Like Like Love Haha Wow Sad Angry 12 体育课本是令人高兴的,一道13:50我们就会冲出去。可是今天不同,***早早地就(并且我想他以后此次都会)坐在了讲台前。 终于临近上课,可是***偏要站队。站队也无过错,只是久习惯了不站队,已不习惯这种束缚。体育课站队也是好的,远远一瞧,多漂亮,可是似乎没有观众。也罢,不必在这个问题上多作纠缠。 到了操场,令我惊奇的是那体育老师居然还没有来。也许是因为往常习惯了先去打篮球,进而等她发号施令的时候再去集合,不觉中淡忘了时间罢。于是我开始觉得她一贯如此,很不负责任。 然而很快我改变了这……

你的计算机启蒙是谁?

Like Like Love Haha Wow Sad Angry 61 后续:两年后,我写了《记孙正威老师 | 黃河青山》 感觉好像没什么值得说道的,对大家来讲。我个人觉得比较有意义的倒是有一件。在五年级的时候,有一个信息老师选拔数学比较好的人去学计算机竞赛,一共选了六个人。那个年代,不要说计算机竞赛了,就是计算机(对我来说)也是很遥远的东西。我还没有自己的电脑呢,只是偶尔会对着电脑店的广告单垂涎。 这个老师在小学很有名,叫孙正威,我经常在机房的电脑上看到以他为名的文件夹,或者是他创建的文件等。但是之前并没有上过他的计算机课,只是听说他很严厉。 Rea……

快乐

Like Like Love Haha Wow Sad Angry 某天,一个小孩出生了。 他出生在一个知识分子家庭。 从他记事开始,他就在接受教育。 人们教他认字,教他读书。小孩觉得很没意思,他对外面充满了向往,因为他从未出去过。当接触到“快乐”这个词的时候,他无法理解那是什么东西。 上小学了,小朋友们都在一起玩,他却不。别人邀请他一起玩,他却不敢答应。 渐渐地他开始适应学校生活,然而就在这时,他才接触到了真正的教育。1、2年级时的考试十分简单,家长、老师也并不在意。可是之后,考试的分量陡增。他重又回到了如“童年”般的日子。他渐渐在考试中取得领先,同学……

用 Angular 弄了一个背单词的网站——eliseos.org

Like Like Love Haha Wow Sad Angry 1 弄了一个背单词的网站——eliseos.org,或者叫 jingtu.io。(这俩名字其实是一个意思。当然这个网站不主要是为了背单词而开发的,不过目前只有背单词的还能用。) 它是 Angular 开发的,同时用了一些时新的技术,比如前端的 redux-observable, graphql, apollo client,后端的 inversify, sequelize-typescript,另外我还自己搞了一些用于自动生成 graphql schema 的 decorator—— @……

Linux 下使用 Nvidia 显卡和 Virtualbox 遇到的一些坑

Like Like Love Haha Wow Sad Angry 1 nouveau 显卡驱动,并不好。 Virtualbox 的问题 Virtualbox 安装完毕 Windows 10,却莫名其妙卡在了登陆之后应该出现桌面的地方。而且它不仅仅是客户机卡死,宿主机也一并卡死了。 我没太注意这个问题。大不了暂时不用 QQ 好了。 Nvidia 显卡 无独有偶,另一个问题的出现使整个事情出现了转机。 使用 Linux 后不久,就发现了问题。桌面环境(xfce4)经常无故完全卡死,甚至连 Ctrl+Alt+Fn 切换 tty 都没有用。偶尔出现还能忍,但是……

我的童年

Like Like Love Haha Wow Sad Angry 17381 在我眼裡,14歲以前都叫童年,那是初三以前的日子。 今天翻書的時候,無意翻出了一本小學信息技術書。這本不是我的,是一個姐姐的。我們當年的信息技術已經分了上下冊,不像這個是一整本。翻開微黃的書頁,童年的回憶又一一浮現在眼前。書上講的是word97,那時我抱怨,都2000了還用97呢;在後來的書成了2000,我又抱怨都2003了,後來又抱怨都2007了。現在書上終於是2003了,不覺我卻抱怨到了2010。 在沒有電腦的歲月里,我經常是到姑姑家去玩電腦。一台清華同方電腦,現在看來很……

什么是 Haskell 中的 GADT(广义代数数据类型)?

Like Like Love Haha Wow Sad Angry 2111 先看看没有 GADT 的时候我们在做啥。最简单的,比如定义一个列表: List a = Nil | Cons a (List a) 它是在做啥呢? 先看等号左边,它首先定义了一个叫 List 的 type constructor,它接受一个类型,并返回一个新的类型。其实就是类型的函数。 再看右边,它告诉我们有两种方式获得一个类型为 List a 的值,一个叫 Nil,一个叫 Cons a (List a)。 Nil 的话,你直接写 Nil,它就是一个 List a 类型的值,至……

例说 C 语言类型声明

Like Like Love Haha Wow Sad Angry 31 C 语言的类型声明,由于某些历史局限性,在某些情况下显得相当复杂。下面让我们来渐渐深入 C 语言类型声明的谜团,一探究竟。   指针和数组 一重声明 以下这些问题,我相信即使是最基本的初学者也不会有太大困难: 你会声明数组吗? int a[5]; // 包含 5 个元素。 你会声明指针吗? int *a; 二重声明 你会声明双重指针吗? Read by: 129 Like Like Love Haha Wow Sad Angry 31

【C++ 模板元编程入门】在编译期实现 Peano 数

Like Like Love Haha Wow Sad Angry 1 基本知识 类型的函数 我们都知道模板可以接受类型作为「参数」。同样地我们也可以有「返回值」,从而构造类型的函数。基本的范式是: template<class T> struct Computed { using type = T; } 这就构造了一个名为 Computed 的,接收一个类型参数,返回这个类型本身的函数,用法如 Computed<float>::type,这个类型应当还是 `float`。 为什么要包一层 struct?这是因为 C++ 不支持对……

记孙正威老师

Like Like Love Haha Wow Sad Angry 5 今天是教师节,我研究了一夜 OCaml,早上六点才睡。醒来已是下午两点。对这个节日,向来没有什么感受,可能是我在学校比较独立,和老师交流较少。师者,所以传道授业解惑,但是老师既没传给我道,也没怎么授过业,我更没有仰仗老师解惑。也从小到大,我都是在孤军奋战。这可能也是我学习不大好的重要因素之一。 但是今天水着工信群,突然想起了些什么。我一个学数学的,为什么会在工信群呢?为什么我会对编程有执念呢? 虽然我进大学的时候,确实是在几乎不会编程的状态,但我之前确实学过编程。它甚至是我开始拥有自……

关于游戏王全卡档的几点注解

Like Like Love Haha Wow Sad Angry 正文: 问:为什么我下了游戏王全卡档文件,也拷到了存档目录,却无法在游戏里解锁全卡档? 答:原因可能是多样的,但本质上都是由于游戏读取到的校验码和存档文件不匹配导致的。 问:那么会有哪些原因呢?怎么知道我是哪个原因呢? 答:首先,我们要了解这个校验码是放在哪里的。答案是——注册表。这也是网上很多教程会让你导入注册表文件的原因,也是它们说“要备份存档文件,必须要备份 flcrc”的原因。准确地讲,这个校验码是放在注册表某个节点下的 \KONAMI\Yu-Gi-Oh! Power Of Ch……

一个不正确的 TypeScript 类型定义引发的血案

Like Like Love Haha Wow Sad Angry 2 Mongoose 的 TypeScript 类型定义并不完全正确! 昨天晚上在 bgs 研究了(或者说调试了)XGS 写的 nodejs 服务器项目。他在用 koa 作为服务器,mongodb 作为数据存储,写一个不知道什么项目(似乎名为「写作者平台」/ “Write’s Platform”)。反正当时还处于很初级的阶段,只有两个路由,一个 get,一个 post,后者是用来向 mongodb 提交一篇文章的。在测试过程中,他发现了一个问题——他在……

一次隨機騎行

Like Like Love Haha Wow Sad Angry 1 本来去讨论“英国历史与经典文献选读”的展示,完了之后突然想去沃爾瑪買奶酪,中途發現沒錢,索性騎到市區玩玩好了,結果卻騎到了萬象城。當然鑒於一分錢沒帶,就只能拍拍照啦。。。 途中本想在慶春路的書店停下逛逛,奈何拖延糾結中就過去了。好在萬象城也有家實體書店,Page One。它售賣的淨是些小資情調的書,什麼室內設計啦、烹飪飲食啦、文史哲啦,有很多英文書。 Read by: 58 Like Like Love Haha Wow Sad Angry 1

这些无法翻译的外语单词有哪些故事/典故?

Like Like Love Haha Wow Sad Angry tumblr的舶來品?原文英語,譯作中文更爲冗長,但真地要這麼多字才能表達嗎?原作恐有故意嘮叨博取噱頭之嫌。 再者很多詞(包括但不限於我認識的)也並不神奇。 waldeinsamkeit = wald + einsamkeit = forest + loneliness = 林中孤獨(孤感?) почемучка = почему + чка = 爲什麼 + 指小的後綴,實則專指小孩,《简明俄汉词典》的“小問號”之譯乃至勝過原詞。 木漏れ日 = 木(樹) +漏れ(漏れる)+ 日(太陽),……

为什么中国古代人物画总是看着不那么写实?

Like Like Love Haha Wow Sad Angry 11 我觉得某些回答的某些部分是很有误导性的。比如 @张佳玮 拿一副古埃及的壁画和唐代画比,那可是公元前 1000 年以前的作品,而且这种画风至少公元前 3000 年以前就定型了,再说并不一定埃及就能代表西方,埃及没有写实绘画(其实罗马化还是有的)不代表希腊罗马没有。比如 @沈临枫 拿兵马俑当作写实的证据,未免有些太没说服力了。画说在前头,底下举一些例子(来自维基百科)。   Facsimile of the Narmer Palette, c. 3100 BC,跟那种画一个风格。   ……

读《云图》的俄语台词 (4)

Like Like Love Haha Wow Sad Angry ОБЛАЧНЫЙ АТЛАС Острова Тихого Океана, 1849 год. Дело сделано, мистер Юинг, теперь сей контракт свят для исполнения… почти как Десять Заповедей. сделано: 完成 сей: 这个 свят: 神圣的 исполнения: 执行, 完成 почти: 几乎 Заповедей: 戒律 Благодарю, Преподобный ……

读《云图》的俄语台词 (3)

Like Like Love Haha Wow Sad Angry – Здравствуйте. – Ваш пропуск. Смотрю вы начеку? пропуск: pass, admission начеку: on the alert Я был издателем Дермонта Хоггинса, а не психоаналитиком или астрологом, и это чёртова, чёртова правда, я и понятия не имел, что он сделает ……

《云图》中的一句话 (I)

Like Like Love Haha Wow Sad Angry Теперь я понимаю, что границы между шумом и звуком условный. Любые границы условный, и созданный, чтобы их переступать. Всё условности преодолимый, стоит лишь поставить для себя эту цель. граница: limit, confine между: between шум: noise Read by:……

多项式和幂级数 (I)

Like Like Love Haha Wow Sad Angry 今天我们讨论多项式 交换环上 Nilpotents and units are closely related. In a commutative unital ring , if nilpotent, unit, then is again a unit. If is a unit for every , then , the Jacobson radical, approximately nilpotent. Read by: 74 Like Like Love Haha Wow S……