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

⁺⁺

My research follows questions that resist containment. From the formal to the fragile, I seek structures that reveal more than they resolve: diagrams that flicker, axioms that almost hold, and languages that carry more than just logic.

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

^&&

I build with intent and restraint: tools, interfaces, and languages shaped by clarity and structure. Development, for me, is not just implementation but articulation: a way to make abstract ideas move, respond, and sometimes, resonate.

TBA Mobile App

iOS

Native - Swift

Bun

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

Wireguard

FFMPEG

OpenVPN

Nginx

Caddy

Redis

Prisma

Drizzle

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

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