: Finished reading: Dogs of War by Adrian Tchaikovsky 📚 Dogs of War Oh my, what a book. So much more topical than I’d expected, Tchaikovsky captures …
: Not happy with Opus 4.7 Enough load-bearing and pushing back.
: Listen to the right people! Yann LeCunn smaking the nail with a hammer!!
: Using AtomicGuard and testing escalation 🤓✌🏼
: [IA 11] What is Rationality and how does it relate to a Rational Agent in AI? In the Spring and Summer of 2025 I had the heady intent of defining Formal Agents, starting with …
: Social Media Giants being held to account 💪🏼 www.bbc.com/news/arti… youtu.be/JyN-Iqc73… Which is needed given: Sycophantic Chatbots …
: Working theory on how GenAI helps Software Engineering and Maintenance First part of my view on the value of GenAI to Software Engineering and Maintenance
: Managing epistemic learnings and uncertainty and Vibe-Learning Rust The weekend was spent organising notes for a final Masters presentation, reflecting on three years …
: Be this the truest to the name of World Model? Seems Deepmind is creating an embedding model to represent the Earth. Which also includes Population …
: What are the domains of AI? Discriminative ai (predictive, classification, etc.. Generative ai (create something from a prompt) …
: Developers guide managing risk of Coding Agents having more permissions There are 5 types of controls in InfoSec: Preventative Detective Corrective Recovery Deterrent …
: How do we Plan? First we Sense. How do we Sense? First we Plan the Sensing... argh.... It’s a trap!
: 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 …
: 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 …
: France to ban social media for under 15s As a Dad of two young girls this is nothing short of excellent news.
: Learning about Contingent Planning Looking back through my conversation with Gemini about Dynamic Programming (DP) and Constraint …
: Learning about Lexicons Building on the last post I’ve been reminding myself what a lexicon is and how they are used …
: The Language Construction Kit A kit for constructing a language!
: Incremental means add onto; Iterative means revise
: 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 …
: 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 …
: Definitions Reference Working definitions to track and build into the documentation of my research. Generally they are …
: AtomicGuard and Active Inference A rough comparison of AtomicGuard and Active Inference - are they opposite sides of the act-sense …
: Annotated History of Modern AI and Deep Learning A well formatted and concise overview of deep learning from the calculus of 1676, when Gottfried …
: The Bernshteyn Bridge and Axiom of Choice Nice article on the bridge between set theory and computer science (which I’d always thought …
: I’ve been digging into paraconsistent and paracomplete logics and hit a useful tangent …
: Classical Logic versus Paraconsistent Logic The challenge of contradiction in logic Different starting points of theories that contain …
: The joy of happenstance Intentions for Math and Philosophy manifest in an unexpected way
: Dual state domain Rough work to be made clearer Domain Table Scope Symbol Name Formal Definition State Space …
: Finished reading: Human Compatible by Stuart Russell 📚 This book is unreal - a must read for anyone …
: Finished reading: Dune: The Battle of Corrin by Brian Herbert 📚 Hmmm…. I listened to it over …
: F##king did it. 🤓🎉 Tomorrow I’ll see if it repeats. 3-4 months of back to basics thinking …
: Be active in your reading Great video on how to learn: youtu.be/mOJu1I57A… I’m thinking that I - like lots of …
: I’m trying to think of a song to remember Homotopy - 🎶travelling through a base layer in a …
: [IA 10] The case of Claude, the Irrational AI Agent, and the Formal Decomposition of Goals The discussion explores the challenges and implications of using AI coding agents with …
: The need for robots - services and soft skills? Snippet of a horse article about where we need robots and what skills they will need.
: Stephen Wolfram is talking about the Ruliad, Micheal Levin is talking about Platonic Space. They …
: Are coding agents offering value? Positive experience with Claude Code on the web for a small change, will it offer value for bigger …
: Exciting day today - this quote captures it well. “The most important thing in life is to be true …
: Wow 🥳 Awesomely strange when the proofs and lemmas have been written and I'm happy with it! Wow, I think I’ve just turned the final straight on my paper. It is both, exactly what I …
: 🔑 Explanation of the getKeys Operator An explanation of the getKeys operator in the Introduction to AI Planning paper from Marco Aiello …
:
Degenerate is a tricky term...
The more ways a system can achieve a function, the more robust and adaptable it becomes.
I think it …
: Generalisation (and its zibling) Generalisation… I am comparing State Spaces and Solution Spaces and realised that I may be …
: Planning is offline search. Planning is offline search. Planning is…. Yup, it is offline …
: Building Handy on an Intel Mac: A Step-by-Step Guide This guide outlines the steps to build the offline speech-to-text application Handy from source on …
: Agentic Context Engineering (ACE): Self-Improving LLMs via Evolving Contexts, Not Fine-Tuning …
:
Domain Driven Design
"Domain Modelling is itself the process of learning, you cannot know it all at the start, and …
: Approaching learning new skills - me or the machine? Do I need patience to learn to direct coding agents or is it time to learn a new language to learn …
: Discussing the state of LLM-as-a-Judge - is it good enough to use? (human edition) This is about connection - both with a fellow human interested in and articulate about Artifical …
: Using AI in research - connecting information is what it is all about Google Meet, Youtube, and NotebookLM make for great research utilities.
: Interesting answers to "What advice do you have for mid-career AI researchers?" Some great comments on pushing deeper into the tech stack, get closer to GPUs, and keep your eyes …
: Getting into the Paris AI Engineer conference spirit with a new Avatar for the week! What is an AI …
: Claude Code is monitoring file changes - this is good (I think!!) ⏺ Excellent! I can see …
: Finished reading: Dune: The Machine Crusade by Brian Herbert 📚 Great book - interesting character …
: Consciousness - is it important for AI? I’ve been diving into the current thinking around consciousness. Turing sidestepped the …
: insight into Claude's Learning userStyle setting I asked Claude to output the userStyle to the chat - glad I did as I’m not on PhD level topics …
: [BH 6/n] Summer review, la rentrée est proche Ad-libbed list of what I’ve done, still doing, and learnt over the summer.
: Functional Information - a way of measuring evolution and AGI? Functional Information: a way to represent information that has come to be useful over time. That …
: Double Split Experiment lecture from 1964 (remastered) Remastered broadcast of a 1964 lecture by Richard Feynman on the Double Split experiment. Finished …
: PCA and Entropy: The Information Connection Linking Entropy as the guide of when to use Principle Component Analysis
: Statistics Term Sheet Term sheet for key statistical ideas
: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers My searches for where Propositional and Predicte Logic is useful and defining clearly what coding …
: Interesting presentation on the downfall of the Bronze Age Civilization around Egypt, Greece, and …
: Finished listening to: Dune: The Butlerian Jihad by Brian Herbert 📚 What a book to listen to whilst …
: An attempt at guiding Claude to be less sycophantic Testing this out in Claude - Avoid excessive politeness, flattery, or empty affirmations. - Avoid …
: [IA 9] Agent Design Process v2: Bridging the Agent Function and Acceptance Criteria Making AI Theory Testable. There’s a gap between the Agent Function and the Agent Program and …
: [BH 5/n] Argh... Just because we repeat Correlation does not imply Causation does not mean there isn't Causation! This is a bit of a rant. I’ve memories of a senior manager shooting ideas down saying …
: [Being Human Series 4/n] spending time in uncertainty Great opinion piece in the NY Times by Meghan O’Rourke. I Teach Creative Writing. This Is What A.I. …
: [IA Series 8/n] Building a Self-Reflection LLM Agent: From Theory to Proof of Concept An initial free dive into Agentic Meta-cognition, using an element of Self-Reflection to be aware of …
: Instructions for using Micro.blog VS Code extension (alpha) Creating a Micro.blog Post with Images This is an instructional post for using this Micro.blog VS …
: Lazy vibing isn't a good idea... 💥 VIbe Engineering though 🚀 After two days of successful Vibe Coding (though it is more like Vibe Engineering) I’m having …
: Grok wouldn't know "truth" if it slapped it wow, this is pretty subversive, before answering it: searched on X for an opinion about a 75 year …
: Taming the vibes 🐍 A day vibe-coding, as a break from the normal routine of study. Done in new environment with …
: New theme that - looks crisp and is easily to read the posts 👍 😎
: Great presentation by Stuart Russell on Human-Compatible AI
: Being certain of epistemic uncertainty I’ve been dancing around Probability Theory, it’s history, application, and weeding out …
: Decisions decisions - Final Year Project 🤔🤔🤔 I am very torn between two possibilities : Building on my Q-Learning Maze Solving Agent I did for …
: Can LLMs do Critical Thinking? Of course not. Can an AI system think critically? Why not? A very interesting paper on Critical Thinking in an LLM (or lack thereof) Our study investigates …
: The old ‘un still does the job on the MINST Handwritten dataset !
: Polish is cheap in this Brave New World of AI. Being scrappy is a way of being authentic and, most …
: [Being Human 3/n]: moving on from previous unmet goals... I wish I had time to finish: my research on the Evolution of Probalisitic Reasoning in AI …
: [Being Human 2/n] Being scrappy shows we are Human in this Brave New World Polish is cheap in this Brave New World of AI. Being scrappy is a way of being authentic and, most …
: [IA Series 7/n] Building a Self-Consistency LLM-Agent: From PEAS Analysis to Production Code Building a Self-Consistency LLM-Agent: From PEAS Analysis to Production Code - a guide to designing …
: A refreshing AI-en-Provence 🍦
: Reasoning vs Stream of Consciousness
: [IA Series 6/n] A Bayesian Learning Agent: Bayes Theorem and Intelligent Agents The article discusses how to implement Bayes Theorem in a learning agent that updates its beliefs …
: It is not reasoning... Reasoning vs Stream of Consciousness - the output of a transformer is not reasoned in the way we …
: [Being Human Series 1/n] Introspection and the cusp of not knowing What is knowledge? Wtf am I trying to learn! Claude “thinks” this post is mental …
: [IA Series 5/n] The Evolution from Logic to Probability to Deep Learning: A course correction to Transformers Introduction In the previous post, I shared my view on “Why Study Logic?”, we looked at …
: [IA Series 4/n] A Big Question: Why Study Logic in a World of Probabilistic AI? Introduction The purpose of this article is to help me answer the question “Why am I studying …
: "There must be an invisible sun, giving heat to everyone" “There must be an invisible sun, giving heat to everyone”
: [IA Series 3/n] Intelligent Agents Term Sheet “[IA Series 3/n] Intelligent Agents Term Sheet” breaks down essential AI terminology …
: Building an Intelligent Agent First draft in public 😱 😆🤓 What’s the best way for an agent to build a semantically sound and …
: [zero-RL] Summarising what LUFFY offers Here’s a “standard” progression of training methodologies: PRE-Training - This is …
: [zero-RL] where is the exploration? Source: Off Policy “zero RL” in simple terms Results demonstrate that LUFFY encourages …
: [zero-RL] LUFFY: Learning to reason Under oFF policY guidance Based on conventional zero-RL methods such as GRPO, LUFFY introduces off-policy reasoning traces …
: [zero-RL] what is it? Zero-RL applies reinforcement learning RL to base LM directly, eliciting reasoning potentials using …
: [zero-RL] When you SFT a smaller LM on the reasoning traces of a larger LM You are doing Imitation Learning (specifically Behavioral Cloning) because the goal and mechanism …
: Notes and links on SVMs (WIP) Support Vector Machines (SVM) are a mathematical approach for classifying data by finding optimal …
: [IA Series 2/n] Search Algorithms and Intelligent Agents The document discusses various search algorithms used by Intelligent Agents for navigating mazes, …
: [IA Series 1/n] AI Search - Terms and Algorithms This text introduces key concepts and algorithms related to intelligent agents in AI, focusing on …
: [Python Series 1/n] Modern Python Package Management: pipx and uv for Data Scientists This post is inspired by a conversation with a fellow Data Science and AI student. It’s from …
: Dystopia? It's already here and that's OK. Here's why. The text reflects on the misuse of technology and ethics in Silicon Valley, highlighting the …
: finally found something I wanted to use ChatGPT image generation for! On the fridge and the family …
: happiness is "django_cotton", "template_partials.apps.SimpleAppConfig", …
: How did America break itself? Ideological sabotage of the scientific method and how to counter it. Great podcast where she talks about why America is broken. Ideological sabotage (which surprised me, …
: China’s first heterogenous humanoid robot training facility …
: Is the EU AI Act Killing Startups? A Medical Device Perspective The analysis concludes that while the EU AI Act does not obstruct startups, it presents both …
: The cold has fully kicked in now, and has a hint of covid about it… 😵😷 Plans to wire up the …
: “But who was learning, you or the machine?” “Well, I suppose we both were” …
: Clearly there are thoughtful, well spoken politicians in America. youtu.be/ubBnUCXj4… I hope …
: BBC news article is very clear… The Russian president has given the US leader just enough to …
: New wave of Innovators: why AI won't replace software engineering There’s a lot of change at the moment, my feed is all about foreign policies, US government …
: [NN Series 5/n] Regularisation: reducing the complexity of a model without compromising accuracy Regularisation is known to reduce overfitting when training a neural network. As with a lot of these …
: A speculative recipe for useful agentic behaviours define actions by Promise Theory train multiple neural nets to classify an action for a given input …
: Flow and decisions - almost a parable (I forget exactly but I’m pretty sure this is from an Alan Watts lecture). A farmer needs some …
: [NN Series 4/n] Feature Normalisation This is an interesting one as I’d thought it was quite academic, with limited utility. Then I …
: From Green Mars by Kim Stanley Robinson.
: [NN Series 3/n] Calculating the error before quantisation: Gradient Descent Next I’m looking at the Adaline in python code. This post is a mixture of what I’ve …
: [NN Series 2/n] Circuits that can be trained to match patterns: The Adaline The text discusses the development and significance of the Adaline artificial neuron, highlighting …
: #BeingHuman - look after your << self >>: love is all it needs. The author shares personal reflections on self-kindness and positive thinking as tools for finding …
: #BeingHuman and a Dad. My wife and I have 3 main concerns with our daughters use of phones and Social Media what her …
: Pondering Agency and Consciousness #BeingHuman Had a nice exchange about Agency with Paul Burchard on LinkedIn this morning. My thinking goes …
: [NN Series 1/n] From Neurons to Neural Networks: The Perceptron This post looks at the Percepton, from Frank Rosenblatt’s original paper to a practical …
: This is not normal nor is it ok. Meta is now the pervy old man you have to teach your kids to avoid. …
: Nice opening. Looking forward to reading more! Nous pouvons et devons bâtir l’intelligence …
: First test with a “reasoning” model, pleasantly surprised. Not sure how to integrate it …
: How do humans decipher reward in an uncertain state and environment? Imitation seems the most …
: If I could answer any question in science, I’d find out what involvement the neurons in our …
: [RL Series 2/n] From Animals to Agents: Linking Psychology, Behaviour, Mathematics, and Decision Making intro Maths, computation, the mind, and related fields are a fascination for me. I had thought I was …
: The challenges of being human: mistaking prediction, narratives, and rhetoric for reasoning I read an insightful comment within the current wave of LLM Reasoning hype. It has stuck with me. At …
: [RL Series 1/n] Defining Artificial Intelligence and Reinforcement Learning intro I’m learning about Reinforcement Learning, it’s an area that has a lot of intrigue …
: What is Off-Policy learning? I’ve recently dug into Temporal Difference algorithms for Reinforcement Learning. The field of …
: Are LLM learning skills rather than being Stochastic Parrots? A Theory for Emergence of Complex Skills in Language Models Skill-Mix: a Flexible and Expandable …
: Domain Specific Languages Ray Myers has started his Year of Domain Specific Languages 🎉 I listened to the first episode …
: Finished reading: Red Mars by Kim Stanley Robinson 📚 A great book, other than it being a highly …
: Dopamine as temporal difference errors !! 🤯 I expect I’m sharing a dopamine burst that I experienced! 🤓 I’m listening to The …
: It is possible for dopamine to write cheques that the environment cannot cash. At which point the …
: Nice lunch time walk into the village
: Nice summary and stark reminder of what’s happening right now. Only CEOs are making the …
: [video] Crew.ai experiment with Cyber Threat Intelligence
: Agentic behaviours My initial thoughts, expressed via the medium of sport, on agentic behaviours plus friends view, …
: [short] Why use tools with an LLM?
: Project Euler meets Powershell - Problem #4 <# A palindromic number reads the same both ways. The largest palindrome made from the product of …
: Project Euler meets Powershell - reworking factorial to avoid PowerShell 1000 recursions limit Turns out it was the recursion the factorial function - I’ve reworked it to use a for loop function …
: Project Euler meets Powershell - Problem #3 amonkeyseulersolutions: I’ve read that an integer p > 1 is prime if and only if the factorial (p …
: Project Euler meets Powershell - largest prime factor of a value? things to do… No more than the square root of the value. test each value? start from the square root …
: Project Euler meets Powershell - isprime I’ve read that an integer p > 1 is prime if and only if the factorial (p - 1)! + 1 is divisible …
: Project Euler meets Powershell - factorial... function factorial { [cmdletbinding()] param([int64] $x) if ($x -lt 1) { return "Has to be on a …
: Project Euler - Problem 2 Each new term in the Fibonacci sequence is generated by adding the previous two terms. By starting …
: Project Euler meets Powershell - Problem 1 If we list all the natural numbers below 10 that are multiples of 3 or 5, we get 3, 5, 6 and 9. The …