Solidot 公告
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
ken:feigaobox@gmail.com
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
投 票
热门文章
热门评论
- 这种发电没人用白白破坏水系山林的中小水电站在几年前就被清理了,哪里来的余电? (1 points, 一般) by solidot1528092189 在 2021年04月10日07时13分 星期六 评论到 到 2024 年中国的比特币挖矿产生的碳排放将达到 1.3 亿吨
- 哪里是技术的问题,明明白白是石壕吏的精神,不过用货拉拉技术包装了一下。。 (1 points, 一般) by solidot1528092189 在 2021年04月10日07时03分 星期六 评论到 “北斗掉线”事件背后:不懂人情的技术是残酷的
- (1 points, 一般) by podleader 在 2021年04月09日15时32分 星期五 评论到 美国将七家中国超算实体列入黑名单
- (1 points, 一般) by podleader 在 2021年04月08日16时42分 星期四 评论到 到 2024 年中国的比特币挖矿产生的碳排放将达到 1.3 亿吨
- (1 points, 一般) by podleader 在 2021年04月08日14时55分 星期四 评论到 印度法院要求字节跳动存入 1100 万美元
- 现在 signal 要扶墙了 (1 points, 一般) by sp42 在 2021年04月07日09时42分 星期三 评论到 Mark Zuckerberg 被发现使用 Signal
- 更多时候仅仅是规则问题。 (1 points, 一般) by solidot1528092189 在 2021年04月07日06时35分 星期三 评论到 做学术通常是一门家族生意
- 支持让讼棍 Oracle 倒台 (1 points, 一般) by hhding 在 2021年04月06日15时54分 星期二 评论到 美国最高法院裁决拷贝 Java API 是合理使用
- re:按照中国一些公司的思维防止怠倦不应该加班补时长吗? (1 points, 一般) by hhding 在 2021年04月06日09时55分 星期二 评论到 为防止工作倦怠 LinkedIn 给整个公司放假一周
- 《局外人》 (1 points, 一般) by cutpigsrollaroundint 在 2021年04月04日19时12分 星期日 评论到 如何分辨和识别撒谎者?
Shawn:黑叔叔,好久不见,我非常兴奋的看到一个现代版本的Scheme machine,这年头要么是Nix/Rust宗教狂热的存在要么就是基于商业化的吹牛逼,很少能看到老派黑客风格的产物,请你简单介绍一下LambdaChip是什么?
黑叔叔:首先,面对着gcc-rust的开发者之一,请停止吐槽Rust宗教,不过你可以继续吐槽基于LLVM的rustc。 LambdaChip是一个为物联网和嵌入式优化的虚拟机,老派黑客的减少并不影响产业的发展,他们会写一些这样的东西帮助new school的年轻人少加班。
Shawn:宗教问题先放一边,你的意思是说LambdaChip的目的是为了解放年轻一代的程序员,除此之外还有其他的险恶动机吗?另外,你可以介绍一下LambdaChip VM和Laco编译器吗?
黑叔叔:说解放年轻人那就太年轻了,不如说为了让年轻人在内卷的情况下能多个选择,将来有机会也许不用花十年时间去学习C语言就能在物联网产业混饭吃。 LambdaChip VM跟JVM一样是stack VM,它实现了函数式语言的大部分特性,这使得相关编译器的工作量减少,利于函数式语言编译器为它写后端。 Laco编译器的实现有个小插曲,它使用的是古老的CPS作为中间形式,这种方式曾一度被认为已经淘汰,直到2007年微软一名研究员在ICFP上发表论文表示这个世界应该再给CPS一次机会,它能在编译优化的品质和实现复杂度之间获得比其他中间形式更好的折衷。Laco编译器就是在这样的流派重新兴起的情况下进行的一次实践。
Shawn:帮助混饭吃的产品应该有不错的市场潜力,至少这对于痴迷SICP不可自拔的年轻一代可以在fun and profit之间更容易平衡,虽然我高度怀疑最近几年还有多少人有深陷SICP泥潭的经历。LambdaChip支持Zephyr这样的RTOS倒不奇怪,这也是Scheme machine的初衷,可以谈谈支持GNU/Linux的意图吗?这里面是否有不可告人的阴谋?
黑叔叔:SICP在国内也许还不够狂热,不过国外的粉丝甚至把MIT的原版书都全部重新排版精雕细琢以供各个平台阅读,连我都被打动了,平时我只推荐这个粉丝重制版而不是MIT的版本。 支持GNU/Linux当然是为了以后支持GNU/Hurd...噢不,我们是实用主义者,我们思考的是如何帮助年轻人早回家,一个物联网软件项目怎么能让年轻人加班测试呢,当然是要在CI上测,一个支持GNU/Linux的版本自然是需要的,不过对于硬件的模拟测试也许会是今后的收费项目之一,毕竟天下没有免费的午餐肉罐头。
Shawn:赚钱是必须的,基于自由软件/硬件的商业模式必然是以盈利为基础,但我对于GNU/Hurd这类阴谋论更有兴趣,最后一个问题,真没有其他阴谋了?
黑叔叔:绝对没有了,连GNU/Hurd都不要太在意,因为我们要用GCC-Rust写个更好的...唔那个总之我们的宗旨就是为了让老板多赚钱,年轻人少加班,这不就是技术革新的意义所在吗,这个世界根本没什么阴谋论,不要整天瞎想,赚钱才是正道!
Shawn:听起来好像很有道理,不管怎么样,为了GNU和Scheme machine的荣耀,祝LambdaChip好运!"