diff options
Diffstat (limited to 'public/about')
| -rw-r--r-- | public/about/index.html | 1062 |
1 files changed, 256 insertions, 806 deletions
diff --git a/public/about/index.html b/public/about/index.html index 0483f54..494ed57 100644 --- a/public/about/index.html +++ b/public/about/index.html @@ -1,827 +1,277 @@ <!DOCTYPE html> -<html lang="en" dir="ltr" class="scroll-smooth" data-default-appearance="dark" - data-auto-appearance="true"><head><script src="/livereload.js?mindelay=10&v=2&port=1313&path=livereload" data-no-instant defer></script> - <meta charset="utf-8" /> - - <meta http-equiv="content-language" content="en" /> - +<html lang="en-US"> + +<head><script src="/livereload.js?mindelay=10&v=2&port=1313&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" /> - <meta http-equiv="X-UA-Compatible" content="ie=edge" /> - - <title>about · lowest case</title> - <meta name="title" content="about · lowest case" /> - - - - - - <link rel="canonical" href="http://localhost:1313/about/" /> - - - - - - - - - - - <link type="text/css" rel="stylesheet" href="/css/main.bundle.min.81c7ce66608dd0b86aa3e571076f8794993d50f0d4a5b153013edfc28642a93c4104edfdc604558908c3624b8e99386757d81f1bf8c4452c6220cf4c63970408.css" - integrity="sha512-gcfOZmCN0Lhqo+VxB2+HlJk9UPDUpbFTAT7fwoZCqTxBBO39xgRViQjDYkuOmThnV9gfG/jERSxiIM9MY5cECA==" /> - - - <script type="text/javascript" src="/js/appearance.min.516a16745bea5a9bd011138d254cc0fd3973cd55ce6e15f3dec763e7c7c2c7448f8fe7b54cca811cb821b0c7e12cd161caace1dd794ac3d34d40937cbcc9ee12.js" - integrity="sha512-UWoWdFvqWpvQERONJUzA/TlzzVXObhXz3sdj58fCx0SPj+e1TMqBHLghsMfhLNFhyqzh3XlKw9NNQJN8vMnuEg=="></script> - - - - - - - - - - <script defer type="text/javascript" id="script-bundle" src="/js/main.bundle.min.b36dda9ec4ec11e967fd341e7d57b8c484ac7a39f8f329f7bcf7ce4812569de8607db866a086d4789956ac0b74967e251c9a566d94d469dd28b8787fed4f46f5.js" - integrity="sha512-s23ansTsEeln/TQefVe4xISsejn48yn3vPfOSBJWnehgfbhmoIbUeJlWrAt0ln4lHJpWbZTUad0ouHh/7U9G9Q==" data-copy="" data-copied=""></script> - - - <script src="/js/zoom.min.js"></script> - - - - <link rel="apple-touch-icon" sizes="180x180" href="/apple-touch-icon.png" /> - <link rel="icon" type="image/png" sizes="32x32" href="/favicon-32x32.png" /> - <link rel="icon" type="image/png" sizes="16x16" href="/favicon-16x16.png" /> - <link rel="manifest" href="/site.webmanifest" /> - - - - - - - - <meta property="og:url" content="http://localhost:1313/about/"> - <meta property="og:site_name" content="lowest case"> +<title>about | lowestcase</title> +<meta name="title" content="about" /> +<meta name="description" content="i’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i’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&rsquo;m leonardo santiago, a software engineer based in brazil."> - <meta property="og:locale" content="en"> + <meta property="og: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 property="og:locale" content="en-US"> <meta property="og:type" content="article"> <meta property="article:section" content=""> - <meta property="article:published_time" content="2024-05-01T11:53:23-03:00"> - <meta property="article:modified_time" content="2024-05-01T11:53:23-03:00"> - - <meta name="twitter:card" content="summary"><meta name="twitter:title" content="about"> -<meta name="twitter:description" content="i’m leonardo santiago, a software engineer based in brazil."> - - - <script type="application/ld+json"> - [{ - "@context": "https://schema.org", - "@type": "Article", - "articleSection": "lowest case", - "name": "about", - "headline": "about", - - "abstract": "i\u0026rsquo;m leonardo santiago, a software engineer based in brazil.", - "inLanguage": "en", - "url" : "http:\/\/localhost:1313\/about\/", - "author" : { - "@type": "Person", - "name": "leonardo santiago" - }, - "copyrightYear": "2024", - "dateCreated": "2024-05-01T11:53:23-03:00", - "datePublished": "2024-05-01T11:53:23-03:00", - - "dateModified": "2024-05-01T11:53:23-03:00", - - - - "mainEntityOfPage": "true", - "wordCount": "77" - }] - </script> - - - - - <meta name="author" content="leonardo santiago" /> - - - - <link href="mailto:[email protected]" rel="me" /> - - - <link href="https://github.com/o-santi" rel="me" /> - - - <link href="https://gitlab.com/o-santi" rel="me" /> - - - <link href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/" rel="me" /> - - - <link href="https://t.me/osanti4" rel="me" /> - - - <link href="https://twitter.com/o-santi" rel="me" /> - - - - - -<script src="/lib/jquery/jquery.slim.min.js" integrity=""></script> - - - - - - - - - - - - - - - - - - - - - - - - - - - - <meta name="theme-color"/> - - + <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’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i’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’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i’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 - class="flex flex-col h-screen px-6 m-auto text-lg leading-7 max-w-7xl bg-neutral text-neutral-900 dark:bg-neutral-800 dark:text-neutral sm:px-14 md:px-24 lg:px-32"> - <div id="the-top" class="absolute flex self-center"> - <a class="px-3 py-1 text-sm -translate-y-8 rounded-b-lg bg-primary-200 focus:translate-y-0 dark:bg-neutral-600" - href="#main-content"><span - class="font-bold text-primary-600 ltr:pr-2 rtl:pl-2 dark:text-primary-400">↓</span>skip to main content</a> - </div> - - - <div style="padding-left:0;padding-right:0;padding-top:2px;padding-bottom:3px" - class="main-menu flex items-center justify-between px-4 py-6 sm:px-6 md:justify-start space-x-3"> - - <div class="flex flex-1 items-center justify-between"> - <nav class="flex space-x-3"> - - - <a href="/" class="text-base font-medium text-gray-500 hover:text-gray-900">lowest case</a> - - - </nav> - <nav class="hidden md:flex items-center space-x-5 md:ml-12 h-12"> - - - - - <a href="/about/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-base font-medium" title=""> - about - </p> -</a> - - - - <a href="/posts/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-base font-medium" title=""> - blog - </p> -</a> - - - - - <a href="/tags/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-base font-medium" title=""> - tags - </p> +<body> + <header><a href="/" class="title"> + <h2>lowestcase</h2> </a> +<nav><a href="/">home</a> +<a href="/about/">about</a> - - - - - - - - <button id="search-button" aria-label="Search" class="text-base hover:text-primary-600 dark:hover:text-primary-400" - title=""> - - - <span class="relative block icon"> - <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg> - - </span> - - - </button> - - - - - - <div - class="ltr:mr-14 rtl:ml-14 flex items-center"> - <button id="appearance-switcher" aria-label="Dark mode switcher" type="button" class="text-base hover:text-primary-600 dark:hover:text-primary-400"> - <div class="flex items-center justify-center dark:hidden"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M32 256c0-123.8 100.3-224 223.8-224c11.36 0 29.7 1.668 40.9 3.746c9.616 1.777 11.75 14.63 3.279 19.44C245 86.5 211.2 144.6 211.2 207.8c0 109.7 99.71 193 208.3 172.3c9.561-1.805 16.28 9.324 10.11 16.95C387.9 448.6 324.8 480 255.8 480C132.1 480 32 379.6 32 256z"/></svg> - - </span> - - - </div> - <div class="items-center justify-center hidden dark:flex"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 159.1c-53.02 0-95.1 42.98-95.1 95.1S202.1 351.1 256 351.1s95.1-42.98 95.1-95.1S309 159.1 256 159.1zM509.3 347L446.1 255.1l63.15-91.01c6.332-9.125 1.104-21.74-9.826-23.72l-109-19.7l-19.7-109c-1.975-10.93-14.59-16.16-23.72-9.824L256 65.89L164.1 2.736c-9.125-6.332-21.74-1.107-23.72 9.824L121.6 121.6L12.56 141.3C1.633 143.2-3.596 155.9 2.736 164.1L65.89 256l-63.15 91.01c-6.332 9.125-1.105 21.74 9.824 23.72l109 19.7l19.7 109c1.975 10.93 14.59 16.16 23.72 9.824L256 446.1l91.01 63.15c9.127 6.334 21.75 1.107 23.72-9.822l19.7-109l109-19.7C510.4 368.8 515.6 356.1 509.3 347zM256 383.1c-70.69 0-127.1-57.31-127.1-127.1c0-70.69 57.31-127.1 127.1-127.1s127.1 57.3 127.1 127.1C383.1 326.7 326.7 383.1 256 383.1z"/></svg> - - </span> - - - </div> - </button> - </div> - - - </nav> - <div class="flex md:hidden items-center space-x-5 md:ml-12 h-12"> - - <span></span> - - - - - - <button id="search-button-mobile" aria-label="Search" class="text-base hover:text-primary-600 dark:hover:text-primary-400" - title=""> - - - <span class="relative block icon"> - <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg> - - </span> - - - </button> - - - - - <button id="appearance-switcher-mobile" aria-label="Dark mode switcher" type="button" class="text-base hover:text-primary-600 dark:hover:text-primary-400" style="margin-right:5px"> - <div class="flex items-center justify-center dark:hidden"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M32 256c0-123.8 100.3-224 223.8-224c11.36 0 29.7 1.668 40.9 3.746c9.616 1.777 11.75 14.63 3.279 19.44C245 86.5 211.2 144.6 211.2 207.8c0 109.7 99.71 193 208.3 172.3c9.561-1.805 16.28 9.324 10.11 16.95C387.9 448.6 324.8 480 255.8 480C132.1 480 32 379.6 32 256z"/></svg> - - </span> - - - </div> - <div class="items-center justify-center hidden dark:flex"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M256 159.1c-53.02 0-95.1 42.98-95.1 95.1S202.1 351.1 256 351.1s95.1-42.98 95.1-95.1S309 159.1 256 159.1zM509.3 347L446.1 255.1l63.15-91.01c6.332-9.125 1.104-21.74-9.826-23.72l-109-19.7l-19.7-109c-1.975-10.93-14.59-16.16-23.72-9.824L256 65.89L164.1 2.736c-9.125-6.332-21.74-1.107-23.72 9.824L121.6 121.6L12.56 141.3C1.633 143.2-3.596 155.9 2.736 164.1L65.89 256l-63.15 91.01c-6.332 9.125-1.105 21.74 9.824 23.72l109 19.7l19.7 109c1.975 10.93 14.59 16.16 23.72 9.824L256 446.1l91.01 63.15c9.127 6.334 21.75 1.107 23.72-9.822l19.7-109l109-19.7C510.4 368.8 515.6 356.1 509.3 347zM256 383.1c-70.69 0-127.1-57.31-127.1-127.1c0-70.69 57.31-127.1 127.1-127.1s127.1 57.3 127.1 127.1C383.1 326.7 326.7 383.1 256 383.1z"/></svg> - - </span> - - - </div> - </button> - - - </div> - </div> - <div class="-my-2 -mr-2 md:hidden"> - - <label id="menu-button" for="menu-controller" class="block"> - <input type="checkbox" id="menu-controller" class="hidden" /> - - <div class="cursor-pointer hover:text-primary-600 dark:hover:text-primary-400"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M0 96C0 78.33 14.33 64 32 64H416C433.7 64 448 78.33 448 96C448 113.7 433.7 128 416 128H32C14.33 128 0 113.7 0 96zM0 256C0 238.3 14.33 224 32 224H416C433.7 224 448 238.3 448 256C448 273.7 433.7 288 416 288H32C14.33 288 0 273.7 0 256zM416 448H32C14.33 448 0 433.7 0 416C0 398.3 14.33 384 32 384H416C433.7 384 448 398.3 448 416C448 433.7 433.7 448 416 448z"/></svg> - - </span> - - - </div> - <div id="menu-wrapper" style="padding-top:5px;" - class="fixed inset-0 z-30 invisible w-screen h-screen m-0 overflow-auto transition-opacity opacity-0 cursor-default bg-neutral-100/50 backdrop-blur-sm dark:bg-neutral-900/50"> - <ul - class="flex space-y-2 mt-3 flex-col items-end w-full px-6 py-6 mx-auto overflow-visible list-none ltr:text-right rtl:text-left max-w-7xl"> - - <li> - <span - class="cursor-pointer inline-block align-text-bottom hover:text-primary-600 dark:hover:text-primary-400"> - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 320 512"><path fill="currentColor" d="M310.6 361.4c12.5 12.5 12.5 32.75 0 45.25C304.4 412.9 296.2 416 288 416s-16.38-3.125-22.62-9.375L160 301.3L54.63 406.6C48.38 412.9 40.19 416 32 416S15.63 412.9 9.375 406.6c-12.5-12.5-12.5-32.75 0-45.25l105.4-105.4L9.375 150.6c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0L160 210.8l105.4-105.4c12.5-12.5 32.75-12.5 45.25 0s12.5 32.75 0 45.25l-105.4 105.4L310.6 361.4z"/></svg> - - </span> -</span> - </li> +<a href="/blog">blog</a> - +</nav> +</header> + <main> - - <li class="mt-1"> - <a href="/about/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-bg font-bg" title=""> - about - </p> - </a> -</li> +<content> + <p>i’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs), functional programming, and proof languages. i’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’ 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> - - - - - - <li class="mt-1"> - <a href="/posts/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-bg font-bg" title=""> - blog - </p> - </a> -</li> - - - - - - - <li class="mt-1"> - <a href="/tags/" class="flex items-center text-gray-500 hover:text-primary-600 dark:hover:text-primary-400"> - - <p class="text-bg font-bg" title=""> - tags - </p> - </a> -</li> - - - - - - </ul> - - - - </div> - </label> - </div> -</div> - - - - -<script> - (function () { - var $mainmenu = $('.main-menu'); - var path = window.location.pathname; - $mainmenu.find('a[href="' + path + '"]').each(function (i, e) { - $(e).children('p').addClass('active'); - }); - })(); -</script> - - - - <div class="relative flex flex-col grow"> - <main id="main-content" class="grow"> - - - -<article> - - - <header id="single_header" class="mt-5 max-w-prose"> - - <ol class="text-sm text-neutral-500 dark:text-neutral-400 print:hidden"> - - - - - <li class="inline hidden"> - <a - class="hover:underline decoration-neutral-300 dark:underline-neutral-600" - href="/" - >lowest case</a - ><span class="px-1 text-primary-500">/</span> - </li> - - - <li class="inline hidden"> - <a - class="hover:underline decoration-neutral-300 dark:underline-neutral-600" - href="/about/" - >about</a - ><span class="px-1 text-primary-500">/</span> - </li> - -</ol> - - - - <h1 class="mt-0 text-4xl font-extrabold text-neutral-900 dark:text-neutral"> - about - </h1> - <div class="mt-1 mb-6 text-base text-neutral-500 dark:text-neutral-400 print:hidden"> - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -<div class="flex flex-row flex-wrap items-center"> - - - <time datetime="2024-05-01 11:53:23 -0300 -03">1 May 2024</time><span class="px-2 text-primary-500">·</span><span title="reading time">1 min</span> - - - - -</div> - - - - - -<div class="flex flex-row flex-wrap items-center"> +</content> +<p> - - - - - - - - - - - - -</div> - - +</p> - </div> - - - - - - + </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> - - - - - - - - - - - - </header> - - <section class="flex flex-col max-w-full mt-0 prose dark:prose-invert lg:flex-row"> - - - - <div class="min-w-0 min-h-0 max-w-fit"> - - - - - <div class="article-content max-w-prose mb-20"> - <p>i’m leonardo santiago, a software engineer based in brazil. my interests are in compiler design, programming tools (emacs) and functional programming, usually dabbliing in related topics too. i’m most confortable in nix and rust, but i know a fair share of other languages.</p> -<p>currently, software engineer @ <a href="https://mixrank.com" target="_blank"> - Mixrank</a>.</p> -<p>this blog was built using <a href="https://github.com/gohugoio/hugo" target="_blank"> - hugo</a>, and it’s source code is openly available here: -<a id="github-2bc053111729a74bce2ff033e7cdfe90" target="_blank" href="https://github.com/o-santi/nixos" class="cursor-pointer"> - <div - class="w-full md:w-auto pt-3 p-5 border border-neutral-200 dark:border-neutral-700 border rounded-md shadow-2xl"> - - <div class="flex items-center"> - <span class="text-2xl text-neutral-800 dark:text-neutral" style="margin-right:10px;"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"/></svg> - - </span> - - - </span> - <div - id="github-2bc053111729a74bce2ff033e7cdfe90-full_name" - class="m-0 font-bold text-xl text-neutral-800 decoration-primary-500 hover:underline hover:underline-offset-2 dark:text-neutral"> - o-santi/nixos - </div> - </div> - - <p id="github-2bc053111729a74bce2ff033e7cdfe90-description" class="m-0 mt-2 text-md text-neutral-800 dark:text-neutral"> - My personal devices’ configuration in nix. - </p> - - <div class="m-0 mt-2 flex items-center"> - - <span class="mr-1 inline-block h-3 w-3 rounded-full" - style="background-color: #7e7eff"></span> - <div class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral"> - Nix - </div> - - <span class="text-md mr-1 text-neutral-800 dark:text-neutral"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 576 512"><path fill="currentColor" d="M287.9 0C297.1 0 305.5 5.25 309.5 13.52L378.1 154.8L531.4 177.5C540.4 178.8 547.8 185.1 550.7 193.7C553.5 202.4 551.2 211.9 544.8 218.2L433.6 328.4L459.9 483.9C461.4 492.9 457.7 502.1 450.2 507.4C442.8 512.7 432.1 513.4 424.9 509.1L287.9 435.9L150.1 509.1C142.9 513.4 133.1 512.7 125.6 507.4C118.2 502.1 114.5 492.9 115.1 483.9L142.2 328.4L31.11 218.2C24.65 211.9 22.36 202.4 25.2 193.7C28.03 185.1 35.5 178.8 44.49 177.5L197.7 154.8L266.3 13.52C270.4 5.249 278.7 0 287.9 0L287.9 0zM287.9 78.95L235.4 187.2C231.9 194.3 225.1 199.3 217.3 200.5L98.98 217.9L184.9 303C190.4 308.5 192.9 316.4 191.6 324.1L171.4 443.7L276.6 387.5C283.7 383.7 292.2 383.7 299.2 387.5L404.4 443.7L384.2 324.1C382.9 316.4 385.5 308.5 391 303L476.9 217.9L358.6 200.5C350.7 199.3 343.9 194.3 340.5 187.2L287.9 78.95z"/></svg> - </span> - - - </span> - <div id="github-2bc053111729a74bce2ff033e7cdfe90-stargazers" class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral"> - 0 - </div> - - <span class="text-md mr-1 text-neutral-800 dark:text-neutral"> - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M80 104c13.3 0 24-10.7 24-24s-10.7-24-24-24S56 66.7 56 80s10.7 24 24 24zm80-24c0 32.8-19.7 61-48 73.3V192c0 17.7 14.3 32 32 32H304c17.7 0 32-14.3 32-32V153.3C307.7 141 288 112.8 288 80c0-44.2 35.8-80 80-80s80 35.8 80 80c0 32.8-19.7 61-48 73.3V192c0 53-43 96-96 96H256v70.7c28.3 12.3 48 40.5 48 73.3c0 44.2-35.8 80-80 80s-80-35.8-80-80c0-32.8 19.7-61 48-73.3V288H144c-53 0-96-43-96-96V153.3C19.7 141 0 112.8 0 80C0 35.8 35.8 0 80 0s80 35.8 80 80zm208 24c13.3 0 24-10.7 24-24s-10.7-24-24-24s-24 10.7-24 24s10.7 24 24 24zM248 432c0-13.3-10.7-24-24-24s-24 10.7-24 24s10.7 24 24 24s24-10.7 24-24z"/></svg> - </span> - - - </span> - <div id="github-2bc053111729a74bce2ff033e7cdfe90-forks" class="m-0 mr-5 text-md text-neutral-800 dark:text-neutral"> - 0 - </div> - - </div> - - </div> - <script> - fetch("https://api.github.com/repos/o-santi/nixos", { - headers: new Headers({ - 'User-agent': 'Mozilla/4.0 Custom User Agent' - }) - }) - .then(response => response.json()) - .then(data => { - document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-full_name').innerHTML = data.full_name; - document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-description').innerHTML = data.description; - document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-stargazers').innerHTML = data.stargazers_count; - document.getElementById('github-2bc053111729a74bce2ff033e7cdfe90-forks').innerHTML = data.forks; - }) - .catch(error => console.error(error)) - </script> -</a></p> -<p>you can find me at: <a href="mailto:[email protected]" > - - - <span class="relative inline-block align-text-bottom icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M207.8 20.73c-93.45 18.32-168.7 93.66-187 187.1c-27.64 140.9 68.65 266.2 199.1 285.1c19.01 2.888 36.17-12.26 36.17-31.49l.0001-.6631c0-15.74-11.44-28.88-26.84-31.24c-84.35-12.98-149.2-86.13-149.2-174.2c0-102.9 88.61-185.5 193.4-175.4c91.54 8.869 158.6 91.25 158.6 183.2l0 16.16c0 22.09-17.94 40.05-40 40.05s-40.01-17.96-40.01-40.05v-120.1c0-8.847-7.161-16.02-16.01-16.02l-31.98 .0036c-7.299 0-13.2 4.992-15.12 11.68c-24.85-12.15-54.24-16.38-86.06-5.106c-38.75 13.73-68.12 48.91-73.72 89.64c-9.483 69.01 43.81 128 110.9 128c26.44 0 50.43-9.544 69.59-24.88c24 31.3 65.23 48.69 109.4 37.49C465.2 369.3 496 324.1 495.1 277.2V256.3C495.1 107.1 361.2-9.332 207.8 20.73zM239.1 304.3c-26.47 0-48-21.56-48-48.05s21.53-48.05 48-48.05s48 21.56 48 48.05S266.5 304.3 239.1 304.3z"/></svg> - - </span> - -</a> <a href="https://www.linkedin.com/in/leonardo-ribeiro-santiago/" target="_blank"> - - - <span class="relative inline-block align-text-bottom icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512"><path fill="currentColor" d="M416 32H31.9C14.3 32 0 46.5 0 64.3v383.4C0 465.5 14.3 480 31.9 480H416c17.6 0 32-14.5 32-32.3V64.3c0-17.8-14.4-32.3-32-32.3zM135.4 416H69V202.2h66.5V416zm-33.2-243c-21.3 0-38.5-17.3-38.5-38.5S80.9 96 102.2 96c21.2 0 38.5 17.3 38.5 38.5 0 21.3-17.2 38.5-38.5 38.5zm282.1 243h-66.4V312c0-24.8-.5-56.7-34.5-56.7-34.6 0-39.9 27-39.9 54.9V416h-66.4V202.2h63.7v29.2h.9c8.9-16.8 30.6-34.5 62.9-34.5 67.2 0 79.7 44.3 79.7 101.9V416z"/></svg> - - </span> - -</a> <a href="https://github.com/o-santi" target="_blank"> - - - <span class="relative inline-block align-text-bottom icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M165.9 397.4c0 2-2.3 3.6-5.2 3.6-3.3.3-5.6-1.3-5.6-3.6 0-2 2.3-3.6 5.2-3.6 3-.3 5.6 1.3 5.6 3.6zm-31.1-4.5c-.7 2 1.3 4.3 4.3 4.9 2.6 1 5.6 0 6.2-2s-1.3-4.3-4.3-5.2c-2.6-.7-5.5.3-6.2 2.3zm44.2-1.7c-2.9.7-4.9 2.6-4.6 4.9.3 2 2.9 3.3 5.9 2.6 2.9-.7 4.9-2.6 4.6-4.6-.3-1.9-3-3.2-5.9-2.9zM244.8 8C106.1 8 0 113.3 0 252c0 110.9 69.8 205.8 169.5 239.2 12.8 2.3 17.3-5.6 17.3-12.1 0-6.2-.3-40.4-.3-61.4 0 0-70 15-84.7-29.8 0 0-11.4-29.1-27.8-36.6 0 0-22.9-15.7 1.6-15.4 0 0 24.9 2 38.6 25.8 21.9 38.6 58.6 27.5 72.9 20.9 2.3-16 8.8-27.1 16-33.7-55.9-6.2-112.3-14.3-112.3-110.5 0-27.5 7.6-41.3 23.6-58.9-2.6-6.5-11.1-33.3 2.6-67.9 20.9-6.5 69 27 69 27 20-5.6 41.5-8.5 62.8-8.5s42.8 2.9 62.8 8.5c0 0 48.1-33.6 69-27 13.7 34.7 5.2 61.4 2.6 67.9 16 17.7 25.8 31.5 25.8 58.9 0 96.5-58.9 104.2-114.8 110.5 9.2 7.9 17 22.9 17 46.4 0 33.7-.3 75.4-.3 83.6 0 6.5 4.6 14.4 17.3 12.1C428.2 457.8 496 362.9 496 252 496 113.3 383.5 8 244.8 8zM97.2 352.9c-1.3 1-1 3.3.7 5.2 1.6 1.6 3.9 2.3 5.2 1 1.3-1 1-3.3-.7-5.2-1.6-1.6-3.9-2.3-5.2-1zm-10.8-8.1c-.7 1.3.3 2.9 2.3 3.9 1.6 1 3.6.7 4.3-.7.7-1.3-.3-2.9-2.3-3.9-2-.6-3.6-.3-4.3.7zm32.4 35.6c-1.6 1.3-1 4.3 1.3 6.2 2.3 2.3 5.2 2.6 6.5 1 1.3-1.3.7-4.3-1.3-6.2-2.2-2.3-5.2-2.6-6.5-1zm-11.4-14.7c-1.6 1-1.6 3.6 0 5.9 1.6 2.3 4.3 3.3 5.6 2.3 1.6-1.3 1.6-3.9 0-6.2-1.4-2.3-4-3.3-5.6-2z"/></svg> - - </span> - -</a> <a href="https://t.me/osanti4" target="_blank"> - - - <span class="relative inline-block align-text-bottom icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 496 512"><path fill="currentColor" d="M248,8C111.033,8,0,119.033,0,256S111.033,504,248,504,496,392.967,496,256,384.967,8,248,8ZM362.952,176.66c-3.732,39.215-19.881,134.378-28.1,178.3-3.476,18.584-10.322,24.816-16.948,25.425-14.4,1.326-25.338-9.517-39.287-18.661-21.827-14.308-34.158-23.215-55.346-37.177-24.485-16.135-8.612-25,5.342-39.5,3.652-3.793,67.107-61.51,68.335-66.746.153-.655.3-3.1-1.154-4.384s-3.59-.849-5.135-.5q-3.283.746-104.608,69.142-14.845,10.194-26.894,9.934c-8.855-.191-25.888-5.006-38.551-9.123-15.531-5.048-27.875-7.717-26.8-16.291q.84-6.7,18.45-13.7,108.446-47.248,144.628-62.3c68.872-28.647,83.183-33.623,92.511-33.789,2.052-.034,6.639.474,9.61,2.885a10.452,10.452,0,0,1,3.53,6.716A43.765,43.765,0,0,1,362.952,176.66Z"/></svg> - - </span> - -</a> <a href="https://twitter.com/o_santi_" target="_blank"> - - - <span class="relative inline-block align-text-bottom icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M459.37 151.716c.325 4.548.325 9.097.325 13.645 0 138.72-105.583 298.558-298.558 298.558-59.452 0-114.68-17.219-161.137-47.106 8.447.974 16.568 1.299 25.34 1.299 49.055 0 94.213-16.568 130.274-44.832-46.132-.975-84.792-31.188-98.112-72.772 6.498.974 12.995 1.624 19.818 1.624 9.421 0 18.843-1.3 27.614-3.573-48.081-9.747-84.143-51.98-84.143-102.985v-1.299c13.969 7.797 30.214 12.67 47.431 13.319-28.264-18.843-46.781-51.005-46.781-87.391 0-19.492 5.197-37.36 14.294-52.954 51.655 63.675 129.3 105.258 216.365 109.807-1.624-7.797-2.599-15.918-2.599-24.04 0-57.828 46.782-104.934 104.934-104.934 30.213 0 57.502 12.67 76.67 33.137 23.715-4.548 46.456-13.32 66.599-25.34-7.798 24.366-24.366 44.833-46.132 57.827 21.117-2.273 41.584-8.122 60.426-16.243-14.292 20.791-32.161 39.308-52.628 54.253z"/></svg> - - </span> - -</a></p> - - </div> - - - - - - - - </div> - - - - - - - - - <script> - var oid = "views_about\/index.md" - var oid_likes = "likes_about\/index.md" - </script> - - - - <script type="text/javascript" src="/js/page.min.b06a29d42a4ed16787978e2eee1e8c797b7698db2bc14ccee78f5c80ac566fc996190a73ad80a5e987558474b20b96fa38f7d85b405f165ff72b7b163c5ad11b.js" integrity="sha512-sGop1CpO0WeHl44u7h6MeXt2mNsrwUzO549cgKxWb8mWGQpzrYCl6YdVhHSyC5b6OPfYW0BfFl/3K3sWPFrRGw=="></script> - - </section> - <footer class="pt-8 max-w-prose print:hidden"> - - - - - - - </footer> -</article> - - <div id="top-scroller" class="pointer-events-none absolute top-[110vh] bottom-0 w-12 ltr:right-0 rtl:left-0"> - <a href="#the-top" - class="pointer-events-auto sticky top-[calc(100vh-5.5rem)] flex h-12 w-12 mb-16 items-center justify-center rounded-full bg-neutral/50 text-xl text-neutral-700 hover:text-primary-600 dark:bg-neutral-800/50 dark:text-neutral dark:hover:text-primary-400" - aria-label="scroll to top" title="scroll to top"> - ↑ - </a> -</div> - </main><footer id="site-footer" class="py-10 print:hidden"> - - - - - <div class="flex items-center justify-between"> - - - - <p class="text-sm text-neutral-500 dark:text-neutral-400"> - © - 2024 - leonardo santiago - </p> - - - - - <p class="text-xs text-neutral-500 dark:text-neutral-400"> - - - powered by <a class="hover:underline hover:decoration-primary-400 hover:text-primary-500" - href="https://gohugo.io/" target="_blank" rel="noopener noreferrer">Hugo</a> & <a class="hover:underline hover:decoration-primary-400 hover:text-primary-500" - href="https://blowfish.page/" target="_blank" rel="noopener noreferrer">Blowfish</a> - </p> - - - </div> - <script> - - mediumZoom(document.querySelectorAll("img:not(.nozoom)"), { - margin: 24, - background: 'rgba(0,0,0,0.5)', - scrollOffset: 0, - }) - - </script> - - - <script type="text/javascript" src="/js/process.min.62060bb247f4de2b6dde45903668fefb68d792f365587605177b1227c0cf43588701edaca0cb40e2c8e2789bd5ce67c1d2a215b9fb258c3496a7cd25e7cb5fdf.js" integrity="sha512-YgYLskf03itt3kWQNmj++2jXkvNlWHYFF3sSJ8DPQ1iHAe2soMtA4sjieJvVzmfB0qIVufsljDSWp80l58tf3w=="></script> - - -</footer><div - id="search-wrapper" - class="invisible fixed inset-0 flex h-screen w-screen cursor-default flex-col bg-neutral-500/50 p-4 backdrop-blur-sm dark:bg-neutral-900/50 sm:p-6 md:p-[10vh] lg:p-[12vh]" - data-url="http://localhost:1313/" - style="z-index:500" -> - <div - id="search-modal" - class="flex flex-col w-full max-w-3xl min-h-0 mx-auto border rounded-md shadow-lg top-20 border-neutral-200 bg-neutral dark:border-neutral-700 dark:bg-neutral-800" - > - <header class="relative z-10 flex items-center justify-between flex-none px-2"> - <form class="flex items-center flex-auto min-w-0"> - <div class="flex items-center justify-center w-8 h-8 text-neutral-400"> - - - <span class="relative block icon"> - <svg aria-hidden="true" focusable="false" data-prefix="fas" data-icon="search" class="svg-inline--fa fa-search fa-w-16" role="img" xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512"><path fill="currentColor" d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg> - - </span> - - - </div> - <input - type="search" - id="search-query" - class="flex flex-auto h-12 mx-1 bg-transparent appearance-none focus:outline-dotted focus:outline-2 focus:outline-transparent" - placeholder="cearch" - tabindex="0" - /> - </form> - <button - id="close-search-button" - class="flex items-center justify-center w-8 h-8 text-neutral-700 hover:text-primary-600 dark:text-neutral dark:hover:text-primary-400" - title="close (Esc)" - > - - - <span class="relative block icon"> - <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 320 512"><path fill="currentColor" d="M310.6 361.4c12.5 12.5 12.5 32.75 0 45.25C304.4 412.9 296.2 416 288 416s-16.38-3.125-22.62-9.375L160 301.3L54.63 406.6C48.38 412.9 40.19 416 32 416S15.63 412.9 9.375 406.6c-12.5-12.5-12.5-32.75 0-45.25l105.4-105.4L9.375 150.6c-12.5-12.5-12.5-32.75 0-45.25s32.75-12.5 45.25 0L160 210.8l105.4-105.4c12.5-12.5 32.75-12.5 45.25 0s12.5 32.75 0 45.25l-105.4 105.4L310.6 361.4z"/></svg> - - </span> - - - </button> - </header> - <section class="flex-auto px-2 overflow-auto"> - <ul id="search-results"> - - </ul> - </section> - </div> -</div> - - </div> </body> </html> |