其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
應該係話undergraduate冇
連登好似唔見code4food上水
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
應該係話undergraduate冇
HKU咁垃圾,得咁少科
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎，有冇得take啲postgrad course
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎，有冇得take啲postgrad course
冇
elective入面揀5科，除左Principle of prog lang之外揀咩好?
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎，有冇得take啲postgrad course
冇
elective入面揀5科，除左Principle of prog lang之外揀咩好?
quit u重練啦仲諗
compiler cu冇，俾我會想讀，好似會包埋啲formal language theory
Machine Learning同computer vision都好似幾正咁
不過都係睇興趣揀算啦，啱第二個嘅科又唔一定啱你
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎，有冇得take啲postgrad course
冇
elective入面揀5科，除左Principle of prog lang之外揀咩好?
quit u重練啦仲諗
compiler cu冇，俾我會想讀，好似會包埋啲formal language theory
Machine Learning同computer vision都好似幾正咁
不過都係睇興趣揀算啦，啱第二個嘅科又唔一定啱你
寫compiler/扮cpu咪computer architecture
利申讀緊
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
又真係唔多theory喎，有冇得take啲postgrad course
冇
elective入面揀5科，除左Principle of prog lang之外揀咩好?
quit u重練啦仲諗
compiler cu冇，俾我會想讀，好似會包埋啲formal language theory
Machine Learning同computer vision都好似幾正咁
不過都係睇興趣揀算啦，啱第二個嘅科又唔一定啱你
寫compiler/扮cpu咪computer architecture
利申讀緊
扮cpu
想學data structure, 有無入門書推介
Introduction to Algorithm
看門口用嘅, 基本上你唔係做啲好chur嘅野都夠用
雖然叫呢個名但係入面都好多data struct野
http://www.csie.ntnu.edu.tw/~u91029/
演算法筆記, 一個台灣blog, 由data struct到graph theory, discrete maths咩都有
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
不過我都覺依家cs 似software engine 多過cs
特別而家咁缺IT人其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
齋讀compiler應該無啦
principles of programming language嗰啲都無人讀，點開compiler
加上香港班prof學者為主，呢啲實戰野應該唔係好掂
我仲記得我讀嗰陣個prof講到明唔識optimisation嗰part
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
齋讀compiler應該無啦
principles of programming language嗰啲都無人讀，點開compiler
加上香港班prof學者為主，呢啲實戰野應該唔係好掂
我仲記得我讀嗰陣個prof講到明唔識optimisation嗰part
聽聞兩年前有個做compiler都算勁既人想去ust，跟住ust無要到
咁又係既，compiler呢d難d攞funding，以ust既性格都係寧願要ai,cloud, networking嗰d人
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
齋讀compiler應該無啦
principles of programming language嗰啲都無人讀，點開compiler
加上香港班prof學者為主，呢啲實戰野應該唔係好掂
我仲記得我讀嗰陣個prof講到明唔識optimisation嗰part
聽聞兩年前有個做compiler都算勁既人想去ust，跟住ust無要到
咁又係既，compiler呢d難d攞funding，以ust既性格都係寧願要ai,cloud, networking嗰d人
聽番嚟咋
UST而家走緊兩個方向
prof嗰邊谷出紙
學生嗰邊谷開startup
好唔好見人見智
但一間學術機構好似工廠咁有嘜為
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
齋讀compiler應該無啦
principles of programming language嗰啲都無人讀，點開compiler
加上香港班prof學者為主，呢啲實戰野應該唔係好掂
我仲記得我讀嗰陣個prof講到明唔識optimisation嗰part
聽聞兩年前有個做compiler都算勁既人想去ust，跟住ust無要到
咁又係既，compiler呢d難d攞funding，以ust既性格都係寧願要ai,cloud, networking嗰d人
聽番嚟咋
UST而家走緊兩個方向
prof嗰邊谷出紙
學生嗰邊谷開startup
好唔好見人見智
但一間學術機構好似工廠咁有嘜為
但自學欠交流係真既有興趣讀compiler既巴絲可以考慮下睇d名校lecture, github大把
我之前睇過d, 但係有時自己一個睇搞唔掂, 搵人一齊研究下
d prof/tutor有時會直接攞人地份notes上堂
唔洗驚話人地高你好多班
有興趣讀compiler既巴絲可以考慮下睇d名校lecture, github大把
我之前睇過d, 但係有時自己一個睇搞唔掂, 搵人一齊研究下
d prof/tutor有時會直接攞人地份notes上堂
唔洗驚話人地高你好多班
我好似download曬coursera個standford compiler course既video同notes
但係到依家都未睇
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
Agger
如果淨係想學practical coding/software eng不如自學仲快
入得CS點都要玩下theory，當培養科研/解難能力都好
巴打都係cucs？
hku好似冇theory of computation喱一科
http://www.cs.hku.hk/programme/courses-offered.jsp
拿拿臨搭洗頭艇過去CU sit in旁聽啦, 唔好劣啦!
compiler 重有香港U有得讀咩
唔係cut鬼哂？
齋讀compiler應該無啦
principles of programming language嗰啲都無人讀，點開compiler
加上香港班prof學者為主，呢啲實戰野應該唔係好掂
我仲記得我讀嗰陣個prof講到明唔識optimisation嗰part
聽聞兩年前有個做compiler都算勁既人想去ust，跟住ust無要到
咁又係既，compiler呢d難d攞funding，以ust既性格都係寧願要ai,cloud, networking嗰d人
聽番嚟咋
UST而家走緊兩個方向
prof嗰邊谷出紙
學生嗰邊谷開startup
好唔好見人見智
但一間學術機構好似工廠咁有嘜為
