Skip to content
View steinerkelvin's full-sized avatar

Organizations

@fglab-tech

Block or report steinerkelvin

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 noob:

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

(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 Loading

  1. rustie-ts rustie-ts Public

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

    TypeScript 11

  2. 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

  3. 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 7 2

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

    Python module to update No-IP DDNS entries.

    Python 9 4

  5. fglab-tech/benda fglab-tech/benda Public

    Numba-like Python translation to HVM

    Rust 9 2

  6. kindelia/Kindelia kindelia/Kindelia Public

    An efficient, secure cryptocomputer

    Rust 616 41