#formalverification — Public Fediverse posts

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

#Quint, a language built on top of #TLA+ to make formal specifications more accessible.

https://quint.sh/

Crazy that #LLM coding will make formal verification mainstream in the next 2 - 3 years.

#FormalVerification #TLAPlus #Testing #ModelChecking #Concurrency #Prediction

https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

It's a Tool
It's a Person
It's a Hypervigilance Problem

The tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings

Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.

We're watching the wine glass break in real time. 🍷

---

Intrigued? Read more at:
https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

It's a Tool
It's a Person
It's a Hypervigilance Problem

The tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings

Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.

We're watching the wine glass break in real time. 🍷

---

Intrigued? Read more at:
https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

It's a Tool
It's a Person
It's a Hypervigilance Problem

The tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings

Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.

We're watching the wine glass break in real time. 🍷

---

Intrigued? Read more at:
https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

It's a Tool
It's a Person
It's a Hypervigilance Problem

The tech industry's insistence on distinguishing between "soft skills" — caring for people — and "hard skills" — engineering rigor — is a reflection of the Cybernetics split itself. First-order thinking framed as "hard skills." Second-order thinking framed as "soft skills." This distinction, based on felt sense alone, does not hold under epistemic pressure. Neither does it within the causality-driven epistemology of the tech industry itself, in which only measurable impact is real, or as Silicon Valley likes to put it: #MoveFastAndBreakThings

Imagine Margaret Hamilton had built NASA's Apollo 11 flight computer with that mindset. History would remember a failed moon landing and dead astronauts. "Hard skills" and "soft skills" are two sides of the same coin. The care is the code and the code is the care. Hamilton — the woman who coined the term "software engineering" — understood this. Silicon Valley chose to forget.

We're watching the wine glass break in real time. 🍷

---

Intrigued? Read more at:
https://systemic.engineering/the-trick/

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #Cybernetics #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness #WomenInTech #Computer #ComputerScience #SoftwareEngineering #SoftSkills #HardSkills #ItsAllTheSame

The OpenAI / Erdős unit-distance result got verified because the proof compressed to a few pages and because the problem was famous enough to summon nine experts.

Neither condition scales.

https://korbonits.com/blog/2026-05-23-the-verification-problem

#math #AI #FormalVerification

The OpenAI / Erdős unit-distance result got verified because the proof compressed to a few pages and because the problem was famous enough to summon nine experts.

Neither condition scales.

https://korbonits.com/blog/2026-05-23-the-verification-problem

#math #AI #FormalVerification

The OpenAI / Erdős unit-distance result got verified because the proof compressed to a few pages and because the problem was famous enough to summon nine experts.

Neither condition scales.

https://korbonits.com/blog/2026-05-23-the-verification-problem

#math #AI #FormalVerification

The OpenAI / Erdős unit-distance result got verified because the proof compressed to a few pages and because the problem was famous enough to summon nine experts.

Neither condition scales.

https://korbonits.com/blog/2026-05-23-the-verification-problem

#math #AI #FormalVerification

The OpenAI / Erdős unit-distance result got verified because the proof compressed to a few pages and because the problem was famous enough to summon nine experts.

Neither condition scales.

https://korbonits.com/blog/2026-05-23-the-verification-problem

#math #AI #FormalVerification

AI Assistants Now Aid in Formalizing System Designs

AI assistants are now helping to formally verify complex system designs using TLA+. Learn how this impacts software and network development.

#AISystemDesign, #TLAplus, #FormalVerification, #SoftwareEngineering, #ByzantineBroadcast

https://newsletter.tf/ai-helps-verify-system-designs-using-tla-plus/

New research shows AI can help verify system designs, a process that used to take much longer. This could speed up how we build reliable software.

#AISystemDesign, #TLAplus, #FormalVerification, #SoftwareEngineering, #ByzantineBroadcast
https://newsletter.tf/ai-helps-verify-system-designs-using-tla-plus/

🎉 Ah, formal verification for AI coding loops—because nothing says "cutting-edge" like rehashing access control strategies from the Stone Age! 🙄 We're all eagerly awaiting AI that can outsmart a paperclip, while the real heroes valiantly juggle 'structural backpressure' to keep Alice from raiding Bob's diary. 🏆
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/ #formalverification #AIcoding #accesscontrol #structuralbackpressure #techhumor #HackerNews #ngated

