Un registro no exhaustivo de algunas de las cosas que he hecho, películas y series que he visto, artículos que he leído y podcasts que he escuchado en 2019.
La publicación de un enlace aquí no significa que esté de acuerdo con su contenido.
TV shows and movies:
- Sex Education, season 1. I did not like the first episode very much but then it becomes quite good.
- Steven Universe, season 5. Loved it.
- The Good Place, season 3. A philosophical treaty on utilitarianism (only half-joking with this description).
- Black Mirror: Bandersnatch. Okay-ish.
Movies and documentaries:
- Lady Bird, a lovely coming-of-age story.
- The Act of Killing, a documentary on the Indonesian genocide of communists. Excellent yet hard to watch. Content warning for genocide, racism and violence.
- El artículo 324, sobre como el trámite de aprobación de una proposición de ley de once palabras ha sido prorrogado durante más de sesenta semanas.
- The Favourite, a marvelous reinterpretation of the reign of Queen Anne.
Posts and webs:
- Personal y político: «el podcast en el que hablamos de cómo sobrevivir a los nazis y de cómo querernos hasta que el mundo implosione».
- Negra y criminal, un podcast de ficción con adaptaciones de novela negra y criminal.
- Di una charla introductoria sobre computación cuántica (pulsa ‘S’ para ver las notas).
- The APA Meeting: A Photo-Essay, it’s worse than I would have imagined.
- Messages and dreams. Content warning for mention of child abuse.
- Why is it wrong to implement myself a known, published, widely believed to be secure crypto algorithm?, an excellent summary of side channels.
- How Should We Critique Research?, on a criterion for study design and statistical analysis criticism.
- Why falsificationism is false, a simple explanation on why falsificationism, on the form it is usually presented, is false.
- When and why did journal article titles become descriptive, rather than creatively allusive?, on the evolution of article titles.
Videos and TV shows:
- #115 - Cecilia, an interview with an Argentinian trans woman named Cecilia. Content warning for discussions of sexual assault and police violence.
- Gilded Rage, on why philantropy can be bad.
- Build Systems à la Carte, a classification of build systems and their capabilities, with an associated Haskell library. It’s cute to see spreadsheet software as a build system.
- What Happens Next Will Amaze You, a transcript on a talk on how to fix the digital surveillance nightmare. See also The Website Obesity Crisis.
- One Man’s Modus Ponens, an explanation of the saying ‘One man’s modus ponens is another man’s modus tollens’.
- Why is printf better than echo?, on why
echo is considered (mildly) harmful.
- The Making of Youtube Radical, an example of far-right radicalization boosted by Youtube’s recommendation algorithm.
- FBI agent accidentally reveals own 8chan posts; attempts to redirect white supremacist rage against Russia, on the strategies used by the FBI on white supremacist’s forums to steer their interests away from the FBI/CIA/Mossad and towards Russian intelligence agencies.
- Questions For Our Opponents, Answered, where Ozy answers questions from a TERF. I don’t usually like this kinds of posts (I think most of the time these kinds of questions are not intended to spark a fruitful conversation but rather they are wielded as a propagandistic ‘weapon’) but I think this is genuinely informative if you have nver understood trans issues.
- What The Hell Is Going On With UFOs And The Department Of Defense?, on how the United States’ DoD might be promoting the UFO myth to distract people from classified experiments with advanced hardware. Big caveat here about this being very speculative.
- Let It Bleed: Libertarianism and the Workplace, on the nightmare the US is for workers’ rights, and on how libertarians contradict themselves when speaking about coertion in the workplace.
Videos and TV shows:
- Twin Peaks seasons 1 & 2, a fascinating 90s classic.
Videogames and board games:
- Azul, 2018’s “Game of The Year”. A beautiful-looking competitive puzzle game.
I finished my bachelor’s thesis, entitled “Quantum computational models”, on quantum complexity theory and concrete quantum algorithms. I am sure there is plenty of errata or omissions lying around, but overall I am quite satisfied with the result. I wish I had had time to rewrite some of it using a more categorical language, maybe I will do so at some point. Constructive criticism is welcome.
Di una charla (otra más) sobre algoritmos cuánticos en Quipper en esLibre.
- Pulling JPEGs out of thin air, on how an agnostic fuzzer can create JPG files in a few hours by attempting to cover all branches of the execution of a program.
- Files are fraught with peril , a talk transcript on why filesystems fail, how do they do it and why Dropbox needs to know your filesystem.
- Details of the Cloudflare outage on July 2, 2019, a postmortem analysis of the Cloudflare outage, caused by (spoiler) catastrophic backtracking on a regular expression.
- How can Kazakhstan perform MITM attacks on all HTTPS traffic?, on the recent attempt of the Kazakh government for surveillance
- IPTC metadata automatically added to uploaded images on Facebook; Facebook adds some kind of metadata to images uploaded to the site, possibly for tracking purposes.
- Automatically and Efficiently Illustrating Polynomial Equalities in Agda, an bachelor thesis on, well, what the title says.
- A Tour of C++. I learned C++03 at university and although I had used C++11/14 features before, I had never stopped to actually learn about it systematically. This book made me think that C++11 is actually an acceptable language.
- Effective Modern C++. After reading the previous book I decided to keep on reading on some issues in this second book. This book then made me return to my original stance: C++ design is unbelievably complicated and it is close to impossible to have a mental model of its semantics or what a program will actually do in detail. I think some of the problems will be somewhat improved when concepts become an official thing, but nonetheless the list of exceptions and quirks surpasses by a lot those that I have found in other languages.
- Locke & Key, vol. 1. An adventure/fantasy/horror comic that I really enjoyed.
Videos & TV shows:
- Men. Abuse. Trauma. - Philosophy Tube, an excellent monologue on abuse. Content warning for discussions of (mostly psychological) abuse.
- Fleabag, seasons 1 & 2. Never had I fallen in love with a TV show so much as I have with this one. The use of the aside glance and private comments to the viewer is simply the best I had ever seen.
- Big Little Lies, season 2. I think I liked more the first season, but I was happy with it overall.
- Chernobyl, season 1. Although it seems it is historically inaccurate in some ways (apart from the plot devices), it is aesthetically superb.
- Composing traversals, an example-based introduction to
Traversable and higher kinded types composition in Haskell.
Videos & TV Shows:
- Years and Years, season 1.
- I created some backup scripts and hooks and posted them on Github. In particular:
- An extremely simple hook for
- a script for making full backups for my NextCloud calendar and
- a script for auto-adding posts that I mark as favourite to the current month log.
I’m writing a post to briefly explain how they work.
- Una presentación sobre si Valerie Solanas bebió agua.
Brought to you by the glorious “Pocket to log” automation script.
Videos & TV Shows:
- Cacao, a cute and fun worker placement board game.