作者:
jserv (松鼠)
140.116.245.162 (台灣)
2017-11-13 00:54:13 → chttl5566: 好久沒在台灣看到有人提到CBMC model checker了
上次還跟一個在微軟研究院的德國佬討論Z3
微軟用Z3來驗證hyper-v的正確性
應該是說 VCC 跟 Z3 381F 11-13 16:03
作者:
kaim3x (一世流離)
13.91.255.101 (美國)
2017-10-29 19:40:17 → chttl5566: 回QQQAQ 106十月進去 107發去年績效跟企業化還有員工酬勞時 因為未滿半年 所以不發
108發107時就有全額了 28F 10-29 20:19
→ chttl5566: 未滿半年是指106年未滿半年
離職後要回去 只要長官有愛 一切都行 32F 10-29 20:20
→ chttl5566: 菁英招募直接送資料等面試機會 沒在考試的啦
面試直接談薪水 不會以考試的新人待遇敘薪 85F 10-29 21:43
→ chttl5566: 而且是工會 不是公會 88F 10-29 21:44
→ chttl5566: 有工會不一定有保障 有的工會根本是被資方掌握
看看華航企業工會就知道 150F 10-30 00:46
→ chttl5566: 中華電信工會也是問題一堆 老朱跟老張的鬧劇還在繼續演 153F 10-30 00:47
作者:
Submariner (潛水者)
1.168.81.94 (台灣)
2017-09-29 19:10:36 推 chttl5566: TL新人起薪終於回到8年前的水準了 23F 09-30 18:31
→ chttl5566: 但是新人職階從專一變專三已經回不去了 25F 10-01 10:28
→ chttl5566: 職階可不是title 27F 10-01 18:27
作者:
zzzz8931 (宅男)
1.160.37.96 (台灣)
2017-08-06 13:06:20 → chttl5566: server市場?我笑! 67F 08-06 21:31
作者:
tigerzz3 (CC)
59.120.195.222 (台灣)
2017-07-25 13:09:14 噓 chttl5566: 你們家的前輩可不是這樣對待學生的 35F 07-25 13:12