path: root/public/about/index.html

               

<!DOCTYPE html>
<html lang="en-US">

<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;path=livereload" data-no-instant defer></script>
  <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" />
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>about | lowestcase</title>
<meta name="title" content="about" />
<meta name="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:" />
<meta name="keywords" content="" />


<meta property="og:url" content="http://localhost:1313/about/">
  <meta property="og:site_name" content="lowestcase">
  <meta property="og:title" content="about">
  <meta property="og:description" content="i&amp;rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
  <meta property="og:locale" content="en-US">
  <meta property="og:type" content="article">
  <meta property="article:section" content="">
    <meta property="article:published_time" content="2024-06-01T12:12:47-03:00">
    <meta property="article:modified_time" content="2024-06-01T12:12:47-03:00">


<meta name="twitter:card" content="summary"><meta name="twitter:title" content="about">
<meta name="twitter:description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">


  <meta itemprop="name" content="about">
  <meta itemprop="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
  <meta itemprop="datePublished" content="2024-06-01T12:12:47-03:00">
  <meta itemprop="dateModified" content="2024-06-01T12:12:47-03:00">
  <meta itemprop="wordCount" content="96">
<meta name="referrer" content="no-referrer-when-downgrade" />

  <style>
  body {
    font-family: Verdana, sans-serif;
    margin: auto;
    padding: 20px;
    max-width: 720px;
    text-align: left;
    background-color: #fff;
    word-wrap: break-word;
    overflow-wrap: break-word;
    line-height: 1.5;
    color: #444;
  }

  h1,
  h2,
  h3,
  h4,
  h5,
  h6,
  strong,
  b {
    color: #222;
  }

  a {
    color: #3273dc;
     
  }

  .title {
    text-decoration: none;
    border: 0;
  }

  .title span {
    font-weight: 400;
  }

  nav a {
    margin-right: 10px;
  }

  textarea {
    width: 100%;
    font-size: 16px;
  }

  input {
    font-size: 16px;
  }

  content {
    line-height: 1.6;
  }

  table {
    width: 100%;
  }

  img {
    max-width: 100%;
  }

  code {
    padding: 2px 5px;
    background-color: #f2f2f2;
  }

  pre code {
    color: #222;
    display: block;
    padding: 20px;
    white-space: pre-wrap;
    font-size: 14px;
    overflow-x: auto;
  }

  div.highlight pre {
    background-color: initial;
    color: initial;
  }

  div.highlight code {
    background-color: unset;
    color: unset;
  }

  blockquote {
    border-left: 1px solid #999;
    color: #222;
    padding-left: 20px;
    font-style: italic;
  }

  footer {
    padding: 25px;
    text-align: center;
  }

  .helptext {
    color: #777;
    font-size: small;
  }

  .errorlist {
    color: #eba613;
    font-size: small;
  }

   
  ul.blog-posts {
    list-style-type: none;
    padding: unset;
  }

  ul.blog-posts li {
    display: flex;
  }

  ul.blog-posts li span {
    flex: 0 0 130px;
  }

  ul.blog-posts li a:visited {
    color: #8b6fcb;
  }

  @media (prefers-color-scheme: dark) {
    body {
      background-color: #333;
      color: #ddd;
    }

    h1,
    h2,
    h3,
    h4,
    h5,
    h6,
    strong,
    b {
      color: #eee;
    }

    a {
      color: #8cc2dd;
    }

    code {
      background-color: #777;
    }

    pre code {
      color: #ddd;
    }

    blockquote {
      color: #ccc;
    }

    textarea,
    input {
      background-color: #252525;
      color: #ddd;
    }

    .helptext {
      color: #aaa;
    }
  }

</style>
<style>
  a {
      color:#fa8c16;
      text-decoration: none;
  }
  a:hover {
      color:#d46b08;
      text-decoration: dotted underline;
  }
  ul.blog-posts li a:visited {
      color:#ffc069;
  }
  code {
      color: black;
      background-color: #ffc069; 
  }
