《软件分析》笔记

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

Regex Golf Solutions

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

2020 寒假编程辅导

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

“Notorious RBG” 摘抄

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

Google I/O 2019 游记

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

香港游记

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

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

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

2018 总结

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

数字逻辑电路实验 -- FGBA

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

ACM 退役总结

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

Google EP Intern 随想

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