Mgccl's Ivory Towerso tired

Originally, my idea for the problem database is actually something stored in some common database system, and I create tools to access it easily.

Later I found it's possible to store it like open source programs.

There is no database, it's only a collection of links and a collection of standard interfaces.

In fact, on the implementation side:
Each problem has it's own git repository, acting as a submodule of the problem database. There is a supermodule with links to each git repository, with a basic set of meta data of each submodule to speed up basic operations.

Then there will be a system indexing all the submodules, for searching purposes.

Every user only need a git client to find the newest updates.

Since each problem has it's own git repository, people who started the problem have complete control over who has permission to read/edit the problem.
This also means people can create their own set of problems. It's just another git repository.

The question of storage has been solved.

Now there is a need of some standards, like where should each piece of information be. I will try to figure out later.

There are a few reasons bring open source development idea on contents not a good idea.
Most problems only need to be updated once. The convenience of problem creation matters a lot more than fast problem editing.

My current design are not bad for editing, but creation of a problem manually is a nightmare.
A problem with nothing but a problem statement in latex requires:
First create a directory with the problem ID, move into it.
Then create a directory called "latex", move into it.
create a file called "problem_statement_0.tex", open it, put in the latex code required to generate the problem.
It becomes more difficult if there are other information of the problem that have to be stored in other ways.
Editing is super easy, open that file and edit it like it's a normal tex file.

The other extreme is to aggregate all information and store it in a human editable JSON file. Editing it manually is not a simple task, one have to understand JSON and have the ability to escape strings.

There is a way combine the best of both world, which is to create a user interface allow rapid problem creation. Which I did. I made a (horrible) interface that is good enough for me to get 5 years worth of Putnam problem in JSON format in less than 10 minutes. Then I wrote a program to convert JSON to the directory based form, which means it can be converted to git repositories really easy.

I will release some kind of demo when I get all the Putnam problems + some IMO problems in. There need to be some amount of data for me to actually produce something interesting.

我微积分太弱了.
别说一般的中国大学生,就是美国的大学生,微积分水平都有不少比我强的.
我又不是一般的工科,所以我要微积分也没啥用.
数学方面我还是喜欢证明东东的. 算东东Mathematica可以做的很好.

AMS 311第五章的作业我做的头晕. 积分一堆一堆的.

可能这个课结束之后,我就再也不用算积分了.

早6AM我在这里写这个玩意,一晚上都没有睡觉. 因为做作业做到了5am.
数分钟前才AC一个水题.

这段时间我的productivity真低. 都是考试的压力.
541考的还好. 比practice还简单了. 以后不用担心这门课了. 我完全入门了.
似乎学习学到某一个程度...我就真的学不下去了...
541考试就是那样的,我知道不去做某些东西,我就会挂掉. 但是我死命的不想做那些东西.

估计这就是所谓的Burnout的状态吧. Burnout会让我对我原来感兴趣的东西不感兴趣. 没有了兴趣我就空虚了. 因为我兴趣爱好就这几个,不像一些丢失一个兴趣还有一堆其他可以玩的.

人空虚了...如果被扎破...就会漏气...然后瘪掉...

这样AMS 311变成最难的课了.

CSE 373考试, 100分的卷子只拿到98. 因为少写了个"balance",扣掉2分= =. 我太弱了. 还是Skiena发卷子给我的. 叫我的名字都叫不出. >.<

jiayu等人知道REU的存在,准备去申请. 不错不错.

空虚...嘿,突然又对女生有兴趣了. 昨天见到一个可爱女生. 但是正在和jiayu讨论CSE 555的extra credit问题. 所以不好去搭讪.

我逃了一次CSE 555去AMS 261. 原因... 为了看正妹... 没看到... 再也不去了...

头发长了,胡子长了. 猥琐大叔这样的形式搭讪会挂的. meh, spring break之后估计我就回到开学的时候的头发状态了...也有可能spring break呆在学校,头发继续变长.

我有个口头禅...
"强者不XX"
比如...
"你不冷么?"
"强者不会冷."

"你不累么?"
"强者不会累."
依次类推... "强者不会挂科." "强者不用吃饭." "强者不懂什么是睡觉."

我怎么总是穿同一件衣服? 我其实就几个衣服,所以很有可能一个人看到的是我上次穿的衣服. 这几个衣服,我从高中穿到现在. 冷的时候都是这样的. 夏天就是t-shirt.

说起来,这个extra credit问题,有必要说说. 这个是hw1的题目. 如果想到解,答案马上就出来了. 没有想到还要推一会.

在R^2上,定义一个集合. 使得集合中任意两点.连成一条线段. 将这个线段作为一个圆的直径. 这这个圆里所有的点存在于这个集合中. 描述一下这个集合是什么样的.

Hint: 答案就两种,都很无聊.

如果我有超能力...我还会遵守这个世界的法则么?

超能力n多...
我想,可以读取其他人在想啥是满强的超能力.
隐身也不错.
瞬间移动,时间倒流.
我真有那些能力,我早就不把法律放在眼里了. 我会做任何我爽的事情.

奇特...我正常生活中,也不是因为法律而不去做某些事情...
比如我不杀人. 这并不是法律说杀人违法. 而是我认为杀人是残忍的事情. 而我不愿意做残忍的事情.
所以我心中有一种对和错的估价函数.

有些估价函数会因为我自己的能力而改变. 比如如果我能抢银行,没有任何危险的弄到大笔的钱. 我感觉可以去做的.

真希望有这样的工作,我每天就抱怨一些我不喜欢的事情. 其他人就会改善,尽量让我没法抱怨. 还给我发工资.

