David Harwood

981 posts

David Harwood

David Harwood

@dha019589

Retired from academic computer science: Comp. vision & linguistics, AI, ML, cognitive/neuro-science. GNT Papyrus 75 Married. Follow-ups are not endorsements.

USA, outside DC Katılım Nisan 2022
265 Takip Edilen1.3K Takipçiler
David Harwood
David Harwood@dha019589·
@shiningsweu Scary question, the Church is apparently so corrupt, it is amazing that anyone has true faith. Of course, Jesus said something like that.
English
0
0
0
33
Catholic Christendom
Catholic Christendom@shiningsweu·
This question must be asked! If God Our Lord God Jesus Christ were to come to the world today, whom would He choose for His disciples? The members of the SSPX? Or the members of the Catholic hierarchy who are enemies of the Tridentine Mass, the friends and those tolerant of Pachamama paganism, the defenders and those tolerant of homosexuality, the promoters of the Protestant synod, those ignorant of Catholic doctrine?
English
11
8
54
959
David Harwood
David Harwood@dha019589·
@NewswirePatriot You can live in Leo's "Peace" if none of the factions try to dominate the others. People say that Christ is supposed to bring "Peace." Actually, he is "Peace" only for those who will receive him.
English
1
0
5
92
Patriot🇺🇸Newswire
Patriot🇺🇸Newswire@NewswirePatriot·
Cardinal Raymond Burke caused an UPROAR by rebuking the Pope's views and calling resistance to Muslim immigration "Patriotism." The Cardinal says leaders have a duty to consider the cultural impact Muslims have on Christian nations. 🔻Who is right, the Pope or the Cardinal?
Patriot🇺🇸Newswire tweet media
English
962
1K
3.2K
29.8K
Ihtesham Ali
Ihtesham Ali@ihtesham2005·
A 34-year-old physics graduate student spent years writing a strange 800-page book in 1979 about a logician, a Dutch artist, and a German composer. It won the Pulitzer Prize the following year. It quietly became required reading at every AI lab in the world. It is the only book in history that makes the deepest ideas in computer science feel like a dream you cannot stop thinking about. I read it across 3 months on a single side table next to my bed and walked away seeing intelligence, consciousness, and AI in a way I cannot un-see. His name is Douglas Hofstadter. The book is called Gödel, Escher, Bach. Almost nothing in modern AI makes sense without this book. ChatGPT, Claude, Gemini, the entire architecture of self-attention, the alignment problem, the strange feeling that LLMs sometimes seem to understand and other times seem to be playing an elaborate symbol-shuffling game, all of it traces back to questions Hofstadter laid out in a single book published before most of today's AI engineers were born. Here is the story almost nobody tells you about how the book came to exist. Hofstadter was the son of Robert Hofstadter, who won the Nobel Prize in Physics in 1961 for measuring the size of the proton. He was supposed to follow in his father's footsteps. He started a physics PhD at the University of Oregon. He was miserable. He could not focus. He did not love the work. He kept getting pulled toward something else. The something else was a single question that had haunted him since childhood. How can meaning emerge from meaningless symbols? Specifically, how does a brain, which is made of nothing but cells firing electrical signals at each other, produce something that feels like consciousness, like understanding, like a self? He could not let the question go. He left physics. He started writing. The book took him years. He wrote it largely in isolation, working in the basement of his parents' house and at Indiana University, where he eventually finished it. He thought it would be read by maybe a few hundred logicians and AI researchers. Basic Books published it in 1979 as a 777-page hardcover. The next year it won the Pulitzer Prize for general non-fiction and the National Book Award for science. The book is structured in a way that almost no other book has ever attempted. The chapters alternate between two layers. One layer is technical chapters about logic, computability, neuroscience, and AI. The other layer is fictional dialogues between a tortoise and Achilles, characters borrowed from a paradox by Lewis Carroll. The dialogues play with the same ideas the technical chapters explain. Read in order, they do not feel like a textbook. They feel like a strange house with rooms that loop back into each other and corridors that change shape behind you. The first thing the book does is explain Gödel's incompleteness theorems in a way no math textbook had ever managed. Kurt Gödel, an Austrian logician working in 1931, proved something that broke mathematics. He showed that any formal system powerful enough to describe arithmetic contains statements that are true but cannot be proven inside that system. Mathematics, the most certain thing humans had ever built, has holes in it that can never be filled. Hofstadter spends hundreds of pages making you understand this proof not just as a mathematical theorem, but as a structural fact about every sufficiently complex system. Including the brain. Including any AI. The reason AI alignment is genuinely hard is not just engineering. It is structural. Any system smart enough to model itself will contain truths about itself it cannot reach from inside itself. Hofstadter showed this 50 years before AI safety was a field. The second thing the book does is introduce his core idea. He calls it the strange loop. A strange loop is what happens when a system, by climbing through layers of itself, somehow ends up back where it started. Escher's drawings of staircases that always go up but somehow loop back are visual strange loops. Bach's musical canons that modulate up through keys and end on the original note are auditory strange loops. Gödel's self-referential statements that talk about themselves are logical strange loops. Hofstadter argues that consciousness is a strange loop. Your brain builds a model of the world. Inside that model, it builds a model of itself perceiving the world. Inside that self-model, it builds a model of itself thinking about itself perceiving the world. The recursion does not bottom out. The self is what the loop feels like from the inside. This is the part that AI researchers cannot stop returning to. Modern transformer models use self-attention, which is technically a mechanism where a network attends to its own internal states across layers. Recursive reasoning, where a model thinks about its own thinking, is now a research area with its own conferences. Meta-learning, where models learn how to learn, is a direct descendant of what Hofstadter described in 1979 as the necessary structure of any conscious system. He wrote the philosophy. The engineers are now building the implementation. The third thing the book does is the part that haunts every AI conversation today. Hofstadter argued that meaning is not something separate from symbol manipulation. It is what symbol manipulation looks like from the inside, when the manipulation is complex enough and self-referential enough. A simple lookup table does not understand anything. But a system that processes symbols at sufficient depth, with enough self-modeling, with enough recursion, starts to look identical from the outside, and possibly from the inside, to a system that understands. This is the deepest question in modern AI. When ChatGPT generates a response, is it actually thinking, or is it just doing very fast symbol shuffling? Hofstadter spent 800 pages arguing that the distinction may not exist at sufficient scale. If a system shuffles symbols according to the right structure, meaning is what the shuffling looks like from the inside. You can read modern debates about AI consciousness from Yann LeCun, Geoffrey Hinton, Ilya Sutskever, and David Chalmers, and you will find that they are all, in their own ways, having the argument Hofstadter framed in 1979. The fourth thing the book did is the one that took the longest to be vindicated. Hofstadter argued, and continued arguing for decades, that the actual engine of human intelligence is not logic. It is not deduction. It is not pattern matching in any simple sense. It is analogy. The ability to see one thing as similar to another thing, to map the structure of one situation onto a different situation, is, in his view, the core of thought itself. For decades this was unfashionable. Symbolic AI focused on logic and rules. Statistical AI focused on pattern matching. Almost nobody worked seriously on analogy. Then large language models started working. And the people who looked closely at what they were doing realized something uncomfortable. LLMs are, fundamentally, analogy machines. They learn structural patterns from text and apply those patterns by analogy to new situations. They do not deduce. They do not reason logically by default. They map the shape of one thing onto the shape of another thing and produce output that fits the new shape. Hofstadter saw this before any of it existed. His later book Surfaces and Essences, written with Emmanuel Sander, is 600 pages defending the claim that analogy is the core of cognition. It came out in 2013. It was largely ignored. The ChatGPT release in 2022 was, in some sense, a vindication of the entire argument. The strangest thing about reading Gödel, Escher, Bach in 2026 is realizing how lonely the book must have felt when it was written. In 1979 there was no GPT. No deep learning. No transformer. The dominant approach to AI was symbolic logic, and most researchers thought minds were going to be programmed top-down, rule by rule, like a complicated chess engine. Hofstadter said the opposite. He said minds were emergent. They came from the bottom up. They were strange loops in complex substrates. The programmers' approach would never produce real intelligence because it was missing the recursive self-modeling that made minds real. He was right. The book is hard. I had to use all the LLMs and NotebookLM to understand it. It is not a beach read. You do not finish it in a weekend. The math chapters require attention. The dialogues require patience. Most people who buy it never finish it. That is fine. The book is structured so that reading any 50 pages produces a permanent shift in how you think. Bill Gates lists it among the books that shaped him. Steve Jobs read it. Almost every senior AI researcher in the world will tell you it was the book that made them fall in love with the question of intelligence in the first place. Hofstadter himself has been in doubt about modern LLMs. He has said they may have proven him right about analogy and wrong about consciousness at the same time. He is still writing. He is still working on the same question that pulled him out of physics 50 years ago. The 800-page book that explained intelligence before AI existed is sitting one click away from you. Most people will never open it. The ones who do will see the world differently for the rest of their lives.
Ihtesham Ali tweet media
English
138
421
2.2K
238.8K
David Harwood
David Harwood@dha019589·
@robertlufkinmd Good idea. Automate the airports and air traffic control while you're at it. Show how this can be done.
English
0
0
0
92
Robert Lufkin MD
Robert Lufkin MD@robertlufkinmd·
There are rumors that Elon Musk may be exploring a takeover of the bankrupt Spirit Airlines, with ambitious plans to revolutionize the air travel experience. Imagine the possibilities: Optimus humanoid robot flight attendants, seamless Starlink connectivity, AI-powered travel planning, frictionless payments through X, and door-to-door service with Robotaxi. What do you think? @elonmusk
English
1.2K
1.3K
12.1K
1.1M
David Harwood
David Harwood@dha019589·
@elonmusk I want humanity to win. That's why in this case, I want Elon to win.
English
0
0
0
5
Haider.
Haider.@haider1·
grok 4.3 took the top spot in instruction following and i think it doesn't surprise me i pick grok especially for non-agentic tasks because, since grok 4.1, it has become much better at following instructions accurately and consistently it sticks to what you ask without adding extra stuff or skipping parts of the request
Haider. tweet media
English
11
7
156
9K
Pedro Domingos
Pedro Domingos@pmddomingos·
Richard Dawkins used to be conscious.
English
40
16
360
10.7K
David Harwood
David Harwood@dha019589·
@EsquireCatholic As long as Card. Fernandez is posted at the DDF, I'm not going to give to the Vatican. There are plenty of more worthwhile charities.
English
0
0
2
52
The Catholic Esquire
The Catholic Esquire@EsquireCatholic·
Just imagine insisting your salvation as a Catholic depends on submitting to Tucho Fernandez and not the Tradition of the Catholic Church. Well, SSPX haters do it every day because most of them are liberal, legal positivists without even knowing it. open.substack.com/pub/catholices…
The Catholic Esquire tweet media
English
31
70
278
5K
David Harwood
David Harwood@dha019589·
@vitrupo My dog understands things, more generally than words, by being able to predict the next (internal) state in a sequence, given a context. I think words are a special case for humans.
English
0
0
1
242
vitrupo
vitrupo@vitrupo·
Ilya Sutskever says accurately predicting the next word leads to real understanding.
English
85
123
1.7K
191.3K
David Harwood
David Harwood@dha019589·
@michaelnicollsx Just what I told Grok: 4.3 represents efficient intelligence density; should be a good foundation model.
English
2
0
6
364
Michael Nicolls
Michael Nicolls@michaelnicollsx·
Grok 4.3 - excellent intelligence per unit cost
Artificial Analysis@ArtificialAnlys

