1. 你列出的每一个产品都不止一个单独团队

Catppuccin Latte （喜欢紫色💜可以看看

@edwardzcn98 排版好像乱掉了，对这个感兴趣的话可以看一下这篇中文 blog： https://huggingface.co/blog/zh/winning-aimo-progress-prize

无意义去讨论是否通过图灵测试或者有没有智能这些。

可以合理怀疑目前最好的数学模型也是靠人力堆起来的（让模型去学习严格的机器推理+证明），他们的训练集覆盖了你给出的第一题。

Something relevant information

```
Project Numina is hiring Lean 4 contributors to work on formalizing competitive math problems and proofs! If you're passionate about mathematics, formal methods, and contributing to groundbreaking AI research, this could be the perfect opportunity for you.
Project Numina is a non-profit dedicated to advancing human and AI capabilities in mathematics. They've already achieved remarkable milestones:
```

补充资料：
Hugging Face 上[Numina 项目获得了第一届 AIMO 进步奖]( https://projectnumina.ai/publications/)，也发布了相关数学解题模型。

公开的在近 AI 领域你可能看不到他们联合数学家所做的努力，但是你会发现 Advisory Committee 下有 Tao 和另外几名 Lean FRO （包括语言的发明者）。

这是教学向的帖子吗？我看思路就和 toy message queue 一样。

@cleverlong 没懂

@seanzxx 。。拿 MacBook 也没成功，怀疑有非同名文件才行，午饭后再试一下。

@seanzxx 刚刚拿 mac mini 试了下，按住左/右 option 拖动 B 里面的 A 到外层 A 还是只有 Replace 弹框。
是我的姿势错了吗（用的外置键盘）

https://i.imgur.com/Nk20f4w.png

你问的全量增量捕获稳定性是做变更数据捕获工具测试比较麻烦的事，开源方案 2l 提到了 Flink CDC ，如果觉得不够定制或者需要改可以直接用下面封装的 Debezium

https://www.tradingview.com/blog/en/category/charting-library/

可以去 trade view 上面看看👀？

我是单反换的微单 a7c 一代，因为出去旅游爬山拍风景扛着三脚架太累了。a7c2 性价比比 1 代好，不吃灰就不亏。

别说了，启用 2PA ，换手机忘了同步 Authenticator 直接 G

能

我给个反面例子。。买了 armsorm 的开发版，刷 armbian 系统。Desktop 都没用上，现在就是配置了个 dhcp 转发了另一台机器的流量 。1000 来块，网上说明还少。属于嵌入式开发小白买了个 0 资料，现在纯当 0.3 分的路由器挂着。

https://i.imgur.com/Lz8b1ab.png

openwrt ，模块化，为了精简。

我一直是用 Karabiner 来做外接键盘的映射 https://karabiner-elements.pqrs.org/ ，不过审了下题好像是要在 Linux 上陪 MacOS 键位。。。我这个是 MacOS 上配置其他键盘键位的映射（或者看个人喜好也可以改成类似 Windows 的习惯）

请教下 用的这个 dromara 这是个分布式事务框架？然后 OSS 可以配置到非 AWS 吗

看到这么多 tabby ，我也要去试试。