AI Rulebook: Always-On Rules for AI Coding Agents
AI Rulebook is a free VS Code and Open VSX extension from Wyvern Systems LLC that installs six always-on engineering rules for AI coding agents (scope, code re…
Auto Color: A Distinct Color for Every VS Code Workspace
Auto Color is a free VS Code and Open VSX extension from Wyvern Systems LLC that gives every workspace its own golden-ratio color: pastel title, activity, and…
Software Lessons Session 25: Cursor and Claude — Agentic Coding Workflow
Software Lessons Session 25: Cursor and Claude — agentic programming with Cursor and Claude: workflow, tools, and building software with LLM-assisted coding.
The Quest for Artificial General Intelligence: Why the Answer May Lie in the Human Brain
A 2026-oriented tour from symbolic AI and deep learning to agentic assistants, then a brain-vs.-silicon comparison (software, hardware, neuroscience, conscious…
Data Structures Visualizer
Interactive visualizer for core data structures, including arrays, linked lists, stacks, queues, hash maps, trees, and graph BFS.
Software Lessons Session 24: Smart Pointers, Virtual Classes, Abstract Classes, Concrete Classes
Software Lessons Session 24: Smart Pointers, Virtual Classes, Abstract Classes, Concrete Classes -Smart Pointers --Unique Pointer (exclusive ownership over the…
Software Lessons Session 23: Programming in C++: Data Structures and Sorting Algorithm Examples
Software Lessons Session 23: Programming in C++: Data Structures and Sorting Algorithm Examples -Data Structure Examples --Vectors (basically a dynamic array)…
Software Lessons Session 22: Complexity Theory, Big-O Notation, P=NP
Software Lessons Session 22: Complexity Theory, Big-O Notation, P=NP -Overview of Complexity Theory -Big-O notation -Complexity Classes -P=NP (Polynomial Time…
Software Lessons Session 21: Programming in C++: Data Structures Part 2
Software Lessons Session 21: Programming in C++: Data Structures Part 2 -Intro to Data Structures -Linear Data Structures -Associative Containers -User-Defined…
Software Lessons Session 20: Programming in C++: Data Structures Part 1
Software Lessons Session 20: Programming in C++: Data Structures Part 1 -Intro to Data Structures -Linear Data Structures -Associative Containers -User-Defined…
Software Lessons Session 19: Programming in C++: Pass by Reference, Pointer, & Value Part 2
Software Lessons Session 19: Programming in C++: Pass by Reference, Pointer, & Value Part 2 -Pass by Reference, Pass by Pointer, Pass by Value. -Legal and ille…
Software Lessons Session 18: Programming in C++: Pass by Reference, Pointer, & Value Part 1
Software Lessons Session 18: Programming in C++: Pass by Reference, Pointer, & Value Part 1 -Pass by Reference, Pass by Pointer, Pass by Value. -Legal and ille…
Software Lessons Session 17: Programming in C++: Namespaces, Pointers, References, Types, Values
Software Lessons 17: Programming in C++: Namespaces, Pointers, References, Types, Values -Namespaces -Pointers v References v Values in the context of Stack &…
Software Lessons Session 16: Programming in C++: Memory, Stack, Heap, Syntax
Software Lessons Session 16: Programming in C++: Memory, Stack, Heap, Syntax -Memory Management -Stack v Heap -Basic syntax and "Hello World" example
Software Lessons Session 15: Visual Studio Docker Dev Containers and Protocol Buffers Part 3
Software Lessons Session 15: Visual Studio Docker Dev Containers and Protocol Buffers Part 3 -Describing Visual Studio Code Docker Dev Containers -Protocol Buf…
Software Lessons Session 14: Visual Studio Docker Dev Containers and Protocol Buffers Part 2
Software Lessons Session 14: Visual Studio Docker Dev Containers and Protocol Buffers Part 2 -Describing Visual Studio Code Docker Dev Containers -Protocol Buf…
Software Lessons Session 13: Visual Studio Docker Dev Containers and Protocol Buffers Part 1
Software Lessons Session 13: Visual Studio Docker Dev Containers and Protocol Buffers Part 1 -Describing Visual Studio Code Docker Dev Containers -Protocol Buf…
Software Lessons Session 9: Object-Oriented Programming (OOP) Part 1 (Classes and Inheritance)
Software Lessons Session 9: OOP Part 1 (Classes and Inheritance) - Class syntax - Inheritance - Types - Classic Animal Kingdom Example Introduction to Object-O…
Software Lessons Session 12: Programming In Python: Object-Oriented (OOP) Part 4 (Builder Pattern)
Software Lessons Session 12: Programming In Python: Object-Oriented (OOP) Part 4 (Builder Pattern) -Builder design pattern example with a CarBuilder class that…
Software Lessons Session 10: Object-Oriented Programming (OOP) Part 2 (Calculator Class Example & Design Patterns)
Software Lessons Session 10: Object-Oriented Programming (OOP) Part 2 (Calculator Class Example & Design Patterns) Basics Class syntax Inheritance Types Classi…
Software Lessons Session 11: Programming In Python: Object-Oriented (OOP) Part 3 (Factory Pattern)
Software Lessons Session 11: Programming In Python: Object-Oriented (OOP) Part 3 (Factory Pattern) -Factory design pattern example with a CarFactory class and…
Software Lessons Session 8: Programming In Python: Control Flow, Loops, & Functions
Software Lessons Session 8: Programming In Python: Control Flow, Loops, & Functions - Python Variables, Control Flow, Loops, and Function Syntax. - White Space…
Software Lessons Session 7: Operating Systems, Containers & Python Programming Paradigms
Software Lessons Session 7: Operating Systems, Containers & Python Programming Paradigms Operating systems, kernels Virtual machines (VirtualBox, VMware) Conta…
Software Lessons Session 6: Networking 103 – Binary Data & Operating Systems Intro
Software Lessons Session 6: Networking 103 – Binary Data & Operating Systems Intro IPv4 and IPv6 formats and packet structure Binary to ASCII and integers (and…
Software Lessons Session 5: Networking 102 – TCP, UDP & Bandwidth
Software Lessons Session 5: Networking 102 – TCP, UDP & Bandwidth IP packets and data flow, ISP, Download vs upload speeds Signal waves Ping vs bandwidth UDP,…
Software Lessons Session 4: Networking 101 – Internet Fundamentals
Software Lessons Session 4: Networking 101 Topics Covered: 1. IP Addresses, ISP, DNS 2. Speed of Light (Fiber), Speed of Electricity 3. Electromagnetic Spectru…
Software Lessons Session 3: The Four Domains of Software
Software Lessons Session 3: The Four Domains of Software Web Development Desktop Apps & Data Science Robotics & Embedded Systems Networking and Protocols Learn…
Software Lessons Session 2: Computer Processing 101 – How Code Executes
Software Lessons Session 2: Computer Processing 101 CPU cores and caches Parallel processing and threads Deterministic vs stochastic systems Compiled vs interp…
Software Lessons Session 1: Computer Architecture 101 - Basic Components
Software Lessons Session 1: Computer Architecture 101 Von Neumann Architectures CPUs, GPUs, RAM, HDs/SSDs/M.2s BIOS, Operating System ARM vs x86 Learn how comp…
“Alien Escape Game” built with WebSim LLMs
Introduction The idea of designing your own video game without writing traditional code might have sounded like science fiction not too long ago. Yet today, wi…
Build an AI Chess Engine As Fast As Possible using ChatGPT
The Problem For a while now I have wondered how much faster it would be to build a C++ application with ChatGPT than without. So I set a goal to program a C++…
Got My Boating License
Got my boating license. ✅ The Gulf Coast is nice this time of year! 🏖️
Navigating the Skies: AI and Autonomous Robotics
FuturePulse podcast episode featuring Ron Picard, Director of Autonomy Engineering and former USAF civil servant, on AI and autonomous robotics.
X-62 VISTA Laureate Award Dinner
Special night, with colleagues and friends. Incredibly honored and humbled to have played a part.
DoD artificial intelligence agents successfully pilot a fighter jet
AFRL’s Autonomous Air Combat Operations, or AACO, and DARPA’s Air Combat Evolution, or ACE, AI-driven autonomy agents piloted the U.S. Air Force Test Pilot Sch…
The AAAx Vision to Accelerate Autonomy Test & Evaluation using the X-62A VISTA
The Autonomous Attritable Aircraft Experiment (AAAx) is an experimentation campaign that seeks to (1) Determine the competitive advantage of autonomous attrita…
Flew a TB-10 with a retired T-38 pilot
Went flying with a retired T-38 pilot today. Did some lazy eights over the beach, and enjoyed the sunshine of Destin, Florida! I had never flown a French aircr…
First Multi-Engine Flight – 1959 Beechcraft (BE95)
Flew a 1959 Beechcraft (BE95) yesterday. Known as the “Cadillac of General Aviation”, it held to its name. With the mix of a wide, comfortable fuselage (high d…
Simulated engine failures in a Piper Warrior II (PA-28-161)
Practiced simulated engine failures with a friend today in a Piper Warrior II (PA-28-161). We decided to practice simulated engine failures with a 360-degree s…
Flew a Super Decathlon Today
It all begins with an idea.
Got an Amateur (HAM) Radio Technician Class License! (Call sign: K4AGN)
A couple of weeks ago I decided to study and test for my amateur radio technician license. For those of you unfamiliar with the art, HAM radio operators are li…
Flew a Cherokee 6 (PA-32) with a friend
Another day, another airplane! Cherokee 6 (PA-32) today. Interesting flying a high-power complex airplane. Makes me want to get some additional endorsements! C…
Officially a Private Pilot!
I passed my Private Pilot Checkride!! This is one of the accomplishments that I am most proud of in my life. It took a whole lot of blood, sweat, and tears but…
Formal Methods 101: Induction
Introduction: Induction is a mathematical technique used to prove a property of a system. Intuitively, you can think of induction as a way of proving that all…
Formal Methods 101: Formal Systems
Introduction: A Formal System is a set of formulas (axioms, or derived from axioms) that are used to infer properties, theorems, or additional truths. Axioms c…
Formal Methods 101: Decidability
Introduction: There are some problems for which there does not exist an algorithm that can guarantee to return a correct (ex. yes or no) answer. These are call…
Formal Methods 101: Complexity Theory
Introduction: Complexity Theory deals with how ‘complex’ a problem is to solve. That is, how many steps it takes to solve a problem. This topic is one of the m…
Formal Methods 101: Second-Order (and Higher-Order) Logic
Introduction: Second-Order Logic extends First-Order Logic to Quantify Sets. Whereas first-order logic may only quantify Variables in a domain of discourse (se…
Formal Methods 101: Boolean Satisfiability (SAT)
Introduction: A Boolean-valued logic formula (predicate) is said to be Satisfiable (SAT) if a valid assignment (also known as a model) to the predicate variabl…
Formal Methods 101: Satisfiability Modulo Theories (SMT)
Introduction: The Satisfiability Modulo Theories (SMT) problem is an extension to SAT problems in which the variables take on values beyond just Boolean-valued…
Formal Methods 101: Binary Relations
Introduction: Relations (R) are a generalization of functions (f), (such that f ⊂ R) and are used to specify sets; or more intuitively the relationship between…
Formal Methods 101: Zero-Order (Propositional) Logic
Introduction: Zero-Order Logic (also known as propositional logic or propositional calculus) is the foundation of most formal logic systems. In Zero-Order Logi…
Formal Methods 101: First-Order Logic (FOL)
Introduction: First-Order Logic extends Zero-Order Logic (or Propositional Logic) to include variables and quantifiers. First-Order Logic operators are used to…
Formal Methods 101: Set Theory
Introduction: Set Theory involves sets which are unordered lists. Ex. Set: S = (a, b, c) Note: S is the set and a, b, c are the elements of the set. All member…
Improvements to Feed-Forward Neural Networks Used to Classify Forest Type Covers Based on Cartographic Features
As computational power increases, deep neural networks provide an empirically effective way to classify large data sets based on a small labeled subset. Forest…
Action Schema Neural Networks: Generalized Policies for Stochastic Planning Problems in the Wargaming Domain
Stochastic shortest-path problems have been of interest to the automated planning community for many years. Traditionally, policy solutions to these problems h…
Convolutional Neural Networks
In this notebook, we will walk through the design, training, and testing of convolutional neural networks (CNNs). These neural networks will be used for image…
Neural Networks With Minibatch Stochastic Gradient Descent and Adaptive Moments (ADAM)
In this notebook, we will walk through the design, training, and testing of neural networks with multiple hidden layers using minibatch stochastic gradient des…
Neural Networks with Minibatch Stochastic Gradient Descent and Momentum
In this notebook, we will walk through the design, training, and testing of neural networks with multiple hidden layers using minibatch stochastic gradient des…
Neural Networks With Single Neuron Implementation
In this notebook, we will walk through the design, training, and testing of a neural network with one neuron. This neural network will be used for logistic reg…
Neural Networks of L-Layers, N-Neurons with Dropout and L2 Regularization
In this notebook, we will walk through the design, training, and testing of neural networks with multiple hidden layers. We will train networks utilizing L2 re…
3D Linear Regression Using Gradient Descent Implementation
In this notebook, we will walk through how to perform linear regression using gradient descent. The goal for this example is to predict what the good market pr…
2D Linear Regression Using Gradient Descent Implementation
In this notebook, we will walk through how to perform linear regression using gradient descent. The goal for this example is to predict what the profit for a n…
Linear Regression Using Gradient Descent
When it comes to machine learning a popular starting place tends to be linear regression using gradient descent. The reasoning is that it is a simple optimizat…
Build Your Own Ubuntu Linux Router
Building your own bare-bones Linux router is not only educational but in this age of cyber-security threats, it is an excellent way to secure your home network…
Build A Home VPN With OpenVPN
First, let’s talk about what VPNs are and why I recommend everyone have one. VPN stands for Virtual Private Network, but the name can sometimes be confusing. E…
Build A WordPress Website From Scratch
Step 1 – The Prep Work When creating a WordPress website from scratch there are a couple of things we need to do upfront. First, we need to purchase a domain n…
WebGME: Railway Network Design Studio
This is a railway-networks-plugin for WebGME that traverses through the tree structures and saves various information in a .zip artifact.
Wyvern Systems