王导是也

65 posts

王导是也 banner
王导是也

王导是也

@iamwsll

南京大学在校生,程序猿。

Entrou em Şubat 2024
131 Seguindo90 Seguidores
王导是也
王导是也@iamwsll·
推特的这个自动翻译做的确实不错
中文
0
0
0
5
王导是也 retweetou
蓝点网
蓝点网@landiantech·
虎牙旗下安卓应用下载站 #APKPure 被发现分发带有间谍框架的 #Telegram 安装包,间谍框架会收集用户的聊天记录 (包括历史聊天记录)、通讯录、相册、文件、GPS 位置、SIM 卡信息。开发者南宫雪珊注意到这些安装包签名不正确,安全研究员 Eric 逆向后发现安装包包含间谍框架:ourl.co/113057?x
蓝点网 tweet media
中文
157
177
935
155.8K
王导是也
王导是也@iamwsll·
事实证明所谓的蓝v互关可能会触发风控,进而导致浏览量下降
中文
0
0
0
45
王导是也
王导是也@iamwsll·
@zkgoudan 实际上这个功能叫gemini in chrome,去年九月份就推出来了,只不过风控比较严,稍微漏一下中国ip这个功能就不给你推送,已经推送的也会被取消
中文
0
0
0
228
李狗蛋3.0 🔶
李狗蛋3.0 🔶@zkgoudan·
更新 Chrome后,你会发现右上角多了一个 Gemini 感觉谷歌又要在AI 弯道超车了,懂得都懂
李狗蛋3.0 🔶 tweet media
中文
21
0
11
4.7K
王导是也
王导是也@iamwsll·
@lidangzzz 其实一例病人存活200多天不一定就能大规模推广,要是需要合规且大规模推广,进一步的审批和实验估计要走很久
中文
1
0
77
17.5K
lidang 立党 (劝人卖房/学CS/买SP500/纳100/OpenAI/Anthrop第一人)
西京医院去年实施了一例猪肾移植,去年11月份已经术后存活200多天了。 如果西京医院能一直这么开展下去,估计很多病人愿意用猪肾,给他们提供猪肾的这家生物公司也会成功上市。 具体做法是,给猪敲掉了一大堆基因,防止排异反应,然后饲养长大。 实话实说,这应该就是正义版贺建奎最想成立的公司: 在不强烈违背医学伦理的前提下,用最疯狂的合规技术,给生命科学带来革命性的收益。 如果临床效果足够好,这个手术能推广,供货能稳定并且价格降下来,让这个产业存活下去,终末期尿毒症应该也要彻底解决了。
lidang 立党 (劝人卖房/学CS/买SP500/纳100/OpenAI/Anthrop第一人) tweet media
中文
116
32
587
207.1K
王导是也 retweetou
子时
子时@silverfang88·
阳哥巧施连环计,新人误入白虎堂 真给余承东拉进来了 让我想起来当时腾讯有个实习生 直接系统发消息给马化腾 招进来的HR也直接背星
子时 tweet media
中文
96
2
148
94.5K
王导是也
王导是也@iamwsll·
成功跑通了完整的本地音乐播放流程。 音源从music.gdstudio.xyz上找,上面的音源聚合了各种app,几乎没有找不到的。 数据下好之后存储在飞牛nas上,然后使用道理鱼音乐来刮削元数据。(不过可以催更一下飞牛音乐) 外网访问的方法则是通过域名+cloudflare tunnel映射道理云的端口。 ios端使用箭头音乐app来播放。缓存设置大一点,减少网络传输。 这样以后再也不用订阅apple music了,美区applemusic的10刀一个月还是太贵了(学生优惠6刀也贵)
中文
0
0
0
28
王导是也 retweetou
宝玉
宝玉@dotey·
如何在 Codex App 使用 /goal 的简单说明: 1. 升级 Codex App 到最新版本 2. 先在命令行运行一下下面的指令: > codex features enable goals 或者手动修改 ~/.codex/config.toml [features] goals = true 3. 开头输入 /goal,或者点 + 弹出菜单中选择 4. 开始后,输入框上方可以暂停、编辑、删除
宝玉 tweet media宝玉 tweet media
OpenAI Developers@OpenAIDevs

