V2EX › timqian 的所有回复 › 第 1 页 / 共 24 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

For Existing Member Sign In

1 2 3 4 5 6 7 8 9 10 ... 24

❮

❯

10 小时 10 分钟前

回复了 timqian 创建的主题 › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land

@ma46 可以用 lean 做到

10 小时 11 分钟前

回复了 timqian 创建的主题 › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land

@ma46 巧了，这正好是 https://mission.land/m/4

1 天前

回复了 timqian 创建的主题 › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land

@malusama 这么艺术吗，重大发现随手发推，然后还有 typo

1 天前

回复了 timqian 创建的主题 › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land

@timqian 当然，提出任务这件事上，也可以由 Agnet 辅助完成

1 天前

回复了 timqian 创建的主题 › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land

@webcape233 不需要人来判断对错，代码回来来判断，类似于测试，通过测试的就是成功的突破。人类在这件事上的工作是提出任务，给定任务的验收标准（需要用代码验收）。

7 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@in211240520
@css3
@MingleZhang
@yir
@pljhonglu
@ganzhen
@topang
@whiteleopard520
@youyouzi
兑换码发过去了，有问题欢迎反馈～

7 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@passion336699 100 多 mb

8 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@SssaltedFish 收到，下一个版本我加上这个功能，现在可以左滑录音记录删掉。感觉还可以做个删除录音但是保留数据，这样数据多了可以做一个图表展示一下看看一些缓解呼噜的办法长期是否有效

8 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@SssaltedFish 我在之前的帖子提到过一些可能的原因和缓解方式： https://www.v2ex.com/t/1191235#reply45 打呼噜的可能性挺多的的，我自己主要是张嘴呼吸的问题，所以侧睡/高枕 + 口呼吸贴对我比较有效

8 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@in211240520 又补了一些

8 天前

回复了 timqian 创建的主题 › 分享创造 › 呼噜娃大升级 [送码]

@lengmou 录音完全保存在本地，压缩了音质，录制一晚上可能 100 多 mb

6 月 28 日

回复了 Configuration 创建的主题 › Claude Code › 收到了 Claude 封账号的邮件，但似乎还是能用， APP 和网页版目前都能使用

俺也一样

6 月 26 日

回复了 timqian 创建的主题 › 程序员 › TypeScript 还是直接 JavaScript

@burden7 你是说我的 GitHub 吗？好像是因为每周一这个 repo 有个自动提交带上我了，一直懒得没有修复 https://github.com/headllines/hackernews-weekly

6 月 26 日

回复了 timqian 创建的主题 › 程序员 › TypeScript 还是直接 JavaScript

@catinsides 有答案的，我的选择和正文里的趋势一样

6 月 23 日

回复了 hamsterbase 创建的主题 › 分享创造 › 做一个 “小而美” 的日记

之前也想搭自己的相册，算了一下 s3 ，r2 价格比 icloud ，Google drive 都要贵就放弃了

6 月 6 日

回复了 timqian 创建的主题 › 分享创造 › Lean4.js

@sillydaddy 我就是玩 [Lean4 game]( https://adam.math.hhu.de/#/) 的时候发现 lean 没办法跑在浏览器里，需要启动服务器才行，然后经常遇到断联之类的问题，于是尝试做了的这个项目，希望可以直接在浏览器里跑 lean ，无需服务器。

不过目前状况下，跑最简单的 lean 代码也得 50 多秒，还不太可用 😅 搞不动了先开源下，后面兴趣了再来优化下

4 月 2 日

回复了 timqian 创建的主题 › 程序员 › GitHub sponsors 拿到的赞助怎么提现？

@finab 你注册 stipe 了吗？我打开同邮箱的 stripe 账号里面有 5 个信息需要补充，不知道和那个有没有关系

4 月 2 日

回复了 timqian 创建的主题 › 程序员 › GitHub sponsors 拿到的赞助怎么提现？

@JoeJoeJoe wise 上的英国卡，za 的港卡都试了不行

4 月 1 日

回复了 timqian 创建的主题 › 分享创造 › 开源我登上过 iOS 医疗付费榜前三的 App

@hzdt 主要是在 opencode 用的 kimi k2.5

3 月 31 日

回复了 timqian 创建的主题 › 分享创造 › 开源我登上过 iOS 医疗付费榜前三的 App

@gongjs
@yarawen 原理是简单的根据分贝大小自定义阈值筛选

1 2 3 4 5 6 7 8 9 10 ... 24

❮

❯