[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View steinerkelvin's full-sized avatar

Organizations

@fglab-tech

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)
  • 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 Loading

  1. kindelia/Kindelia kindelia/Kindelia Public

    An efficient, secure cryptocomputer

    Rust 611 38

  2. fglab-tech/benda fglab-tech/benda Public

    Numba-like Python translation to HVM

    Rust 8 2

  3. rustie-ts rustie-ts Public

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

    TypeScript 11

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

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