<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
    <channel>
        <title>Justus Polzin's Blog</title>
        <link>https://plzin.github.io/</link>
        <description>Blog about computers, numbers, and sometimes other things</description>
        <lastBuildDate>Fri, 13 Jun 2025 18:21:50 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>https://github.com/jpmonette/feed</generator>
        <image>
            <title>Justus Polzin's Blog</title>
            <url>https://plzin.github.io/images/profile.png</url>
            <link>https://plzin.github.io/</link>
        </image>
        <item>
            <title><![CDATA[Multivariate Polynomials mod m]]></title>
            <link>https://plzin.github.io/posts/zero-polys-mod-n</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/zero-polys-mod-n</guid>
            <pubDate>Mon, 06 May 2024 00:00:00 GMT</pubDate>
            <description><![CDATA[We find all multivariate polynomials that are zero mod m.]]></description>
        </item>
        <item>
            <title><![CDATA[Why are polynomials so fundamental?]]></title>
            <link>https://plzin.github.io/posts/polynomials</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/polynomials</guid>
            <pubDate>Mon, 05 Feb 2024 00:00:00 GMT</pubDate>
            <description><![CDATA[A very non-technical, detailed answer to the question of why polynomials are so fundamental, that their are forcefully taught to high school students. Hopefully interested high school students could understand this post, but I think this might be something not everyone who has taken math on the university level has considered.]]></description>
        </item>
        <item>
            <title><![CDATA[Mixed Boolean-Arithmetic (Part 4): Deobfuscation]]></title>
            <link>https://plzin.github.io/posts/mba-deobf</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/mba-deobf</guid>
            <pubDate>Mon, 24 Apr 2023 00:00:00 GMT</pubDate>
            <description><![CDATA[We discuss the deobfuscation of linear MBA and how that corresponds to finding small vectors in the solution lattice of a linear system. We discuss methods of finding such a vector.]]></description>
        </item>
        <item>
            <title><![CDATA[Mixed Boolean-Arithmetic (Part 3): Binary Permutation Polynomials]]></title>
            <link>https://plzin.github.io/posts/perm-poly</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/perm-poly</guid>
            <pubDate>Mon, 24 Apr 2023 00:00:00 GMT</pubDate>
            <description><![CDATA[I discuss some general properties of polynomials mod n and in particular when n is a power of two. I try to explain intuitively when two such polynomials compute the same function. We then follow Rivest's proof of the characterization of binary permutation polynomials. Finally, we try to find a polynomial that corresponds to the inverse permutation of a binary permutation polynomial.]]></description>
        </item>
        <item>
            <title><![CDATA[Mixed Boolean-Arithmetic (Part 2): Systems of Linear Equations mod n]]></title>
            <link>https://plzin.github.io/posts/linear-systems-mod-n</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/linear-systems-mod-n</guid>
            <pubDate>Mon, 24 Apr 2023 00:00:00 GMT</pubDate>
            <description><![CDATA[We discuss systems of linear equations mod n. We see how solving a puzzle in a video game can be reduced to such a linear system. We then try to actually solve such systems by reducing them to systems of diophantine equations and solving those with the "Hermite Normal Form" or more directly by "Diagonalization".]]></description>
        </item>
        <item>
            <title><![CDATA[Mixed Boolean-Arithmetic (Part 1.5): The Fundamental Theorem of Mixed Boolean-Arithmetic]]></title>
            <link>https://plzin.github.io/posts/mba-theorem</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/mba-theorem</guid>
            <pubDate>Mon, 24 Apr 2023 00:00:00 GMT</pubDate>
            <description><![CDATA[We formalize all the parts of linear MBA, which allows us to prove the "Fundamental Theorem of Mixed Boolean-Arithmetic" from Part 1. Afterwards, I clarify some confusing things about linear MBA.]]></description>
        </item>
        <item>
            <title><![CDATA[Mixed Boolean-Arithmetic (Part 1): Introduction]]></title>
            <link>https://plzin.github.io/posts/mba</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/mba</guid>
            <pubDate>Mon, 24 Apr 2023 00:00:00 GMT</pubDate>
            <description><![CDATA[An Introduction to Mixed Boolean-Arithmetic (MBA) Obfuscation. I explain the idea behind the automatic generation linear MBA and permutation polynomials. We use linear MBA to obfuscate a constant and finally turn that into a non-linear MBA expression.]]></description>
        </item>
        <item>
            <title><![CDATA[0.999... = 1]]></title>
            <link>https://plzin.github.io/posts/non-standard-analysis</link>
            <guid isPermaLink="false">https://plzin.github.io/posts/non-standard-analysis</guid>
            <pubDate>Tue, 05 Apr 2022 00:00:00 GMT</pubDate>
            <description><![CDATA[I discuss some things that I believe cause a lot of confusion around 0.999... = 1. I explain why I find one of the often given high school "proofs" unsatisfactory and we try to formalize the real numbers. Noticing the difficulty, I explain the Cauchy sequence construction. After defining decimal notation, we can now actually prove 0.999... = 1. I discuss whether the Cauchy sequence definition is "correct". Finally, I explain the hyperreal numbers and we try to make sense of 0.999... = 1 there.]]></description>
        </item>
    </channel>
</rss>