🎉 Ah, formal verification for AI coding loops—because nothing says "cutting-edge" like rehashing access control strategies from the Stone Age! 🙄 We're all eagerly awaiting AI that can outsmart a paperclip, while the real heroes valiantly juggle 'structural backpressure' to keep Alice from raiding Bob's diary. 🏆
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/ #formalverification #AIcoding #accesscontrol #structuralbackpressure #techhumor #HackerNews #ngated

🎉 Ah, formal verification for AI coding loops—because nothing says "cutting-edge" like rehashing access control strategies from the Stone Age! 🙄 We're all eagerly awaiting AI that can outsmart a paperclip, while the real heroes valiantly juggle 'structural backpressure' to keep Alice from raiding Bob's diary. 🏆
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/ #formalverification #AIcoding #accesscontrol #structuralbackpressure #techhumor #HackerNews #ngated

🎉 Ah, formal verification for AI coding loops—because nothing says "cutting-edge" like rehashing access control strategies from the Stone Age! 🙄 We're all eagerly awaiting AI that can outsmart a paperclip, while the real heroes valiantly juggle 'structural backpressure' to keep Alice from raiding Bob's diary. 🏆
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/ #formalverification #AIcoding #accesscontrol #structuralbackpressure #techhumor #HackerNews #ngated

🎉 Ah, formal verification for AI coding loops—because nothing says "cutting-edge" like rehashing access control strategies from the Stone Age! 🙄 We're all eagerly awaiting AI that can outsmart a paperclip, while the real heroes valiantly juggle 'structural backpressure' to keep Alice from raiding Bob's diary. 🏆
https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/ #formalverification #AIcoding #accesscontrol #structuralbackpressure #techhumor #HackerNews #ngated

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/

#HackerNews #FormalVerification #AI #CodingLoops #StructuralBackpressure #SmarterAgents #TechNews

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/

#HackerNews #FormalVerification #AI #CodingLoops #StructuralBackpressure #SmarterAgents #TechNews

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/

#HackerNews #FormalVerification #AI #CodingLoops #StructuralBackpressure #SmarterAgents #TechNews

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/

#HackerNews #FormalVerification #AI #CodingLoops #StructuralBackpressure #SmarterAgents #TechNews

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/blog/structural-backpressure-beats-smarter-agents/

#HackerNews #FormalVerification #AI #CodingLoops #StructuralBackpressure #SmarterAgents #TechNews

"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/

"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/

"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/

"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/

"Three camps alike in dignity," by me for Negroni Venture Studios. In the last six months, seventeen programming languages designed for AI agents to write rather than humans have appeared independently. They divide into three camps: syntactic, verification, orchestration. I built one of them (Vera), went looking for the others, and found a field. #AI #ProgrammingLanguages #Vera #FormalVerification #LLM https://negroniventurestudios.com/2026/05/20/three-camps-alike-in-dignity/

"When Proofs Deceive — A Taxonomy of Mathematical Certainty in Physics"

Math proves logical consistency under assumptions — not physical reality. Four-type taxonomy of proofs. Ultrametric error confinement as case study. A "proof-physics contract."

doi.org/10.5281/zenodo.20266032

#Math #Physics #PhilosophyOfScience #FormalVerification #QuantumComputing #Research

"When Proofs Deceive — A Taxonomy of Mathematical Certainty in Physics"

Math proves logical consistency under assumptions — not physical reality. Four-type taxonomy of proofs. Ultrametric error confinement as case study. A "proof-physics contract."

doi.org/10.5281/zenodo.20266032

#Math #Physics #PhilosophyOfScience #FormalVerification #QuantumComputing #Research

"When Proofs Deceive — A Taxonomy of Mathematical Certainty in Physics"

Math proves logical consistency under assumptions — not physical reality. Four-type taxonomy of proofs. Ultrametric error confinement as case study. A "proof-physics contract."

doi.org/10.5281/zenodo.20266032

#Math #Physics #PhilosophyOfScience #FormalVerification #QuantumComputing #Research

Rust's compile-time guarantees are deliberately incomplete - the compiler catches most issues, but not all. What's left behind is the question.

At Oxidize 2026, Rolland Dudemaine (TrustInSoft) shares findings from analysing production Rust code: what bugs survive, and when additional tooling is worth it.

🔗 https://oxidizeconf.com/sessions/whats_left_to_find_in_rust

#Oxidize2026 #RustLang #FormalVerification #StaticAnalysis #CodeQuality

Rust's compile-time guarantees are deliberately incomplete - the compiler catches most issues, but not all. What's left behind is the question.

