由于有很多Gemini的token没有用,我在antigravity上vibe了一个scheme实现,基于字节码的虚拟机。能支持的基本都支持了,bigint,callcc,vector,甚至还有卫生宏,编译器则是让Gemini参考chez来实现一个

MiniScheme部分:

  1. Gemini自己给它取名叫minischeme,目标是最小化程序大小,并且内存使用很小,能在200K内存以下的设备中运行。
    这里是第一版,编译器和解释器全部使用C实现,调教性能向,指令集高达60多条,里面有很多只是为了提升性能的特化指令。
  2. 因为虚拟机太过巨大,于是要求缩减指令数量,现在应该是10个上下,并且限制vm实现在1000行以内,同时使用scheme重写了编译器,并且通过自举。
  3. 增加fasl,可以dump整个app的镜像并且能下次加载,gemini自己加了一个msbc格式的字节码封装,不包含内存数据,只有指令和字符串,因此可以刷到rom中使用XIP模式来运行。
  4. 增加wasm虚拟机,于是fasl的字节码既可以在设备上,也可以在网页端运行。
  5. 使用Cheney分代GC来替换mark sweep gc,这样内存利用率就更高了。
  6. 增加bigint 库,callcc,卫define-syntax
  7. 至此scheme部分变化不大了。

ESP32部分:

  1. 在VM实现完成后,就要求它可以在esp32上运行,因为是C99实现,所以没什么问题。
  2. 在没有使用XIP之前,将编译器塞到固件中不太现实,因为编译器需要占用太多内存,因此增加webrepl,将scheme表达式编译成字节码后发送到esp32,这样就不需要在板侧运行一个编译器,同时编译器也替换成scheme版本,所以可以非常容易在wasm上运行。
  3. 要求wasm中增加模拟硬件接口的部分,这样就可以脱离硬件,开发固件并且查看显示效果
  4. 增加gui库,增加ili9488对接的部分,在esp32上可以显示了 (frame buffer和脏矩阵更新)
  5. 支持spiffs
  6. 支持ntp对时,优化显示
  7. 实现桌面信息牌程序
    =========下面由claude接手======
  8. 实现XIP
  9. 实现字体库
  10. 内存优化,字符串存在rom中
  11. 增加修改显示像素bit和配色方案
  12. 实现pcmonitor,和lvgl版本看起来一样
  13. 移除特定LHM的C部分,全部使用scheme实现
  14. 修复缺失的fasl加载功能
  15. 实现可移植fasl,pc上的fasl可以加载到esp32
  16. 增加WebREPL 文件管理器
  17. 优化长字符串显示
  18. WASM 模拟器:模拟 Flash 持久化与 (restart)
  19. WebREPL 同步显示硬件画面与实测负荷(HTTP) (claude自此有访问界面的能力)
  20. 存储从 SPIFFS 迁移到 LittleFS
  21. 应用平台,实现多个app和管理界面
  22. 流式构建 ROM 镜像:不再受 64 KB 临时堆限制
  23. 应用失败时显示原因并进入系统设置
  24. 继续实现各个app

后续的计划

  1. 增加固件api版本和app需求版本,像Android一样有api版本,这样app安装的时候就可以知道是否兼容
  2. 实现一个应用市场,市场只使用msbc格式的app

上个月八月初,有一天感觉脚踝有点痛,起初不在意,还走了好远的路。
结果第二天脚立马肿的下不了地,躺在床上饿了好几天,瘦了八斤。
但是这一年基本没怎么吃海鲜,不过有几天都是吃汤拌饭,感觉是喝汤导致尿酸波动。

孙伦禅师依靠迅猛的精进,直面身体的痛苦而达到证悟。于是我也观察了一下痛风带来的脚痛。

  1. 当身心沉浸到痛的感受时,能分辨出痛和感受到痛升起的受并不是连续的,如果只是观察痛,反而不会有痛苦的感觉。
  2. 当特别痛的时候,比如走的时候,身体无法避免的会想要逃避痛的感觉

