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.
- Google and Examine.com, on how Google demotes a research-based supplements website in their fight against promoting pseudoscience.
- Twitter “Unintentionally” Used Your Phone Number for Targeted Advertising, SMS-based 2FA, apart from being susceptible to SIM jacking, also leaves your personal data at risk of being “mistakenly” handed over to advertisers.
- Mastodon 3.0: you can now move your account between instances while preserving followers and other exciting features.
- Lawsuits against God, “ When God ‘failed to turn up in court’, Penrose won the case by default”.
- Secrets of the Little Blue Box, the original Esquire phone phreaking article that popularized the topic. See also this recent talk on the topic by the 8Bit Guy.
- Reproducible Builds — a set of software development practices that create an independently-verifiable path from source to binary code. Reproducible Builds are here and are great.
- How feasible is long-range forecasting?. Not much, it seems.
- Quantum supremacy: the gloves are off. Scott Aaronson’s piece on Google’s recent quantum supremacy experiment. While not the harshest critic, Scott is usually skeptical of claims of quantum supremacy, but seems to be onboard with this one.
Videos & TV Shows:
- Why Adding Client-Side Scanning Breaks End-To-End Encryption, on the pitfalls of client-side scanning.
- Antitrust 101: Why everyone is probing Amazon, Apple, Facebook, and Google, on the monopolistic strategies of Big Tech companies.
- My name causes an issue with any booking! (names end with MR and MRS), on why you can have trouble with airlines if your name is “Amr”.
- LLVM provides no side-channel resistance, a proposal on a new keyword for preventing side-channel attacks.
- How often do researchers not read the papers they cite?, less often that I would like.
- The Strange Case of the Woman Who Can’t Remember Her Past—Or Imagine Her Future, on having semantic memory but not episodic memory.
- When delivery is free, will ownership survive?, on the possible effects of automatic driving.
- ‘Nearly All’ Counter-Strike Microtransactions Are Being Used for Money Laundering, uh-oh.