David Fox

Also, I’m fairly sure that it is always the exact same recording of a red tailed hawk.

A cluster of granite spires lie below foggy clouds.

My favorite part of the Eastern Sierra escarpment near me.

A large storm comes from the right over a high mountain, while blue sky and fluffy white clouds retreat to the left.

Blue sky flees the oncoming storm.

Big line of cumulonimbus clouds over a long mountain.

Lots of big fluff to the east as fall moisture comes in from the changing fronts off the coast.

I had some thoughts about people saying that "debate me bro" trolling is somehow the height of democratic discourse.

Unfortunately it’s in their job description.

Hey Claude: "Please create the PowerPoint shared by the high powered management consultants hired by Hamlet after seeing his fathers ghost"

That was the only prompt that I used. Loved that Claude made this from the McKinsey Elsinore office (with the right colors!), also that SWOT analysis!

I kind of like the sound of “ban almost everyone from all social media forever”.

Witnesses Assumed Charlie Kirk Shooter Was Just Ordinary Gunman On School Campus OREM, UT—As law enforcement officials search for a person of interest in the assassination of 31-year-old Turning Point USA co-founder Charlie Kirk, witnesses on the scene at Utah Valley University ad...

Witnesses Assumed Charlie Kirk Shooter Was Just Ordinary Gunman On School Campus

Wavy clouds have an odd color from smoke.

The Sierra Wave, with smoke from the Garnet Fire.

Yes, I do this a lot. Could an AI update my code to use this style and send me a PR? If so I'm down.

Claude, please write test suites for all the libraries in hackage.

His appearance seems normal.

I don’t like Map.Map though. I know the solution but I don’t love that either.

Why Cannot Large Language Models Ever Make True Correct Reasoning? Recently, with the application progress of AIGC tools based on large language models (LLMs), led by ChatGPT, many AI experts and more non-professionals are trumpeting the "reasoning ability" of the LL...

Why cannot large language models ever make true correct reasoning? ~ Jingde Cheng. arxiv.org/abs/2508.10265 #LLMs #Reasoning

Thanks I love it, but I’m a Haskell user so I’m 66.

Why not

Beyond Booleans — overreacted What is the type of 2 + 2 = 4?

Beyond booleans. ~ Dan Abramov. overreacted.io/beyond-boole... #ITP #LeanProver

Slightly diminish a band

New Oder

Mountains, light clouds, and dark clouds form three distinct layers.

Bands of force. So often, the weather and land appear in well-defined striations.

Two clouds that look like heads face each other.

Clouds having a conversation.

YouTube video by The Haskell Foundation Matthias Pall Gissurarson - Ghost in the Haskell

This year, I was happy to be asked to give a talk at the Haskell Ecosystem Workshop on LLMs and Haskell.

1. Haskellers structure their code to support local reasoning, so the LLM really can limit itself to a single component
2. the types act as precise API boundaries

youtu.be/hh0axmFH1j8?...

The Tungsten Hills, looking quite dry and knobbly in the late summer afternoon.

to the kind of person who’s like “but how long are you gonna have to be taking this medicine for? you wouldn’t wanna be dependent on a medication for your entire life?”: you are weak.

It was pretty crowded 2000 years ago.

You never blame the sovereign. Always the advisors.

Maybe put some tape over those switches.

He won’t.

Fighting crazy conspiracy theories with crazy conspiracy theories I see.

You should expect your compiler to do everything of which it is capable.