New posts brewing

Decoding software,
one line at a time.

Exploring Swift, functional programming, physics, math, and the systems that connect it all — from silicon to server.

Read the Blog Explore
// where types meet intuition
protocol Functor {
  associatedtype A
  func map<B>(_ f: (A) -> B) -> Self
}
// think different. think functional.
-- elegance is not optional
class Functor f where
  fmap :: (a -> b) -> f a -> f b
 
compose = fmap . fmap
-- why write more when less will do?
-- a functor F between categories
F : C → D
F(f ∘ g) = F(f) ∘ F(g)
F(idₐ) = id_F(a)
 
-- same idea, three languages.
Swift Haskell Functors Monads SwiftUI UIKit Combine Category Theory Topology Quantum Mechanics Embedded Systems Linux Vapor CI/CD Physics λ Calculus Type Theory Swift Haskell Functors Monads SwiftUI UIKit Combine Category Theory Topology Quantum Mechanics Embedded Systems Linux Vapor CI/CD Physics λ Calculus Type Theory

Explore

Built to learn.
Shared to help.

From UIKit patterns to production servers — real projects, real learning, documented every step of the way.

✍️

Blog

Technical Writing

Deep dives into Swift, SwiftUI, UIKit, functional programming, embedded systems, and the ideas behind the code.

Read articles
⚡

Systems

Under the Hood

Networking, operating systems, DevOps, and the infrastructure layer that makes everything else possible.

Dig deeper
🧩

Open Source

Projects & Code

Patterns, architectures, and explorations — from Builder pattern in UIKit to Haskell experiments and enum-driven SwiftUI navigation.

Browse code

Topics

Things I can't stop
thinking about.

I like going deep — from how the type system works to how the transistor works.

Swift SwiftUI UIKit Haskell Functional Programming Vapor Server-Side Swift Physics Math Category Theory Combine DevOps & CI/CD Embedded Systems Linux Networking Architecture