0xhenrique http://localhost:1313/ Recent content on 0xhenrique Hugo -- gohugo.io en-us Mon, 23 Sep 2024 04:35:07 +0100 Why I Chose Guix Over Nix http://localhost:1313/why-i-chose-guix-over-nix/ Mon, 23 Sep 2024 04:35:07 +0100 http://localhost:1313/why-i-chose-guix-over-nix/ <p>I&rsquo;ve been using NixOS for quite some time, but somehow I ended up with Guix. In this article I will try to write about the reasons why I don&rsquo;t use Nix anymore.</p> <h2 id="the-emacs--elisp--sicp--scheme-pipeline">The Emacs &gt; Elisp &gt; SICP &gt; Scheme pipeline</h2> <p>I honestly don&rsquo;t remember the first time I heard about Emacs, but I remember the first time I tried to use it I got gatekept by the Elisp magecraft. After that, I spent some days trying to learn some basic concepts of this ancient text editor. Thanks to <a href="https://learnxinyminutes.com/docs/elisp/">https://learnxinyminutes.com/docs/elisp/</a> I was able to write some simple functions to make my Emacs experience smoother. To be honest, I didn&rsquo;t really liked to write Lisp back then, it sucked a lot for me. Even reading simple functions was a hassle since I wasn&rsquo;t used to see through all the parenthesis. At that time, I already knew about the &lsquo;Structure and Interpretaion of Computer Programs&rsquo; book, but didn&rsquo;t read until then. It was only after seeing the MIT class linked below that I got hooked into computer magecraft:</p> <p><a href="https://www.youtube.com/watch?v=-J_xL4IGhJA" title="MIT Lecture on LISP"><img src="https://img.youtube.com/vi/-J_xL4IGhJA/0.jpg" alt="Lecture 1A: Overview and Introduction to Lisp"></a></p> <p>That was when I finally decided to read the SICP and, consequently, learn Scheme.</p> <h2 id="guix-uses-scheme">Guix uses Scheme</h2> <p>And that alone is huge win for Guix. Configuring Nix packages was a pain in the ass. Not because you need to set everything up from scratch (that&rsquo;s not even a problem), but because the language is confusing as hell and the documentation doesn&rsquo;t help. It&rsquo;s not a secret, everywhere you go on the internet you will find people complaining about how the Nix language is hard to grasp, but no because it is complex, just because it lacks proper documentation. For instance, here&rsquo;s a comparison between the figlet package ported to Nix and the one ported to Guix: <a href="https://i.imgur.com/9epJ4qs.png">!Nix vs Guix</a></p> Guix Wallpapers http://localhost:1313/guix-wallpapers/ Fri, 20 Sep 2024 20:37:15 +0100 http://localhost:1313/guix-wallpapers/ <p>I&rsquo;ve been using Guix for quite some time now. It&rsquo;s been a great experience so far! Here are some wallpapers I&rsquo;ve been collecting for my Guix desktop.</p> <p>I think it goes without saying that Suika is the perfect candidate to be the Guix mascot .</p> <p><img src="https://i.imgur.com/se5Qk6P.png" alt="1st pape"> <img src="https://i.imgur.com/bYxUNO7.png" alt="2st pape"> <img src="https://i.imgur.com/KT1Uo39.png" alt="3st pape"> <img src="https://i.imgur.com/LuEaj38.png" alt="4st pape"> <img src="https://i.imgur.com/IGCGrEI.png" alt="5st pape"> <img src="https://i.imgur.com/OyOJUyY.png" alt="6st pape"> <img src="https://i.imgur.com/eb0qu4z.png" alt="7st pape"> <img src="https://i.imgur.com/UyKmkHr.png" alt="8st pape"> <img src="https://i.imgur.com/yXVVoH8.png" alt="9st pape"></p> Nazare Beach http://localhost:1313/nazare-beach/ Sat, 17 Aug 2024 07:44:45 +0100 http://localhost:1313/nazare-beach/ <p>I visited Nazaré Beach last year (2023). Such a lovely place. Shame on me for not taking my camera with me that day. I&rsquo;m not a fan of smartphone cameras to be honest. Still, I couldn&rsquo;t let the opportunity pass. Here are some photos I took that day.</p> <p><img src="https://i.imgur.com/ATjnpyl.jpeg" alt="1st photo"></p> <p>According to Wikipedia, Nazaré is one of the most traditional Portuguese fishing villages, having the most popular bathing beach on the Portuguese west coast, where you can still find, on the sand, some women dressed in the traditional costume of seven skirts, taking care of the fish that dries in the sun, lined up on stakes.</p> <p><img src="https://i.imgur.com/GwZIh3p.jpeg" alt="2nd photo"></p> <p>I plan to go back there in the winter, but this time I will remember to take my camera with me. I have an 18-55 and a 200mm, but I believe I will get better photos with the 200mm, especially in the higher parts. Not to mention that I will be able to aim further without losing too much sharpness.</p> <p><img src="https://i.imgur.com/hxY0rcS.jpeg" alt="3rd photo"> <img src="https://i.imgur.com/8uRNHtF.jpeg" alt="4th photo"></p> Monogatari - Text Editor in Python http://localhost:1313/monogatari/ Sat, 17 Aug 2024 07:44:33 +0100 http://localhost:1313/monogatari/ <h1 id="monogatari---text-editorhttpsgithubcomhenrique-marques-vsoftmonogatari"><a href="https://github.com/henrique-marques-vsoft/monogatari">MONOGATARI - Text Editor</a></h1> <p><img src="https://raw.githubusercontent.com/henrique-marques-vsoft/monogatari/master/pics/shinobu.gif" alt="monogatari-movie scene shinobu kokorowatari"></p> <p>Monogatari is a text editor built with Python using the Tkinter GUI library.</p> <h2 id="installation-and-usage">Installation and usage</h2> <p>Assuming you already have Python installed in your machine:</p> <pre tabindex="0"><code>git clone git@github.com:all123all/monogatari.git cd monogatari python monogatari.py </code></pre><p>If you&rsquo;re using Linux you probably will need to install tk manually:</p> <pre tabindex="0"><code>//Arch based distros $ sudo pacman -S tk //For Ubuntu $ sudo apt-get install tk </code></pre><h2 id="goals">Goals</h2> <ul> <li><input disabled="" type="checkbox"> Basic text editor functionalities (create file, open file, exit etc.)</li> <li><input disabled="" type="checkbox"> Black background and a colorpicker option to choose another color</li> <li><input disabled="" type="checkbox"> Test routine for the basic functionalities</li> <li><input disabled="" type="checkbox"> Release a package</li> <li><input disabled="" type="checkbox"> The close function is being called even when the file isn&rsquo;t modified</li> </ul> <h2 id="contribute-to-monogatari---text-editor">Contribute to MONOGATARI - Text Editor</h2> <ul> <li>Click the fork button on top right</li> <li>Git clone your fork</li> <li>Connect with my repo:</li> </ul> <pre tabindex="0"><code>$ git remote add all123all git://github.com/all123all/monogatari $ git remote -v </code></pre><p>You are now ready to start to code! Just do as always:</p> <pre tabindex="0"><code>$ git add . $ git commit -m &#34;fix: something that was fixed&#34; $ git push </code></pre><p>Then you can create a pull request right here on Github. Just go to the Pull Requests tab and select <code>New pull request</code> button to do so.</p> <h2 id="screenshots">Screenshots</h2> <p><img src="https://raw.githubusercontent.com/henrique-marques-vsoft/monogatari/master/pics/print.png" alt="monogatari on i3wm screenshot"></p> Lum - Linux Ubiquitous Marker http://localhost:1313/lum/ Sat, 17 Aug 2024 07:44:26 +0100 http://localhost:1313/lum/ <p>Link: <a href="https://github.com/henrique-marques-vsoft/lum">https://github.com/henrique-marques-vsoft/lum</a></p> <p>Lum is a project I started as a way to escape the feeling of being tied to the web-browser when it comes to bookmarks. The objective is relatively simple, to have access to my bookmarks outside of the browser. This way I could call my bookmarks from anywhere on the computer, whether from Vim, Emacs, the browser itself, the window manager or wherever. I&rsquo;m still not sure if I&rsquo;m going to turn this project into a CLI tool or a library. I still need to try to integrate Lum with some other tool and evaluate which points I failed, which ones I need to improve and where I got things right. I also wanted to have contact with Rust in practice. I have some things to say about the Rust language, but I think that will be for another post on this blog.</p> <p>For now, I&rsquo;m using JSON to save the bookmarks, but to be honest I don&rsquo;t know if I&rsquo;ll keep this format until the end. I&rsquo;m still evaluating whether this would be the most practical and quickest way, considering that I already accumulated more than 12 thousand bookmarks at the height of my NEET time. I don&rsquo;t think parsing 12 thousand objects in JSON is efficient, but it&rsquo;s something I still need to test in practice.</p> Internet Lurk Compilation #1 http://localhost:1313/internet-lurk-compilation/ Sat, 17 Aug 2024 07:44:17 +0100 http://localhost:1313/internet-lurk-compilation/ <h2 id="general-findings">General Findings</h2> <ul> <li>Pure gold from the 90s: <a href="https://lunduke.substack.com/p/the-computers-used-to-do-3d-animation">https://lunduke.substack.com/p/the-computers-used-to-do-3d-animation</a></li> <li>Symbolics Internet Museum: <a href="https://symbolics.com/museum/">https://symbolics.com/museum/</a></li> <li>What is the relationship between Apple and Serial Experiments Lain? <a href="https://www.cjas.org/~leng/apple-lain.htm">https://www.cjas.org/~leng/apple-lain.htm</a></li> <li>The Cornell Anime Club: <a href="https://www.cjas.org/">https://www.cjas.org/</a></li> <li>Appearances of MIT in Anime: <a href="https://anime.mit.edu/resources/mit_in_anime">https://anime.mit.edu/resources/mit_in_anime</a></li> <li>How Emacs got into Tron: Legacy: <a href="https://boingboing.net/2011/04/06/how-emacs-got-into-t.html">https://boingboing.net/2011/04/06/how-emacs-got-into-t.html</a></li> <li>The Jargon File: <a href="http://www.catb.org/jargon/">http://www.catb.org/jargon/</a></li> </ul> <h2 id="neocities">Neocities</h2> <ul> <li>Lainzine (Lain Magazine): <a href="https://lainzine.org/">https://lainzine.org/</a></li> <li>About Software Privacy and other topics: <a href="https://digdeeper.neocities.org/">https://digdeeper.neocities.org/</a></li> <li>Reminds of Fauux: <a href="https://blackwings.neocities.org/">https://blackwings.neocities.org/</a></li> <li>Fauux: <a href="https://fauux.neocities.org/">https://fauux.neocities.org/</a></li> <li>Tatsumoto&rsquo;s guide to Nihongo: <a href="https://tatsumoto.neocities.org/">https://tatsumoto.neocities.org/</a></li> </ul> <h2 id="internet-archive-findings">Internet Archive Findings</h2> <ul> <li>Oh! PC (Jul 01 1990) [Content in Japanese]: <a href="https://archive.org/details/oh-pc-issue-127-jul-01-1990/Oh%21%20PC%20Issue%20127%20%28Jul%2001%201990%29/mode/2up">https://archive.org/details/oh-pc-issue-127-jul-01-1990/Oh%21%20PC%20Issue%20127%20%28Jul%2001%201990%29/mode/2up</a></li> <li>Comptiq Manazine [Content in Japanese]: <a href="https://archive.org/search?query=comptiq">https://archive.org/search?query=comptiq</a></li> <li>The Symbol of the Knights of Eastern Calculus: <a href="https://web.archive.org/web/20200121124624/http://www.cjas.org/~leng/knights.htm">https://web.archive.org/web/20200121124624/http://www.cjas.org/~leng/knights.htm</a></li> <li>MSX Magazine (1985-02) [Content in Japanese]: <a href="https://archive.org/details/msx-magazine-1985-02-ascii-jp/mode/2up">https://archive.org/details/msx-magazine-1985-02-ascii-jp/mode/2up</a></li> </ul> <h2 id="websites-i-visit-from-time-to-time">Websites I visit from time to time</h2> <ul> <li>A <del>modern</del> Javascript approach to SICP: <a href="https://sicp.sourceacademy.org/">https://sicp.sourceacademy.org/</a></li> <li>A blog by Sam Greydanus: <a href="https://greydanus.github.io/">https://greydanus.github.io/</a></li> <li>Xah Lee (he&rsquo;s also one of the minds behind ergoemacs and xah-fly-keys): <a href="https://xahlee.info/">https://xahlee.info/</a></li> <li>Sasha Chua blog: <a href="https://sachachua.com/blog/">https://sachachua.com/blog/</a></li> <li>Lunduke Journal: <a href="https://lunduke.substack.com/">https://lunduke.substack.com/</a></li> </ul> <p><strong>If you find a broken link or a website that shares things that are clearly illegal, please let me know by email so I can remove it: <a href="mailto:hm2030master@proton.me">hm2030master@proton.me</a></strong>.</p> <p><strong>Also, if you don&rsquo;t want me to list your website here, feel free to contact me via email so I can remove it.</strong></p> About http://localhost:1313/about/ Sat, 17 Aug 2024 07:42:34 +0100 http://localhost:1313/about/ <h1 id="whois">whois</h1> <p>Hello there! You can call me Henrique. The main purpose of this website is to share some interesting things I find on the world wide web and the projects of mine. Some of the stuff I work on <a href="https://github.com/henrique-marques-vsoft">Github</a>.</p> <h2 id="my-setup">My setup</h2> <p>Nothing fancy to be honest. Since I spend most of my time inside Emacs, I don&rsquo;t really <em>rice</em> my computer. I&rsquo;ve been through that phase though. Remaping keybindings, customising themes, colourschemes etc. Today things are simpler for me. Just my Emacs config and that&rsquo;s it.</p> <p>Here are some of my configs:</p> <ul> <li>Laptop: Thinkpad T480</li> <li>OS: GNU Guix</li> <li>Shell: bash</li> <li>Resolution: 1920x1080 (1 monitor is enough for me)</li> <li>WM: EXWM</li> <li>Terminal: eshell/vterm/kitty</li> <li>CPU: Intel i5-8350U (8) @ 3.600GHz</li> <li>GPU: 😕</li> <li>RAM: 24Gb</li> <li>Text editor: Emacs (29)</li> </ul> <h2 id="keyboards">Keyboards</h2> <h3 id="the-charybdis-by-bastard-keyboards">The Charybdis by Bastard Keyboards</h3> <!-- raw HTML omitted --> <p>Right now I&rsquo;m using the Charybdis. It simply feels &ldquo;correct&rdquo; to type with it.<br> The only <em>drawback</em> from this keyboard is the price, but I don&rsquo;t think you will find a dactyl for a cheap price.<br> As far as I know, there&rsquo;s no company mass producing that type of keyboard.<br> But at the end I think it&rsquo;s worth it, at least for me it is.</p> <h3 id="the-sofle-v1-by-mechboards-uk">The Sofle V1 by Mechboards UK</h3> <!-- raw HTML omitted --> <p>The other one I have (although don&rsquo;t use very much anymore) is the Sofle V1 that I bought from Mechboards UK. It was very nice to type on a <em>low profile</em> keyboard. It&rsquo;s not so expansive as the Charybdis.</p>