Skip to content
View Drew-Morris's full-sized avatar
2 followers · 3 following
  • Provo, UT

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Block or report Drew-Morris

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 is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Drew-Morris/README.md

I enjoy exploring eloquent solutions to otherwise opaque problems. Formal methods are my current area of interest. To co-opt an internet quote, "From the moment I understood the weakness of LLMs, it disgusted me. I craved the strength and certainty of formal verification."

Popular repositories Loading

  1. Poetry Poetry Public

    1

  2. Linear-Algebra-PY Linear-Algebra-PY Public

    Linear Algebra in Python as taught in Math 213 and Math 215 in the EMC-2 Cohort at BYU

    Jupyter Notebook

  3. Drew-Morris Drew-Morris Public

    Config files for my GitHub profile.

  4. Number-Theory Number-Theory Public

    Number Theory as taught in Math-290 in the EMC-2 Cohort at BYU

    Jupyter Notebook

  5. Intro-To-Programming Intro-To-Programming Public

    Intro to Python as taught in the EMC-2 Cohort at BYU

    Jupyter Notebook

  6. Multivariable-Calculus Multivariable-Calculus Public

    Multivariable Calculus in Python as taught in Math-314 in the EMC-2 Cohort at BYU

    Jupyter Notebook

⚡