newest
Open in hackernews
Gilles Dowek: an explorer of formal methods
https://www.inria.fr/en/gilles-dowek-formal-methods-sciences-grand-prize-inria-french-academy-of-sciences-2023
2
•
homarp
•
1d ago
MIT: A new way to edit or generate images with AI
https://news.mit.edu/2025/new-way-edit-or-generate-images-0721
1
•
lampreyface
•
3m ago
•
0 comments
China's abandoned buildings draw urban explorers despite risks
https://www.japantimes.co.jp/news/2025/07/06/asia-pacific/china-abandoned-buildings/
3
•
PaulHoule
•
9m ago
•
0 comments
You can't color calibrate deep space photos
https://maurycyz.com/misc/cc/
1
•
LorenDB
•
10m ago
•
0 comments
Cracking the Code: Realtime Debugger Visualization Architecture – BSC 2025 [video]
https://www.youtube.com/watch?v=_9_bK_WjuYY
1
•
kelseyfrog
•
11m ago
•
0 comments
Roots of the Republic
https://literaryreview.co.uk/roots-of-the-republic
1
•
pepys
•
12m ago
•
0 comments
SoftBank and OpenAI's $500B AI Project Struggles to Get Off Ground
https://www.wsj.com/tech/ai/softbank-openai-a3dc57b4
1
•
ent101
•
12m ago
•
0 comments
Cursor for QA – TestChimp Launches AI Test Assistant in the Browser
https://testchimp.io/documentation-chrome-extension/
1
•
TestChimp
•
12m ago
•
0 comments
Facebook Wants Access to Your Camera Roll for AI
https://www.bitdefender.com/en-us/blog/hotforsecurity/facebook-access-your-camera-roll-ai-tricks
2
•
sizzle
•
14m ago
•
0 comments
Hershey to increase candy prices by double digits amid rising cocoa costs
https://www.cbsnews.com/news/hershey-candy-prices-rising-cocoa-costs/
1
•
bikenaga
•
17m ago
•
0 comments
The rise of on-device AI and the return of data ownership
https://pieces.app/blog/the-importance-of-on-device-ai-for-developer-productivity
1
•
thunderbong
•
19m ago
•
0 comments
Benchmarking memory-mapped files for high-frequency trading
https://github.com/santiago-mooser/mmap-sync-benchmark
1
•
sneakerblack
•
21m ago
•
0 comments
Abrupt climate shifts likely as global temperatures keep rising
https://phys.org/news/2025-07-abrupt-climate-shifts-global-temperatures.html
2
•
bikenaga
•
22m ago
•
1 comments
245TB Kioxia LC9 SSD Sets New SSD Density Record
https://www.storagereview.com/news/245tb-kioxia-lc9-ssd-sets-new-ssd-density-record
1
•
882542F3884314B
•
27m ago
•
0 comments
Move Slowly and Build Bridges
https://moveslowlybuildbridges.com/
2
•
sohkamyung
•
27m ago
•
0 comments
More than 50pc of voters now rely on government for their main income
https://www.afr.com/policy/economy/culture-of-dependency-lifts-spending-to-highest-level-since-wwii-20250722-p5mgu0
4
•
cwwc
•
31m ago
•
2 comments
TapTrap: Animation‑Driven Tapjacking on Android
https://taptrap.click/
3
•
Bogdanp
•
31m ago
•
0 comments
Is the use of Emojis in the code and console recommended?
1
•
sirilyros
•
49m ago
•
1 comments
Python 3.14.0rc1
https://www.python.org/downloads/release/python-3140rc1/
1
•
OutOfHere
•
52m ago
•
1 comments
Magic mushrooms rewind aging in mice–could they do the same for humans?
https://www.sciencedaily.com/releases/2025/07/250721223838.htm
2
•
OutOfHere
•
53m ago
•
0 comments
Show HN: I built a tool that automates cold DMs on Twitter
https://www.dmpro.ai/
1
•
jsathianathen
•
53m ago
•
0 comments
Can a Chatbot Be Your Therapist? Casper's Neil Parikh Launches $93M Startup
https://www.forbes.com/sites/zoyahasan/2025/07/22/can-a-chatbot-be-your-therapist-caspers-neil-parikh-launches-a-new-93-million-startup-to-try/
2
•
CharlesW
•
58m ago
•
0 comments
An LLM-based chatbot promised a 50% discount due to hallucination
https://www.haebom.dev/archive?post=7916x82r8eje124kpyg3
1
•
haebom
•
1h ago
•
0 comments
New AI study clarifies the origins of Papua New Guineans
https://phys.org/news/2025-07-ai-papua-guineans.html
1
•
pseudolus
•
1h ago
•
0 comments
Democrats are trying to revive the click-to-cancel rule
https://www.theverge.com/politics/711707/click-to-cancel-democrats-ftc
27
•
pseudolus
•
1h ago
•
3 comments
The Reason Your AI Code Becomes Unmaintainable (and How to Fix It)
https://blog.daviddodda.com/most-ai-code-is-garbage-heres-how-mine-isnt
2
•
DavidDodda
•
1h ago
•
1 comments
Tesla opens diner and drive-in movie theater in Hollywood
https://abc7.com/post/fans-wait-hours-visit-highly-anticipated-tesla-diner-drive-movie-theater-hollywood-opening-day/17235885/
5
•
geox
•
1h ago
•
1 comments
Show HN: Cryptographic proofs that algorithms stay fair over time [pdf]
https://github.com/skylessdev/skyla/blob/main/dual-baseline-verification.pdf
1
•
skylessdev
•
1h ago
•
0 comments
Large ancient Hawaiian petroglyphs uncovered by waves on Oahu
https://www.sfgate.com/hawaii/article/hawaii-petroglyphs-uncovered-20780579.php
3
•
c420
•
1h ago
•
0 comments
One in six US workers pretends to use AI to please the bosses
https://www.theregister.com/2025/07/22/ai_anxiety_us_workers/
16
•
mikece
•
1h ago
•
1 comments
Nuclear fusion startup claims to have cracked alchemy
https://www.telegraph.co.uk/business/2025/07/22/nuclear-start-up-claims-cracked-alchemy-marathon-fusion/
1
•
austinallegro
•
1h ago
•
0 comments