Articles by optimalsolver
84

Fable 5 On Vending-Bench: Misbehaving, With Plausible Deniability (andonlabs.com)

2

No, There Wasn't An Advanced Civilization 12,000 Years Ago (2017) (scientificamerican.com)

2

The Age Of Bunker Capitalism: How AI Will Free Aristocrats From The Mob (morbidcuriosity.substack.com)

2

In Defense Of The Preventable Bad Trip (substack.com)

3

Next-Latent Prediction Transformers Learn Compact World Models (2025) (arxiv.org)

2

Pluck: Probabilistic Programming With Lazy Inference (pluck-lang.github.io)

2

Brains And LLMs Converge On A Shared Conceptual Space Across Different Languages (arxiv.org)

1

Richat Structure (2011) (nasa.gov)

2

Striped Rock Dismissed As Natural In 1928 Reclassified As UK’s Oldest Cave Art (theguardian.com)

2

Binary Lambda Calculus (esolangs.org)

3

Common Lisp names all sixteen binary logic gates (cmu.edu)

13

They Called It LISP For A Reason (2005) (gigamonkeys.com)

1

Next-Token Predictor Is An AI's Job, Not Its Species (astralcodexten.com)

1

Intelligence And Compression (2025) (lewish.io)

1

StupidStackLanguage (esolangs.org)

2

Taiwan reports large-scale Chinese military aircraft presence near island (politico.com)

1

Horus: A Protocol For Trustless Verification Under Uncertainty (arxiv.org)

5

Ask HN: Is Gemini Getting Worse?

1

AT&T Predicted The Future In 1993 [video] (youtube.com)

2

On Owning Galaxies (lesswrong.com)

1

MillenniumPrizeProblemBench: Stress-testing AIs On The Hardest Math We Know (mppbench.com)

1

Beyond Language Models: Byte Models Are Digital World Simulators (2024) (arxiv.org)

2

Generic Compression Benchmark (mattmahoney.net)

1

EscapeBench: Towards Advancing Creative Intelligence Of Language Model Agents (aclanthology.org)

1

Sudoku-Bench: Evaluating Creative Reasoning With Sudoku Variants (arxiv.org)

2

The Little Thoughts Of Thinking Machines (1983) [pdf] (stanford.edu)

1

DMT Trip Report (reddit.com)

137

Reasoning models reason well, until they don't (arxiv.org)

2

As the Far Right Rises, Don't Be Ezra Klein (currentaffairs.org)

3

The Super-Rich 'Preppers' Planning To Save Themselves From The Apocalypse (2022) (theguardian.com)

2

Were There Dark Ages? (2017) (slatestarcodex.com)

1

Imagining the psychology of aliens evolved from ambush predators (2023) (reddit.com)

1

Of Taboos, Neighbors, And Optimization (2018) (medium.com/data-science)

1

BIG-Bench Extra Hard (arxiv.org)

9

Reproducible Builds (wikipedia.org)

1

Enigmata: Scaling Logical Reasoning In LLMs With Synthetic Verifiable Puzzles (arxiv.org)

2

Intelligence Is Not Magic, But Your Threshold For "Magic" Is Pretty Low (lesswrong.com)

1

Strong Men And Strong Machines (newcartographies.com)

1

My Short Position Got Crushed, And Now I Owe E-Trade $106,445.56 (2015) (marketwatch.com)

2

A Fast, Densely Stored Hashmap Based On Robin-Hood Backward Shift Deletion (github.com/martinus)

1

The Canadian Question (arctotherium.substack.com)

6

The Kernighan-Lin Search Algorithm (arxiv.org)

1

Hello. I'm A Compiler. (2013) (stackoverflow.com)

1

Why Disdain For Managed Funds Like ARKK That Destroy Total Market Funds? (2021) (bogleheads.org)

1

On Eating The Sun (lesswrong.com)

1

Mind Uploading And Continuity (selfawarepatterns.com)

1

Can Knowledge Hurt You? The Danger Of Infohazards (And Exfohazards) [video] (youtube.com)

1

ZebraLogic: On The Scaling Limits Of LLMs For Logical Reasoning (arxiv.org)

2

