Skip to content
View Benni-Math's full-sized avatar
😬
😬

Block or report Benni-Math

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

Hi there 👋

My name is Benedikt (he/him)! I'm a somewhat-recently graduated math major and computer science minor. I used to be very interested in number theory (Langlands and arithmetic geometry, with a dash of higher homotopy theory), but now I'm focused on all things computer science and software engineering, with an emphasis on backend, DevOps, and MLOps.

  • 🔭 I’m currently working on

    • Using a modified version of Agentpy to model tooth decay in kids between the ages of 0-6. (Python)
    • EdTech software with Harvard Department of Continuing Education (TypeScript/React)
    • Kafka and Cassandra development (Java/Spring)
  • 🌱 I’m currently learning ...

    • Nix (the package manager and programming language)
    • Kubernetes
    • Entity component systems and linear algebra libraries (in Rust)
    • Lean4 Theorem Prover
  • 📫 Reach me at: [email protected]

Pinned Loading

  1. agentrs agentrs Public

    Python

  2. min-mac-setup min-mac-setup Public

    Vim Script

  3. pypi-deps-db pypi-deps-db Public

    Forked from DavHau/pypi-deps-db

    Dependency DB for python packages on pypi

    Python

  4. lnks lnks Public

    Forked from hamvocke/lnks

    Open browser bookmarks from the command line

    Shell