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

Linear Logic

Prior

Kleene Algebra

Computation Complexity Theory

Prediction Markets

Philosophy of Science

Development

^&&

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

Book of Mathematics

My Magnum Opus

Currently in Development

Book of History

Nondeterministic Type Theory

Interaction Nets

NEO4J

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

⁰⁶

All

Websites

Lectures

Poems

Miscellaneous

Notes

Anatolia: 19th Century

howion.com (v2)

Speculo

Gödel ve Ontolojik Kanıtı

Sembolik Form Olarak Perspektif

Salvé, salvé, salvé, Parve?

Logic and Computation

Probability Theory

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