Hi! 你好!
5 followers 0 articles/week
【录屏】UoN 课程分享:Programs, Proofs and Types

昨天受邀为今年的英诺大四新生分享了一下计算机系的选课。我推荐了可能是 UoN 史上最冷门的一门课——《Programs, Proofs and Types》。因为讲演时间被要求在五分钟内,所以基本也没怎么介绍具体内容,只提了很多这个有意思的老师。因为嗓子坏了没法声音出场,感谢凡哥的代替。视频里提到的教授演讲地址:https://youtu.be/DllYOFw5Qio。录屏Your browser does not support the video tag.

Wed Jul 29, 2020 10:31
2020: UK ⇒ China

结束了在英国的大学生活,准备飞回中国赴工作。恰逢全球疫情,在「五个一」政策下千辛万苦买到了一张伦敦直飞青岛的机票。一路辗转颠簸,终于在数天前回到了家中。这是一篇巨型流水账。半年前也就是学校上学期结束,圣诞假和考试之后,我和一位室友商量着趁着寒假回国过年,当时罗列了巨多理由:去年没回家过年;明年说不定读硕也陪不了;陪家里人的时间越来越少;学校开学后第一周没什么课可以请假……于是我俩当机立断,买下了大年初二飞中国(因为除夕是期末考试……)、元宵节飞英国的往返航班,票价三千余元。然后便开始了期末复习和等待。一月十几日的时候,我在 Twitter Trending 上突然看到一则新闻说中国武汉的不明肺炎导致几十人死亡。这是我第一次看到 COVID-19 的相关新闻。当时下面的评论画风已经是一众的谩骂:我立马又去微博搜了搜——当时的我并未多想,只是抱着看热闹的心态截图下来分享给了好友。当时的我也根本不会料到这个疫情会对我之后的一年、甚至会对整个世界造成多大影响……就在之后的几天,武汉传出来的条条新闻都让人窒息……于是,一月二十日,担心归国的春运风险,也担心之后的疫情防控导致我回不了英国,我退订了回中国的机票。这一退,就是半年的滞留。飞速半年如果...

Wed Jul 29, 2020 04:25
【Just JavaScript #08】原型 Prototypes

在上期模块,我们讨论了对象、属性、突变。但先别急着转移话题,关于对象的事情,我们还没说完呢。先来看看这个小谜题,检测一下我们的心智模型:1 2 let pizza = {}; console.log(pizza.taste); // "pineapple" 问问看你自己:这可能吗?我们刚刚用 {} 创建了一个空对象,并且绝对没有在其内设置任何属性。看起来似乎 pizza.taste 不会指向 "pineapple",而是应该给我们 undefined。(要是属性不存在的话,我们通常都会得到 undefined,对吧?)然而,如果我们在这两行前面再添加几句代码,的确是可能导致 pizza.taste 变成 "pineapple" 的!这是一个人为的例子,但却表明了我们 JavaScript 宇宙的心智模型是不完整的。本期模块,我们将介绍「原型」(prototypes)的概念。原型会解释这个谜题中发生了什么。更重要的是,原型是另一些...

Fri May 29, 2020 18:43
【Just JavaScript #07】突变 Mutation

在上期的《属性》模块,我们说到 Sherlock Holmes 也搬到了 Malibu(马里步),但还没有解释这个谜团。打开一个绘图软件,或者拿出纸笔。这次,我们一起逐步画图,以便你检查自己的心智模型。即便你之前已经画过了,再来一次也不吃亏!分步画图步骤一:声明 sherlock 变量我们从变量声明开始:1 2 3 4 let sherlock = { surname: 'Holmes', address: { city: 'London' } }; 先画这个图。你的图最后应该长这样:这里是一个 sherlock 变量指向一个对象。该对象有两个属性:一个是 surname,指向 "Holmes" 字符串值;一个是 address,指向另一个对象。这另一个对象只有一个属性,叫 city,指向...

Fri May 1, 2020 06:30
404: Mourning Solves Nothing

1 2 3 html { filter: none !important; }

Sat Apr 4, 2020 00:52
【Just JavaScript #06】属性 Properties

来见见闻名遐迩的伦敦神探夏洛克·福尔摩斯:1 2 3 4 let sherlock = { surname: 'Holmes', address: { city: 'London' } }; 他的好友约翰·华生最近也搬来一起住了:1 2 3 4 let john = { surname: 'Watson', address: sherlock.address }; 夏洛克是个天才神探,但却是个麻烦室友。终于有一天,约翰受够了。他改姓搬家,去了马里布(Malibu):1 2 john.surname = 'Lennon'; john.address.city = 'Malibu'; 练习时间到。写出下面几个问题的答案:1 2 3 4 console.log(sherlock.surname);...

Sat Mar 21, 2020 07:37

Build your own newsfeed

Ready to give it a go?
Start a 14-day trial, no credit card required.

Create account