Blog
-
The Evolving Foundations of Math
This is a call to browse the amazing work put up by Quanta Magazine.
-
Useful LaTeX
Here is a collection of useful packages and tips for LaTeX.
-
Jujutsu version control system
Jujutsu is a version control system. It is Git-compatible, and you will find it is an improvement over other version control systems.
-
Call for Applicants - HLF 2026
The application process for the 13th Heidelberg Laureate Forum (HLF) has just begun and runs until February 11, 2026, at 11:59 p.m. Berlin time (CET / UTC+1).
-
PhD opportunities at LSE
🎓 PhD Opportunities in Game Theory at LSE Topic: Mathematical Game Theory.
-
Fixpoint theorems
This is a list of fix-point theorems that I have seen are useful in Game Theory.
-
Bayesian Persuasion
This is a very short introduction to Bayesian Persuasion: the use of information to control the belief of rational beings.
-
Newsletters
This is a collection of newsletter that I have found worth subscribing to.
-
Literature Research in Academic Databases
This post is heavily based on a course “Literature Research in Academic Databases” (provided at ISTA) to understand how to perform literature review in science including the use of Google Scholar, Web of Science, and Scopus. I have adapted it for my field of research.
-
Raw pdf files: Writing a pdf from the specification
Portable Document Format (PDF), standardized as ISO 32000, is a file format. PDF secifications have evolved over the years, but the format is very stable and backwards compatible.
-
Intercultural Science-Art project
I am presenting my artwork in the Intercultural Science-Art project of the 2025 Heidelberg Laureate Forum.
-
Meditation practice for future plans
This is a meditation practice you can prerecord yourself to help you choose between plans for the future. Enjoy!
-
Lemmas on Markov Chains
Useful lemmas
-
Suspicious SSH connection
From time to time, I was getting an
sftpconnection in my Linux machine. It appeared in the file explorer, and when navigating into it the folder was empty. At the end, it was simply an experimental feature of GSConnect (KDE Connect) that was turned on by default in my OS (bluefin). -
Researching in TCS and Game Theory
I want to put up some resources for researches that might be useful.
-
Sci-Net - Participating in SciHub
Sci-Net is
the way<\emph> to participate in the SciHub initiative! You are very much invited to participate in it. -
Operations Research Literature
In preparation to my new job in Operations Research, here is a collection of literature of the area I find interesting.
-
Researchers in London
This is an attempt to map out researchers relevant for my field in the London area. I do this because I will be starting a new job at London School of Economics (LSE), so it is good to know who I can ask what.
-
Logging in Rust
How to implement logging in Rust libraries and applications?
-
Journals for software implementation
Where can I publish software implementation in academia?
-
Cool researchers
This is a short list of researchers I find “cool”. Sorry if I missed someone, this is just a very personal list.
-
Internships around the world
For undergraduate students looking to do an internship somewhere in the world, bellow is a list of options. The original repository tries to provide up to date information. Below is a “screenshot” on 2025-04-01.
-
Computational competitions for Theoretical Computer Scientists
- Mixed Integer Programming
- Airline motivated
-
Post PhD applications
This is my personal history about finding a job after my PhD. It could serve as a reference on times, opportunities, and expectations. I use it to keep opportunities in mind. Opinions about cities and countries are recompilation of honest advice I got: they are neither my personal opinion nor the truth.
-
Inkscape command line: Export SVG to PDF
Inkscape comes with a command line interface for scripting various commands. To export an SVG file
image.svgto a PDFimage.pdf, we can use the following command (as of Inkscape version 1.4, 2024-10-09) -
Accessibility in academia
Accessibility in academia
-
Academic journal creation
Academic journal creation
-
Sports at work
Sports at work
-
Coarse correlated equilibrium is too lax
Coarse correlated equilibrium is too lax
-
Plotting rational data
Plotting rational data
-
Good TCS writing
Good exposition in Theoretical Computer Science
-
Good outlines
What is a good outline of a mathematical article?
-
Publishing repositories
A few repositories to freely publish your research.
-
AI for Research
A list of AI-powered tools that are useful for researchers.
-
Responding to (bad) feedback
Responding to (bad) feedback can be challenging. A few phrases can keep you in track to what really matters. This is a collection of phrases to help you rethink your answer.
-
Font technology
Font technology is amazing and there has been inmense progress. Yet, a principled approach to displaying “Text” is far from a solved issue. I claim that historical baggage is hindering the choice of the right abstractions for the problem.
-
Causality Theory
Classical Probability Theory is incapable to distinguish causal relationship in general. Therefore, causality is not study “only” using Prbability. This is an introduction to the models used in Causality Theory.
-
Submission history
Submitting papers can be frustrating. Therefore, I put up my history of submission to share my experience and see it a bit more objectively. There might not be enough context to understand all the reasons of the decissions, but this should give an idea of the process of publishing.
-
Journals I submit to
What Journals do I submit to? Which ones should I publish on? These are classical questions in the day to day of a researcher. Therefore, I put together a small mind map of my current understanding.
-
Conferences
What conferences are relevant for my work? Which ones should I publish on? These are classical questions in the day to day of a researcher. Therefore, I put together a small mind map of my current understanding.
-
UI development in Rust
UI development in Rust, 2022
-
Candidate problem
How to choose in life?
-
Documentation offline
Plurilingual
-
Mathematics Subject Classification
Classifying mathematics is not an easy task. The American Mathematical Society sets up a classification aiming to cover most of (current) Mathematics. They a assign a code to each subject. This code is used by journals and search engines. The official link is the following.
-
Design Principles
Design deals with how we interact with some content. It shapes our experience, without changing (too much) what we get out of some content.
-
Mathematics in Esperanto
Mathematics should be easy to access, have as few entry barriers as possible. Although mathematics uses its own language-independent symbols, a person needs explanations and motivations to understand most of the works. Therefore, an easy and international language is best suited to explain Mathematics. I propose to use Esperanto to explain Mathematics.
-
Data: Use your internet records for a change
Big tech has built its success by exploiting your data, we all know. But, can you give your data to someone else? maybe for purposes that you would be happy to help?
-
Accessibility: How researchers are NOT doing their job
Accessibility (A11y) is important for all and benefits everyone. On the web, the Web A11y Initiative develops a11y standards, but in science there is much to do. Researchers from SemanticScholar have studied the issue and, as a researcher myself, I am ashamed.
-
Formal methods evaluation
Formal methods evaluation
-
Mathematical browsing
Mathematical browsing
-
Converting files with Pandoc
Pandoc is a very powerful file format converter.
-
Paranormal Misinterpretations of Vision Phenomena
Since a very young age, I have been curious about aura and other vision phenomena that could “prove there is something more”. Many of the vision phenomena are explained in this paper.
-
Random geometry
The following is an open research question for which I would be happy to have an answer. Please contact me if you have ideas.
-
Cooperative random games
The following is an open research question for which I would be happy to have an answer. Please contact me if you have ideas.
-
Code generation in Rust
Code generation in Rust
-
Trees in Rust
Trees in Rust
-
Porn awareness
Sex is an important facet of life, it deserves to be openly discussed.
-
Web monetization
The browser is control various resources. Some are common with other applications, for example memory and power consumption, while others are more specific to browsers, like internet bandwidth. Web monetization aims to be a web standard to control money, possibly without human interaction.
-
Citizen of the world
I have always considered myself a citizen of the world. As I grow older, country boundaries make less sense. Under the current system, I wish people had the opportunity to choose their nationality and should not suffer for decisions they have (almost) nothing to do with. A more revolutionary friend would ask me why we need countries at all.
-
Epistemic Game Theory Summer school
I am going to attend the Seventh EPICENTER Summer Course in Epistemic Game Theory 2022 | EpiCenter!
-
Software
I put up some general software I use.
-
Programming
I put up some tools I use for programming.
-
Seminars
I put up some ongoing open seminars I tend to attend.
-
Introduction to researching (in Game Theory)
I want to put up some resources for researches that might be useful.
-
Virus alarm
I developed a simulation engine for a board game :)
-
Ims student puzzle
\relax -
Easy strategies in complex games
I presented the paper “The Complexity of POMDPs with Long-run Average Objectives” (https://arxiv.org/abs/1904.13360) in the Bernoulli-IMS One World Symposium 2020!