August 19, 2023 Updated: August 19, 2023 errors such as ld: error: providers/libdefault.a(libdefault-lib-pbkdf2_fips.o) is incompatible with elf_x86_64 Just run make clean before attempting to compile again Also, just follow the android inst… ...more
July 22, 2022 Updated: July 22, 2022 #games To reset the game, go to `.config/Oneshot`, and delete the files there. To change the ending, you can use a hexeditor to edit the ending file. ...more
January 08, 2021 Updated: January 08, 2021 #games To find soundcards on directx you will need: winetricks mfc42 For the graphs, you need native directx9 winetricks directx9 Other information about my current setup: I'm running it in my default wine… ...more
January 08, 2021 Updated: January 08, 2021 #blog From the wikipedia, https://en.wikipedia.org/wiki/Winding_number#Complex_analysis, we can see the definition of winding number in complex analysis. 2 dimensions And so we can adapt it to geometric al… ...more
November 15, 2020 Updated: November 15, 2020 #math One of the best materials for learning about inner product contractions is, The Inner Products of Geometric Algebra, by Leo Dorst. Here I'll write some intuition to help you remember those results. Fi… ...more
July 28, 2020 Updated: September 07, 2020 #portuguese In Portuguese, 2012 article in a celebrity magazine about me. Em 2012 eu apareci na Revista Contigo! Que era uma das principais revistas de fofoca e celebridades da época ...more
July 26, 2020 Updated: September 18, 2020 #recipe Brazilian cheese bread is a super forgiving recipe: as long as you use tapioca flour and you don't underbake it, you can change the ingredients to your hearts content. Lazy recipe about 900g of tapio… ...more
July 23, 2020 Updated: July 23, 2020 #blog Cheap headphones sound bad because their frequency response is all messed up. You can considerably improve this by using an equalizer. Assuming you are using pulseaudio. First, install pulseeffects a… ...more
July 23, 2020 Updated: September 07, 2020 A very disorganized list of projects I want to work on, together with notes about them (mostly links with related info) Cutting vegetables with blood Pictures of knives cutting vegetable while drenche… ...more
November 28, 2019 Updated: July 23, 2022 #blog I've ported an old game I made in inform7 to javascript. It is filled with teenager angst, because I made the game in order to deal with some problems I was having back them. Alone in the darkness by … ...more
November 27, 2019 Updated: June 29, 2020 #blog Pictures of me with animals! Usually in open spaces! Each of them with a story behind them! From recent to old. ...more
November 24, 2019 Updated: November 27, 2019 #blog Until 2010 there were no website in Brazil one could access to learn about what science olympiads existed nor how to study for them. The only way to learn about the existence of the competitions was t… ...more
November 06, 2019 Updated: July 23, 2020 #personal Talking to a friend in San Francisco who is very attuned with her sense of smell made me realize that I mostly just ignore my sense of smell, to the point that I feel like I'm almost losing it. So I'l… ...more
November 06, 2019 Updated: November 06, 2019 #blog Taking care of a baby deer. College app essay, partially erased and adapted to protect personal information. Baby deer When I was fourteen, I was designated the responsibility of caring for a rescued… ...more
September 06, 2019 Updated: July 26, 2020 #personal I have a bad memory, but I really care about lots of my friends and I want to make sure they know this. And one I try to do so is to try to keep track of what is happening in their lives so I can ask … ...more
September 02, 2019 Updated: July 26, 2020 #personal My name in my passport fairly long. (10 characters first name, 22 letters second name, with spaces in between). This causes me all kinds of trouble here in the US: For 3 years in a row I had to call … ...more
August 02, 2019 Updated: September 02, 2019 #personal I used to blog a lot in high school. One blog I was really proud of was Ivan vida de olimpico, which was a website I wrote while I was taking part in science olympiads. The reason I wrote the website … ...more
May 25, 2019 Updated: May 25, 2019 #blog Makes gif animated in orgmode. From the org-inline-image package, with minimal modification ( the only change is testing if the figure is an image by checking the 'org-image-overlay, instead of the cu… ...more
May 25, 2019 Updated: May 25, 2019 #blog Automatic toggle latex fragments in orgmode when point is in them. I found a solution by Konstantin Kliakhandler, based on a solution premade by John Kitchin. The code worked fine, however, it was fai… ...more
May 25, 2019 Updated: August 02, 2019 #tech This is a magical way of automatically setting up emacsclient, by northrupthebandgeek. If you start emacs for the first time, it will start a server. If the server has already been started, it will de… ...more
May 24, 2019 Updated: August 19, 2023 #blog This is the code that runs this blog! I might as well have it here as well! #! /bin/sh ":"; exec emacs --no-site-file --script "$0" "$@" # -*-emacs-lisp-*- ;; Th… ...more
May 24, 2019 Updated: May 25, 2019 #blog I read an amazing comment on reddit about how to very easily record the screen into gifs and I'll report it here with some improvements. All of this can be used in any other window manager, as long as… ...more
May 23, 2019 Updated: May 23, 2019 #tech I want this blog to be really light, so, if you've noticed, it doesn't load any javascript when you access it. I've had to deal with slow internet connections or very tiny data caps enough times that … ...more
May 21, 2019 Updated: May 23, 2019 #tech For about a week, every time I initialized emacs, Tramp would constantly ask for my password, both for sudo and for ssh. This means that in the recent file list there is a sudo file or a ssh file, and… ...more
April 21, 2019 Updated: July 28, 2020 #blog So during my life I have helped take care of multiple birds (bem-te-vis, parrots, toucans, large hawks, tiny hawks, vultures, sparrows, doves, humming birds, canaries, woodpeckers, etc), usually baby … ...more
April 21, 2019 Updated: April 21, 2019 #blog This IAP others 6.006 TAs and I organized 6.s092! Mid semester I went to a SIPB meeting where they were discussing IAP classes and I decided that I decided that organizing a class would be a great ide… ...more
September 17, 2018 Updated: February 28, 2019 #blog After I wrote my last two tiny projects, Scan with webcam, and Export Subtree with files I was ready to do one of my psets in org mode. It was absolutely fantastic. Scanning images with my webcam made… ...more
September 16, 2018 Updated: July 26, 2020 #blog I was solving a pset, and realized that I needed to draw a graph by hand and include it in my solution. I didn't want to deal with taking a picture with my phone and sending the picture to my computer… ...more
September 13, 2018 Updated: July 26, 2020 #blog Update: Now this is on on github, in the repo org-export-with-files. It is fairly usable and fairly useful. The next step is to figure out how to best deal with custom links. Summary I have a main org… ...more
September 12, 2018 Updated: July 26, 2020 #blog For a 006 student piazza question. Te student liked my answer so I decided to share! Work per level: Suppose you have: $$T(n) = a T(n/b) + n^c$$ The amount of work done on the root of the tree is: $$n… ...more
September 09, 2018 Updated: September 24, 2023 Ivan Tadeu Ferreira Antunes Filho Under construction Index Summary Awards In the Media Interests Summary I am a Software Engineer at Google Cambridge, previously Head of Algorithms at Radix Labs,… ...more
September 09, 2018 Updated: July 22, 2022 Contact me through email (ivanaf @alum.mit.edu). If you need to meet with me, below is my schedule. Instagram FB Display Google calendar function displayIframe() { var button = document.getElement… ...more
September 09, 2018 Updated: July 26, 2020 #blog I've always felt that I am more productive when I share my work or study with others. This caused me to have 3 main blogs/websites in the past. 1 was focused in national and international science ol… ...more
September 09, 2018 Updated: July 29, 2020 For my resume see resume. In construction. Different projects I worked on over the years. Some very tiny, some large ones. Edge Matching with Inequalities, Triangles,Unknown Shape, and Two Players… ...more
September 09, 2018 Updated: July 22, 2022 This resume is a bit out out-of-date. Your browser does not support PDF objects in HTML. window.onresize = function() { document.getElementById('pdf').style.height = window.innerHeigh… ...more
August 19, 2018 Updated: July 26, 2020 #blog UPDATE: This documents my first experience with programming in elisp. In restrospect, I was really bad at it. This post then shows that you can still make something with elisp even if you are bad at i… ...more
February 27, 2018 Updated: July 23, 2022 #tech All of this is based on http://blog.codelv.com/2013/02/control-systems-in-python-part-1.html . From 2013 to 2018, the python control library has improved a lot, so now it is relatively easier to do mu… ...more
February 08, 2018 Updated: July 23, 2022 #blog Backup here: Groebner_Basis Here is the pdf with better formatting: GroebnerBasis–Sage Figures CSS <./css/sagemath.css> ...more
January 21, 2018 Updated: July 26, 2020 #tech This is a summary of entrepreneurship resources available to MIT students. Those are my notes, taken during startmit. If there are any mistakes, please message me. Martin Trust Center Entrepreneur env… ...more
January 21, 2018 Updated: July 26, 2020 #tech I enjoy binaural audio. If you don't know what I'm talking about, I'd recommend putting on headphones and listening to the virtual barber shop. What makes audio binaural? In few words, you can detect … ...more
March 16, 2016 Updated: July 26, 2020 #blog My friends and I built an led matrix with 30x60 pixels. This post will focus mainly on the software, but first, let's skim through the hardware. Material: 70 meters of ws2812 strips A 90 amps, 5v pow… ...more
December 13, 2015 Updated: July 26, 2020 #blog Summary: Photographing linear panoramas of murals, in a place with poor light conditions, and short distance to the wall. Intro Photographing the murals in my dorm is a really challenging task. The di… ...more
March 29, 2013 Updated: November 17, 2019 #blog This is a reblog from my old blog. The missing college essay that was too personal is the one that was adapted to the baby deer post. I was admitted in Harvard, MIT, Yale and Princeton :) [2013-03-29… ...more