xAI has launched Grok 4.3, achieving 53 on the Artificial Analysis Intelligence Index with improved agentic performance, ~40% lower input price, and ~60% lower output price than Grok 4.20 The release of Grok 4.3 places @xAI just above Muse Spark and Claude Sonnet 4.6 on the Intelligence Index, and a 4 points ahead of the latest version of Grok 4.20. Grok 4.3 improves its Artificial Analysis Intelligence Index score while reducing cost to run the benchmark suite. Key Takeaways: ➤ Grok 4.3 improves on cost-per-intelligence relative to Grok 4.20 0309 v2: it scores higher on the Intelligence Index while costing less to run the full benchmark suite. Grok 4.3 costs $395 to run the Artificial Analysis Intelligence Index, around 20% lower than Grok 4.20 0309 v2, despite using more output tokens. This makes it one of the lower-cost models at its intelligence level ➤ Large increase in real world agentic task performance: The largest single benchmark improvement is on GDPval-AA, where Grok 4.3 scores an ELO of 1500, up 321 points from Grok 4.20 0309 v2’s score of 1179 Grok 4.3, surpassing Gemini 3.1 Pro Preview, Muse Spark, Gpt-5.4 mini (xhigh), and Kimi K2.5. Grok 4.3 narrows the gap to the leading model on GDPval-AA, but still trails GPT-5.5 (xhigh) by 276 Elo points, with an expected win rate of ~17% against GPT-5.5 (xhigh) under the standard Elo formula ➤ Grok 4.3’s performs strongly on instruction following and agentic customer support tasks. It gains 5 points on 𝜏²-Bench Telecom to reach 98%, in line with GLM-5.1. Grok 4.3 maintains an 81% IFBench score from Grok 4.20 0309 v2 ➤ Gains 8 points on AA-Omniscience Accuracy, but at the cost of lower AA-Omniscience Non-Hallucination Rate of 8 points, so Grok 4.20 0309 v2 still leads AA-Omniscience Non-Hallucination Rate, followed by MiMo-V2.5-Pro, in line with Grok 4.3 Congratulations to @xAI and @elonmusk on the impressive release!

