knpuu.com is back.

时隔几年,再次把本站跑起来了。 之前跑在Coding Pages上,后来它要求实名还是备案啥的就关掉了,一直都没有再跑起来。最近比较无聊就把本站复活了。 本站上一篇文章还是高中写的,现在本科都已经毕业了。 接下来主要的工作是对内容进行整理,有一些别处的文章需迁移回来。

微软苏州暑假实习面试经验分享

三月前通过内推申请了微软苏州的实习项目(2021 Graduates Summer Intern - Software Engineer Intern - STCA - Suzhou),3/13完成一面,3/31完成lead面(别问我为什么中间隔了这么久,可能他们太摸鱼了),面完之后给hr发邮件,回复说没什么问题,四月初进行后续流程。随便写点经验,可能对正在申请或准备申请微软苏州实习的同学有帮助。 内推很合理,可以直接免笔试(微软的笔试是在3/25举行的线上测试,内容大概是三四道算法题),建议都去内推(龙先生是我的恩师)。现在内推已经截止了,笔试也过了,但据说可以继续申请, …

选择的崇高

闻狄君加入钱老师实验室,不免有些思绪。狄君是我在协会相识的,十分出色的同学;钱老师则是我的大一程序设计课程的老师,也是我所见过的浙大计算机学院的中,为数不多的能够令人感受到对计算机科学的热忱的老师。当初狄君在计算机学院面试时主面试官恰巧是钱徽老师(彼时的狄君还并不知晓这一点),后来在选课之时,我也大力推荐狄君选择钱老师的程序设计专题,这经历无疑是令人感觉颇为奇妙的。 我们时刻都在做选择,这些选择有些在当时的节点看来不过稀熟平常,但是日后它们的意义便会显露,有时甚至会引向迥然不同的人生之路。在选课时选择钱徽老师的程序设计专题并非易事,因为这课程与面向大类学生的程序设计专题有所 …

我的2018

紫金港一角 转眼间,来到大学的第三个学期也将要结束了,2018年也要随之一同成为过去。按照以往的惯例,我每年这个时候(有些年或许在农历新年前夕)都要写这样一篇博文,来谈谈过去的一年。 今天刚看到一个说法,所谓的年终总结,其实就是对一年的流水账式复述,将一年中懒得写懒得说的一些东西一次性的整合出来。一年里想写的东西自然有许多,例如《我所知道的10号机房》,再如一篇完整的高中后记。但是一年里的大部分时间却又总是懒得起笔,常常写了几字就丢下不管;如今又不像从前,可以心安理得地写出各种行文正常或不正常的短文,要末就是斟酌文字,删删改改,最后全部删掉。 但是现在,还是谈谈这些吧。 该 …

计算机科学中的抽象 - 符号与值

1 从语言的符号开始 「one」、「一」、「1」、「I」、「いち」是符号,而它们却共同代表的同一种东西,也就是那个数字,那个永远只能是以概念的形式存在,而我们却永远只能用符号来使用的东西。在语言学的理论中,前者被称为能指(signifier),而后者被称为所指(signified)。可以说,符号的抽象是人类最早习得的、也是最基础的抽象。在上面的例子中,符号代指了一个抽象的概念,有时候也会代指某个实在之物,例如我的名字就是我这个人的一个代指的符号。毫无疑问,我们最早学会的抽象就是认识到某个实在之物的名字与这个实在之物本身是不同的。随后我们学会了概念,这又在抽象上向前走了一步。 …