Proving Agrawal’s Conjecture Using Isabelle: A Journey in Formal Verification
Joe Formal verification has always intrigued me, but it was only recently that I decided to…
Read More3D Model Design Request Form Made with ChatGPT – Free Download
FYI: I even had ChatGPT write this article too. Enjoy! Are you looking for a…
Read MoreAlfa Romeo RGB Grill LEDs with Bluetooth
Update (9-12-2022) I am now selling this for $99 + $4.99 Shipping -Comes 12V to…
Read MoreLip-Sync Singing Skeleton for Halloween with A.I.
I\’ve been getting more and more into programming with A.I. to let a computer find…
Read MoreSiri Enabled Toilet Flusher
This was a fun project just because. My friend gave me a challenge a while…
Read MoreHome Automation Bridge for iOS & Indigo Home Automation
Here\’s a cool example of some of my software engineering experience and problem solving. I…
Read MoreMy First Gas Plane Flight
I have probably over a thousand hours of electric RC flight time. But this was…
Read More3D Printing Star Wars Characters
Joe Lately with the new Star Wars trailer coming out I thought it would be a…
Read More3D Printing LIVE – Raspberry Pi Case
Come check me out live while I\’m 3D printing. Join the fun. Ask questions and…
Read More