Français
334
701
2.7K
1.2M
David Harwood
David Harwood@dha019589·
@FSSPXFR I'm confused by what Leo is doing. Reminds me of Francis.
English
0
0
4
173
FSSPX Actualités
FSSPX Actualités@FSSPXFR·
Les récentes scènes survenues lors de la visite à Rome de Sarah Mullally, primat de la Communion anglicane, ont suscité une réaction critique dans les milieux théologiques. Le prêtre et théologien Mgr Nicola Bux a mis en garde contre une possible « confusion » parmi les fidèles à la suite de certains gestes accomplis au Vatican en présence de la dirigeante anglicane. Le théologien rappelle que l’Église catholique ne reconnaît pas l’ordination sacerdotale des femmes, ce qui implique que les actes qui simulent ou évoquent ce ministère sont dépourvus de validité sacramentelle. Dans cette perspective, il considère problématique que de tels gestes soient accomplis dans des lieux catholiques et en présence d’autorités ecclésiastiques. À cela s’ajoute, selon son analyse, la situation même au sein de la Communion anglicane, où une part significative de ses membres ne reconnaît pas l’autorité de Mullally comme primat. Au-delà de l’intention, il avertit que ce type de situation a des conséquences réelles : elles « scandalisent et troublent » de nombreux catholiques, surtout lorsqu’aucune explication claire n’est fournie. C’est pourquoi il estime nécessaire une prise de parole du Saint-Siège afin de clarifier les événements et d’éviter des interprétations erronées sur la nature du sacerdoce et de l’autorité dans l’Église. infovaticana.com/fr/2026/05/01/…
Français
10
64
188
12.3K
David Harwood
David Harwood@dha019589·
@ProtecttheFaith As I said, I didn't vote for President Trump, but I can understand why many people do, based on issues. A lot of people also vote for Trump because the alternatives are inconceivable.
English
0
0
0
7
Deacon Nick Donnelly
Deacon Nick Donnelly@ProtecttheFaith·
Pope Leo's TDS is so strong he couldn't bring himself to express concern about the assassination attempt against President Trump In light of his public attacks against President Trump and his administration this further proves Pope Leo's personal antagonism. Very poor behaviour No wonder Bergoglio chose him as his successor
Antonio Socci@AntonioSocci1

