newest
Open in hackernews
Typechecking Is Undecidable When 'Type' Is a Type
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6
3
•
zem
•
13h ago
The Torch of Terrorism (1994)
https://time.com/archive/6726261/the-torch-of-terrorism/
1
•
thomassmith65
•
24s ago
•
0 comments
Decoding the Chinese Computer
https://www.sixthtone.com/news/1017405
1
•
sohkamyung
•
49s ago
•
0 comments
YouTube to be included in Australia's teen social media ban
https://www.bbc.com/news/articles/cpv0zkxx0njo
1
•
nojs
•
1m ago
•
0 comments
The chaos and confusion of itch.io and Steam's abrupt adult game ban
https://www.theverge.com/games/715299/itchio-games-delisting-payment-processor-paypal
1
•
isaacfrond
•
4m ago
•
0 comments
Intra-procedural lifetime and borrowing analysis in Clang
https://discourse.llvm.org/t/rfc-intra-procedural-lifetime-analysis-in-clang/86291
1
•
fanf2
•
4m ago
•
0 comments
Dead Internet Theory becomes more real – Now anyone can start botting easily
https://twitter.com/ArtusVranken/status/1950476396033175721
1
•
reeeeee
•
5m ago
•
0 comments
Seriously, Why Do Some AI Chatbot Subscriptions Cost More Than $200?
https://www.wired.com/story/seriously-why-do-some-ai-chatbot-subscriptions-cost-more-than-200/
1
•
isaacfrond
•
8m ago
•
1 comments
Show HN: I built a local AI assistant as a browser extension (zero cloud)
https://github.com/NativeMindBrowser/NativeMindExtension
2
•
kaylakay
•
9m ago
•
0 comments
It all comes down to the mitochondria
https://www.science.org/content/blog-post/it-all-comes-down-mitochondria
2
•
A_D_E_P_T
•
11m ago
•
0 comments
Nvidia CEO Jensen Huang Sells $27.6M in Stock over Five Days
https://techgraph.co/stock-market/nvidia-ceo-jensen-huang-sells-27-6-million-in-stock-over-five-days/
2
•
visitednews
•
19m ago
•
0 comments
Show HN: Bear.Share – Turn any webpage into beautiful sharing cards
https://chromewebstore.google.com/detail/bearshare-web-sharing-car/njgbcdlfpmkgbdkiagganmdgmkfegidh
1
•
BearBest
•
22m ago
•
0 comments
Oscar-Winning 'No Other Land' Awdah Hathaleen Killed by Israeli Settler
https://www.latimes.com/entertainment-arts/story/2025-07-29/awdah-hathaleen-killed-no-other-land-palestinian-activist-israeli-settler
3
•
_shadi
•
26m ago
•
0 comments
AWS Introduces Vector Capabilities on Amazon S3
https://www.infoq.com/news/2025/07/aws-s3-vectors/
2
•
NomDePlum
•
28m ago
•
0 comments
Show HN: RentUp – I built a rent manager for my parents
https://play.google.com/store/apps/details?id=ai.sach.rentup&hl=en_US
1
•
Sachinrao
•
29m ago
•
0 comments
Scientists use quantum machine learning to create semiconductors
https://www.livescience.com/technology/computing/scientists-use-quantum-machine-learning-to-create-semiconductors-for-the-first-time-and-it-could-transform-how-chips-are-made
1
•
tinchox5
•
29m ago
•
0 comments
Trump admin pushes to reverse scientific ruling behind climate regulations
https://www.france24.com/en/americas/20250730-trump-administration-pushes-to-reverse-scientific-ruling-behind-climate-regulations
3
•
WastedCucumber
•
30m ago
•
0 comments
Longevity World Cup – compete to lower your biological age and win BTC
https://longevityworldcup.com/
1
•
nopara73
•
32m ago
•
0 comments
Global Innovation Index 2024
https://www.wipo.int/en/web/global-innovation-index/2024/index
1
•
andsoitis
•
32m ago
•
0 comments
Foreign Language LLM Jailbreak
https://datanizing.com/2025/07/30/llm-jailbreak.html
1
•
cwinkler
•
34m ago
•
0 comments
SpaceX to assist Uzbekistan in developing national space program
https://kun.uz/en/news/2024/10/24/spacex-to-assist-uzbekistan-in-developing-national-space-program
1
•
andsoitis
•
35m ago
•
0 comments
One diet soda a day increases type 2 diabetes risk by 38%
https://newatlas.com/diet-nutrition/one-drink-diabetes-risk/
7
•
imartin2k
•
40m ago
•
4 comments
Australia's attempt to join the space race lasts just 14 seconds
https://www.theregister.com/2025/07/30/gilmour_space_australia_test_flight/
1
•
01-_-
•
42m ago
•
0 comments
AI Superintelligence Will Transform Our Products
https://www.adaline.ai/blog/how-ai-superintelligence-will-transform-our-products
1
•
nielspace
•
43m ago
•
0 comments
PostgreSQL HTTP Client
https://github.com/pramsey/pgsql-http
1
•
marklit
•
44m ago
•
0 comments
Crumb – Secret Management Tool
https://github.com/crhuber/crumb
1
•
cr_huber
•
45m ago
•
0 comments
Online Hate Speech Resembles Mental Health Disorder Language
https://neurosciencenews.com/online-hate-speech-personality-disorder-29537/
2
•
01-_-
•
45m ago
•
1 comments
Substack sent a push alert promoting a Nazi blog
https://www.patreon.com/posts/substack-sent-135263203
4
•
tobr
•
48m ago
•
0 comments
Decline in Insect Populations
https://en.wikipedia.org/wiki/Decline_in_insect_populations
2
•
lnkl
•
49m ago
•
0 comments
How to Forget Things on Purpose
https://www.sciencealert.com/watch-how-to-forget-things-on-purpose
2
•
svenfaw
•
49m ago
•
0 comments
Growing more food does not mean we always need more and more inputs
https://www.sustainabilitybynumbers.com/p/agricultural-total-factor-productivity
1
•
alphabetatango
•
50m ago
•
0 comments