国防部长说,以色列对伊朗发动罢工(在19小时内得分:150多)
https://readhacker.news/s/6w4Z4
https://readhacker.news/s/6w4Z4
CNN
Israel hits Iran’s nuclear program and military leadership in unprecedented strikes | CNN
Israel struck at the heart of Iran’s nuclear, missile and military complex early Friday, in an unprecedented attack that reportedly killed three of Iran’s most powerful figures and plunges the wider Middle East into dangerous new territory.
Show HN:Tattoy - 基于文本的终端合成器(11小时内得分:150多个)
https://readhacker.news/s/6w6hw
https://readhacker.news/s/6w6hw
tattoy.sh
Tattoy is a text-based terminal compositor
Peano算术就足够了,因为Peano算术编码计算(得分:23小时内151+)...
https://readhacker.news/s/6w6Ey
https://readhacker.news/s/6w6Ey
Mathematics Stack Exchange
Can PA prove "each Goodstein sequence can be proven in PA to reach zero"?
This is one of a pair of questions trying to understand this comment on the xkcd forum contest My number is bigger than yours!. For a definition of Goodstein sequences, see this question.
Let $G(n)...
Let $G(n)...
SIMD友好算法的子字符串搜索(2018年)(12小时内得分:150多个)
https://readhacker.news/s/6w7Zb
https://readhacker.news/s/6w7Zb
0x80.pl
SIMD-friendly algorithms for substring searching
发射HN:Chonkie(YC X25) - 高级块开源库(❄️分数:5天内150多个)L ...
https://t.me/hacker_news_feed/hacker_news_feed/118288
https://t.me/hacker_news_feed/hacker_news_feed/118288
Telegram
Hacker News
Top stories from https://news.ycombinator.com (with 100+ score)
Contribute to the development here: https://github.com/phil-r/hackernewsbot
Also check https://t.me/designer_news
Contacts: @philr
Contribute to the development here: https://github.com/phil-r/hackernewsbot
Also check https://t.me/designer_news
Contacts: @philr
Google Cloud事件报告 - 2025-06-13(得分:11小时内150多个)
https://readhacker.news/s/6w8bd
https://readhacker.news/s/6w8bd
整数线性编程的最后五十年:最近的实际进步(得分:14小时内150多个)...
https://readhacker.news/s/6w8bh
https://readhacker.news/s/6w8bh
inria.hal.science
Last fifty years of integer linear programming: a focus on recent practical advances
<div><p>Mixed-integer linear programming (MILP) has become a cornerstone of operations research. This is driven by the enhanced efficiency of modern solvers, which can today find globally optimal solutions within seconds for problems that were out of reach…
Waymo的骑行成本比Uber或Lyft高,无论如何人们都在支付(2天内的152次以上)链接...
https://readhacker.news/s/6w2VV
https://readhacker.news/s/6w2VV
TechCrunch
Exclusive: Waymo rides cost more than Uber, Lyft — and people are paying anyway | TechCrunch
A new analysis done by ride-hailing aggregator Obi shows Waymos cost more especially on shorter trips. They also have longer wait times.