在arch Linux下我一直都是用fat32

如果不是想尝试装个gentoo，都不知道

任何 bootloader 能认的都行，只不过一般来说 fat32 是最稳的

人类一直都在迁徙。不迁徙怎么走出的非洲

docker套uv

原来引导分区还能用别的文件系统？

[m.image] image.jpeg

新石器时代距离现在也就一万两千来年，玛雅人在更早的时候分的家，两百六十万年的旧石器时代，谁也说不好他们是什么时候过去的

当时生产效率也低啊

那个时候也没那么多人啊 他迁徙个啥

你说他是走白令海峡来的吗

主要我没搞懂他迁徙的动力

欧亚大陆这边点了磨制石器的科技树进入新石器时代，玛雅人还在敲石头

他们拿什么打磨呢

玛雅人纯旧石器时代的科技树

lifetimebound之类的就是为了这个

就搞不定了吧

这个东西复杂度上去了

你上b站多看点打石头刀的视频，你就会发现根本理解不了玛雅人敲石头到底怎么敲得这么牛批

玛雅人的打制石器是真的牛批

是新石器时代吧

玛雅人死磕打制石器

秦始皇：

新石器时代的技术标志是磨制石器和烧制的陶器

巨石建筑没啥，玛雅人的问题是没有进入新石器时代，在旧石器时代的科技树一条路走到黑

之后就越来越菜了

公元前就能跑到美洲 以前还能造巨石建筑

至于希腊人造谣的具体内容，逻辑性和合理性不用太较真

其实我最好奇的是美洲玛雅文明是咋搞得

科林斯的历史能追溯到新石器时代，上万年前那里就有人居住了，傻逼希腊佬统治这块地方以后，为了确立自己统治的正统性，就造谣说人家科林斯的创始人是个骗子，被宙斯变成肉便器正在受罚，所以希腊人统治这里是具有正统性的

会有苍鹰啄食他的肝脏

不用太较真

* 向太名言：人到40岁才开始发力

另外他推石头的时候会有老鹰来啄他的眼睛

如果西西弗斯摸鱼了有什么惩罚吗

他都不用吃饭的

神又不用拉屎

Forwarded from NoBody: > 西西弗斯如果要一直推石头，他什么时候上厕所

西西弗斯如果要一直推石头，他什么时候上厕所

（强劲的音乐响起）

西西弗斯是外行

不如想想西西弗斯

而我没钱

起码有钱了

如果你觉得自己很没用 可以想想NixOS的/lib 究竟是什么东西在使用NixOS的/lib？

还早呢

40岁和20岁也没有什么区别

莫欺少年穷，莫欺中年穷，莫欺老年穷，莫欺投胎穷

* 向太名言：男人到40岁才开始发力

男人到40岁才开始发力

🐸

一把年纪，没钱，没对象，没车，没房，也没做出过什么拿得出手的东西，废物一个

已经到了该死就死，早死早投胎的年纪了

这就中年了吗

人到中年，一事无成，郁郁不得志啊

控制一下容器/view的用法应该就行

[m.image] Forwarded from channel 叮当喵喵-今天你也很可爱: > 叽里咕噜说什么呢

* 啊 编译速度现在还不是重点 没什么这方面的测试

* 啊 编译速度现在还不是重点

这里写了解决什么问题

https://github.com/llvm/llvm-project/issues/152520

生命周期，感觉就解决视图问题

现在能用的就是 [[[clang::lifetimebound]]之类

具体的去看那个talk

之类的

比如隐含的alias 隐含的destruction

让他知道一些隐含依赖

现在的问题是编译器不够强，所以需要手动加annotation

这和速度无关

这个速度和rust比 会不会快一些 rust编译跑得比cpp还慢（ps 目前就有go和jaba这两个工业级的比较快）

哦往上翻的不够，抱歉（🌚

Inspired by Polonius, this analysis uses a points-to technique based on OriginSets and Loans designed for intuitive understanding. Here’s how it works on a high level:

直接借用Rust borrow checker的思路

具体的内容直接看RFC

你看youtube链接啊

https://discourse.llvm.org/t/rfc-intra-procedural-lifetime-analysis-in-clang/86291

ppt source 发下呗

Forwarded from Richard Luo 🐱: > 万四如意

Forwarded from Richard Luo 🐱: > 合家欢落

Forwarded from Richard Luo 🐱: > 祝大家新春玉快

不是

是 clangIR 吗

加入rust豪华编译器大战

* 苟富贵，勿相忘

苟富贵，毋相忘

有大佬的潜力。

这还是我们亲爱的cpp嘛？

非常先进！

[m.image] image.jpeg

现在的java已经发展出了lisp当年渴望的生态位了 ，什么时候jaba也能搞一个save－and－die呀

[m.image] 很好，看不懂

这都是小事 你有没有用过lisp呀~ 来试一下lisp吧

这套系统就是用polonius实现的

有什么问题，有时候要抽象又要异步。但是用生命周期的写法也有很多，你代码看的太少了吧

不明所以 这怎么骗了？ 我还以为你是说在cpp中本来就有rust提议的方式了呢

MiniMax M2.5咋样啊

你写c++也是整天std::vector

这有啥问题

so？

其实他们用的最多的是Arc<Box<T>>