发指的语言# LeisureTime - 读书听歌看电影S*n2011-09-29 07:091 楼太发指了,一堆ground term,连alias都没有,太古老了,再加上递归。。。但是,哈哈哈,通一下宵,還是被我搞定了 XDDDrevise了library,增加了数据结构,改了heuristic,fix了bug,结果显著变好了。。。哈哈哈
b*e2011-09-29 07:092 楼赞,出paper吧。发包子!【在 S***n 的大作中提到】: 太发指了,一堆ground term,连alias都没有,太古老了,再加上递归。。。: 但是,哈哈哈,通一下宵,還是被我搞定了 XDDD: revise了library,增加了数据结构,改了heuristic,fix了bug,结果显著变好了。。: 。哈哈哈
b*s2011-09-29 07:094 楼赞一下通宵做Project。活力充沛呀。比比自己就很惭愧,上班的时候灌水聊天读闲书,下班以后健身房游戏Netflix加闲书。通宵不睡的时候都不知道自己在干啥,呵呵。敢问是什么发指的语言?玛雅人发明的?【在 S***n 的大作中提到】: 太发指了,一堆ground term,连alias都没有,太古老了,再加上递归。。。: 但是,哈哈哈,通一下宵,還是被我搞定了 XDDD: revise了library,增加了数据结构,改了heuristic,fix了bug,结果显著变好了。。: 。哈哈哈
b*o2011-09-29 07:095 楼发指的 show off, 哈哈。【在 S***n 的大作中提到】: 太发指了,一堆ground term,连alias都没有,太古老了,再加上递归。。。: 但是,哈哈哈,通一下宵,還是被我搞定了 XDDD: revise了library,增加了数据结构,改了heuristic,fix了bug,结果显著变好了。。: 。哈哈哈
A*12011-09-29 07:096 楼厉害,赞!【在 S***n 的大作中提到】: 太发指了,一堆ground term,连alias都没有,太古老了,再加上递归。。。: 但是,哈哈哈,通一下宵,還是被我搞定了 XDDD: revise了library,增加了数据结构,改了heuristic,fix了bug,结果显著变好了。。: 。哈哈哈
S*n2011-09-29 07:097 楼//heehee,所以我很喜欢和老板weekly meeting,或者一个week meet 两次,这样才能确保一个礼拜有一天(一晚上)认真干活。我比较满热,要花很长时间酝酿情绪,进入角色后就能发奋直到问题解决。太不健康了。。【在 j****1 的大作中提到】: 赞效率~向你学习~
S*n2011-09-29 07:098 楼确实是帮paper作的,算法和证明的draft都有了,所以要验证结果。这么点结果太少。算positive starting point吧。【在 b***e 的大作中提到】: 赞,出paper吧。: 发包子!
S*n2011-09-29 07:099 楼bso阿--我就是没life的loser啦。其实不算太老,和ocaml差不多年纪,差不多类型,但是更academia一点,一些语言设计不够成熟。为了压缩state space,code写的很不human readible,用了很多groundterms,最长的一个term有三行。。。而且syntax highlight作的也很烂,基本就靠肉眼+括号匹配了。幸亏有emacs,如果上下左右键,光想我都觉得崩溃。【在 b*s 的大作中提到】: 赞一下通宵做Project。活力充沛呀。: 比比自己就很惭愧,上班的时候灌水聊天读闲书,下班以后健身房游戏Netflix加闲书: 。通宵不睡的时候都不知道自己在干啥,呵呵。: 敢问是什么发指的语言?玛雅人发明的?
b*s2011-09-29 07:0910 楼哪里是loser呀,崇敬都来不及呢。我一向对做编译系统和语言的都极为崇敬。原来学Aho的那本编译器就一直没有学通,就是最后对教授用Social Engineering等非学术手段才通关。对于编译器和语言,虽然一直都在用,但是这些工具的创作者,跟我们这种普通码工不是一个级别上的。我对于做语言级别上大拿只能是仰视。膜拜一下先。ground【在 S***n 的大作中提到】: bso阿--我就是没life的loser啦。: 其实不算太老,和ocaml差不多年纪,差不多类型,但是更academia一点,一些语言设: 计不够成熟。为了压缩state space,code写的很不human readible,用了很多ground: terms,最长的一个term有三行。。。而且syntax highlight作的也很烂,基本就靠肉: 眼+括号匹配了。幸亏有emacs,如果上下左右键,光想我都觉得崩溃。