发指的语言 - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>LeisureTime - 读书听歌看电影

发指的语言

发指的语言# LeisureTime - 读书听歌看电影

S*n2011-09-29 07:09

1 楼

太发指了，一堆ground term，连alias都没有，太古老了，再加上递归。。。
但是，哈哈哈，通一下宵，還是被我搞定了 XDDD
revise了library，增加了数据结构，改了heuristic，fix了bug，结果显著变好了。。
。哈哈哈

b*e2011-09-29 07:09

2 楼

赞，出paper吧。
发包子！

【在 S***n 的大作中提到】

: 太发指了，一堆ground term，连alias都没有，太古老了，再加上递归。。。
: 但是，哈哈哈，通一下宵，還是被我搞定了 XDDD
: revise了library，增加了数据结构，改了heuristic，fix了bug，结果显著变好了。。
: 。哈哈哈

j*12011-09-29 07:09

3 楼

赞效率～向你学习～

b*s2011-09-29 07:09

4 楼

赞一下通宵做Project。活力充沛呀。
比比自己就很惭愧，上班的时候灌水聊天读闲书，下班以后健身房游戏Netflix加闲书
。通宵不睡的时候都不知道自己在干啥，呵呵。
敢问是什么发指的语言？玛雅人发明的？

【在 S***n 的大作中提到】

b*o2011-09-29 07:09

5 楼

发指的 show off, 哈哈。

【在 S***n 的大作中提到】

A*12011-09-29 07:09

6 楼

厉害，赞！

【在 S***n 的大作中提到】

S*n2011-09-29 07:09

7 楼

//heehee，所以我很喜欢和老板weekly meeting，或者一个week meet 两次，这样才能
确保一个礼拜有一天（一晚上）认真干活。
我比较满热，要花很长时间酝酿情绪，进入角色后就能发奋直到问题解决。
太不健康了。。

【在 j****1 的大作中提到】

: 赞效率～向你学习～

S*n2011-09-29 07:09

8 楼

确实是帮paper作的，算法和证明的draft都有了，所以要验证结果。
这么点结果太少。算positive starting point吧。

【在 b***e 的大作中提到】

: 赞，出paper吧。
: 发包子！

S*n2011-09-29 07:09

9 楼

bso阿－－我就是没life的loser啦。
其实不算太老，和ocaml差不多年纪，差不多类型，但是更academia一点，一些语言设
计不够成熟。为了压缩state space，code写的很不human readible，用了很多ground
terms，最长的一个term有三行。。。而且syntax highlight作的也很烂，基本就靠肉
眼＋括号匹配了。幸亏有emacs，如果上下左右键，光想我都觉得崩溃。

【在 b*s 的大作中提到】

: 赞一下通宵做Project。活力充沛呀。
: 比比自己就很惭愧，上班的时候灌水聊天读闲书，下班以后健身房游戏Netflix加闲书
: 。通宵不睡的时候都不知道自己在干啥，呵呵。
: 敢问是什么发指的语言？玛雅人发明的？

b*s2011-09-29 07:09

10 楼

哪里是loser呀，崇敬都来不及呢。
我一向对做编译系统和语言的都极为崇敬。原来学Aho的那本编译器就一直没有学通，
就是最后对教授用Social Engineering等非学术手段才通关。对于编译器和语言，虽然
一直都在用，但是这些工具的创作者，跟我们这种普通码工不是一个级别上的。我对于
做语言级别上大拿只能是仰视。膜拜一下先。

ground

【在 S***n 的大作中提到】

: bso阿－－我就是没life的loser啦。
: 其实不算太老，和ocaml差不多年纪，差不多类型，但是更academia一点，一些语言设
: 计不够成熟。为了压缩state space，code写的很不human readible，用了很多ground
: terms，最长的一个term有三行。。。而且syntax highlight作的也很烂，基本就靠肉
: 眼＋括号匹配了。幸亏有emacs，如果上下左右键，光想我都觉得崩溃。