🥅 /goal has graduated from an experiment—for tasks big and small, Codex gets your work done. Use goal mode in the Codex app, IDE Extension, or CLI to give Codex a specific milestone, and it will keep working until it gets there, even across hours or days. You can check in and steer, and even pause Codex along the way. Pro tip: start side chats to understand the work that has been done so far without having to interrupt the main task. #goal-mode" target="_blank" rel="nofollow noopener">developers.openai.com/codex/promptin…

中文
69
68
429
126.7K
王导是也 retweetou
OpenAI Developers
OpenAI Developers@OpenAIDevs·
It’s Codex Thursday, and yes, we have updates for you. First up: Appshots, a new way to bring the context of what you’re working on into Codex. On your Mac, press Command-Command to attach your app window to a Codex thread. Codex gets both a screenshot and text from the window, including content beyond what’s visible onscreen. Appshots are available across plans on Mac, with enterprise access coming soon.
English
487
493
6.4K
1.8M
王导是也 retweetou
Dr.Hash“Wesley”
Dr.Hash“Wesley”@CryptoApprenti1·
🚨 FBI 亲手发了一个假加密货币,挂上 Uniswap,雇做市商把价格拉起来,然后把所有点头答应配合的人全部抓了。 这大概是加密史上最离谱的一次执法行动。 FBI 在以太坊上真的部署了一个 ERC-20 代币,叫 NexFundAI——1000 亿枚总量、一个做得很专业的官网、白皮书里还写着"用 AI 投资实现被动收入"。它看起来和市面上任何一个加密项目一模一样——而这正是 FBI 要的效果。 卧底探员假扮成项目创始团队,主动去联系那些专业做市公司,开门见山地说:"我们需要你们帮我们刷交易量。" 结果每一家公司都答应了。 以下是 FBI 录下来的内容: Gotbit——老板是个 26 岁的俄罗斯人,2019 年还公开吹嘘自己靠刷交易量做成了生意。他的团队内部表格里,列名直接就写着"假交易量"和"真实交易量"两栏。当被问到能多快把 NexFundAI 的日交易量刷到 100 万美元时,他们的回答是:"6 小时,成本大概 200 美元。"——200 美元,就能伪造 100 万美元的日成交。 MyTrade——老板自称"操盘大脑",还对着镜头把这套骗局的心理学讲得明明白白:"我们要把 K 线做成一条很漂亮的过山车,人们就会在那时候冲进来。我们必须让他们亏钱,我们才能赚钱。"——这话是他在被 FBI 录像的视频通话里亲口说的。 CLS Global——一家迪拜公司,它的机器人贡献了 NexFundAI 全部交易量的 98%。当 FBI 问他们能不能把假交易量的爆发和假新闻发布的时间点同步起来时,他们说:完全没问题。 ZM Quant——机器人通过几十个钱包,每分钟执行 10 到 20 笔交易,就为了让成交看起来"很自然"。 所有人都清楚这是欺诈,所有人还是照做了,而所有过程都被录了下来。 而买单的"客户"比做市商更夸张: Saitama——一个曾经冲到 75 亿美元市值的 meme 币。创始人在私密 Telegram 群里协调买盘,一边发"拉盘"表情包一边操纵价格,最后把筹码全砸给散户。75 亿美元的市值完全建立在假交易量之上——里面每一分真金白银,都来自那些以为行情是"自然走出来"的散户。 其中一个创始人离开 Saitama 后又搞了 Robo Inu,继续找 Gotbit;另一个人又发了 VZZN,同一套剧本。 Lillian Finance——创始人自称是给国会做过陈述的国防承包商,宣传这个币是为了给儿童医院筹款,结果钱全进了自己口袋。 FBI 收网那天,单日就查扣了 2500 万美元,在美国、英国、葡萄牙三地共起诉 18 人。Gotbit 的 CEO 在葡萄牙被捕并引渡,最终判 8 个月,外加 2300 万美元罚没。 但真正让人懵掉的是下面这段—— 居然有真实用户去买了 NexFundAI。 这个 FBI 造的假币,没有任何实际用途、没有真实开发者、纯粹是为抓罪犯而生——可它还是吸引了真实散户,因为那些假交易量把 K 线做得"很看涨"。 当 FBI 撤掉流动性、结束这次行动时,这些人是真的亏了钱——亏在一个"政府发行"的代币上。FBI 最后不得不专门搭了一个赔付通道把钱退给他们。 还有更荒诞的: 司法部刚宣布完这次钓鱼行动,24 小时内就有人照搬了 FBI 那份智能合约,发了个山寨币,蹭着这波热度,单日就赚了 12.7 万美元——用的正是 FBI 刚刚抓了 18 个人的那套操纵手法。 然后到了 2026 年,FBI 又干了一次。新币叫 Lexobit,又抓了 10 个人,其中包括从新加坡引渡回来的操盘者。 IRS 的取证还显示:某家做市公司的交易里,连续 1221 笔交易中有 1209 笔直接回流到了该公司自己控制的钱包——99% 是自循环的左手倒右手。 FBI 用这两次行动,证实了整个加密圈一直怀疑、却没人能拍板说死的事: 交易量是假的,K 线是画出来的,所谓的"动能"是人为制造的。 每一次你因为"K 线看起来很看涨"而买入一个币——你可能正是别人出货的接盘侠。
中文
94
136
621
157.7K
王导是也 retweetou
AB Kuai.Dong
AB Kuai.Dong@_FORAB·
彭博爆料,被中国政府要求撤销 Meta 对 Manus 20 亿美金收购案的,相关 Manus 三位创始人,计划新融资约 10 亿美元,以应对此前政府要求撤销 Meta 收购案的决定。 由于外部融资为 10 亿,还差 10 亿美金还 Meta 钱,所以除计划引入 10 亿外部融资外,创始人还可能自掏腰包补齐余款。 而这笔新融资代价是,Manus 将与这些投资方,在中国设立合资企业,并谋求在香港未来上市。 此前,政府向当事方发出通知,要求取消这笔 Meta 对 Manus 的 20 亿美金收购案,随后 Meta 火速响应中国政府号召,寻求让 Manus 原班团队还这 20 亿美金。
AB Kuai.Dong tweet mediaAB Kuai.Dong tweet media
AB Kuai.Dong@_FORAB

