其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
on9...
學埋啲language野
讀好啲數
出黎做NLP, computer vision, robotics, machine learning, FG都有2X-3Xk
Ml好高要求wor清
係囉, 連登仔個個都有十個八個PhD既實力, 可以當ML係小兒科咁!
(我讀過Stat去到MANOVA既程度都唔敢掂ML!)
都有啲低水準啲的ML,冇人叫你下下做Deep NN
啲fiance sector的modeling 其實都好好pay
on9...
學埋啲language野
讀好啲數
出黎做NLP, computer vision, robotics, machine learning, FG都有2X-3Xk
Ml好高要求wor清
係囉, 連登仔個個都有十個八個PhD既實力, 可以當ML係小兒科咁!
(我讀過Stat去到MANOVA既程度都唔敢掂ML!
都有啲低水準啲的ML,冇人叫你下下做Deep NN
啲fiance sector的modeling 其實都好好pay
巴打做呢行？
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
咁你proof到邊隻language個type system未? 有冇成功感受分享下?!
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
咁你proof到邊隻language個type system未? 有冇成功感受分享下?!
有人proof 過JavaScript 你可以參考下
http://www.doc.ic.ac.uk/~gds/jscert_popl14.pdf
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
咁你proof到邊隻language個type system未? 有冇成功感受分享下?!
有人proof 過JavaScript 你可以參考下
http://www.doc.ic.ac.uk/~gds/jscert_popl14.pdf
OK.
BTW, 居然有人用mathematical proof既角度去話咁為之學好咗一個language? It's so funny but interesting!
咁冇勁數底[分分鐘可能要PhD級]又做唔到coq proof既人就千祈唔好話自己master咗一個programming language, 至少唔好係你面前, 係咪呢?!
city cs好定poly computing好？
CU CS 好
加埋hku 同Ust 又邊個好
Ust教既野唔會差好遠 但係好chur 好爛grade
但係啲ust resources 好啲 啲assignment lab 學到好多野 prof 同ta 好有心去design
HKU CS 唔多好, 仲都好多入ibank
我之前係ASSO 升入U, 有UST同CU CS offer
我最後入左CU, 因為我鐘意CU 個 culture, alumni network 夠大, college, reputation
但我覺得UST 既CS 好D.. D 學生認真D, international D
但都係睇你自己主唔主動, 同埋鐘唔鐘意
唔好俾D人成日話UST chur呃左
CU/UST CS workload其實差唔多(一樣chur)
至於學生認真 我相信ust比例 比 CU高唔少，但如果你識班認真讀書既同學一齊上堂應該冇咩分別
international答你唔到
至於老細睇CU/UST幾乎一樣，睇人多過睇學校
利申：舊年CU fg，同個ust cs fd一齊讀
我可能識你 haha
For CS, CU = UST > HKU,
閣下up乜春? 駛唔駛學埋OCaml(coq is written in OCaml)?
proof type system sound and complete
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
咁你proof到邊隻language個type system未? 有冇成功感受分享下?!
有人proof 過JavaScript 你可以參考下
http://www.doc.ic.ac.uk/~gds/jscert_popl14.pdf
OK.
BTW, 居然有人用mathematical proof既角度去話咁為之學好咗一個language? It's so funny but interesting!
咁冇勁數底[分分鐘可能要PhD級]又做唔到coq proof既人就千祈唔好話自己master咗一個programming language, 至少唔好係你面前, 係咪呢?!
大學既CS 其實好有用
concept 通常係冇咁短命
反而language, framework, 甚至programmimg practices 都係會轉得好快
唔好expect 自己識哂主流既野
10間公司可能會用10種唔同language唔同framework
唔好話fg, 就算你有十年經驗到你轉工時一樣都係從新pickup
我覺得大學學principal of programming language, software engineering, algorithm, database design principles, networking, 好多都終生受用
optional ge AI, web development, mobile, graphic, security, 甚至學創業, 是旦一樣都比一套某一範疇ge framework重要
睇哂成個POST,好多人都係想學practical野,覺得學theoretical 野無撚用(esp 工作上)
其實有呢種諗法既人根本唔需要讀大學,讀hd 已夠,內容夠practical,training 夠多,係咪?
大學唔等於職業訓練所,只係社會工作既一張入場卷
出左黎社會,你要再搵人上好theoretical 既 course 係好撚難(當然宜家有ocw) , 但係practical 野大把坊間course / 公仔書可以幫你pick up 番
基於呢種心態同風氣,香港需要既似乎唔係大學,而係醫學院同vocational school
巴打覺得data structures重唔重要
重要呀，前提係儲ge data 係有structure 同relationship,如果唔係應該用nosql
係咪搭錯咗線，我估佢應該係問heap, binary tree, hashmap, graph嗰啲data structures
我唔太清楚
其實我係本來想讀data structures但reg唔到
想知自己miss左既野重唔重要
Data structure同algorithm算係cs嘅基礎
講真你揾份普通dev用得著好深嘅algo/data struct嘅機會唔多
但係一用起上黎/自己design就見真章
再簡單嘅data struct都要解釋倒佢嘅complexity俾同事聽人地先放心俾你上
啲framework呀，language呀你自學都得，但係真係係u入面(or某啲programming比賽)先會學到呢類知識
應該都冇咩人會無啦啦攞本intro to algo黎刨
另外in啲好啲嘅it工見你係undergrad好多時候會問你algo/data struct，有備無患
Truth
Stat都係熱門問題
唯有自學
差唔多畢業
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
我間U一定要讀，仲要讀下啲簡單proof of soundness and completeness
CU CS 好
加埋hku 同Ust 又邊個好
Ust
但係啲ust resources 好啲 啲assignment lab 學到好多野 prof 同ta 好有心去design
HKU CS 唔多好, 仲都好多入ibank
我之前係ASSO 升入U, 有UST同CU CS offer
我最後入左CU, 因為我鐘意CU 個 culture, alumni network 夠大, college, reputation
但我覺得UST 既CS 好D.. D 學生認真D, international D
但都係睇你自己主唔主動, 同埋鐘唔鐘意
唔好俾D人成日話UST chur呃左
CU/UST CS workload其實差唔多(一樣chur)
至於學生認真 我相信ust比例 比 CU高唔少，但如果你識班認真讀書既同學一齊上堂應該冇咩分別
international答你唔到
至於老細睇CU/UST幾乎一樣，睇人多過睇學校
利申：舊年CU fg，同個ust cs fd一齊讀
我可能識你 haha
For CS, CU = UST > HKU,
其實點解?
利申 排第三嗰間
我都係讀computing
已經決定左畢業出黎搵份正苦工過世算
on9...
學埋啲language野
讀好啲數
出黎做NLP, computer vision, robotics, machine learning, FG都有2X-3Xk
Ml好高要求wor清
係囉, 連登仔個個都有十個八個PhD既實力, 可以當ML係小兒科咁!
(我讀過Stat去到MANOVA既程度都唔敢掂ML!
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
其實點為之學好咗一個language
可以用coq proof 個隻language 的soundness & completeness
computation theory
好似得一間必修
btw 以課程嚟講，如果問點解cu 好過ust
我會覺得係cu 科 automata 係必修而其他學校唔係
人生有讀theoretical cs 先叫做讀過cs
無呢科既只係讀緊software engineering
on9...
學埋啲language野
讀好啲數
出黎做NLP, computer vision, robotics, machine learning, FG都有2X-3Xk
Ml好高要求wor清
係囉, 連登仔個個都有十個八個PhD既實力, 可以當ML係小兒科咁!
(我讀過Stat去到MANOVA既程度都唔敢掂ML!
90% fg 無可能夠料做呢幾樣
特別係ml 混水摸魚既佔多數
A system is sound, if it never accepts a false positive program.
A system is complete, if it never accepts a false negative program.
What the hell is the coq proof related to "其實點為之學好咗一個language" ?
Coq只係tools，當然你可以用紙筆proof
Proof到代表你了解個language的type system
咁你proof到邊隻language個type system未? 有冇成功感受分享下?!
有人proof 過JavaScript 你可以參考下
http://www.doc.ic.ac.uk/~gds/jscert_popl14.pdf
OK.
BTW, 居然有人用mathematical proof既角度去話咁為之學好咗一個language? It's so funny but interesting!
咁冇勁數底[分分鐘可能要PhD級]又做唔到coq proof既人就千祈唔好話自己master咗一個programming language, 至少唔好係你面前, 係咪呢?!
