Skip to content
View hyperfinitism's full-sized avatar
4 followers · 8 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx3Achievement: YOLO

Block or report hyperfinitism

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
hyperfinitism/README.md

Saluton! Mi estas hyperfinitism

Security Research

R&D engineer in cybersecurity, focusing on Confidential Computing / Trusted Execution Environments (TEE).

Scientific Research

Independent researcher in mathematics, theoretical computer science, and philosophy. Research interests include:

  • Mathematics: Mathematical Logic, Nonstandard Mathematics, Topology, Recursion Theory
  • Theoretical Computer Science: Theory of Computation, Type Theory, Domain Theory, Term Rewriting Systems, Formal Methods
  • Philosophy: Philosophy of Mathematics, Philosophy of Law, Mathematical Philosophy

Open Source

Active contributor to open-source software, particularly in the domain of Hardware-assisted Isolated Execution Environments (HIEE), including both TEEs and Trusted Platform Modules (TPM). Maintainer and developer of security-oriented tooling and libraries.

Selected Repositories

rust-tpm2-cli enact-rs ortho gh-contrib-stats license-logic

GitHub Stats

Contribution Stats

Language Stats

Generated by GitHub Readme Stats via GitHub Readme Stats Action

Pinned Loading

  1. rust-tpm2-cli rust-tpm2-cli Public

    Rust-based CLI tools for Trusted Platform Module 2.0

    Rust 3

  2. enact-rs enact-rs Public

    A Rust-based GitHub Actions runner emulator

    Rust 3

  3. ortho ortho Public

    A CLI board game where two players select rows and columns, place stones at their intersections, and race to make k-in-a-row.

    Rust 1

  4. gh-contrib-stats gh-contrib-stats Public

    Generate a github-readme-stats style SVG card showing your open-source contribution stats

    Go 1