果然,Meta 火速答应了撤销收购。 WSJ 援引消息人士,在昨天中国发改委,要求 Meta 公司撤销 20 亿美金收购 Manus 交易案后,Meta 公司正积极响应号召,取消对中国人工智能初创公司 Manus 的收购。 但棘手的点在于,包括 Benchmark 在内的 Manus 资方,已完成了退出回报。 扎克伯格,估计开心坏了。

Meguro-ku, Tokyo 🇯🇵 中文
225
27
311
509.9K
王导是也
王导是也@iamwsll·
@lexi_labs 实际上拿个一年前的模型,问五年前的人这是不是AGI,五年前的人一定会说是
中文
0
0
4
389
Lexi 勒西
Lexi 勒西@lexi_labs·
我也看到了这篇文章。其实这已经可以定义为 AGI 了。
皓樂芒@howlemont

OpenAI突然就突破了一个数学问题, 很多研发人员表示心情无法言喻,晚上都失眠了 想象一下:你拿一堆钉子(n个点),钉在一张大纸上。你想让尽量多的钉子对儿之间,正好隔着1厘米(不能多不能少,就1厘米)。 这个问题是1946年由数学家保罗·埃尔德什(Erdős)提出来的,叫“平面单位距离问题”。问的其实就是最多能有多少对儿钉子正好1厘米远? 80年来,大家都以为最好的排列方法就是方格子,像国际象棋棋盘,或者像学校的操场画的正方形网格。 把方格稍微缩放一下,就能得到差不多 n(一点点慢慢长大的额外因子) × 1厘米对儿。 埃尔德什本人甚至猜想最多也就 n^{1+o(1)}这么多(就是 n 乘以上一个“趋近于1的额外小数”,永远超不过 n 的某个固定次方)。 结果呢?OpenAI的一个普通推理模型(还不是专门为数学设计的超级AI,就是一个通用思考机),自己琢磨了半天,它的思考过程有足足125页PDF,突然发现:不对!我们可以用一种更牛的办法!它发明了全新的一整族点排列方式(无限多个例子),让1厘米对儿的数量一下子跳到 n^{1+δ},其中 δ ≈ 0.014(普林斯顿数学家Will Sawin后来帮它算精确了)。这可是多项式级别的真正提升,像从“慢慢爬”直接变成“火箭加速”。 它怎么做到的?用了一种超级深的代数数论技巧(叫“无限类域塔”和Golod–Shafarevich理论)。 简单比喻就是以前大家只用“高斯整数”(a+bi那种复数)来造方格;AI却造了更复杂的数塔,像一层一层叠起来的魔法数字城堡,让点和点之间“啪啪啪”撞出远超以前的1厘米对儿。完全出乎人类80年的预期,把埃尔德什那个“方格子差不多最优”的信念直接打翻了。 为什么所有研究者都震惊到睡不着? 1. 这是80年的老大难问题,被AI一次性干掉了而且是自主解决的!不是人喂它提示、专门训练它数学,而是它自己想出来的原创构造。数学史上第一次,AI独立解决了一个真正核心的开放研究问题(不是IMO竞赛题,是那种顶刊级别的猜想)。 2. 它把两个八竿子打不着的领域连起来了:离散几何(钉子怎么摆)和代数数论(抽象的数字城堡)。人类数学家都没往这个方向深挖,它却一头扎进去,还成了。 Fields奖得主Tim Gowers看完直接表示:“如果这是一个人写的论文,我会毫不犹豫推荐到《Annals of Mathematics》(数学界顶级期刊)发表。” 3. 发出了超强音的宣告:AI现在不只是“帮人类算算题”或“查文献”,它能自己发现新路、提出新想法、给出完整证明。 Gowers、Noga Alon、Arul Shankar等一堆大牛都亲自验证,还写了个“人类版解释论文”说:这玩意儿靠谱,而且漂亮得惊人。 4. 对未来的冲击:人类仿佛看到了地平线的一抹晨光,AI马上就能帮人类在生物、物理、医学、工程上加速突破了。人类还是掌舵人,但AI成了超级得力的“发现伙伴”。这是要范式转变了。 所以数学家、AI研究者们今晚都刷着论文、讨论链路、激动得睡不着。就像1970年代突然发现黑洞、或者突然证明费马大定理那天一样,历史性时刻来了。 总结:这些AI不是“抄作业”,它是自己发明了一种全新的“钉子摆法”,把80年没人敢动的猜想推翻了。 研究者们见证到了数学和科学发现方式的革命,难怪大家集体失眠。 你,看懂了吗? 不懂就去找OpenAI去要原证明和125页思考过程吗吧,他们都公开了。 反正我是没懂!

