其實點為之學好咗一個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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

其實點為之學好咗一個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？

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

:^(

我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness

好似得一間必修

:^(

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

好唔好見人見智
但一間學術機構好似工廠咁有嘜為