Skip to content
View steinerkelvin's full-sized avatar
Block or Report

Block or report steinerkelvin

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
steinerkelvin/README.md

Hi there

I'm Kelvin.

I'm interested in and involved with:

  • Free and Open Source software
  • Decentralized and self-hosted stuff
  • Rust
  • Functional Programming
  • Bitcoin

Interested but ultra noob:

  • Philosophy (specially Epistemology)
  • Micro-economics
  • Cognition, Mind and the nature of Consciousness
  • anything evolutionary

(Definitely non-exhaustive) list of my favorite projects.

My dotfiles. And some of my usual stack/tools.

My not totally empty blog, lol.

I advocate for:

  • instead of ...
  • floating cities in the middle of the ocean
  • new games getting local multiplayer
  • people wanting to play local multiplayer
  • they having the controllers to do so
  • nuclear energy
  • not calling Facebook "Meta", it's just offensive
  • nohello.net
  • boardgames
  • absolute free speech
  • deprecating months (years, weeks and day of year instead) (example date format on *nix)

Pinned

  1. c-to-wasm-compiler-project c-to-wasm-compiler-project Public

    Small C to WebAsssembly compiler developed for the Compilers course at UFES

    WebAssembly 16 2

  2. HigherOrderCO/Kindelia HigherOrderCO/Kindelia Public

    An efficient, secure cryptocomputer

    Rust 588 41

  3. rustie-ts rustie-ts Public

    Small TS library to type and safely handle `serde` JSON serializations of Rust enums.

    TypeScript 6

  4. no-ip-updater no-ip-updater Public

    Python module to update No-IP DDNS entries.

    Python 9 4

  5. twitter-relationships twitter-relationships Public

    Shows a list of users in each one of the possible intersections of followers / following relationships between two users.

    Python 8 2

  6. 2048_c 2048_c Public

    Console version of the 2048 written in C.

    C 3 1