Rang666 最近的时间轴更新
Rang666

Rang666

V2EX 第 594646 号会员,加入于 2022-09-18 13:28:00 +08:00
今日活跃度排名 6227
Rang666 最近回复了
13 小时 3 分钟前
回复了 Laussan 创建的主题 问与答 (并非日经?) 求推荐适应一些特殊需求的笔记软件
如果你连 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 里面,捷径应该也差不多能做?
8 天前
回复了 YVAN7123 创建的主题 健康 有没有日常维生素补充的推荐?
双心 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 不是
才意识到 mixexplorer 似乎可以
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2778 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 11ms · UTC 09:10 · PVG 17:10 · LAX 01:10 · JFK 04:10
Developed with CodeLauncher
♥ Do have faith in what you're doing.