Mike Delmonaco's Blog: Posts tagged 'projects'urn:https-quasarbright-github-io:-blog-tags-projects-html2024-04-29T22:57:22ZMath From Scratch: Creating a Proof Checkerurn:https-quasarbright-github-io:-blog-2024-04-math-from-scratch-creating-a-proof-checker-html2024-04-29T22:57:22Z2024-04-29T22:57:22ZMike Delmonaco
<p>Math, at its core, is a network of facts that are undoubtably known to be true. We start out with some simple assumptions called axioms and prove new facts to be true using logic and reasoning. As long as the proofs are valid, then under the founding assumptions, anything that can is proven is definitely true. But when you’re proving something in math, how do you actually know if you’re doing it right? What if you make a mistake? What if you gloss over proving something which is "obviously true" that turns out to be false? One way to be sure is to have a computer check your proof, which is what we’re going to do. But first, we’re going to have to build math from the ground up.</p><a href="https://quasarbright.github.io/blog/2024/04/math-from-scratch-creating-a-proof-checker.html?utm_source=projects&utm_medium=Atom"><em>More…</em></a>Guess-Free Minesweeperurn:https-quasarbright-github-io:-blog-2024-04-guess-free-minesweeper-html2024-04-01T20:29:50Z2024-04-01T20:29:50ZMike Delmonaco
<p>Have you ever played Minesweeper? If you have, you’ve probably run into a situation where you’re forced to guess, hoping you’re not about to step on a mine and lose the game. What if I told you it was possible to make it so you never have to guess in a game of minesweeper?</p>
<p>In this post, I’ll explain how I made a minesweeper solver and how I used the solver to generate guess-free minefields.</p><a href="https://quasarbright.github.io/blog/2024/04/guess-free-minesweeper.html?utm_source=projects&utm_medium=Atom"><em>More…</em></a>Extending Automatic Differentiation to Higher Order Derivativesurn:https-quasarbright-github-io:-blog-2023-07-extending-automatic-differentiation-to-higher-order-derivatives-html2023-07-07T23:15:39Z2023-07-07T23:15:39ZMike Delmonaco
<p>This is part 2 of a series of blog posts about implementing automatic differentiation. You can read part 1 <a href="/blog/2022/12/understanding-and-implementing-automatic-differentiation.html">here</a>. In this post, we extend our automatic differentiation system to support higher order derivatives.</p>
<p>Like the previous post, some knowledge of calculus is required and Racket-y stuff will be explained as we go.</p><a href="https://quasarbright.github.io/blog/2023/07/extending-automatic-differentiation-to-higher-order-derivatives.html?utm_source=projects&utm_medium=Atom"><em>More…</em></a>Understanding and Implementing Automatic Differentiationurn:https-quasarbright-github-io:-blog-2022-12-understanding-and-implementing-automatic-differentiation-html2022-12-04T16:17:10Z2022-12-04T16:17:10ZMike Delmonaco
<p>\[
\DeclareMathOperator{\expt}{expt}
\DeclareMathOperator{\mul}{mul}
\DeclareMathOperator{\add}{add}
\DeclareMathOperator{\derivative}{derivative}
\]</p>
<p>Automatic differentiation is a technique that allows programs to compute the derivatives of functions. It is vital
for deep learning and useful for optimization in general.
For me, it’s always been dark magic, but I recently thought of a nice way to implement it and made a little library. This
blog post takes you along the journey of discovering that implementation. Specifically, we will be implementing forward mode
automatic differentiation for scalar numbers.</p>
<p>This post requires some knowledge of differential calculus. You’ll need to know basic derivative rules, the chain rule,
and it’d help to know partial derivatives. If you’ve taken an introductory calculus course, you should be fine.</p>
<p>The code is in Racket. If you don’t know Racket, you should still be able to follow along. I’ll explain the Racket-y stuff.
Don’t let the parentheses scare you away!</p><a href="https://quasarbright.github.io/blog/2022/12/understanding-and-implementing-automatic-differentiation.html?utm_source=projects&utm_medium=Atom"><em>More…</em></a>