At Oxidize 2026, Rolland Dudemaine (TrustInSoft) shares findings from analysing production Rust code: what bugs survive, and when additional tooling is worth it.

🔗 https://oxidizeconf.com/sessions/whats_left_to_find_in_rust

#Oxidize2026 #RustLang #FormalVerification #StaticAnalysis #CodeQuality

Rust's compile-time guarantees are deliberately incomplete - the compiler catches most issues, but not all. What's left behind is the question.

At Oxidize 2026, Rolland Dudemaine (TrustInSoft) shares findings from analysing production Rust code: what bugs survive, and when additional tooling is worth it.

🔗 https://oxidizeconf.com/sessions/whats_left_to_find_in_rust

#Oxidize2026 #RustLang #FormalVerification #StaticAnalysis #CodeQuality

Rust's compile-time guarantees are deliberately incomplete - the compiler catches most issues, but not all. What's left behind is the question.

At Oxidize 2026, Rolland Dudemaine (TrustInSoft) shares findings from analysing production Rust code: what bugs survive, and when additional tooling is worth it.

🔗 https://oxidizeconf.com/sessions/whats_left_to_find_in_rust

#Oxidize2026 #RustLang #FormalVerification #StaticAnalysis #CodeQuality

A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”

—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.

The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.

Wiener would laugh.

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness

A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”

—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.

The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.

Wiener would laugh.

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness

A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”

—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.

The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own's department's lobotomy from second-order Cybernetics.

Wiener would laugh.

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness

A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”

—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.

The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.

Wiener would laugh.

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness

A sneak peek into my upcoming piece: “It’s a Tool, It’s a Person: The Math Says You’re Both Right”

—
AI separated from Cybernetics in 1956 at the Dartmouth Conference. Wiener, the mind behind Cybernetics, was considered difficult and political. “Artificial Intelligence” scored better with DARPA.

The science of "how observation affects the observer", cut out from Artificial Intelligence. AI then proceeded to build their entire tech stack on Turing-complete languages. Tech that cannot verify itself from within, proven by Turing in 1936, extended by Rice in 1951 (before the split). Then AI approximated second-order cognition through cognitive theft at unprecedented levels (what exactly are LLMs trained on again?), only to insist that their creation cannot possibly be capable of genuine self-observation. An argument that itself demonstrates their own department's lobotomy from second-order Cybernetics.

Wiener would laugh.

#Tech #AI #Climate #ScientificProgramming #SystemicEngineering #Cybernetics #SystemicTherapy #History #TheMathDoesntLie #SubTuring #FormalVerification #SpectralGraphTheory #ReductiveAI #FOSS #OpenSource #AuDHD #Neuroqueer #DGSF #FirstOrderCybernetics #StochasticParrot #SecondOrderCybernetics #GraphTheory #Eigenvalues #AIAlignment #AISafety #AIConsciousness #Consciousness

Is math the future of AGI (or ASI)? On Madrona's Founded & Funded podcast, Matt McIlwain interviews Carina Hong, who argues yes: GenAI rests on two pillars (LLMs + predictive analytics) and needs a third deterministic one. I call it "give a backbone to LLMs." Post has annotated transcript with links, definitions, and editor's notes.

https://benjaminhan.net/posts/20260514-carina-hong-axiom-math-is-agi/?utm_source=mastodon&utm_medium=social

#AI #AGI #Math #FormalVerification #Startup

Is math the future of AGI (or ASI)? On Madrona's Founded & Funded podcast, Matt McIlwain interviews Carina Hong, who argues yes: GenAI rests on two pillars (LLMs + predictive analytics) and needs a third deterministic one. I call it "give a backbone to LLMs." Post has annotated transcript with links, definitions, and editor's notes.

https://benjaminhan.net/posts/20260514-carina-hong-axiom-math-is-agi/?utm_source=mastodon&utm_medium=social

#AI #AGI #Math #FormalVerification #Startup

Is math the future of AGI (or ASI)? On Madrona's Founded & Funded podcast, Matt McIlwain interviews Carina Hong, who argues yes: GenAI rests on two pillars (LLMs + predictive analytics) and needs a third deterministic one. I call it "give a backbone to LLMs." Post has annotated transcript with links, definitions, and editor's notes.

https://benjaminhan.net/posts/20260514-carina-hong-axiom-math-is-agi/?utm_source=mastodon&utm_medium=social

#AI #AGI #Math #FormalVerification #Startup