</style>
</head>

<body>
  <header><a href="/" class="title">
  <h2>lowestcase</h2>
</a>
<nav><a href="/">home</a>

<a href="/about/">about</a>


<a href="/blog">blog</a>

</nav>
</header>
  <main>

<content>
  <p>i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.</p>
<p>currently, i work as a software engineer @ <a href="https://mixrank.com">Mixrank</a>, and you can find my curriculum <a href="/cv.pdf">here</a>.</p>
<p>if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:</p>
<ul>
<li><a href="mailto:[email protected]">email</a></li>
<li><a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/">linkedin</a></li>
<li><a href="https://github.com/o-santi">github</a></li>
</ul>
<p>this blog was built using emacs&rsquo; excelent org-mode and <a href="https://github.com/gohugoio/hugo">hugo</a> (with the <a href="https://github.com/janraasch/hugo-bearblog">bearblog theme</a>).</p>

</content>
<p>
  
</p>

  </main>
  <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a>
</footer>

    
</body>

</html>
<!DOCTYPE html>
<html lang="en-US">

<head><script src="/livereload.js?mindelay=10&amp;v=2&amp;port=1313&amp;path=livereload" data-no-instant defer></script>
  <meta http-equiv="X-Clacks-Overhead" content="GNU Terry Pratchett" />
  <meta charset="utf-8">
  <meta name="viewport" content="width=device-width, initial-scale=1.0" />
<title>about | lowestcase</title>
<meta name="title" content="about" />
<meta name="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:" />
<meta name="keywords" content="" />


<meta property="og:url" content="http://localhost:1313/about/">
  <meta property="og:site_name" content="lowestcase">
  <meta property="og:title" content="about">
  <meta property="og:description" content="i&amp;rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&amp;rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
  <meta property="og:locale" content="en-US">
  <meta property="og:type" content="article">
  <meta property="article:section" content="">
    <meta property="article:published_time" content="2024-06-01T12:12:47-03:00">
    <meta property="article:modified_time" content="2024-06-01T12:12:47-03:00">


<meta name="twitter:card" content="summary"><meta name="twitter:title" content="about">
<meta name="twitter:description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">


  <meta itemprop="name" content="about">
  <meta itemprop="description" content="i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.
currently, i work as a software engineer @ Mixrank, and you can find my curriculum here.
if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:">
  <meta itemprop="datePublished" content="2024-06-01T12:12:47-03:00">
  <meta itemprop="dateModified" content="2024-06-01T12:12:47-03:00">
  <meta itemprop="wordCount" content="96">
<meta name="referrer" content="no-referrer-when-downgrade" />

  <style>
  body {
    font-family: Verdana, sans-serif;
    margin: auto;
    padding: 20px;
    max-width: 720px;
    text-align: left;
    background-color: #fff;
    word-wrap: break-word;
    overflow-wrap: break-word;
    line-height: 1.5;
    color: #444;
  }

  h1,
  h2,
  h3,
  h4,
  h5,
  h6,
  strong,
  b {
    color: #222;
  }

  a {
    color: #3273dc;
     
  }

  .title {
    text-decoration: none;
    border: 0;
  }

  .title span {
    font-weight: 400;
  }

  nav a {
    margin-right: 10px;
  }

  textarea {
    width: 100%;
    font-size: 16px;
  }

  input {
    font-size: 16px;
  }

  content {
    line-height: 1.6;
  }

  table {
    width: 100%;
  }

  img {
    max-width: 100%;
  }

  code {
    padding: 2px 5px;
    background-color: #f2f2f2;
  }

  pre code {
    color: #222;
    display: block;
    padding: 20px;
    white-space: pre-wrap;
    font-size: 14px;
    overflow-x: auto;
  }

  div.highlight pre {
    background-color: initial;
    color: initial;
  }

  div.highlight code {
    background-color: unset;
    color: unset;
  }

  blockquote {
    border-left: 1px solid #999;
    color: #222;
    padding-left: 20px;
    font-style: italic;
  }

  footer {
    padding: 25px;
    text-align: center;
  }

  .helptext {
    color: #777;
    font-size: small;
  }

  .errorlist {
    color: #eba613;
    font-size: small;
  }

   
  ul.blog-posts {
    list-style-type: none;
    padding: unset;
  }

  ul.blog-posts li {
    display: flex;
  }

  ul.blog-posts li span {
    flex: 0 0 130px;
  }

  ul.blog-posts li a:visited {
    color: #8b6fcb;
  }

  @media (prefers-color-scheme: dark) {
    body {
      background-color: #333;
      color: #ddd;
    }

    h1,
    h2,
    h3,
    h4,
    h5,
    h6,
    strong,
    b {
      color: #eee;
    }

    a {
      color: #8cc2dd;
    }

    code {
      background-color: #777;
    }

    pre code {
      color: #ddd;
    }

    blockquote {
      color: #ccc;
    }

    textarea,
    input {
      background-color: #252525;
      color: #ddd;
    }

    .helptext {
      color: #aaa;
    }
  }