我已经无聊到写这样白痴文了.
晚上不睡觉就会白痴,大家请无视.

Calculus are for engineering(especially physics related) students. I thought a Math/CS majors like me would never use calculus after the completion of the calculus sequence. I don't intend to learn calculus to the point that I can do integrals like my second nature.

Then today I was doing AMS 311's HW 5. It requires immense calculus power. I wasn't aware of how much calculus was required for this course. Now it replaced CSE 541 as the hardest course ever.(CSE 541's midterm is pretty ez, in fact, I feel CSE 541 is really really ez now... as long as I understand the tower of definition and really long proofs)

I should have seen it coming, it's a AMS classes that have to work with continuous functions. AMS don't use analysis to prove thing, they calculate stuff. Calculus is RIGHT THERE.

This is not the first time I noticed how I suck at calculus.

I never got calculus. so what if I got 9 in math placement because of the AP test. If I go and take a MAT 131 final right now I would surely fail.

This lack of calculus skill have struck me at least 3 times since I'm in the university.

1. While doing MAT 305, I found it's impossible to do some integrals without a table of integral around me. I also have to look up integration by parts.
2. People around me who are in calc 1 or calc 2 would ask me calc problems. and I can't answer them without help of mathematica. In fact, why ask me when one can use Wolfram Alpha? I can't provide any more insight than rephrase the question in a way a computer would understand.
3. During Putnam, I skipped any problem has differentiation or integration.

I remember I was having breakfast last semester, and someone gave me this simple limit problem, and I can't solve it even when I have finished breakfast. What a disappointment, people believed I can do MAT 131 level problems because I was in more advanced math courses. No, I just do different kind of math.

I'm sure I can improve my calculus problem solving technique to among the best by finish Demidovich's book of around 5000 calculus problems. I see no point in that though, since AMS 311 might be the last time I will ever really do calculus.

There are many different websites running on different themes.
Some websites have the same kind of sections, but presented in a different way.
For example, the navigation is on the right instead of left. Recent comment bar is showing on the bottom instead of top or w/e.
Each time I go on a website I have to get used to the interface.
If I'm only going to use this website once, it still take time to find information I need.

Semantic web is nice. Because I can ignore all the web design, and apply my own set of templates on all of them.

Semantic web NOW!

I have to complain because I have nothing better to do. Now I'm happy and going back to study for the midterm.

I wish I can get paid for complaining.

每次觉得自己强大了,就会自满了.
所以我就要找时间和JJ说话. 和她说话的结果一般是受打击到3天不吃不喝躲在房间里哭. JJ上的Analysis里面,一半人去过IMO. 就这一个信息已经能让我低调3个月了.

这些日子DotA,导致做作业常常是要教作业前一天才写出来. 堕落哇. 以后要少DotA了.

课程
AMS 311开始需要微积分了, 希望基础不是太差.
AMS 301虐~~~.
CSE 350作业挂掉. 不说了, CFG真的不容易想.
CSE 392没有进展.
CSE 373和往常一样.
CSE 555作业due date一再推后. 作业也越来越难了. 教科书上的题目简直都不用思考的.
CSE 541 practice midterm挂, 等待最终midterm的审判. 所以放弃一切其他东东的学习.
ITS 102逃了

我顺便花了点时间考虑一下题库. 我现在正在录入自己写的所有题目. 每个题目用的是一个JSON文件, 这样容易放入MongoDB. 哪天弄个Team慢慢做那玩意.

越来越多的人有女友了.

我发现了3个数学系的男生没有手机. 而且这3个人是我暂时唯一知道的没有手机的人.
不得不提出猜想.
SBU没手机的都是数学系的男生.

哇,两个女生和我说话耶.

当天我在Deli,买了点食物,准备吃过之后就去看看Google的presentation.

路上见到上次带我去AMS 301考试的女生. 多亏了她我才没有考试挂掉. 我打招呼, 她也打招呼. 并且用中文和我说话.
orz.
有意思,她上AMS 310和AMS 311. 两个课程的overlap还算比较多的.
后来再说了点话.得知了她的名字.
回家renren上找,找不到. 太多重名的了- -.

我去Google的presentation. 很多人进去交上简历. 我的太弱了,直接不交了. 然后我弄了1只Google笔. 很难用的笔.
吃了点Pizza.
然后去Math Club. 教了点LaTeX,然后看牛人做complex analysis的东西,感觉自己太弱了.

今日MAT 160,虐简单题虐的很不爽. 出来看到一韩国女生坐在一个空空的教室里面做题. 这个韩国女生我常常看到. 但是从来没有机会和她说话.
所谓的常常,就是图书馆里面能看到,吃饭的时候能看到. 一星期看到次数超过5次.

于是我这学期以来第一次搭讪,也是我一生的第三次搭讪开始了.

我先说Hi, 你在我的AMS 301和311吧.
这句话开始了后面的所有对话.
我说我常常见到你哦. 你是不是也常常见到我.
她说没阿. 你在我们班么? 对不起,我总是坐在最前面,所以看不到后面.
= =
对话种了解到她是AMS的,还上MAT 303和MAT 200.
AMS 311考试拿了100分.(250满分)
她看起来是蛮认真的.
后来对了下答案(这个时候用LaTeX做作业真的体现出优点了. 她看不到我的字迹,只能看到完美的排版! 完美作业真是好阿. wahahahahahaha)
她朋友(似乎是男朋友)来了把她弄走了. 她说再见,因为她要去上课了.
本人大窘. 我也在同一个课堂耶. 算了...
我进去交了作业.就出来了.

感慨.
原来搭讪这么简单哦.
我干脆搭讪整个CSE 555/541吧.