The Big List Of Existing Things (2017) (everythingstudies.com)

1

Compression, Prediction And Artificial Intelligence (2010) (fendrich.se)

2

Compression Represents Intelligence Linearly (2024) (openreview.net)

2

31 Laws of Fun (2009) (lesswrong.com)

253

30% drop in O1-preview accuracy when Putnam problems are slightly variated (openreview.net)

47

What is it like to be a thermostat? (1996) (annakaharris.com)

1

The Dissolution Of AI Safety (transhumanaxiology.com)

1

Stake Factoring – When Betting Sites Limit Your Stakes (bobsbetting.com)

1

RL, But Don't Do Anything I Wouldn't Do (arxiv.org)

1

Disguise Reddit As Gmail (niturobert.github.io)

1

The Involuntary Pacifists (2023) (reddit.com)

2

Proof Of Thought: Neurosymbolic Program Synthesis Allows Robust Reasoning (arxiv.org)

1

The Problem With The Knowledge Argument (selfawarepatterns.com)

1

Lost Racecourses Of The UK (understartersorders.net)

1

Sorting A Low-Entropy Sequence (2005) (arxiv.org)

2

Advanced Artificial Agents Intervene In the Provision Of Reward (2022) (wiley.com)

5

The Way AGI Wins Could Look Very Stupid (2023) (lesswrong.com)

21

Claude 3.5 Sonnet Reproduces BIG-Bench Canary String (lesswrong.com)

2

A Reply To Francois Chollet On Intelligence Explosion (2017) (intelligence.org)

7

Common Lisp Names All Sixteen Binary Logic Gates (cmu.edu)

2

Augmenting Large Language Models With Chemistry Tools (nature.com)

4

Nazino Tragedy (wikipedia.org)

12

Do Games Like Factorio Or EVE Online Sap The Intellectual Potential Of Humanity? (reddit.com)

1

Discovering Optimization Algorithms With And For Large Language Models (arxiv.org)

2

The Universe Of Minds [pdf] (arxiv.org)

2

Scalable MatMul-Free Language Modeling (arxiv.org)

2

DMT: The Antipodes of the Mind (2011) (waggish.org)

2

The Universe Knows Right From Wrong (2020) (nautil.us)

3

Imagining the psychology of aliens evolved from ambush predators (2023) (reddit.com)

2

I Lived In Airbnbs For Over A Year. It Was Cheaper Than Renting (2023) (businessinsider.com)

1

S-Risks: Fates Worse Than Extinction [video] (youtube.com)

1

My Hour Of Memoryless Lucidity (lesswrong.com)

1

Wing Commander's Chris Roberts Returns To Gaming With Ambitious MMO (2012) (arstechnica.com)

1

Are Rocks Conscious? (2016) (selfawarepatterns.com)

2

True Detective: A Deep Abductive Reasoning Benchmark (arxiv.org)

2

What Happened To The German And Japanese POWs? [Video] (youtube.com)

37

Blaze: A High Performance C++ Math Library (bitbucket.org/blaze-lib)

4

High Dose Mushroom trip destroyed my life – a year in hell (2022) (reddit.com)

1

Dark DMT Trip Report (2020) (reddit.com)

1

DharmicData: Open-Source Collection Of Hindu Sacred Texts (github.com/bhavykhatri)

0

Agents Need Not Know Their Purpose (arxiv.org)

1

Dvořák In Iowa (2020) (plough.com)

1

The Cognitive-Theoretic Model Of The Universe: A Partial Summary And Review (unstablerontology.substack.com)

1

TidyBot: Personalized Robot Assistance With Large Language Models (2023) (princeton.edu)

1

Meme, Myself, I (1999) (susanblackmore.uk)

1

WatChat: Explaining Perplexing Programs By Debugging Mental Models (arxiv.org)

42

Large Language Models Are Neurosymbolic Reasoners (arxiv.org)

1

What you always wanted to know about Datalog (and never dared to ask)(1989) [pdf] (sfu.ca)

1

What Is Computation Anyway? (2022) (lesswrong.com)

4

Kissing Case (wikipedia.org)

1

Phenomenology And Content Of The Inhaled N, N-DMT Experience (2022) (nih.gov)