bombless's recent timeline updates bombless's recent timeline updates |
bomblessV2EX member #27438, joined on 2012-10-01 09:13:42 +08:00 |
github.com/bombless?tab=activity
bombless
| 有没有 token 用不完的佬一起做几何定理证明器 数学 • bombless • 2 days ago • Lastly replied by XuHuan1025 | 6 |
| 有没有大哥讲讲晚上十一二点到大兴机场怎么住宿便宜 北京 • bombless • Mar 10, 2024 • Lastly replied by huyi23 | 54 |
| 我新建一个 shell 文件，用 source 执行或者用 zsh/bash 执行都正常，但是直接执行就卡住没有输出，这个问题怎么排查 macOS • bombless • Oct 3, 2021 • Lastly replied by bao3 | 7 |
| 有对视频加字幕软件感兴趣对小伙伴么 Electron • bombless • Sep 1, 2023 • Lastly replied by Nosub | 5 |
| 反向代理比原接口性能还低是怎么回事呢，能不能改善 NGINX • bombless • Jan 19, 2021 • Lastly replied by bombless | 8 |
| 周末有人出来一起逛逛衣服吗 广州 • bombless • Jul 23, 2018 • Lastly replied by youyizhe | 36 |
| 知乎移动版的邀请回答提示挡住了评论输入框 全球工单系统 • bombless • Aug 30, 2017 |
| 你们在阿里云跑过 electron 么 Node.js • bombless • Jun 18, 2017 • Lastly replied by fritx | 4 |
| 阿里云 SLB 里面用户的一个请求被发到了 2 个服务器上，这正常吗？ 云计算 • bombless • Apr 1, 2017 • Lastly replied by xi_lin | 8 |
| Rust 贡献者世界地图 Rust • bombless • Dec 26, 2015 • Lastly replied by bombless | 2 |
bombless's recent replies
3 days ago Replied to a topic by bombless › 数学 › 有没有 token 用不完的佬一起做几何定理证明器 |
@c4tn 给 https://github.com/bombless/prover-typescript/发 pull request 就行。到时候把权限调一下每个 pr 显示对应的 github.io 内容的话就可以看到每个 pr 的效果了
3 days ago Replied to a topic by bombless › 数学 › 有没有 token 用不完的佬一起做几何定理证明器 |
@metalvest 是计算机辅助证明，属于是形式化证明，是严格数学推导的
Dec 2, 2025 Replied to a topic by hzz2 › 问与答 › github-readme-stats.vercel.app 挂了 请问有什么替代品吗 |
看你加的链接里别人说的内容，感觉这个服务基本属于是不太能用了：
```
I just received a message from Anurag that Vercel stopped their OSS sponsorship and account was returned to basic plan, so when the limits was exceeded the deployment was paused. As I understand, at the moment Anurag returned it to work with own money, but in the near future we have to migrate on another cloud provider because Vercel is very expensive.
```
```
I just received a message from Anurag that Vercel stopped their OSS sponsorship and account was returned to basic plan, so when the limits was exceeded the deployment was paused. As I understand, at the moment Anurag returned it to work with own money, but in the near future we have to migrate on another cloud provider because Vercel is very expensive.
```
Dec 2, 2025 Replied to a topic by hzz2 › 问与答 › github-readme-stats.vercel.app 挂了 请问有什么替代品吗 |
今天看又炸了
Jun 3, 2024 Replied to a topic by 1987618girl › 生活 › 87 年的兔， 05 年上的大学，马上奔四的老码农了。感觉生活没有啥激情了，陪孩子看电影，都感觉无趣，电视剧更是好久没有看了，也就看看玄幻小说。感觉人这一辈子好无聊，生活也就这样了。 |
试试帮孩子找点乐趣？
Jun 3, 2024 Replied to a topic by amiwrong123 › 程序员 › 为什么一个只调用 printf 的函数，对应的汇编代码这么复杂？ |
gcc 里面你这种调用应该是直接优化成 puts
Apr 1, 2024 Replied to a topic by MagicCoder › 程序员 › 这愚人节彩蛋... |
发这个不利于反思
Mar 5, 2024 Replied to a topic by bombless › 北京 › 有没有大哥讲讲晚上十一二点到大兴机场怎么住宿便宜 |
问了一圈，感觉按我的情况选早一点的班次然后地铁去海户屯住比较方便，供后来者参考～
Select Language