| Conf | Deadline | Conf |
|---|---|---|
| FSE 18 | <2018-03-09 Fri> | |
| ICFP 18 | <2018-03-16 Fri> | |
| ASE 18 | <2018-04-19 Thu> | |
| OSDI 18 | <2018-04-26 Thu> | |
| POPL 18 | <2017-07-07 Fri> | <2018-01-08 Mon> |
| ICSE 18 | <2017-08-25 Fri> | <2018-05-27 Sun> |
| PLDI 18 | <2017-11-16 Thu> | <2018-06-20 Wed> |
There’s always a tmp buffer, a BackUp, and an other page.
- chrome extension.
- VPN
- Mac
- Windows has AutoHotKey
I got some of the notes from computation theory class. NP, NP problems, NPC, Approximation, Linear Programming, Turing Machine, Decidability. And some from AI class too: Search algorithm, Name Algorithm, Machine Learning, Artificial Intelligence, probability.
Some related posts String algorithms, Palindrome, data structure, old data structure page, algorithm in practice.
The bar is 45lb.
| day | squat (lb) | Bench | Row | OH Press | Dead lift | weight | Running (mile) |
|---|---|---|---|---|---|---|---|
| / | < | < | < | < | < | ||
| <2017-04-14 Fri> | 4.18 | ||||||
| <2017-04-13 Thu> | 3.75 | ||||||
| <2017-04-09 Sun> | 25 | ||||||
| <2017-04-05 Wed> | 125 | ||||||
| <2017-03-27 Mon> | 155 | 125 | 125 | 137 | |||
| <2017-03-26 Sun> | 145 | 55 | 135 | 137 | |||
| <2016-12-20 Tue> | 175 | 115 | 115 | 137 | |||
| <2016-10-29 Sat> | 200 | 70 | 195 | 140.2 | |||
| <2016-10-27 Thu> | 195 | 125* | 120 | ||||
| <2016-10-24 Mon> | 190 | 70* | 185 | ||||
| <2016-10-17 Mon> | 185 | 125* | 120 | 136.0 | |||
| <2016-10-16 Sun> | 180 | 65 | 175 | 138.2 | |||
| <2016-10-13 Thu> | 180* | 125* | 120* | 136.2 | |||
| <2016-10-12 Wed> | 180* | 65* | 165 | 136.2 | |||
| <2016-10-11 Tue> | 180* | 115 | 120* | 136.6 | |||
| <2016-10-10 Mon> | 175 | 65* | 155 | 137.2 | |||
| <2016-10-09 Sun> | 165 | 105 | 105 | 136.8 | |||
| <2016-10-06 Thu> | 155 | 55 | 135 | 135.8 | |||
| <2016-10-05 Wed> | 145 | 95 | 65 | ||||
| <2016-10-04 Tue> | 115 | 45 | 115 | ||||
| <2016-09-18 Sun> | 145 | 95 | 65 | ||||
| <2016-08-31 Wed> | 145 | 55 | 135 | ||||
| <2016-08-15 Mon> | 145 | 95 | 65 | ||||
| <2016-07-25 Mon> | 170 | 55 | 135 | ||||
| <2016-07-21 Thu> | 165 | 110 | 75 | ||||
| <2016-07-19 Tue> | 160 | 50 | 115 | ||||
| <2016-07-18 Mon> | 155 | 105 | 70 | ||||
| <2016-07-14 Thu> | 150 | 45 | 105 | ||||
| <2016-07-13 Wed> | 145 | 95 | 65 | ||||
| <2016-06-24 Fri> | 165 | 60 | 135 | ||||
| <2016-06-22 Thu> | 155 | 95 | 75 | ||||
| <2016-06-19 Sun> | 145 | 55 | 120 | ||||
| <2016-06-04 Sat> | 155 | 115 | 95 | ||||
| <2016-05-24 Tue> | 175 | 70 | 155 | ||||
| <2016-05-20 Fri> | 175 | 125 | 100 | ||||
| <2016-05-16 Mon> | 170 | 70 | 145 | ||||
| <2016-05-12 Thu> | 165 | 125 | 95 | ||||
| <2016-05-11 Wed> | 180 | 65 | 135 | ||||
| <2016-05-10 Tue> | 175 | 120 | 85 | ||||
| <2016-05-07 Sat> | 170 | 65 | 125 | ||||
| <2016-05-05 Thu> | 165 | 115 | 80 | ||||
| <2016-05-03 Tue> | 160 | 65 | 115 | ||||
| <2016-05-01 Sun> | 160 | 110 | 75 | ||||
| <2016-04-28 Thu> | 155 | 60 | 105 | ||||
| <2016-04-22 Fri> | 150 | 105 | 70 | ||||
| <2016-04-20 Wed> | 145 | 55 | 95 | ||||
| <2016-04-18 Mon> | 140 | 95 | 65 |
- [ ] https://github.com/overtone/overtone/
- [ ] http://emacs-doctor.com/emacs-org-babel-overtone-intro.html
- [ ] clojure(Leiningen)
- [ ] http://overtone.github.io/
- [ ] http://freesound.org/
- [ ] SuperCollider http://supercollider.github.io/
- [ ] ChucK, Overtone, Extempore. Pd and Max/MSP
- [ ] Sonic Pi
- [ ] xtlang
- hear about he uses lisp
- second author of AI modern approach book
- library: dash.el, s.el
- package: multiple-cursors.el, expand-region.el, stasis
- website: emacsrocks.com
He wrote many blog posts about parsers, C, lisp, including the clang example repository.
Testing systems are typically evaluated using three metrics cite:2014-ESE-Avgerinos
- number of real bugs found
- node coverage (stmt coverage, finite)
- path coverage (infinite, need approximate)
Some git repos
From https://jaxenter.com/aaaand-gone-true-cost-interruptions-128741.html
When you’re operating on the maker’s schedule, meetings are a disaster. A single meeting can blow a whole afternoon, by breaking it into two pieces each too small to do anything hard in. Plus you have to remember to go to the meeting. That’s no problem for someone on the manager’s schedule. There’s always something coming on the next hour; the only question is what. But when someone on the maker’s schedule has a meeting, they have to think about it.
I find one meeting can sometimes affect a whole day. A meeting commonly blows at least half a day, by breaking up a morning or afternoon. But in addition there’s sometimes a cascading effect. If I know the afternoon is going to be broken up, I’m slightly less likely to start something ambitious in the morning. I know this may sound oversensitive, but if you’re a maker, think of your own case. Don’t your spirits rise at the thought of having an entire day free to work, with no appointments at all? Well, that means your spirits are correspondingly depressed when you don’t. And ambitious projects are by definition close to the limits of your capacity. A small decrease in morale is enough to kill them off.
Working late at night might sound like a good idea because there are no (or at least less) interruptions but even programmers need to sleep if they want to avoid burnout.
From https://www.reddit.com/r/programming/comments/4zp5dt/the_true_cost_of_interruptions_game_developer/:
Developers don’t try to do hard things when an interruption is impending.
Honestly it’s one reason I like instant messaging, whether individual or in a group conversation (IRC, Slack, etc.). I can see a notification out of the corner of my eye, but it doesn’t have the same urgency to respond as, say, a phone call. At a minimum it lets me complete the thought (e.g. finish writing a paragraph) before I look at the message.
It’s also a reason to appreciate working remotely. Nobody “just happens to stop by my desk.”
他极关爱学生，把学生当数学一样爱护，学生却把他当文学一样糟践。
矛、锤、弓、弩、铳，鞭、简、剑、链、挝。斧、铖并戈、戟，牌、棒与枪、杈。
丁丁哥哥说，你懂得越多，你就越像这个世界的孤儿。
我只记得我是一个查眼保健操的时候同学们有没有闭眼的人，这就是曰复一日机 械的工作带给人们的恶果。
连电话丢了，都能一个电话就搞定了。
在这样一个世界里，你用脑子想过的事情，你总是以为你已经做过了。
他们先行，我替他们收拾着因为跑太快从口袋里跌落的扑克牌，我始终跑在他们 划破的气流里，不过我也不曾觉得风阻会减小一些，只是他们替我撞过了每一堵 我可能要撞的高墙，摔落了每一道我可能要落进的沟壑，然后告诉我，这条路没 有错，继续前行吧，但是你已经用掉了一次帮助的机会，再见了朋友。
愚蠢和幽默往往只有语气之别。
这小镇最穷的是教育最富的是教育局。
懂事只是指一种克制，不让自己的本性露出来，本性终究是本性，过久了就会自 己露出来。
所谓看破红尘就是把原本美好的红尘看成了破烂！”
能不远不近地彼此陪伴着，不是已经很好了吗？
有些话，年轻的时候羞于启齿，等到张得开嘴时，已是人近中年，且远隔万重山水。
可一直以来我都明白，那些年不是我在罩着你，而是你在心疼我。
今宵除夕，再过几个小时就能收到你的新年短信了，此时我在云南丽江，有酒有 琴有满屋子的江湖老友。你呢？杂草一样的你，现在摇曳在何方？ 好好的哦。 乖，摸摸头。
我有一碗酒，可以慰风尘。
无他，在这个不懂得反思的时代，有些故事应该被后人知晓。 不奢望铭记，知 晓即可。 有庙堂正史，亦应有民间修史，何为史？末学浅见，五个字：真实的 故事。 是对是错，是正是反，百年后世人自有分晓，但无论如何，请别让它湮 没，那些鲜活和真实的细节，有权利被人知晓。
她哭着喊：对不起，对不起，对不起…… 它贴在地面上的脑袋猛地抬了一下，好 像意识到了些什么，脖子开始拼命地使劲，努力地想回头看她一眼，腿使劲尾巴 使劲全身都在使劲…… 终究没能回过头来。 白瓷盆里空空的，今天她还没来得及 喂它吃东西。
不管是欠别人，还是欠自己，你曾欠下过多少个“对不起”？ 时间无情第一，它 才不在乎你是否还是一个孩子，你只要稍一耽搁、稍一犹豫，它立马帮你决定故 事的结局。 它会把你欠下的对不起，变成还不起。 又会把很多对不起，变成来 不及。
她哭着喊：对不起，对不起，对不起…… 它贴在地面上的脑袋猛地抬了一下，好 像意识到了些什么，脖子开始拼命地使劲，努力地想回头看她一眼，腿使劲尾巴 使劲全身都在使劲……
终究没能回过头来。
白瓷盆里空空的，今天她还没来得及喂它吃东西。
有一天，他从台灯下抬起头，冲着客厅里的她说：等我考上研究生了……将来找份 挣大钱的好工作，然后带你和爸爸去旅行，咱们去希腊的圣托里尼岛，碧海蓝天 白房子，漂亮死了。 她从沙发上跳下来，跑过去找哥哥拉钩。她嘴里含着巧克 力豆，心里也是。
他是个成绩不错的大学生，有奖学金，经常抢过电脑来翻她的淘宝购物车，一样 一样地复制下地址，然后登录自己的账户，替她付款。
她哭着问：爸爸，你到底什么时候才能好起来？ 她说：爸爸没了…… 她说：你什么时候才能好起来……
图片上她平静地注视着镜头，左手搂着一幅黑框相片，右手是另一幅黑框相片。 碧海蓝天白房子，微博发自圣托里尼。
不管是欠别人，还是欠自己，你曾欠下过多少个“对不起”？ 时间无情第一，它 才不在乎你是否还是一个孩子，你只要稍一耽搁、稍一犹豫，它立马帮你决定故 事的结局。 它会把你欠下的对不起，变成还不起。 又会把很多对不起，变成来 不及。 我不确定她最后是否跑赢了时间，那句“对不起”，是否来得及。
她还不想那么快就长大。
没有什么过不去，只是再也回不去了。
短暂的青春像是一根烟，不知何时不小心被点燃 美丽的青春就像一杯酒，喝醉 再醒来我已经白头