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