在知乎上看到一篇文章,有个汽修店的老板,过年的时候给别人换胎报价,尺寸差一点,但是可以通用,老板已经给了最优惠的价格。老板虽然已经劝告过,说其他店没有合适尺寸的,最后还是要在他家换。结果客户死活要换一样的,最后去其他家掏了大价钱,而且还是转手到他家了,这里老板嘲笑了他一番。
这个大概就是不同的人就有不同的想法吧,如果是我,我也要换一样的胎,如果换了不一样的胎,年检过不了,最后还是要换。就算年检能过,左右胎不一样肯定也不能一直开,最后还是要换一对胎。所以换不同尺寸的胎几乎是最差解。
记得小学的时候,有次爷爷让我去给他抓药,药方中有味药叫平贝,但是去药房别人说没有了,只有川贝,说效果还更好。我于是就换成川贝。等回去之后,爷爷就说了一句话“只选对的,不选贵的”,我问了一下豆包,虽然两个药性相近,但是风热咳嗽是不能用川贝的。那次确实我爷爷是感冒咳嗽。
前些年住在罗租的时候,有次点了和牛堡,去到店里,kfc店长说和牛堡没有了,但是双层美式的牛肉饼还有,和和牛差不多,于是我答应换了,结果回来试了一下,味道相差很大,而且价格也便宜很多。
为什么商家的话几乎不能信?因为他的目的永远是促成这笔交易,他根本不会关心你真心想要的是什么。像最开始的这个商家,他说的尺寸不同,但是可以用,这句话显然只是为了达成交易,客户从这之后不相信他也是很自然的事情。因为客户觉得你只是想卖给他轮胎,没想过为他解决问题。

最近一直在学习太极拳,本意其实不是想练习太极,只是想找个比较方便的方法觉知自己,如果能达到动中禅的效果更好了。
以前一直觉得太极是老人拳,就是软绵绵的,适合没什么力气的人,老人家练习太极拳只是因为他们的身体只允许他们练习太极拳。可是当深入学习之后,我就发现根本不是这么回事,太极也是内家拳的一种,手脚的功夫只是引导,实际上和易筋经差不多,靠动作的牵引,导气运行。不过易筋经里面没怎么讲呼吸法门,动功完了之后就是静功运转周天,中间也没有说什么时候可以运转小周天,大周天之类的。
道家讲的练精化气,炼气还神倒是和太极有相似之处,都是百日筑基,当精满后才可以练精化气,然后气也不是意使气走,而是使用动作引导气在身体流转,如果觉知不够的话,气也运转不起来。

今天下午在外婆家拜年,晚上回来时和表弟一起散步。在刘福生点了一份墨鱼肉饼汤,我弟点了一份原味肉饼汤。因为老板快要收摊了,所以只能打包出来吃,于是在旁边的炸炸小店点了一点吃的,顺便坐下来喝汤。

吃其他的东西没什么感觉,但是吃茄子的时候,一下子唤醒了我高中时的回忆。我觉得我在高中的时候,一直是一个特立独行的人,很少有同班同学一起玩,既没有什么感情很好的同学,也没有什么会怨恨的同学。像有钱的同学和一些教师子女,就是一个小团体,他们一起约着吃饭,一起出去玩。放寒假暑假,也会一起去唱歌爬山的什么的。看他们分享他们的活动,心里其实是很羡慕的。另外还有一拨是一起住校的同学,他们平时也玩在一块。

高一的时候,和饶宗浩作同桌,所以和他玩的比较多,不过后来没有同桌的时候,也不太一起玩了。到高二高三,和冷振鹏同学两人分别抢占讲座左右的位置,也算同桌,所以和他玩的比较好,因为他家离我家很近,大概只有几百米,所以放假也偶尔会去他家玩。不过后来因为他家拆迁,也就很少联系了,到现在应该有快十年没有联系他了吧。记得上次去他家,还是他刚刚谈女朋友没多久的时候,再后来听说他结婚,生子,自此往后也没了消息。

