@377848 那是棒槌修仙纪，桀桀

实际上我生活的方方面面都尽量搞的标准化了，搞了个小网页弄 streamlit 生成，不用很完美大概差不多就行了

todolist ？ grocy

grocy ，刷条码自己添加...实在想搞接个 API 问 AI 不就行了

@FrankAdler 有 GitHub 的话直接订阅，其他的好多我现在用 changedetection 抓网页信息看，Linux 不用所以你可以再看看别的方案

柏林路宽吗？我感觉窄的要死，奇奇怪怪的路都能通公交

好久了，昨天晚上我看就不行了，换成国内应该是凌晨？

@chutsetien 我第二次就 14.55 了，感觉难度也降低了

限制地区了吗，下载不了

如果你连 mathjax 和 katex 这种都不能接受非要 latex 一个字母都不想变的话就别想 markdown 了，不一定哪里搞个宏包就给你干没了，能接受的话 obsidian 就够了。obsidian 不是也有 excalidraw 吗

@mortal 看官网国区三百，老罗的闪念胶囊还在发力

@aircjm autoshare 可以接收分享的文件名，然后 easy voice recorder 的文件都在一个文件夹下，tasker 能直接读取，之后发送 https 的就没得说了，最后把识别结果配上 prompt 啥的之后一股脑 autoshare 分享给 Gemini 的 app ，也有 Gemini 的 API 可以用，你也可以用 Gemini 和 tasker 插件，play 商店有，我懒得折腾了

@stark123 视频我看了，不嫌麻烦的话就录音机录音，然后在谷歌的 ai studio 上上传音频文件也能实现一样的效果，他这无非是帮你少个上传和发 prompt 这一步

我现在是安卓用 easy voice recorder 然后分享给 tasker ，中转到我自己搭的 whisper 上面，之后再发给 Gemini ，处理一下错字和重新总结一下之后我再手动给存到 memos 里面，捷径应该也差不多能做？

双心 A-Z ，不到四欧四十片

@huzhikuizainali U 是根据上面推出来存在这么一个区间是有界的，但是 U 在 ab 里面，假设是 an bn ，你不能保证[an bn]/U 是有界的，就还没达成矛盾，但是如果有这么一个[am bm]在 U 里面，然后根据构建[am bm]是无界的，但是 U 又是有界的，就达成矛盾了

@huzhikuizainali 筛选掉的不一定是有界的，至少有一个是无界的（证明第 4 行）

U 是有界的不能证明 U 外面就是无界或有界的，只能证明 U 内部肯定是有界的，所以必须要有一个更小的区间在 U 里面达成矛盾，前面的证明只是说有这么一个 U 存在，但是不能说明 ab 能精确到 U 内部，所以要构建出来能达到 U 内部的

U 覆盖到 0 那块是说你在 1/x 那个，U 永远有界，但是要在连续的闭区间内，0 不可能在 U 里面，你那个开区间就有可能是无界的，因为不连续了或者没定义了，没法说 U(0,delta)是有界的

你这只是证了 u 在 ab 区间内，不代表有一个更小的 ab 区间能嵌在 u 内，还有就是你能证明无限多个 u 一定能覆盖住最大的 ab 区间吗

对你后面给的那个你 u 有界也没法覆盖到 0 不是