Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by amichail
Timothy Gowers – Why Are LLMs Not Better at Finding Proofs? [video]
1 points
amichail
2025-06-03T11:22:46Z
www.youtube.com
Tick-borne disease is spreading into new parts of Canada
2 points
amichail
2025-06-03T02:17:48Z
www.ctvnews.ca
Swift at Apple: Migrating the Password Monitoring Service from Java
15 points
amichail
2025-06-02T22:54:50Z
www.swift.org
Ask HN: Should science ensure NDEs are pleasant without damaging the brain?
2 points
amichail
2025-06-02T19:58:10Z
news.ycombinator.com
Ask HN: Is "compatibilism" causing students to lose interest in philosophy?
1 points
amichail
2025-06-02T14:22:36Z
news.ycombinator.com
1 points
amichail
2025-06-01T22:17:36Z
news.ycombinator.com
Ask HN: Will Tetris be eclipsed by a variant soon due to AI coding help?
1 points
amichail
2025-06-01T19:10:46Z
news.ycombinator.com
Type of Fiber Could Have Weight Loss Benefits Similar to Ozempic
2 points
amichail
2025-06-01T16:18:51Z
www.sciencealert.com
Solar Storms Are Pushing Elon Musk's Satellites Back to Earth
5 points
amichail
2025-06-01T16:14:43Z
gizmodo.com
The Theory of Everything That Nobody Talks About [video]
1 points
amichail
2025-06-01T15:38:48Z
www.youtube.com
Flying robot morphs in mid-air to land and roll on wheels
4 points
amichail
2025-05-31T11:03:58Z
newatlas.com
Ask HN: Does CS underplay language choice while linguistics overplays it?
1 points
amichail
2025-05-30T21:14:18Z
news.ycombinator.com
Ask HN: What do you think of this Tetris variant that is simpler than Tetris?
1 points
amichail
2025-05-29T22:45:36Z
news.ycombinator.com
AI Isn't a Worker Replacement; It's a Human Replacement
2 points
amichail
2025-05-29T21:52:43Z
old.reddit.com
Superhuman performance of an LLM on the reasoning tasks of a physician
36 points
amichail
2025-05-29T20:44:46Z
arxiv.org
New brain-spine interface tech in Shanghai helps paralyzed patients walk again [video]
4 points
amichail
2025-05-29T18:53:29Z
www.youtube.com
Ask HN: Are AIs intentionally weak at debugging their code?
6 points
amichail
2025-05-29T15:32:42Z
news.ycombinator.com
Ask HN: Ban streaming services from playing the same commercial constantly?
3 points
amichail
2025-05-29T12:45:41Z
news.ycombinator.com
AI isn't ready to replace human coders for debugging, researchers say
3 points
amichail
2025-05-29T11:14:52Z
arstechnica.com
Ask HN: Would understanding why LLMs work so well be a disaster for humans?
2 points
amichail
2025-05-28T23:08:14Z
news.ycombinator.com
3
4
5
6
7
8
9
10
11
12