[00:24.250]白(しろ)い息(いき)が空(そら)に昇(のぼ)る
[00:24.250]雪白的气息飘上天空
[00:29.070]「真夜中(まよなか)に降(ふ)る雪(ゆき)みたいだね」
[00:29.070]"就像深夜里下的雪一样呢"
[00:33.860]君(きみ)の言葉(ことば)
[00:33.860]你的话语
[00:36.290]他愛(たあい)ない毎日(まいにち)が愛(いと)おしくて
[00:36.290]微不足道的每一天都是那么地让人喜爱
[00:44.110]あの日(ひ)願(ねが)った夢(ゆめ)
[00:44.110]那一天许下的梦想
[00:48.620]叶(かな)うはずないと諦(あきら)めていた
[00:48.620]曾认为无法实现而放弃了
[00:53.770]だけど君(きみ)とならば
[00:53.770]但是和你一起的话
[00:58.980]叶(かな)えてゆけるね
[00:58.980]就总有一天会实现的呢
[01:03.540]ありがとう
[01:03.540]阿、里、嘎、多
[01:05.800]今(いま)煌(きら)めく星(ほし)くずが
[01:05.800]如今闪耀的星辰
[01:10.500]君(きみ)の瞳(ひとみ)の中(なか)で光(ひか)った
[01:10.500]在你的眼睛反耀着光芒
[01:15.580]この丘(おか)の上(うえ)
[01:15.580]希望两人能在这山丘之上
[01:17.920]いつまでも二人(ふたり)で寄(よ)り添(そ)っていたい
[01:17.920]依偎至永远
[01:25.380]今(いま)揺(ゆ)らめく思(おも)い出(で)が
[01:25.380]如今摇曳的回忆
[01:30.140]きらり、星(ほし)になってゆく
[01:30.140]变作天上闪耀的星辰
[01:35.150]このままでいい
[01:35.150]这样就好了
[01:37.870]このままがいい
[01:37.870]这样就好了
[01:40.000]ずっと一緒(いっしょ)に星空(ほしぞら)の下(した)…
[01:40.000]在这星空之下、直至永远
[01:59.940]二人(ふたり)で歩(ある)いた坂道(さかみち)
[01:59.940]两人一同走过的坂道
[02:04.560]ふざけて転(ころ)んだ海岸線(かいがんせん)
[02:04.560]一起嬉戏一起扑倒的海岸线
[02:09.380]一(ひと)つひとつ大切(たいせつ))な思(おも)い出(で)が溢(あふ)れてゆく
[02:09.380]一个又一个珍贵的回忆填满了相册
[02:19.450]あのね、知(し)らなかった
[02:19.450]呐、从来不知道
[02:24.050]世界(せかい)がこんなに綺麗(きれい)だって
[02:24.050]世界是如此的美丽
[02:29.160]それは君(きみ)がいつも隣(となり)にいるから
[02:29.160]因为有你在身边
[02:38.990]ありがとう
[02:38.990]阿里嘎多
[02:41.290]今(いま)煌(きら)めく思(おも)い出(で)が
[02:41.290]如今闪耀的回忆
[02:46.080]瞳(ひとみ)から落(お)ちる星(ほし)になった
[02:46.080]变作了眼里落下的星星
[02:51.010]この丘(おか)の上(うえ)
[02:51.010]希望两人能在这山丘之上
[02:53.490]変(か)わらない思(おも)いで寄(よ)り添(そ)っていたい
[02:53.490]依偎至永远
[03:01.000]今(いま)揺(ゆ)らめくこの思(おも)い
[03:01.000]如今摇曳的回忆
[03:05.560]きらり、流(なが)れ星(ぼし)になる
[03:05.560]变作天上闪耀的星辰
[03:10.560]このままでいい
[03:10.560]这样就好了
[03:13.040]このままがいい
[03:13.040]这样就好了
[03:15.500]ずっと二人(ふたり)は星空(ほしぞら)の下(した)…
[03:15.500]在这星空之下、直至永远
[03:47.300]今(いま)煌(きら)めく思(おも)い出(で)が
[03:47.300]如今闪耀的回忆
[03:52.290]この夜空(よぞら)彩(いろど)る星(ほし)になる
[03:52.290]变作点缀这夜空的繁星
[03:57.130]あの丘(おか)の上(うえ)
[03:57.130]在那片山丘上
[03:59.630]いつまでも二人(ふたり)で寄(よ)り添(そ)っていたね
[03:59.630]两人曾一直一直地互相偎依过呢
[04:06.920]今(いま)溢(あふ)れるこの思(おも)い
[04:06.920]如今涌溢不止的这份思恋
[04:11.780]きらり、流(なが)れ星(ぼし)になる
[04:11.780]一闪一闪地变作天边的流星
[04:16.730]このままでいい
[04:16.730]这样就好了
[04:19.160]このままがいい
[04:19.160]这样就好了
[04:21.610]ずっと二人(ふたり)で星空(ほしぞら)の下(した)…
[04:21.610]在这星空之下、直至永远...