</style>
<style>
  a {
      color:#fa8c16;
      text-decoration: none;
  }
  a:hover {
      color:#d46b08;
      text-decoration: dotted underline;
  }
  ul.blog-posts li a:visited {
      color:#ffc069;
  }
  code {
      color: black;
      background-color: #ffc069; 
  }
</style>
</head>

<body>
  <header><a href="/" class="title">
  <h2>lowestcase</h2>
</a>
<nav><a href="/">home</a>

<a href="/about/">about</a>


<a href="/blog">blog</a>

</nav>
</header>
  <main>

<content>
  <p>i&rsquo;m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i&rsquo;m most confortable in nix and rust, but i know a fair share of other languages.</p>
<p>currently, i work as a software engineer @ <a href="https://mixrank.com">Mixrank</a>, and you can find my curriculum <a href="/cv.pdf">here</a>.</p>
<p>if you feel like smugly responding to any of my posts (or just want to kindly send me a message), these are my socials:</p>
<ul>
<li><a href="mailto:[email protected]">email</a></li>
<li><a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/">linkedin</a></li>
<li><a href="https://github.com/o-santi">github</a></li>
</ul>
<p>this blog was built using emacs&rsquo; excelent org-mode and <a href="https://github.com/gohugoio/hugo">hugo</a> (with the <a href="https://github.com/janraasch/hugo-bearblog">bearblog theme</a>).</p>

</content>
<p>
  
</p>

  </main>
  <footer>leonardo santiago | <a href="https://github.com/o-santi" title="github"><svg width="16px" height="16px" viewBox="0 0 24 24" fill="none" stroke="currentcolor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M9 19c-5 1.5-5-2.5-7-3m14 6v-3.87a3.37 3.37.0 00-.94-2.61c3.14-.35 6.44-1.54 6.44-7A5.44 5.44.0 0020 4.77 5.07 5.07.0 0019.91 1S18.73.65 16 2.48a13.38 13.38.0 00-7 0C6.27.65 5.09 1 5.09 1A5.07 5.07.0 005 4.77 5.44 5.44.0 003.5 8.55c0 5.42 3.3 6.61 6.44 7A3.37 3.37.0 009 18.13V22"></path></svg></a> <a href="mailto:[email protected]" title="email"> <svg width="16px" height="16px" viewBox="0 0 1920 1920" fill="#fa8c16"><path d="M0 1694.235h1920V226H0v1468.235ZM112.941 376.664V338.94H1807.06v37.723L960 1111.233l-847.059-734.57ZM1807.06 526.198v950.513l-351.134-438.89-88.32 70.475 378.353 472.998H174.042l378.353-472.998-88.32-70.475-351.134 438.89V526.198L960 1260.768l847.059-734.57Z" fill-rule="evenodd"></path></svg></a>
</footer>

    
</body>

</html>