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.
Reposted by David Fox
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?
Apparently there was some kind of global pandemic which started in 2020?
September 2, 2025 at 5:16 PM
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?
Apparently there was some kind of global pandemic which started in 2020?
Reposted by David Fox
Leading OpenAI researcher announced a GPT-5 math breakthrough that never happened. ~ Matthias Bastian. the-decoder.com/leading-open... #AI #Math
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...
the-decoder.com
October 22, 2025 at 3:23 PM
Leading OpenAI researcher announced a GPT-5 math breakthrough that never happened. ~ Matthias Bastian. the-decoder.com/leading-open... #AI #Math
Reposted by David Fox
My favorite part of the Eastern Sierra escarpment near me.
October 2, 2025 at 4:11 AM
My favorite part of the Eastern Sierra escarpment near me.
Reposted by David Fox
Blue sky flees the oncoming storm.
October 2, 2025 at 4:18 AM
Blue sky flees the oncoming storm.
Reposted by David Fox
Lots of big fluff to the east as fall moisture comes in from the changing fronts off the coast.
October 2, 2025 at 4:18 AM
Lots of big fluff to the east as fall moisture comes in from the changing fronts off the coast.
Reposted by David Fox
I had some thoughts about people saying that "debate me bro" trolling is somehow the height of democratic discourse.
The “Debate Me Bro” Grift: How Trolls Weaponized The Marketplace Of Ideas
Among the attempts to create hagiographic eulogies of Charlie Kirk, I’ve seen more than a few people suggest that Kirk should be respected for being willing to talk to “those who disagree with him” as a sign that he was…
Among the attempts to create hagiographic eulogies of Charlie Kirk, I’ve seen more than a few people suggest that Kirk should be respected for being willing to talk to “those who disagree with him” as a sign that he was…
The “Debate Me Bro” Grift: How Trolls Weaponized The Marketplace Of Ideas
Among the attempts to create hagiographic eulogies of Charlie Kirk, I’ve seen more than a few people suggest that Kirk should be respected for being willing to talk to “those who disagree with him” as a sign that he was engaging in good faith. Perhaps the perfect example of this is Ezra Klein’s silly eulogy claiming that Kirk was “
www.techdirt.com
September 17, 2025 at 4:52 PM
I had some thoughts about people saying that "debate me bro" trolling is somehow the height of democratic discourse.
Reposted by David Fox
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!
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!
September 13, 2025 at 12:02 AM
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!
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!
Reposted by David Fox
Witnesses Assumed Charlie Kirk Shooter Was Just Ordinary Gunman On School Campus
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...
theonion.com
September 11, 2025 at 7:41 PM
Witnesses Assumed Charlie Kirk Shooter Was Just Ordinary Gunman On School Campus
Reposted by David Fox
The Sierra Wave, with smoke from the Garnet Fire.
September 9, 2025 at 2:37 AM
The Sierra Wave, with smoke from the Garnet Fire.
Claude, please write test suites for all the libraries in hackage.
September 9, 2025 at 1:17 AM
Claude, please write test suites for all the libraries in hackage.
Reposted by David Fox
Why cannot large language models ever make true correct reasoning? ~ Jingde Cheng. arxiv.org/abs/2508.10265 #LLMs #Reasoning
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...
arxiv.org
August 26, 2025 at 10:32 AM
Why cannot large language models ever make true correct reasoning? ~ Jingde Cheng. arxiv.org/abs/2508.10265 #LLMs #Reasoning
Reposted by David Fox
Beyond Booleans — overreacted
What is the type of 2 + 2 = 4?
overreacted.io
August 17, 2025 at 9:37 AM
Slightly diminish a band
New Oder
New Oder
Slightly diminish a band
Hasten
Hasten
Slightly diminish a band
Earth, Wind, and Ire
Earth, Wind, and Ire
August 16, 2025 at 3:51 AM
Slightly diminish a band
New Oder
New Oder
Reposted by David Fox
Bands of force. So often, the weather and land appear in well-defined striations.
August 14, 2025 at 3:41 PM
Bands of force. So often, the weather and land appear in well-defined striations.
Reposted by David Fox
Clouds having a conversation.
August 12, 2025 at 3:48 PM
Clouds having a conversation.
Reposted by David Fox
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?...
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?...
Matthias Pall Gissurarson - Ghost in the Haskell
YouTube video by The Haskell Foundation
youtu.be
August 5, 2025 at 10:33 PM
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?...
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?...
Reposted by David Fox
The Tungsten Hills, looking quite dry and knobbly in the late summer afternoon.
July 30, 2025 at 3:01 PM
The Tungsten Hills, looking quite dry and knobbly in the late summer afternoon.
Reposted by David Fox
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.
July 28, 2025 at 8:42 PM
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.
Reposted by David Fox
To the LOSERS with accusations of insider trading, YOU COULD NOT BE MORE WRONG!
Insider trading is when you act on non-public information. When you act with the intent to affect the market to your own benefit, it's market manipulation.
GET IT STRAIGHT DEMOCRAT LOSERS!
/s
Insider trading is when you act on non-public information. When you act with the intent to affect the market to your own benefit, it's market manipulation.
GET IT STRAIGHT DEMOCRAT LOSERS!
/s
April 10, 2025 at 5:00 AM
To the LOSERS with accusations of insider trading, YOU COULD NOT BE MORE WRONG!
Insider trading is when you act on non-public information. When you act with the intent to affect the market to your own benefit, it's market manipulation.
GET IT STRAIGHT DEMOCRAT LOSERS!
/s
Insider trading is when you act on non-public information. When you act with the intent to affect the market to your own benefit, it's market manipulation.
GET IT STRAIGHT DEMOCRAT LOSERS!
/s
Reposted by David Fox
I was trying to explain how fun vibe coding is to SPJ over a coffee and now he wants me to look at the GHC type checker and I'm not feeling the vibes any more
March 30, 2025 at 2:37 PM
I was trying to explain how fun vibe coding is to SPJ over a coffee and now he wants me to look at the GHC type checker and I'm not feeling the vibes any more
Reposted by David Fox
Opinion | As a national security hawk, I would rather have a Republican Secretary of Defense accidentally share war plans with the editor of The Atlantic using a government account than have a Democratic Secretary of State share a risotto recipe with friends via her private email.
March 25, 2025 at 1:48 AM
Opinion | As a national security hawk, I would rather have a Republican Secretary of Defense accidentally share war plans with the editor of The Atlantic using a government account than have a Democratic Secretary of State share a risotto recipe with friends via her private email.
Reposted by David Fox
A young computer scientist and two colleagues show that searches within data structures called hash tables can be much faster than previously deemed possible.
Undergraduate Upends a 40-Year-Old Data Science Conjecture
A young computer scientist and two colleagues show that searches within data structures called hash tables can be much faster than previously deemed possible.
wrd.cm
March 16, 2025 at 11:02 AM
A young computer scientist and two colleagues show that searches within data structures called hash tables can be much faster than previously deemed possible.
Reposted by David Fox
"women"
women is one of the words
women is one of the words
Fascism is here.
The list of words Trump is banning from government is the most stunning document of our time. Click the image below to see how many words Trump and Musk have canceled as part of their new Reich.
🔗: www.nytimes.com/interactive/...
The list of words Trump is banning from government is the most stunning document of our time. Click the image below to see how many words Trump and Musk have canceled as part of their new Reich.
🔗: www.nytimes.com/interactive/...
March 10, 2025 at 2:29 AM
"women"
women is one of the words
women is one of the words
Reposted by David Fox
This visualization of transformers is seriously the most impressive educational video I believe I have *ever* seen. It is hard to understate how amazing a job this video does:
www.youtube.com/watch?v=UZDi...
www.youtube.com/watch?v=UZDi...
The moment we stopped understanding AI [AlexNet]
YouTube video by Welch Labs
www.youtube.com
March 10, 2025 at 4:35 AM
This visualization of transformers is seriously the most impressive educational video I believe I have *ever* seen. It is hard to understate how amazing a job this video does:
www.youtube.com/watch?v=UZDi...
www.youtube.com/watch?v=UZDi...
Until AI can do debugging I've still got 90+% of my job.
February 19, 2025 at 11:21 PM
Until AI can do debugging I've still got 90+% of my job.