∫

∑

∀

∃

ALEX·FINN

> Math.student("Yale")

> λx. code(x) where x ∈ {Haskell, JS, Kotlin, Java}

> ∫ games dx = {Valorant, Hollow Knight, Superhot, ADOFAI}

TIME.MOVES.ONLY.WHEN.YOU.MOVE

PURE.FUNCTIONAL.CHAOS

WHO?

∫

Math @ Yale

Exploring the abstract realms of mathematics where logic meets infinity. Currently proving theorems and questioning reality.

∀x ∈ ℝ: lim(n→∞) Σ(weird) = ∞

~/alex-finn

Code Enthusiast

Writing elegant functions in Haskell, practical chaos in JavaScript, expressive code in Kotlin, and enterprise solutions in Java.

$ ghci
λ> map weird [reality]

🎮🎯⏱️

Gamer

From tactical shooters to rhythm games, I appreciate games that challenge reflexes and strategic thinking in equal measure.

FPS

RHYTHM

INDIE

🌀

Weird Stuff

Fascinated by the intersection of mathematics, computation, and interactive experiences. Also this website.

[UNDEFINED BEHAVIOR DETECTED]

<MathArt />

Parametric equations dancing in real-time. Because why not?

r(θ) = 100 + 50·sin(5θ + t)

CURRENT.OBSESSIONS

// Games

🎯

VALORANT

Tactical shooter where milliseconds matter

🦋

Hollow Knight

Exploring the depths of Hallownest

▓▓░░▒▒░░ EXPLORING... ░░▒▒░░▓▓

⏱️

SUPERHOT

Time moves only when you move

TIME.FROZEN

🔥

❄️

A Dance of Fire and Ice

Rhythm precision at its finest

// Languages

λHaskell

Pure functional elegance

fib = 0 : 1 :
  zipWith (+) fib (tail fib)

-- infinite elegance

purelazytyped

chaos.js

{}JavaScript

The language of the web

const magic = async () =>
  await chaos()

runtime executing...

asyncdynamicchaotic

Main.kt

KKotlin

Modern expressiveness meets pragmatism

fun weird() =
  reality?.let {
    it.transform()
  }

null-safe & expressive

concisesafemodern

Main.java

☕Java

Enterprise-grade structure and reliability

public static void main(String[] args) {
  System.out.println(
    "AbstractWeirdFactory"
  );
}

// verbose but reliable

typedstructuredenterprise