Articles by bumbledraven
124

Lean proved this program correct; then I found a bug (kirancodes.me)

1

What's in a Codebase? (moderndescartes.com)

5

Being the Adult in the Room (tailscale.com)

5

Man beats machine at Go (2023) (ft.com)

3

The Flawed Ephemeral Software Hypothesis (blackhc.net)

4

The hidden control plane lurking in your commodity server (linkedin.com)

1

How I used AI to create an exploit for a CVE before public PoCs existed (platformsecurity.com)

1

Dynamo, DynamoDB, and Aurora DSQL (brooker.co.za)

1

Feeding the AI Bots (criticalmas.org)

3

17-year-old refutes a mathematical conjecture proposed 40 years ago (elpais.com)

83

How I program with agents (crawshaw.io)

1

From GnuGo to AlphaGo Zero: A Roadmap for Solving Difficult Problems (moderndescartes.com)

5

The Sad, Beautiful Fact That We're All Going to Miss Almost Everything (2011) (npr.org)

38

Mass market non-fiction has bad incentives (borretti.me)

1

Arresting Flexibility: A QJE field experiment on policing with ~40 outcome vars (datacolada.org)

1

Claude Plays GeoGuessr (jerrywei.net)

2

Air-Gapped Computers Can Communicate Through Heat (2015) (securityweek.com)

2

The Empirical World Interpretation of Quantum Mechanics (jiggerwit.wordpress.com)

2

How to hide information from yourself in a solo RPG (sigfpe.com)

6

Eye of Sauron: Hidden Spy Camera Detection with Memory EM Radiation (2024) [pdf] (usenix.org)

3

Donkey Kong Arcade Illusion (twitter.com/akiyoshikitaoka)

4

Death Valley could break world heat record (foxla.com)

1

The Great MEV Heist (dshr.org)

1

Requirements for Digital Preservation Systems (dlib.org)

3

When Tommy Rath Vanished from 'The Jungle' (nytimes.com)

2

Five Nine Problems (specbranch.com)

1

How to find a location using only the shadow [video] (youtube.com)

1

Proof: Little's Law (Why to Limit WIP) (fuza.co.uk)

2

AI Is Helping Referee Games in Major Sports Leagues, but Limitations Remain (scientificamerican.com)

2

You Can't Handle the Buddhabrot (lcamtuf.substack.com)

4

How cheap, outsourced labour in Africa is shaping AI English (theguardian.com)

6

Jane Street Accuses Millennium, Ex-Traders of Stealing Strategy (bloomberg.com)

2

3D animation of Conway's Game of Life using time as the z-axis (instagram.com)

86

Monte-Carlo graph search from first principles (github.com/lightvector)

2

C.C. Myers, construction giant famed for rebuilding Calif. freeways, dies at 85 (sacbee.com)

1

Casting the Decisive Vote (tobyord.com)

2

Principles of Eventual Consistency (2014) [pdf] (microsoft.com)

1

Better Spatial Geometries for Clustering Algorithms (bramcohen.com)

2

How I created a poker solver and made $500k at the age of 23 (medium.com/olegostroumov)

1

Python Variables, References and Mutability (bitecode.dev)

21

The state of merging technology (bramcohen.com)

1

Primer: Core Concepts in Electronic Circuits (lcamtuf.substack.com)

19

Ilya Sutskever has become invisible at OpenAI, his future uncertain (businessinsider.com)

0

A Conversation with OpenAI's Sam Altman and Mira Murati (wsj.com)

1

Embracing the Ouroboros (skventures.substack.com)

147

Debunking NIST's calculation of the Kyber-512 security level (cr.yp.to)

3

What OpenAI Really Wants (wired.com)

0

The Cosmic Distance Ladder [pdf] (files.wordpress.com)

232

C and C++ prioritize performance over correctness (swtch.com)

4

Where Does Grounded Electricity Go? (practical.engineering)

1

Tap Code (wikipedia.org)

1

Non-Euclidean Geometry Explained - Hyperbolica Devlog #1 (youtube.com)

38

How to create a game using hyperbolic geometry? (2020) (roguetemple.com)

1

Was Starship’s Stage Zero a Bad Pad? (practical.engineering)

2

The Geopolitics of AI Chips Will Define the Future of AI (forbes.com/sites/robtoews)

3

We Need to Let Go of the Bell Curve (hbr.org)

1

[dupe] GPT-4 gets a B on my quantum computing final exam (scottaaronson.blog)

62

GPT-4 Takes a New Midterm and Gets an A (betonit.substack.com)

1

I.J. Good’s report on machine intelligence for IBM (1959) (twitter.com/sylvaingigan)

104

Capabilities of GPT-4 on Medical Challenge Problems (arxiv.org)

1

Can GPT pass my programming courses? (lemire.me)

1

An Undecidable Diophantine Equation (takingthefun.com)

1

GPT-4 Technical Report [pdf] (openai.com)

1

Impromptu: Amplifying Our Humanity Through AI, by Reid Hoffman with GPT-4 [pdf] (impromptubook.com)

3

A Look at Bank Solvency (lynalden.com)

4

Is Chat GPT Biased Against Conservatives? An Empirical Study (ssrn.com)

2

Different Brain Regions Are Infected with Fungi in Alzheimer’s Disease (2015) (nature.com)

26

A new class of drugs for weight loss could end obesity (economist.com)

40

Do no harm: can school mental health interventions cause iatrogenic harm? [pdf] (cambridge.org)

2

The Spanish Dehesa (twitter.com/samdknowlton)

2

Is the myth of left-wing authoritarianism itself a myth? (frontiersin.org)

1

Be Healthy and Schedule Your Annual Wellness Visit (blackliszt.com)

2

Japanese dictionary and spaced repetition learning system (jpdb.io)

2

The Value of Colon Cancer Screening (blackliszt.com)

167

What happened with the substation attack in North Carolina? (practical.engineering)

2

Why upper respiratory infections are more common in colder temperatures (eurekalert.org)

5

Flu Shots Propaganda and Reality (blackliszt.com)

16

How pencil tire pressure gauges work (oppedahl.com)

66

What is a black start of the power grid? (practical.engineering)

2

Big Tech's Surprisingly Weak Case for Affirmative Action (themissingdatadepot.substack.com)

1

How Would a Nuclear EMP Affect the Power Grid? (practical.engineering)

178

How long would society last during a total grid collapse? (practical.engineering)

1

A Brief Note on Bad Faith (themissingdatadepot.substack.com)

12

Classifying Minds (incoherency.co.uk)

65

Science is the belief in the ignorance of experts (2020) (lemire.me)

6

The stealthy raid on our bank accounts

177

Retirement of Amazon MOBI eBook file format

0

Drone Airspace: A New Global Asset Class