《软件分析》笔记

南京大学《软件分析》Yue Li and Tian Tan 课程主页, 视频 1. Course Introduction 课程介绍 PL 的分支 语言的分类:命令式 (C, Java)、函数式 (Haskell)、逻辑式/声明式 挑战:语言没有变,但是程序变复杂了, ...

Regex Golf Solutions

正则表达式练习(玩耍)网站 Regex Golf。 使用指南:点开右边的每一道题,可以看到两个 list。写出一个正则表达式,使得可以匹配(不要求完全匹配)左边列的每一个,不能匹配右边任意一个。 Classic Warmup: foo Anchors: k$ It neve ...

2020 寒假编程辅导

给小朋友开的编程课的讲义和练习题 OJ: 洛谷 1/19: 课程简介、运算符 1/20: 数据类型、洛谷关卡1-1前三题(P1000, P1001, P1421) 1/21: 输入输出、选择结构、洛谷关卡1-1第四题(P1425)、关卡1-2第一题(P1422) 1/2 ...

“Notorious RBG” 摘抄

Notorious RBG: The Life and Times of Ruth Bader Ginsburg(《异见时刻——“声名狼藉”的金斯伯格大法官》) [美] Irin Carmon & Shana Knizhnik 著 骆伟倩 译 一部关于美国联邦最高法院大法官鲁斯 ...

Google I/O 2019 游记

一觉睡到该吃晚饭,回想这一周,觉得像梦,逃走又不得不回来。 Before I/O 某天看到了 code jam to I/O,前 150 名送 I/O 门票,于是熬夜打了。 其实纠结了很久要不要去,因为报销 750 刀不太够用,但妈妈觉得有机会出去看看蛮好的。 签证签了两次才过,第一 ...

香港游记

流水账预警 感谢学校的免费学习(出去玩)的机会 欢迎报考拔尖班 Day 1 (2.18) 早起 航班体验堪比过山车 中文大学的午餐和讲座 下雨了没有参观 迷之酒店预订 晚餐翠华茶餐厅 Day 2 上午UST参观 午餐学校西餐厅 下午讲座+项目 晚餐麦当劳 ...

带负权边的无向图上的最短路径问题

路与路径 从前我一直有这样一个问题:最短路取负不就变成最长路了吗?为什么最短路有这么多算法,而最长路就 NP-Hard 了呢? 这是因为这里没有严格区分 trail(路或迹,可包含重复节点)和 path(路径,有时称简单路径,不包含重复节点)。 我们平常所说的最短路问题是希望计 ...

2018 总结

最开心事情是可以去实习吧,虽然真的是很大的挑战,但同时也收获了很多。 而且可以自己养活自己了。工资和奖学金够花一年了。 永远想念公司的饭。 还有这一年打了很多 ACM,然后终于拿到了金牌。 觉得非常幸运,不管是升学或者这样实习的机会,我总能运气很好地去到很厉害的地方、遇到很厉害的人。 ...

数字逻辑电路实验 -- FGBA

这是我和 Massimo 的数电综合试验报告, 代码放在 https://github.com/massimodong/fgba. 实验要求在开发板上实现一个简单计算机系统, 于是我们想写 GBA 模拟器, 实验名称的 FGBA 指 FPGA + GBA. 实验背景 Game Boy ...

ACM 退役总结

ACM生涯结束了 大一银,大二金 并没有很热爱 ACM,而且 WF 显然不可能 于是就退役吧 大概开始打 ACM 是因为不想浪费曾经学过的 OI 吧 反正自然而然就入坑了 后来发现其实打 ACM 的意义在于发的 T 恤 以及公费旅游 算法题真的很有趣啊 能和队友一起讨论很开 ...

Google EP Intern 随想

Google 是个很棒的地方。 感受最深的是,不会有很多限制,基本靠自觉。还有就是条件(环境)很舒适(公司真的什么都有)。 所有人之间都很平等,intern 和 host 之间,员工和领导之间。(除了担心被 boss 看到我打 ACM 之外。)跟学校里完全不同。 在 Google ...