缺乏数学思想的,都不值得品鉴。没有数学,全是垃圾。

啊!这就是我。嗯!为什么是我。缺乏着联系呢!与世界若离着呢!我真的,一点也不想沾染,馋食身心的泛陈。渴望之物带着虚假的愿望,跃动神离之外禁锢球笼之隙。找到了什么吗?不可能的吧,纵容之色已化为无形的泡影。癫迷时分,乏倦无比,拼组概生,混像自发,以此觅焚,概能区直。
清晰明了的东西,去思考混名,如同清水沉入污泥,再也寻不回那清澈的姿态,直到每一粒分子被置换,变得不再是以前那个样子。哼,标准?模糊描绘模糊,或许是一场自嗨的狂欢,哪里想我,永远都是那么实诚,严谨的东西说清楚,杂乱的东西来唬人。有的东西,想了解了解不了,强问也学我一样来混淆视听是吧?但勒其咽喉才明白,迷迷糊糊做迷糊的事,世界也会向前发展,规律如此,我又能如何?

果然过去了这么久,我还是依旧喜欢着,数学的思想与数学的感觉,那种干净利落、不带累赘的感觉,实在太令人怀念了。虽然科普确实是个好东西,但对于需要严谨语言的自然科学而言,一大堆车轱辘话,只会让本该简单的东西变得复杂,而数学的意义就是化繁为简,去除那些无意义的杂质,只关心相关的重要的东西,其实大多时候,我们并不需要过于形象的描述,更不需要为了形象描述而产生的大量需要过滤的信息,需要的仅仅只是按部就班的规律法则,然后去质疑或接受就行了。这当然只是我个人哈!
不够严谨的概念垃圾可太多了,我也不觉得它们能高攀上数学,比如前些日子,因为需求要实现SECS/GEM协议,这种玩意看似通用,但其实挺冷门的,连代码实现都没几个,更别说完整的了,于是迫不得已就只能去看那所谓的官方文件了。根据需求,主要是SEMI E5-0301和SEMI E30-1000两个文件,总共263+89页,那里面有用的信息有几页呢?一个是层级关系,例如SECS-I的物理层协议是串口,HSMS的物理层是网络,并且为进一步的TCP/IP协议,而SECS-II则是在此之上的数据协议,GEM则是进一步规范行为。对于物理层基本都是标准的,因此另一部分有用的信息,就是数据协议以怎样的规则去组织,在一大坨一大坨的垃圾中,想要找到那DataStruct,好像还行,但其它的信息处理妨碍理解,完全不知道它有什么意义。还有那个什么RS485,一堆文章,半天不知道讲了个啥,简单来讲不就是串口的数据传输方式用总线的方式进行区分嘛,我想要了解从硬件到数据再到软件的每个细节,它却总给我讲应用范围优缺点等一大堆本可以自己去领会的东西,确实有点指向不明。
串口通信本该是一个简单的东西,但从PC到控制板,通常要一块转化芯片,原因很简单,因为大部分PC没有RS232的接口,通常都是在PC的USB2.0接口上进行转化,在PC上这就产生了缓存的概念,虽然RS232串口本身是双工电平信号传输,但USB2.0是半双工差分信号传输,因此在控制器上虽然读写是可以同时进行的,但到了PC上就只能分开了,那数据自然就放到了缓存区上。qt上的waitForReadyRead是个好东西,在tcp/ip这种原生io口上运转良好,使用方便,但放到串口上就失效了,特别是在window上,估计是驱动没处理好,我也懒得去思考研究了,至于真假,用过的人都知道,好的替代方法,只能使用预读的超时来模拟。
现在的ai发展确实快,快得我都有点不想去了解了,只管用就完事了,原理什么的,根本没必要去理解,反正专业搞的人,也是一样的感觉,直觉与玄学。虽说如此,我之前也讲过,ai可以用理性的方法去使用,提问的艺术是一个非常值得看的东西,不论在生活中向别人提问,还是向ai提问,细致一直都很重要,这我看来,这种艺术其实就是一种数学核心思想的表现,减少无关信息的前提下描述得尽可能严谨仔细。当然ai的能力也不可能无限制的,当前的通用ai不具备我以前说的记忆构造,在数学上很难与它交流数学领域非常深度的问题,当时我调教了很久,还是没办法和我一起探究顶点代数的东西。但如果在lean4等严谨语言的加持下,情况就有些不一样了,DeepSeek-Prover和Goedel-Prover是两个很好的例子,注意这里的DeepSeek不是那个通用语言模型,而是lean4特化下的证明ai,虽然还没法做到与我讨论的地步,但我觉得未来可期。Lean4语言虽然不是自然语言,但至少可读严谨,非常适合数学的体质。
写代码都快成了我的主营业务,在TIOBE榜上,有个叫Sratch的东西映入眼帘,我知道很多人都喜欢无代码的图形化编程,但想必大家也肯定知道“简单不灵活,灵活不简单”的道理。别人咋想的,我不管,反正我就是不喜欢,于我而言最大的让步就是使用python、lua之类的脚本语言。嘛,或许从更深的角度来思考,无代码编程失去了数学的纯粹,虽然代码和数学看起来是两个毫不相干的玩意,但他们的内核精神是一样的,逻辑、确定、顺序,非要这么说,NoCode似乎也没差,错咯,因为NoCode,在有限的视野里只能获得更少的信息,妥妥拽拽还不如码字来得快。这么说来我还有一个很好的例子,VisionMaster——一个曾经让我好感度降低的视觉平台,如果只是简单的应用,随便拖拽几个模块确实轻松便捷,但是加上一点判断逻辑,流程图就不如ifelse简洁了,再加上一点信息收发,信息处理,它只能举旗投降,迫不得已只能在里面加上脚本的功能,如果依旧是要编程,那我还不如一开始就这么做,而且最让人破防的是,我用的这个版本连撤销和逐个多选的功能都没有,实在是不好评价。替代方法有得是,比如用它那如同套壳的算子SDK,……我看不如直接用opencv算了。说句大实话,越是方便的东西,就会在复杂情景下,变得越不方便。
我手上的终端确实有点多,但它们都有自己的归宿,首先PC平台有三个,全能本持windows系统用来玩游戏跑ai;MacMin持Mac系统用来充当服务器,这个我需要说道一下,Mac系统是类unix的,所以跑诸如alist、gitea、flydav、restic等服务非常的合适,对于金子存储可以通过扩展坞来弥补,再加上其便携性,可以来回穿梭于我的两台主力机之间进行协同;轻薄本持ArchLinux用于日常办公,如果在必需windows环境时,可以使用virtualbox之类的虚拟机,如果有性能需求的话,可以考虑QEMU/KVM,正因为有这种直通型的虚拟机,我才能如此坚决的更换linux。其实之前我就用过windows+ubuntu的双系统,但奈何很多软件windows独有且很吃性能和存储,我才不得不把ubuntu合并掉,并不再分盘。我是忠实的开源社区和linux系统的爱好者,缺乏的只是认知不足罢了,以前确实傻得可爱,以为虚拟机只有那种转译隔绝的,总之情况就这样,再来说说移动端。虽然有4个,但有两个杂牌,等我系统玩腻以后,它两的命运大概率是被拆解,至于之后产生的安卓空缺,我会找个正牌开放的替代品,我们知道root的政策一直在紧缩,连为发烧而生的小米都在设置重重阻碍,更别说那些熔断的厂商了。我觉得这也是件好事,因为系统底层本就不是每个人都能玩得起的,就算是我,了解了芯片启动过程以后,在进行任何可能的固件擦除前,一定要先找到备份和恢复的方法,不然压根就不敢前进。比如所谓的bootloader锁,很多搞机的人真的理解吗?比如我手上的两台杂牌机,一台用联发科芯片,有通用工具,没啥好说,另一台用紫光展锐的芯片,于是傻眼了吧。对于稍旧的芯片,有CVE-2022-38694,而你的杂牌机正好是旧芯片,还是列表中存在的,但奈何手机品牌不在其中,于是抱着试试的心态,看看同芯片的其它品牌有没有用,最终只能失望而归。这时或许要冷静一下,如果仔细研究其原理的话,如果你只是想能擦写固件的话,里面的工具spd_dump通过进入芯片的fdl2阶段就已经能实现了,那我问你解锁的必要何在?实际上所谓的解锁只是,让你在bootloader模式下拥有读写内存分区的权限,而所谓的bootloader模式不是一种硬件模式,而是一种软件模式。在上面漏洞利用的过程中,核心步骤只有一个,就是将fdl2-cboot.bin写入uboot分区,这里的新固件是先要从原固件中提取,并修改其中的lock验证代码来得到的,wiki页面中讲了操作的过程。这里对锁的去除,和联发科有些区别,一个相当于改锁的状态,一个则相当于改锁的验证过程。说来也忏愧,虽然一直向者程序大佬迈进,但对各种底层的运行原理,和如何引发漏洞还是没有任何思路,就问你那个最新芯片的手机,你又能怎么办呢?有这么多前人的经验在,就算有点思路也行,但还是无能为力的话,只能说千万别自称geek。当然只有十分清楚正向才能入门逆向,因此我们也稍微学习了一番,如何从linux内核来构建发行版, 如何基于uboot构建内核启动固件等等。
至于剩下的两个终端,一个当主力机没啥好说的,至于我的小苹果,说实在的它有很多地方我还是挺喜欢的,但与此同时缺点也挺多的。之前两个轮流用,是说试一试,但现在两个轮流用变成了必需,很简单,因为他们都不是顶级旗舰,续航时间真的太难绷了,我的愿望很朴素,就是一天一充,就算不是快充也行。我也顺便说说,我所期待的梦中情机,开放安卓系统、电池至少一天越久越好、LCD屏幕、小屏6.1英寸就行、轻薄不要超过200g、基本的红外线nfc姿态等都要有、摄像头能充当显微镜和望远镜……其实大部分都能实现,唯一需要解决的就是与体积重量之间的矛盾,交给别人去想就行了,我做好自己的等等党,有句话说得好“当你犹豫需不需要的时候,那就是不需要,切记千万不要创造需求”。最近的计划是搞台二手的富士通LifeBook或是微软Surface Pro来玩玩。年轻的时候不去多搞搞的话,老了可能就没啥动力了,奢靡一点的话,也能让自己穷一点,而且咱们的奢望也就那一点,不去满足的话,才是辜负了自己。
至于数学圈的那些事,就让子弹飞一会吧,真的成了,我肯定会细致解读的。