
<h2>About me</h2>
<p>I am a Computer Science M. Sc. student (they/them). My research interests are knowledge representation and processing of math, and lately also programming language theory.</p>
<p>I contribute to the <a href="https://uniformal.github.io/" rel="nofollow noreferrer">MMT project</a> (<a href="https://github.com/UniFormal/MMT" rel="nofollow noreferrer">UniFormal/MMT on GitHub</a>), a larger research software written in Scala which lets you formalize a broad range of formal knowledge: math, logic, type theory, and foundations. MMT and many of its algorithms are <a href="https://kwarc.info/people/frabe/Research/rabe_future_15.pdf" rel="nofollow noreferrer">foundation-independent</a>: with bare MMT, you don't even have natural numbers, let alone functions. The beauty is versatility; the challenge generality.</p>
<p>For more info and publications, see my <a href="https://kwarc.info/people/nroux/" rel="nofollow noreferrer">academic website</a> and <a href="https://navid-roux.netlify.app/" rel="nofollow noreferrer">personal website</a>.</p>
<p>More hobby-wise, I am dabbling in the <a href="https://coq.inria.fr/" rel="nofollow noreferrer">Coq Proof Assistant</a> and, e.g., formalized my own flavor of <a href="https://github.com/ComFreek/basic-ontology-language" rel="nofollow noreferrer">an ontology language</a> and <a href="https://github.com/ComFreek/lambda-coq" rel="nofollow noreferrer">a lambda calculus with de Bruijn indices</a>.</p>
<p>Programming-wise, I also fancy the latest TypeScript/ECMAScript. And I like <a href="https://github.com/ComFreek/mmtpygments" rel="nofollow noreferrer">writing/autogenerating syntax highlighters</a> that <a href="https://comfreek.github.io/mmtpygments/mmtpygments/test/index.html" rel="nofollow noreferrer">succeed on over 15k lines of code</a>.</p>
<p>Feel free to reach out (by posting an <a href="https://github.com/ComFreek/ComFreek/issues/new" rel="nofollow noreferrer">issue here</a>)! I always love hearing and chatting about cool things.</p>
<h2>Favorite answers...</h2>
<p>...either because they are funny, stunning or the best factually correct explanation I've ever found!</p>
<ul>
<li><p><a href="https://codegolf.stackexchange.com/questions/11880/build-a-working-game-of-tetris-in-conways-game-of-life">Simulation of a whole CPU in Conway's Game of Life</a></p>
</li>
<li><p><a href="http://stackoverflow.com/a/8983122/603003">SOAP overhead explained by Martin Lawrence &amp; Big Mama</a></p>
</li>
<li>
<blockquote>
<p>Following that it is 1 of 7 (15%) I assume it was taxes.<br>
—  <a href="http://stackoverflow.com/users/251311/zerkms">zerkms</a> in <a href="http://stackoverflow.com/questions/19234709/javascript-strange-function-arrangement-dont-understand#comment28470076_19234767">this comment</a> on one downvote for six upvotes</p>
</blockquote>
</li>
<li><p><a href="https://stackoverflow.com/q/3627681/603003">Regex series</a></p>
</li>
<li><p><a href="https://stackoverflow.com/a/61270591/603003">More regex fun</a> (disclaimer: by myself)</p>
</li>
<li><p><a href="https://stackoverflow.com/q/2795065/603003">Primality testing with regex</a></p>
</li>
<li><p><a href="http://www.doxdesk.com/img/updates/20091116-so-large.gif" rel="nofollow noreferrer">Not enough jQuery</a></p>
</li>
</ul>
<blockquote>
<p>“Measuring programming progress by lines of code is like measuring
aircraft building progress by weight.”<br>
— <strong>Bill Gates</strong></p>
</blockquote>

<h2>Some funny names other people have given me</h2>
<ul>
<li>ComFreak (with &quot;ae&quot;)</li>
<li>CompFreek</li>
<li>ComicFreek</li>
<li>CornFreek</li>
<li>ComFreeh</li>
</ul>

ComFreek