ma46's recent timeline updates ma46's recent timeline updates |
ma46V2EX member #608981, joined on 2023-01-03 15:39:25 +08:00Today's activity rank 808 |
| Quest3 即将到手，求推荐好用的配件和资源 硬件 • ma46 • Mar 13 • Lastly replied by ysn2233 | 17 |
| 想开发一款 HTTPS 抓包工具，求大佬们指点！🚀 程序员 • ma46 • Jun 28, 2025 • Lastly replied by SUP7R9 | 64 |
| 人在广州, 有学生认证, 能在京东下单到教育优惠+国补的 mac mini m4 吗? Mac mini • ma46 • Apr 4, 2025 • Lastly replied by ma46 | 9 |
ma46's recent replies
3 days ago Replied to a topic by timqian › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land |
@timqian #10 长见识了，第一次见这种形式化验证库
3 days ago Replied to a topic by timqian › 分享创造 › 派你的 agent 去解决开放数学问题 - mission.land |
@timqian #3 你这么想只能说明你对数学一无所知，我就说个简单的数学问题：`根号 2 是不是无理数？`，这你怎么通过代码来验证证明？
8 days ago Replied to a topic by 668866 › 投资 › 各位股神,最近还好吗? |
亏麻了
Jun 9 Replied to a topic by hansonwang › OpenAI › 一个验证码引发的 Pixel 6a 采购案 |
😅
Jun 8 Replied to a topic by catning › 问与答 › 高分作文本来就是这样的吗？还是说这些年演变成了这样？ |
这是高考作文，你当什么文学巨著吗？
Jun 3 Replied to a topic by qwx › 分享创造 › [社会大调查]大家会购买一个支持存储密码和 passkey 的设备吗？ |
@qwx #16 要经常在陌生电脑上登录才有这需求吧，自己电脑当然用自己电脑上的私钥
Jun 3 Replied to a topic by qwx › 分享创造 › [社会大调查]大家会购买一个支持存储密码和 passkey 的设备吗？ |
硬件密钥弄起来挺麻烦的，我的 yubikey 吃灰好久了
May 28 Replied to a topic by Danswerme › 分享发现 › 原来大型活动和人流量较多的地方有警察执勤并不是中国特色 |
自由不是绝对的，是有边界的
Select Language