Solidot 公告
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
投 票
热门评论
- (1 points, 一般) by 18611782246 在 2024年12月18日18时06分 星期三 评论到 司机死于阿尔茨海默病的可能性较低
- BaD kEyBoArD: eXtRa SpAcE (1 points, 一般) by lot 在 2024年12月11日04时10分 星期三 评论到 高温环境可能加速衰老
- BaD kEyBoArD: tYpO (1 points, 一般) by lot 在 2024年12月11日04时09分 星期三 评论到 Goolge 宣布了新量子芯片 Willow
- 喵喵喵 (1 points, 一般) by solidot1733326472 在 2024年12月04日23时35分 星期三 评论到 澳大利亚面临太阳能供大于求
- 懂了 这就去安装刺客信条 (1 points, 一般) by Craynic 在 2024年11月27日19时36分 星期三 评论到 微软临时阻止安装刺客信条等育碧游戏的 PC 更新 Windows 11 24H2
- 为了逃避一年多兵役要坐一年牢 (1 points, 一般) by Craynic 在 2024年11月27日19时34分 星期三 评论到 韩国法院判处一名故意增肥以逃避兵役的男子缓刑
- 是否改进质量我不知道 (1 points, 一般) by Craynic 在 2024年11月25日20时43分 星期一 评论到 GitHub 称 Copilot 改进了代码质量
- Linus (1 points, 一般) by Craynic 在 2024年11月25日20时41分 星期一 评论到 Linux 6.13 将拒绝所有来自 bcachefs 作者的合并请求
- 2100年100% (1 points, 一般) by 18611782246 在 2024年11月21日16时30分 星期四 评论到 中国提高了半导体自给率
- 错别字 (1 points, 一般) by 陈少举 在 2024年11月02日23时42分 星期六 评论到 Linus Torvalds 用电动汽车取代了燃油汽车
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好运!"