MAPPING \\ THE

•••• INTELLIGIBLE \\ TO

THE SENSIBLE

A Mathematician and Developer exploring boundaries between abstraction and experience

I like to build systems where logic finds shape and structure meets design

Research

⁺⁺

I seek structures that reveal more than they resolve

Current

Nondeterministic Type Theory

Homotopy Type Theory

Interaction Nets

Complexity Theory

Prediction Markets

Probability Theory

Prior

Kleene Algebra

Graph Theory

Number Theory

Philosophy of Science

Development

^&&

Development is a way to make abstract ideas move respond and sometimes even resonate

TBA Mobile App

iOS

Swift

Bun

Currently in Development

Book of History

Nondeterministic Type Theory

Interaction Nets

NEO4J

Currently in Development

Mathematica Par Excellence

My Magnum Opus

Postponed

Mahler's Hammer

Cryptography

Postponed

Tech Stack

⁵⁶

* Languages

Bash

HTML5

CSS

TypeScript

JavaScript

LaTeX

Python

PHP

CSharp

Visual Basic

Markdown

* Frontend and DevTools

PostCSS

SASS

React

React Native

Astro

WebRTC

Mapbox

Vite

PhoneGap

* Backend and DevOps

AWS

Docker

Git

Postgres

Redis

Elysia

tRPC

Serverless

Wireguard

FFMPEG

OpenVPN

Nginx

Caddy

Prisma

Cloudflare

OpenAI APIs

Sentry

Plausible

* Tools and Services

Figma

arxiv

Adobe PS6

Github Copilot

CSS Design Awards

awwwards

Desmos

WolframAlpha

* Opinionated

Arch Linux

XFCE

ZSH

VSCodium

Bun

Biome

Mullvad VPN

LibreWolf

Signal

Featured Work

⁰⁶

Anatolia: Nineteenth Century

howion.com (v2)

lambert-w-function

nth-harmonic

Salvé, salvé, salvé, Parve?

To be, or not to be

Let's Connect

Contact

* mert.coskun (a) metu.edu.tr

* howionwastaken (a) gmail.com

* +90 534 634 0134

Available For

* Collaboration

* Research

* Consulting

* Just Chat \ EN \ TR

Socials

* GitHub * LinkedIn * Behance * Dribbble * X * Spotify * IMDb * Instagram * ORCID