David Fox's Avatar

David Fox

@ddssff.bsky.social

50 years of vibe coding. Functional programming, Haskell, computational semantics, web development. Former NYU, Bell Labs, Columbia, Brown, Princeton High.

152 Followers  |  194 Following  |  106 Posts  |  Joined: 03.12.2023  |  1.6445

Latest posts by ddssff.bsky.social on Bluesky


Useless if you do use it to defend yourself since they will 100% kill you if you threaten them with it.

02.02.2026 02:03 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image

View from Manhattan yesterday: the frozen Hudson, and the sun setting over NJ.

29.01.2026 14:33 β€” πŸ‘ 24    πŸ” 2    πŸ’¬ 2    πŸ“Œ 0

Manufactured Age of Consent.

by Noam Chomsky

02.01.2026 17:51 β€” πŸ‘ 548    πŸ” 64    πŸ’¬ 19    πŸ“Œ 6

Love that spot!

01.01.2026 00:55 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

States don’t pay taxes, individuals pay taxes.

01.01.2026 00:43 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

Clearly the children are to blame.

01.01.2026 00:42 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Haha I never keep them! I may not be doing it right.

19.12.2025 12:28 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

My CPA gets a document dump.

18.12.2025 01:28 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I've been listening to all the episodes of a podcast in order, beginning with the first one in 2018.

Apparently there was some kind of global pandemic which started in 2020?

02.09.2025 17:16 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 1    πŸ“Œ 0
Preview
Leading OpenAI researcher announced a GPT-5 math breakthrough that never happened OpenAI researchers recently claimed a major math breakthrough on X, but quickly walked it back after criticism from the community, including Deepmind CEO Demis Hassabis, who called out the sloppy comm...

Leading OpenAI researcher announced a GPT-5 math breakthrough that never happened. ~ Matthias Bastian. the-decoder.com/leading-open... #AI #Math

22.10.2025 15:23 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

This sounds like regular free speech.

12.10.2025 13:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

I wish I knew.

09.10.2025 23:55 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Right?!

09.10.2025 23:52 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

05.10.2025 13:34 β€” πŸ‘ 66    πŸ” 3    πŸ’¬ 1    πŸ“Œ 0
A cluster of granite spires lie below foggy clouds.

A cluster of granite spires lie below foggy clouds.

My favorite part of the Eastern Sierra escarpment near me.

02.10.2025 04:10 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
A large storm comes from the right over a high mountain, while blue sky and fluffy white clouds retreat to the left.

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.

02.10.2025 04:13 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0
Big line of cumulonimbus clouds over a long mountain.

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.

02.10.2025 04:17 β€” πŸ‘ 0    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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

17.09.2025 16:52 β€” πŸ‘ 1382    πŸ” 351    πŸ’¬ 36    πŸ“Œ 37

Unfortunately it’s in their job description.

17.09.2025 13:41 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Post image Post image Post image Post image

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!

13.09.2025 00:02 β€” πŸ‘ 161    πŸ” 24    πŸ’¬ 7    πŸ“Œ 10

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

11.09.2025 20:34 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
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

11.09.2025 19:41 β€” πŸ‘ 26016    πŸ” 5125    πŸ’¬ 443    πŸ“Œ 324
Wavy clouds have an odd color from smoke.

Wavy clouds have an odd color from smoke.

The Sierra Wave, with smoke from the Garnet Fire.

09.09.2025 02:36 β€” πŸ‘ 1    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

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.

09.09.2025 01:35 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

09.09.2025 01:17 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

His appearance seems normal.

07.09.2025 21:33 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

26.08.2025 21:14 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0
Preview
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

26.08.2025 10:32 β€” πŸ‘ 1    πŸ” 2    πŸ’¬ 0    πŸ“Œ 0

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

24.08.2025 13:31 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

Why not

22.08.2025 18:34 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

@ddssff is following 19 prominent accounts