Ivan Molina Rebolledo

Ivan Molina Rebolledo

Abstract

Posts

1 min read

Self-signed RSA cert generation and signing using OpenSSL

(The following notes were made as a self-guide for a U. class (Network Security)) First step: Obtaining our PEM keys. This can be done as my previous post, where the generated keys are already in PEM format. A PEM encoded key looks like this: -----BEGIN PRIVATE KEY----- -----END PRIVATE KEY-----

Read more
2 min read

RSA key generation and file encryption using OpenSSL

(The following notes were made as a self-guide for a U. class (Network Security), I usually use GPG for this, hehe. Everything in this document was taken from the man pages of OpenSSL) First step: RSA private key generation. We use the following command: openssl genrsa -out id_rsa 3072

Read more
1 min read

Almost Ubuntu with NextStep: NextSpace

So, I spent my night trying to buid NextSpace on Ubuntu 20.04. It did was a mess tho. Specially with the nextspace-gui which didn't wanted to build properly. This almost works. But there are some problems that you can read here (with fixes). If you want to try it,

Read more
1 min read

Python TCO

This is just the Python version of https://ivmoreau.com/rust-tail-cail-functions-i/ It's horrible, and I love it. (I also did a pseudo-match "expression") class TCO: pass class Ret(TCO): def __init__(self, value): self.v = value class Rec(TCO): def __init__(self, *args): self.v = args def tco(f): def

Read more
4 min read

Tail call functions on Rust I

MotivationRecursive functions are often a great way of writing declarative programs. This allows for greater expressiveness on the making process. However, they come with a catch: slowness and stack overflow, which is not great. The so-called tail call functions have a specific form that can be transform into normal jump

Read more
1 min read

MS Teams or overengineered nightmares

I'm pretty sure that the guys at Microsoft are a lot more talented that I can be. That's clear. But Teams has a problem: it's an overengineered PWA. So, this is the story: I've been having quite a lot of awful days because of undisclosed personal reasons. This monday wasn't

Read more
1 min read

Las lágrimas de mi madre

I didn't wrote this. This was autogenerated by GPT-3 using this input: "Escribe un microcuento". The title was also generated by the same instruction.

Read more
1 min read

El baile del silencio

I didn't wrote this. This was autogenerated by GPT-3 using this input: "Escribe un microcuento". The title was also generated by this sentence "Dale un titulo".

Read more
2 min read

Fast fib on Rust (kinda)

UPDATE: So, I'm just stupid. I was doing x2 operations. So that was it. Code updated. Still slower tho, but there is an older commit with a huge amount of unsafe-Rust that is faster. Sooo, I'm just trying to calculate fib(10_000_000) as fast as posible. BUT THERE

Read more
2 min read

Proving things with Kind

Kind is a dependently typed programming language made by uwu-tech that I recently discovered through GitHub. Unlike Agda, Coq and co., Kind doesn't rely on a ML-esque syntax, but rather in one that resembles Typescript or Rust, which is interesting. It also has a small core and two main implementations;

Read more
2 min read

Running GTA III (Steam version) on macOS Big Sur

UPDATE: Re3 got rekt by Take2. Outdated post. 🤷🏼‍♀️Trying to run the game with Steam will give us an error. This is as expected, since we don't have support for x86_32 anymore. The game (for computers) was originally made for 32-bits Windows systems, and that's the binary that you

Read more
5 min read

Agda Fundamentals: (I / 1)

The following article is part of some meetings discussing Dependent Types between people in my college. I hope it can also be useful to someone else. Either way, this is just the «article» version of a couple of md slides that I made for it.

Read more