Matthew Thompson's Avatar

Matthew Thompson

@thompson.gr

Architect/Engineer and Independent Researcher. Finishing Master in DS and AI. Interested in Meta-Reasoning. Researching in-context reasoning for ML-Agents via Cohere Labs, doing some data annotation, and learning more about rational agents.

27
Followers
79
Following
182
Posts
12.09.2024
Joined
Posts Following

Latest posts by Matthew Thompson @thompson.gr

How do we Plan? First we Sense. How do we Sense? First we Plan the Sensing... argh.... It’s a trap!

How do we Plan? First we Sense. How do we Sense? First we Plan the Sensing argh.: https://matt.thompson.gr/2026/02/18/how-do-we-plan-first.html

It’s a trap!

18.02.2026 22:52 👍 0 🔁 0 💬 0 📌 0
Research Links Collection for Reasoning (LLM and other types) Links I collected last summer on Reasoning - large amount LLM links but it goes past that into what is reasoning and the cognitive link (I went too far back and missed Active Inference!)

Research Links Collection for Reasoning (LLM and other types): https://matt.thompson.gr/2026/02/18/research-links-collection-for-reasoning.html

Links I collected last summer on Reasoning - large amount LLM links but it goes past that into what is reasoning and the cognitive link (I went too far ...

18.02.2026 19:59 👍 0 🔁 0 💬 0 📌 0
Post image
10.02.2026 11:54 👍 0 🔁 0 💬 0 📌 0
Best AI use case: build a beginner programmable Drone guide! This has been a fun morning of investigation into how I can replace my broken Tello and get into RL for Drone Training 🤓🤓

Best AI use case: build a beginner programmable Drone guide!: https://matt.thompson.gr/2026/02/01/best-ai-use-case-build.html

This has been a fun morning of investigation into how I can replace my broken Tello and get into RL for Drone Training 🤓🤓

01.02.2026 12:31 👍 0 🔁 0 💬 0 📌 0
Post image

France to ban social media for under 15s: https://matt.thompson.gr/2026/01/29/france-to-ban-social-media.html

29.01.2026 10:37 👍 0 🔁 0 💬 0 📌 0
Post image

Learning about Contingent Planning: https://matt.thompson.gr/2026/01/28/learning-about-contingent-planning.html

Looking back through my conversation with Gemini about Dynamic Programming (DP) and Constraint Satisfaction Problems (CSP) that opened the door to Contingent Planning.

27.01.2026 23:17 👍 0 🔁 0 💬 0 📌 0
The Language Construction Kit A kit for constructing a language!

Doing similar! My current to do list:

1. Decide on the sounds of the language
2. Create the lexicon
3. Create the grammar
4. ...

matt.thompson.gr/2026/01/23/t...

24.01.2026 17:23 👍 0 🔁 0 💬 0 📌 0
Learning about Lexicons Building on the last post I’ve been reminding myself what a lexicon is and how they are used in areas other than a compiler…

Learning about Lexicons: https://matt.thompson.gr/2026/01/24/learning-about-lexicons.html

Building on the last post I’ve been reminding myself what a lexicon is and how they are used in areas other than a compiler…

24.01.2026 16:53 👍 0 🔁 0 💬 0 📌 0
The Language Construction Kit A kit for constructing a language!

The Language Construction Kit: https://matt.thompson.gr/2026/01/23/the-language-construction-kit.html

A kit for constructing a language!

23.01.2026 14:05 👍 0 🔁 0 💬 0 📌 0

finally, we've invented funny looking droids from Star Wars

21.01.2026 01:30 👍 21 🔁 4 💬 0 📌 0
Post image

This is worth repeating often as it is easy to conflate the two when caught up in other priorities.

Incremental means add onto; Iterative means revise

"Incremental means add onto.
It helps improve the process."

"Iterative m... https://matt.thompson.gr/2026/01/21/this-is-worth-repeating-often.html

21.01.2026 02:51 👍 0 🔁 0 💬 0 📌 0
This is so dam wholesome This is so damn wholesome - a 13 year old kid, talking to one of the greatest rugby players ever and getting some great life advice whilst having a chuckle!! Never undervalue the grunt work to make string foundations. www.facebook.com/story.php This is golden advice on being a good captain and the most important part of leadership !! www.facebook.com/share/r/1…

This is so dam wholesome: https://matt.thompson.gr/2026/01/20/this-is-so-dam-wholesome.html

20.01.2026 07:10 👍 0 🔁 0 💬 0 📌 0

The fidelity of the connections is certainly impressive with embeddings - the benefit of dimensionality!

Slightly related: are you aware of anything that maps concepts in embeddings to external, lower dimension concepts? E.g. the OR logical operator

19.01.2026 07:11 👍 0 🔁 0 💬 0 📌 0
Do homoiconic languages like Lisp unlock formal online search and planning Got a fun and interesting challenge ahead. Looking to refine my intuition/thinking/knowledge of search spaces and online search/planning. I think the homoiconic nature of Lisp could unlock online search/planning and full autonomy (see matt.thompson.gr/2026/01/1…) To be clear, an agent that produces valid Lisp, verified by a lisp parser guard , is a step forward. The context would be something like: “Here’s the macros for AtomicGuard/Dual State Action Pairs: ….” The original specification would be the goal from a human (an action pair may produce decomposed goals in the form of specification to meet the original goal specified).

Do homoiconic languages like Lisp unlock formal online search and planning: https://matt.thompson.gr/2026/01/19/do-homoiconic-languages-like-lisp.html

19.01.2026 06:04 👍 1 🔁 0 💬 0 📌 0
Definitions Reference Working definitions to track and build into the documentation of my research. Generally they are included in the framework or extensions, though I need to learn more about Markov Blankets as I think that could be a boundary between the two state spaces. What the agent can sense and take action on. Otherwise this post is in an order that has trial logic, both in growing on the initial agency through to planning and learning - potential full autonomy.

Definitions Reference: https://matt.thompson.gr/2026/01/18/definitions-reference.html

17.01.2026 23:43 👍 0 🔁 0 💬 0 📌 0
AtomicGuard and Active Inference A rough comparison of AtomicGuard and Active Inference - are they opposite sides of the act-sense loop?

AtomicGuard and Active Inference: https://matt.thompson.gr/2026/01/17/atomicguard-and-active-inference.html

A rough comparison of AtomicGuard and Active Inference - are they opposite sides of the act-sense loop?

17.01.2026 12:52 👍 0 🔁 0 💬 0 📌 0
Annotated History of Modern AI and Deep Learning A well formatted and concise overview of deep learning from the calculus of 1676, when Gottfried Wilhelm Leibniz please blushed the chain rule to the RL-based NN advancements by DeepSeek in 2025.

Annotated History of Modern AI and Deep Learning: https://matt.thompson.gr/2026/01/12/annotated-history-of-modern-ai.html

A well formatted and concise overview of deep learning from the calculus of 1676, when Gottfried Wilhelm Leibniz please blushed the chain rule to the RL-based NN advancements...

12.01.2026 07:37 👍 0 🔁 0 💬 0 📌 0
The Bernshteyn Bridge and Axiom of Choice Nice article on the bridge between set theory and computer science (which I’d always thought was there! 🙃) A New Bridge Links the Strange Math of Infinity to Computer Science Also helped remind me what the axiom of choice is; an arbitrary choice that acts as a junction between rule based decisions. I still have to understand the actual algorithm as it seems handy to be able to label infinite nodes so that they do not locally conflict… 🤔🤓

The Bernshteyn Bridge and Axiom of Choice: https://matt.thompson.gr/2026/01/05/the-bernshteynbridge-and-axiom-of.html

05.01.2026 09:57 👍 0 🔁 0 💬 0 📌 0

I’ve been digging into paraconsistent and paracomplete logics and hit a useful tangent Foundational Theories and Philosophical Lenses for Maths and Computer Science

Nice to be aware of my bias and the core details of other ways to look at Maths and CS.

04.01.2026 13:34 👍 0 🔁 0 💬 0 📌 0
A Wikipedia page excerpt explains the principle of explosion in classical logic with a table illustrating logical premises and rules.

A Wikipedia page excerpt explains the principle of explosion in classical logic with a table illustrating logical premises and rules.

Classical Logic versus Paraconsistent Logic: https://matt.thompson.gr/2026/01/02/classical-logic-versus-paraconsistent-logic.html

02.01.2026 17:52 👍 0 🔁 0 💬 0 📌 0
The joy of happenstance Intentions for Math and Philosophy manifest in an unexpected way

The joy of happenstance: https://matt.thompson.gr/2026/01/02/the-joy-of-happenstance.html

Intentions for Math and Philosophy manifest in an unexpected way

02.01.2026 10:19 👍 0 🔁 0 💬 0 📌 0
Dual state domain Rough work to be made clearer Domain Table (Complete) Scope Symbol Name Formal Definition State Space Composite S System State S = S_workflow × S_env (Def. 1) Control S_workflow Workflow State {σ | σ : G → {⊥, ⊤}} — truth assignments tracking guard satisfaction Information S_env Environment State A × C (Def. 1, Eq.

Dual state domain: https://matt.thompson.gr/2025/12/30/dual-state-domain.html

30.12.2025 22:51 👍 0 🔁 0 💬 0 📌 0
Post image

Finished reading: Human Compatible by Stuart Russell 📚

This book is unreal - a must read for anyone interested in AI at a technical level.

I actually finished it about 3 months ago, and have notes all over the place t... https://matt.thompson.gr/2025/12/28/finished-reading-human-compatible-by.html

28.12.2025 11:51 👍 0 🔁 0 💬 0 📌 0
Post image

Finished reading: Dune: The Battle of Corrin by Brian Herbert 📚

Hmmm…. I listened to it over a few months so I forgot all that happened in this book… Not sure if that’s a reflection of the book or that I’ve been busy…

Sti... https://matt.thompson.gr/2025/12/28/finished-reading-dune-the-battle.html

28.12.2025 11:48 👍 0 🔁 0 💬 0 📌 0
Context may be all you need F##king did it. 🤓🎉 Tomorrow I’ll see if it repeats. 3-4 months of back to basics thinking followed by some surprisingly smooth coding (only one structural update to the formal definitions and a couple of remarks). Well happy. Let’s see what tomorrow brings (hopefully it runs again 🤞🏼) Now is 😎

F##king did it. 🤓🎉

Tomorrow I’ll see if it repeats.

3-4 months of back to basics thinking followed by some surprisingly smooth coding (only one structural update to the formal definitions and a couple of remarks).

Well happy.

Let’s see what tomorrow brings (hopefully it runs again 🤞🏼)

Now is 😎

20.12.2025 14:29 👍 0 🔁 0 💬 0 📌 0
Be active in your reading Great video on how to learn: youtu.be/mOJu1I57A… I’m thinking that I - like lots of people - marginalise conversations as well as reading :) Interesting overlap with active listening as well? Need to rewatch to see where this fits in: www.linkedin.com/feed/upda…

Be active in your reading: https://matt.thompson.gr/2025/12/19/be-active-in-your-reading.html

19.12.2025 12:33 👍 0 🔁 0 💬 0 📌 0

I’m trying to think of a song to remember Homotopy - 🎶travelling through a base layer in a Fibrated space and searching for the corresponding path in the fiber! 🎶 Don’t stop me now… 🎶 🤷🏼‍♂️🤓

If any topologists are reading this - Am I correct that the base layer can be discrete?

08.12.2025 17:18 👍 0 🔁 0 💬 0 📌 0
Preview
KI nimmt uns die Jobs weg – wenn wir Glück haben Angesichts der demografischen Entwicklung sollten wir begrüßen, wenn KI künftig Jobs ersetzt, statt sie dabei zu bremsen, findet unser Autor Bertram Sändig.

The need for robots - services and soft skills?: https://matt.thompson.gr/2025/12/06/the-need-for-robots-services.html

Snippet of a horse article about where we need robots and what skills they will need.

06.12.2025 14:41 👍 0 🔁 0 💬 0 📌 0
Post image

Stephen Wolfram is talking about the Ruliad, Micheal Levin is talking about Platonic Space. They sound very similar… 🤔

And here’s the language of the space (any space!) 🤓

05.12.2025 06:23 👍 0 🔁 0 💬 0 📌 0

Exciting day today - this quote captures it well.

"“The most important thing in life is to be true to yourself. Because if we’re not true to ourselves, then how can we be true to life?”"

Business, innovation, father, husband, son, brother, and friend.

Meditator, artist, and warrior.

18.11.2025 05:22 👍 0 🔁 0 💬 0 📌 0