Solidot 公告
请在发布文章时用HTML代码加上至少一条新闻来源的链接;原创性消息,可加入相关信息(如涉及公司的网址)的链接。有任何问题,邮件至:he.fang#zhiding.cn
ken:feigaobox@gmail.com
注意:收到邮件乱码的用户请修改客户端的默认字体编码,从"简体中文(GB2312)"修改为"Unicode(UTF-8)"。
投 票
热门文章
热门评论
- (1 points, 一般) by solidot1563266937 在 2024年03月02日08时20分 星期六 评论到 美国总统称中国联网汽车有国家安全风险
- You either die a hero (1 points, 一般) by lot 在 2024年02月29日13时34分 星期四 评论到 空气污染与严重痴呆症相关
- 只是从众 (1 points, 一般) by scottcgi 在 2024年02月27日00时40分 星期二 评论到 共情能传播,人能通过观察环境和其他人获得或失去同情心
- 有误 (1 points, 一般) by 陈少举 在 2024年02月23日10时04分 星期五 评论到 Google 暂停了 Gemini 的图像生成功能
- (1 points, 一般) by mirus 在 2024年02月22日14时34分 星期四 评论到 美国阿拉巴马州最高法院裁决冷冻胚胎是“儿童”
- 应该是137光年 (1 points, 一般) by solidot1707403802 在 2024年02月08日22时50分 星期四 评论到 NASA 在 137 亿光年外发现一颗位于宜居带的超级地球
- 过几天发现火星有史前人类 (1 points, 一般) by solidot1545298383 在 2024年01月24日16时23分 星期三 评论到 火星赤道下发现蕴藏两米厚的水冰
- 再等几年可控核聚变发展起来了氦气就成副产品了 (1 points, 一般) by 0nin 在 2024年01月23日12时55分 星期二 评论到 氦气是一种难以回收不可更新的重要材料
- 这新闻质量太差了吧 (1 points, 一般) by solidot1704555208 在 2024年01月06日23时34分 星期六 评论到 2024 年的 Linux 内核和开源社区展望
- 资本主义、房地产金融化是生育率的敌人 (1 points, 一般) by jerry 在 2024年01月03日15时54分 星期三 评论到 日本 18 岁人口数 106 万创新低
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好运!"