signatures-bundles-9.5.zip
975.8 MB
还有一些额外的,这是我自己从官方下的
❤11
1. 我想看书
2. 我不想装一个 Calibre 就为了用它的 ebook-viewer 看书,还是 Python 写的,上次更新还滚挂了
3. web.readest.com 挺好的,但是它很重还带登录和 telemetry 和一大堆 sync,翻译,TTS 之类乱七八糟的功能
4. 其它 app 也没什么满意的
于是我 Opus 搓了个 carrel,没那么多花里胡哨的就 in-browser foliate-js 读书,阅读相关的功能大概都有
https://carrel.k4yt3x.com/
https://github.com/k4yt3x/carrel
反正我想白嫖 GitHub Pages 不如发出来算了,说不定你也用得上
2. 我不想装一个 Calibre 就为了用它的 ebook-viewer 看书,还是 Python 写的,上次更新还滚挂了
3. web.readest.com 挺好的,但是它很重还带登录和 telemetry 和一大堆 sync,翻译,TTS 之类乱七八糟的功能
4. 其它 app 也没什么满意的
于是我 Opus 搓了个 carrel,没那么多花里胡哨的就 in-browser foliate-js 读书,阅读相关的功能大概都有
https://carrel.k4yt3x.com/
https://github.com/k4yt3x/carrel
反正我想白嫖 GitHub Pages 不如发出来算了,说不定你也用得上
👏8
现在的智能电视一个二个都好离谱,ACR 和 24/7 录音简直是行业标准,跟 1984 的 telescreen 一样给你家里看的听的全上传发给几百家合作公司,我是不知道这么离谱的东西怎么还没被告到破产的
https://hao.cnyes.com/post/274165
https://hao.cnyes.com/post/274165
鉅亨號
外國小哥「虐待」自家電視,42 小時後慘遭OpenAI封號!Claude也下狠手 | 科技 | 鉅亨號 | Anue鉅亨
一名安全研究員在破解自家三星電視後,揭露該電視會 7x24 小時監聽家庭環境並將精確畫像賣給數百家公司。諷刺的是,該研究員因使用 AI 協助分析而遭 OpenAI 封號,Claude 同時也強化了對逆向工程的限制。此次事件背後是開源神器 REA 的崛起,該工具讓逆向工程從專家專利變為「一句話」操作,打破了大廠的資訊壟斷。文章質疑,當消費者試圖看清購買產品的真相時,反而被 AI 巨頭定義為「加害者」,凸顯了科技巨頭對掌控權的恐懼及其在隱私倫理上的雙標。
🤬12😇1😡1
最近看 Marathon 重新上了我七月没时间玩的 PvE Vault Breaker 模式于是去试了一下,这模式本身并没什么特别的而且很重复所以我不建议玩,但是玩的时候我似乎发现了这个模式真正的 bug 用法,写一个 writeup 讲一下怎么利用这个模式打破多人游戏平衡:
想要变强,玩家通常得去做阵营的任务,提升阵营等级以及获得「摇篮」系统的点数升级人物属性;大多阵营的一次性主线任务是绑定到某张地图的某个地点上的,也就是说传统来说想变强就只能去下多人图,冒着装备全部丢失以及进十次回来两三次的风险,花大量的时间去完成任务
而有了 PvE Vault Breaker (VB) 这个模式之后,有这么几个可以组合利用的 fact:
1. VB 里也是可以做任务的,只是大部分任务做不了
2. 即使游戏中死亡,完成的任务进度也不会重置
3. VB 是单人模式,随时开随时立刻进,不用排队匹配
4. VB 模式赠送武器装备,每次进无限领,还可以升级
5. 每个阵营都有以消灭 AI (UESC) 为主的无限次要任务
6. 次要任务可以花很少的钱无限刷新,给的经验和主线差不多
7. 完成任务还有送 CyAc 点数和阵营物品比如枪、手雷、消耗品
于是你就可以做以下操作:先从阵营那花钱刷出一个消灭 AI 的次要任务,进 VB 模式在初始房间一顿突突完成任务直接退,然后刷下一个任务再进,快的话一两分钟做完一份合约,两三局升一级
我花了一天多一点的时间在等 AI 写代码的空闲时间去刷,就刷到了全阵营 VIP,而且通过卖阵营升级送的材料和 CyAc 点数点满了摇篮的 70 级,还攒了一仓库的枪、盾、背包、植入物
这里最重要是等级,因为众所周知马拉松的匹配不是按照什么 ELO/MMR 的,而是人物等级;我让 Claude 去 Reddit 之类的地方抓了一下大部分玩家是什么时候完成全阵营 VIP 的:
而我达成全 VIP 的时候才 84 级,这还是我一开始打了一段时间的前提下,也就是说如果我只刷这个模式,顶多只需要一两天,就可以在人物属性、装备、商店售卖的物品等级和数量各方面碾压同级对手,而且因为完成任务是会送装备的,尤其是阵营等级高了之后送的都是蓝色装备,即使满级了也可以用这些模式刷蓝色装备进多人游戏用,而达成这一切的时候可能才 50 级不到甚至更低,因为这样打几个 bot 就退的操作升级极慢
不建议玩,就是像解出 CTF 题了一样手痒忍不住写个 writeup,顺便嘲笑一下 Bungie 设计不过大脑
想要变强,玩家通常得去做阵营的任务,提升阵营等级以及获得「摇篮」系统的点数升级人物属性;大多阵营的一次性主线任务是绑定到某张地图的某个地点上的,也就是说传统来说想变强就只能去下多人图,冒着装备全部丢失以及进十次回来两三次的风险,花大量的时间去完成任务
而有了 PvE Vault Breaker (VB) 这个模式之后,有这么几个可以组合利用的 fact:
1. VB 里也是可以做任务的,只是大部分任务做不了
2. 即使游戏中死亡,完成的任务进度也不会重置
3. VB 是单人模式,随时开随时立刻进,不用排队匹配
4. VB 模式赠送武器装备,每次进无限领,还可以升级
5. 每个阵营都有以消灭 AI (UESC) 为主的无限次要任务
6. 次要任务可以花很少的钱无限刷新,给的经验和主线差不多
7. 完成任务还有送 CyAc 点数和阵营物品比如枪、手雷、消耗品
于是你就可以做以下操作:先从阵营那花钱刷出一个消灭 AI 的次要任务,进 VB 模式在初始房间一顿突突完成任务直接退,然后刷下一个任务再进,快的话一两分钟做完一份合约,两三局升一级
我花了一天多一点的时间在等 AI 写代码的空闲时间去刷,就刷到了全阵营 VIP,而且通过卖阵营升级送的材料和 CyAc 点数点满了摇篮的 70 级,还攒了一仓库的枪、盾、背包、植入物
这里最重要是等级,因为众所周知马拉松的匹配不是按照什么 ELO/MMR 的,而是人物等级;我让 Claude 去 Reddit 之类的地方抓了一下大部分玩家是什么时候完成全阵营 VIP 的:
1. 第一赛季(样本最可靠):集齐时大多在 100–115 级,中位数约 105。在 90–100 级时通常还差 Sekiguchi。
2. 第二赛季:账号等级涨得更快,集齐时约 110–150+ 级,最难升的阵营变成 Arachne。
而我达成全 VIP 的时候才 84 级,这还是我一开始打了一段时间的前提下,也就是说如果我只刷这个模式,顶多只需要一两天,就可以在人物属性、装备、商店售卖的物品等级和数量各方面碾压同级对手,而且因为完成任务是会送装备的,尤其是阵营等级高了之后送的都是蓝色装备,即使满级了也可以用这些模式刷蓝色装备进多人游戏用,而达成这一切的时候可能才 50 级不到甚至更低,因为这样打几个 bot 就退的操作升级极慢
不建议玩,就是像解出 CTF 题了一样手痒忍不住写个 writeup,顺便嘲笑一下 Bungie 设计不过大脑
❤6
做了一个 https://time.k4yt3x.com/ 看其它时区的时间,因为 time.is 不识别
FOSS at https://github.com/k4yt3x/time
/utc+5:30 这种格式而且还要弹 adblock 提示,这么个破玩意儿不开 adblock 还有广告真是受不了FOSS at https://github.com/k4yt3x/time
👍10👏3
一开始 OpenAI 发了一仓库的数学论文的时候我是没意识到事态的严重性的
这周末我去看了一下王虹三维挂谷的证明,然后再看 OpenAI 和 A\ 一次性解决了一连串的全维度挂谷猜想,指数时间假设证伪
…妈耶,人类最顶尖的数学家也要沦落为解读 AI 大人神谕的大祭司了吗
https://www.bilibili.com/video/BV1Z6H56oEcQ/
这周末我去看了一下王虹三维挂谷的证明,然后再看 OpenAI 和 A\ 一次性解决了一连串的全维度挂谷猜想,指数时间假设证伪
…妈耶,人类最顶尖的数学家也要沦落为解读 AI 大人神谕的大祭司了吗
https://www.bilibili.com/video/BV1Z6H56oEcQ/
BiliFix / vxbilibili.com
📺138.3萬 👍10.9萬 🪙5.1萬 ⭐7.1萬 📤6396
📺138.3萬 👍10.9萬 🪙5.1萬 ⭐7.1萬 📤6396
AI不會告訴你,王虹到底證明了什麼
當我第一次在北大的教室裡見到王虹,悶熱、潮溼、吵鬧,她安靜地出現在講臺上,然後挽起袖子,打開了一旁的窗戶。
最近 formal verification 很火热啊,有了 AI 好多东西都能 formal verify 了
https://fxtwitter.com/v12sec/status/2116257878017441906
https://fxtwitter.com/broyojo42/status/2119846041214206286
https://fxtwitter.com/v12sec/status/2116257878017441906
https://fxtwitter.com/broyojo42/status/2119846041214206286
🧵 Thread • FxTwitter
V12 (@v12sec)
x86 formal verification is coming!
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project…
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project…