Hacker News: bumbledraven

Lean proved this program correct; then I found a bug

bumbledraven — Tue, 14 Apr 2026 00:25:08 +0000

Article URL: https://kirancodes.me/posts/log-who-watches-the-watchers.html

Comments URL: https://news.ycombinator.com/item?id=47759709

Points: 288

# Comments: 138

What's in a Codebase?

bumbledraven — Tue, 07 Apr 2026 16:18:54 +0000

Article URL: https://www.moderndescartes.com/essays/codebase_spec/

Comments URL: https://news.ycombinator.com/item?id=47677634

Points: 1

# Comments: 0

Being the Adult in the Room

bumbledraven — Fri, 03 Apr 2026 03:06:44 +0000

Article URL: https://tailscale.com/blog/adult-in-the-room

Comments URL: https://news.ycombinator.com/item?id=47622794

Points: 5

# Comments: 0

New comment by bumbledraven in "Man beats machine at Go (2023)"

bumbledraven — Sat, 28 Mar 2026 02:34:25 +0000

Details on the strategy employed by the human are at https://goattack.far.ai:

> We discovered simple adversarial strategies that beat superhuman Go AIs, and find that adding defenses helps but does not eliminate the problem. Our cyclic adversary beats the state-of-the-art KataGo AI more than 97% of the time at superhuman settings. This strategy is simple enough to be replicated by an amateur human player and transfers to other superhuman Go AIs.

New comment by bumbledraven in "Man beats machine at Go (2023)"

bumbledraven — Sat, 28 Mar 2026 02:32:33 +0000

https://archive.is/EBcVa

Man beats machine at Go (2023)

bumbledraven — Sat, 28 Mar 2026 02:32:03 +0000

Article URL: https://www.ft.com/content/175e5314-a7f7-4741-a786-273219f433a1

Comments URL: https://news.ycombinator.com/item?id=47550972

Points: 2

# Comments: 3

The Flawed Ephemeral Software Hypothesis

bumbledraven — Fri, 27 Mar 2026 07:50:51 +0000

Article URL: https://www.blackhc.net/essays/future_of_software/

Comments URL: https://news.ycombinator.com/item?id=47540011

Points: 4

# Comments: 0

New comment by bumbledraven in "How do you capture WHY engineering decisions were made, not just what?"

bumbledraven — Sat, 14 Mar 2026 01:00:43 +0000

A design doc with a robust "alternatives considered" section.

The hidden control plane lurking in your commodity server

bumbledraven — Tue, 17 Feb 2026 18:30:12 +0000

Article URL: https://www.linkedin.com/posts/bryan-cantrill-b6a1_i-have-come-to-bury-the-bios-not-to-open-activity-7427489161642758144-NvDk

Comments URL: https://news.ycombinator.com/item?id=47051111

Points: 6

# Comments: 0

How I used AI to create an exploit for a CVE before public PoCs existed

bumbledraven — Sun, 31 Aug 2025 02:16:34 +0000

Article URL: https://platformsecurity.com/blog/CVE-2025-32433-poc

Comments URL: https://news.ycombinator.com/item?id=45079751

Points: 1

# Comments: 0

New comment by bumbledraven in "Optimizing our way through Metroid"

bumbledraven — Sat, 23 Aug 2025 22:39:39 +0000

It would be neat if a fuzzer could help set a new tool-assisted speedrun (TAS) record.

Dynamo, DynamoDB, and Aurora DSQL

bumbledraven — Thu, 21 Aug 2025 14:46:50 +0000

Article URL: https://brooker.co.za/blog/2025/08/15/dynamo-dynamodb-dsql.html

Comments URL: https://news.ycombinator.com/item?id=44973466

Points: 1

# Comments: 0

New comment by bumbledraven in "Stanford to continue legacy admissions and withdraw from Cal Grants"

bumbledraven — Sat, 09 Aug 2025 13:54:02 +0000

> You fill Harvard of Stanford with only people with 1600 SATs will turn them into places you dont really want to go to.

Isn’t that basically Caltech? They had a 3% acceptance rate in 2023, the lowest in the nation. https://www.usnews.com/best-colleges/rankings/lowest-accepta...

New comment by bumbledraven in "Century-old stone “tsunami stones” dot Japan's coastline (2015)"

bumbledraven — Mon, 04 Aug 2025 15:19:48 +0000

Do you have a citation for this? The most Gemini could say is: "While research has not identified a specific tsunami stone located at the Fukushima Daiichi site that was directly violated, the spirit of these ancient warnings was undeniably ignored." (https://aistudio.google.com/app/prompts?state=%7B%22ids%22:%...)

Feeding the AI Bots

bumbledraven — Thu, 24 Jul 2025 23:32:33 +0000

Article URL: https://criticalmas.org/2025/07/feeding-the-ai-bots/

Comments URL: https://news.ycombinator.com/item?id=44677635

Points: 1

# Comments: 0

New comment by bumbledraven in "Nerve pain drug gabapentin linked to increased dementia, cognitive impairment"

bumbledraven — Fri, 11 Jul 2025 03:07:05 +0000

Absolutely no causal link was shown. Maybe the nerve pains for which doctors prescribe gabapentin increase the risk of dementia on their own, or maybe there is some third factor that causes both nerve pain and dementia.

17-year-old refutes a mathematical conjecture proposed 40 years ago

bumbledraven — Thu, 03 Jul 2025 18:50:00 +0000

Article URL: https://english.elpais.com/science-tech/2025-07-01/a-17-year-old-teen-refutes-a-mathematical-conjecture-proposed-40-years-ago.html

Comments URL: https://news.ycombinator.com/item?id=44458077

Points: 4

# Comments: 0

New comment by bumbledraven in "Learnings from Building AI Agents"

bumbledraven — Thu, 26 Jun 2025 13:48:58 +0000

What model were they using?

How I program with agents

bumbledraven — Mon, 09 Jun 2025 05:30:14 +0000

Article URL: https://crawshaw.io/blog/programming-with-agents

Comments URL: https://news.ycombinator.com/item?id=44221655

Points: 615

# Comments: 295

New comment by bumbledraven in "Why Arabs Lose Wars (1999)"

bumbledraven — Mon, 19 May 2025 17:27:28 +0000

Yes they do, but keep in mind the distinction between "armies" and "irregulars". The first two sentences in the article are:

> Arabic-speaking armies have been generally ineffective in the modern era. Egyptian regular forces did poorly against Yemeni irregulars in the 1960s.