(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(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 moreSo, 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 moreThis 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 moreMotivationRecursive 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 moreI'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 moreSo, I really wanted to use Ubuntu Server 20.04 with an old machine that I don't use anymore, because Fedora Desktop didn't work that well as a server; or maybe it is just that I'm more used to work with Ubuntu, idk. Anyways, WiFi was working fine in Fedora,
Read more"Cindy la regia", es una narrativa de una mujer que decide tomar una decisión que le lleva a vivir una vida donde conoce a personas interesantes. Un metraje de cine de arte que te hace reflexionar sobre la vida, la decisión y las oportunidades que se nos presentan.
Read moreI 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 moreI 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«Nothing is more practical than finding God, that is, than falling in a love in a quite absolute, final way. What you are in love with, what seizes your imagination will affect everything. It will decide what will get you out of bed in the mornings, what you will do
Read moreUPDATE: 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 moreKind 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 moreUPDATE: 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 moreThe 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