Vedo che i leader dei vari Paesi hanno espresso solidarietà al presidente #Trump per l'episodio di questa notte. Il #Papa #LeoneXIV non ne ha parlato né alla messa, né al Regina caeli. Qualcuno di voi ha notizie di dichiarazioni della Santa Sede? Francamente mi stupisce...

English
187
522
1.3K
25.4K
RadioGenoa
RadioGenoa@RadioGenoa·
Bishop Athanasius Schneider speaks very clearly: "They are not refugees, they are invaders who want to Islamize Europe. They want to destroy historical culture in Europe.” They should have made him Pope.
English
991
17.7K
63.9K
463.2K
David Harwood retweetledi
The Woolshire
The Woolshire@thewoolshire·
When we first started many didn’t believe it could be done. An all American made organic pillow with real American wool. We were told American wool was a dying industry and that we weren’t big enough to meet order minimums for American grown organic cotton. We were told that bootstrapping (literally building everything from scratch without any real funds) wasn’t going to be possible. I thank God for our stubbornness and our belief that you can do whatever you put your mind to. We put our heads down and have busted our asses to get to where we are. We now have our very own wool mill (1960s American made machinery to vertically integrate) and our own property with a sew shop and a space for wool processing. This is just the beginning and you can expect big things from The Woolshire going forward. Thank you all from the bottom of our hearts for your love, prayers, and support. Happy 3 year birthday, Woolshire.
English
162
863
6.4K
245.2K
David Harwood retweetledi
LifeSiteNews
LifeSiteNews@LifeSite·
BREAKING: What You Need to Know as SSPX Moves Ahead With July 1 Consecrations The Society of St. Pius X has confirmed it will proceed with episcopal consecrations on July 1, defying Vatican warnings and setting the stage for a historic rupture. READ MORE: lifesitenews.com/blogs/breaking…
English
4
8
39
5.3K