MAPPING \\ THE

•••• INTELLIGIBLE \\ TO

THE SENSIBLE

A Mathematician and Developer exploring boundaries between abstraction and experience.'

I build systems where logic finds shape and structure meets design.

Research

⁺⁺

From the complex to the simple I seek structures that reveal more than they resolve.

Current

Linear Logic

Interaction Nets

Complexity Theory

Lattice Theory

Prediction Markets

Probability Theory

Marxist Theory

Prior

Kleene Algebra

Graph Theory

Number Theory

Philosophy of Science

Development

^&&

For me the development is not just an implementation but rather an articulation. It 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

Elysia

tRPC

Serverless

Wireguard

FFMPEG

OpenVPN

Nginx

Caddy

Redis

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