冷同学是一个很老实的同学,很少看见他生气,他也不会像我一样到处惹事。他是一个很纯真的人,有次放学,看见他迈着小学生的步伐回去,我以前一直觉得这是很难的事情,然而跟在他后面,没多久我也学会了。还有一次,他把自行车给我骑,但是我觉得他的太好骑了,于是站起来猛猛蹬,结果给他骑坏了。我觉得那时候我是因为嫉妒,所以想要搞坏他的自行车,当然,那次他也没生气,只是一直在叹气。如果把冷同学放在现在的学校,他可能就是那个会被霸凌的同学吧。

说回茄子,虽然二十多年过去了,带给我印象最深的却不是那些同学和老师,而是晚上放学回来路上买的一条茄子。那时候晚自习下课很晚高一高二大概到九点半,到高三时已经到十点十分左右,顺路的同学就会自发形成回家搭子。而我有两个比较长期的搭子,早期是陈彤和沈杰还有聂峰,这几个人也是一拨一起玩的,大概因为住的比较近,又或者小学或者初中就一起玩了。

我那个时候很喜欢翻围墙回家,但是一开始都是自己行动,自己规划线路,从学校翻出去,然后从平房的楼顶一直翻到家附近。老师父母都不知道,我也没被学校抓到过,当然我也不怎么跟同学说,直到不知道怎么回事遇到了陈彤。自此以后,我们两个经常一起翻围墙,当然陈彤作为班里消息灵通的人,也经常给我说同学的八卦。那时我也很惊奇这么多事情都在我身边发生,但是也没有在意,毕竟和我没什么关系。这就是我的第一个搭子。

和茄子有关的是我的第二个搭子,他叫熊凯,我们都叫他毛菇,我也不知道为什么大家这样叫他,可能因为他有个蘑菇头吧。他也在和有钱家小孩一起玩的那一拨,不过感觉他似乎不是很融入。他家因为和我家有一段顺路,所以晚自习的时候经常一起搭伴回家,晚上夜路黑黑,学校又是在城郊结合部,两个人一起走既不无聊,也有安全感。

那时候我妈已经放弃让我带饭,而是每周给我点钱,让我吃食堂,所以能节约一点钱出来买宵夜吃,在食堂吃饭的时候,冷振鹏就是我的搭子,因为我们两个人都没什么钱吃饭,吃的也是差不多的菜,又是很随遇而安的人,所以也没什么怨言。不过毕业后冷同学忆苦思甜说那个时候一块豆腐都要夹成两半吃真的很艰苦,可我反而不觉得,我似乎无法回忆起在食堂吃的饭菜有多难吃了,要说吃饭上面最艰苦的时候,毫无疑问,就是我妈让我带饭的那一段时间,每天吃土豆炒肉,中午吃一半,晚上吃一半,吃了一个月,某次发现厨房门后还有一蛇皮袋土豆。我现在依然记得那袋土豆,用麻布袋子装着,鼓鼓囊囊的半人高,那一眼,轻松击毁了我的任何期待。

说回来我的夜路搭子和茄子,熊凯同学总是让人感觉一副心思重重的样子,毕业后更甚,不过他和我一样,都喜欢吃晚自习放学路上那个油炸摊子。我最喜欢的是炸茄子,而他吃的最多的好像是火腿肠,有时我们各自付钱,有时互相请客,但是在我记忆里,似乎他请我吃更多点,我脸皮厚,也是吃的心安理得。

一块五半条茄子,用盘龙的做法切好,下锅炸一会,裹上辣椒面,再加一点剁椒,卷曲着放在一次性杯子里。茄子嫩嫩的,表层的花青素油炸后颜色变淡了,贴着里面的茄子肉,带着一丝甜味,不像今天吃的茄子一样,皮会塞牙。茄子中间的肉晶莹剔透,一条一条的,表面裹着一层辣椒油,夹出来一条,滋溜一下滑进嘴里,有点烫烫的,但是更多的是鲜甜和嫩滑。吃完茄子,杯子底下还有一层汁水,有时候意犹未尽,还会混着油把这些汁水喝掉,整个夜晚都因为这条茄子都变得值得了。