Skip to content

Instantly share code, notes, and snippets.

View EStog's full-sized avatar
💭
Looking for fundamental principles

EStog EStog

💭
Looking for fundamental principles
  • Universidad de las Ciencias Informáticas
  • Havana, Cuba
View GitHub Profile
@EStog
EStog / resume.json
Last active June 13, 2022 16:00
My resume
{
"basics": {
"name": "Ernesto Soto Gómez",
"label": "Software Engineer and Professor",
"image": "https://avatars.githubusercontent.com/u/57068250?v=4",
"email": "esto.yinyang@gmail.com",
"phone": "(+53) 5 472 3437",
"url": "https://registry.jsonresume.org/EStog",
"summary": "I am a Software Engineer and Assistant Professor at the University of Informatics Sciences. Experience in back-end development and research. Also, I teach courses of AI and Discrete Mathematics. My main passion is to understand fundamental principles behind the functioning and development of systems.\n\nIn other matters, I am an instructor of Wong Yi Man Nam Pai Kung Fu Academy. I am also been involved in various nonprofessional musical projects as lead singer. Furthermore, I compose music and write poems and stories.",
"profiles": [
@EStog
EStog / install-swipl-opensuse.sh
Last active September 27, 2021 01:41
Bash script to install from source SWI-Prolog in Opensuse
#!/usr/bin/env bash
# Author: Ernesto Soto Gómez <https://github.com/EStog>
# This script install the stable version of SWI-Prolog in Opensuse.
# - If it is executed in root mode it is installed in /usr/local; If not,
# it is installed in $HOME.
# - An option BUILD_TYPE may be given as an environment variable to specify
# "Debug" or "Release" build type. It defaults to Release.
# - INSTALL_DEPS may be may be specified as a flag to install dependencies.
@afig
afig / customBadges.md
Last active January 23, 2024 02:52
Creating a Custom Badge for GitHub Projects

Custom Badges

The Shields service (at shields.io) provides a way to create custom badges for your projects. These are badges are very common and are frequently used to show status information about the project, or demonstrate tools that were used for the development of your project.

Example badge:

Creating a badge