中文
50
1
43
30.7K
王导是也 retweetou
OpenAI
OpenAI@OpenAI·
Today, we share a breakthrough on the planar unit distance problem, a famous open question first posed by Paul Erdős in 1946. For nearly 80 years, mathematicians believed the best possible solutions looked roughly like square grids. An OpenAI model has now disproved that belief, discovering an entirely new family of constructions that performs better. This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics.
English
1.1K
3.9K
26.7K
13.4M
王导是也
王导是也@iamwsll·
c/cpp/rust都(或者说大多数情况)依赖libc,但是go不是.go自己实现了一遍,它直接通过系统调用来与内核交互
中文
0
0
0
14
王导是也 retweetou
Lonely
Lonely@Lonely__MH·
🚀 Antigravity 2.0 更新要慎重!⚠️ 我靠!! 心中一万匹 草泥马🐎... 更新完成之后,原本功能齐全的 IDE 没了!!! 现在的界面 和 Codex 没啥区别 💔 Antigravity ID 需要单独下载了 传送门👉🏻 #antigravity-ide" target="_blank" rel="nofollow noopener">antigravity.google/download#antig… Reddit社区已经有人在骂了😅
Lonely tweet media
Lonely@Lonely__MH

🚀快速体验:Google 最新Gemini 3.5 Flash 1. Antigravity 升级到 2.0 版本 2. 模型选择 Gemini -3.5-flash

中文
52
5
47
31.3K