Skip to content
View ericlesaquiles's full-sized avatar
🐧
curious
🐧
curious
9 followers · 9 following

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report ericlesaquiles

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
ericlesaquiles/README.md

Olá, I'm Éricles 👋

Goals for 2023:

  1. Attaining enlightenment 🧘 🌻;
  2. Laying the path for General Natural Inteligence 🌿(‾-ƪ‾);
  3. Making a robot 🤖;
  4. Learning more vegan recipes 🍆 🥑 🥦 🥬;
  5. Learning more maths - especially HoTT 🎯
  6. Ressurrect my personal blog 📒;
  7. Do more mathematical outreach 🌱
  • 💬 Ask me about life and the universe. Or just your latest difficulty - always happy to help a fellow human being :)
  • 📫 How to reach me: as of now, you can find me on twitter (@riclesLima2) at GoodReads or at telegram (@ricleslima)
  • ⚡ Fun fact:

I enjoy these tools (among others)

emacs julia python ruby common lisp coq

I love connecting with different people - so, if feel like it, don't be afraid of saying "Hi!" (worst case scenario, your life will still be the same)

If none of that interests you, perhaps this can make your day a bit lighter (come back later for a different one) Jokes Card

Popular repositories Loading

  1. Psychson Psychson Public

    Forked from brandonlw/Psychson

    Phison 2251-03 (2303) Custom Firmware & Existing Firmware Patches (BadUSB)

    C#

  2. transmuter transmuter Public

    Forked from kalbasit/transmuter

    The Alien device to convert Markdown and Textile files to HTML or PDF

    Ruby

  3. simplex simplex Public

    C implementation of simplex method

    C

  4. lectures lectures Public

    Forked from oxford-cs-deepnlp-2017/lectures

    Oxford Deep NLP 2017 course

  5. Probabilistic-Programming-and-Bayesian-Methods-for-Hackers Probabilistic-Programming-and-Bayesian-Methods-for-Hackers Public

    Forked from CamDavidsonPilon/Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

    aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

    Jupyter Notebook

  6. joy-and-buffers-overflowing joy-and-buffers-overflowing Public

    Forked from rosatolen/joy-and-buffers-overflowing

    Examples for learning about buffer overflows

    C