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 X

* 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

Laravel

Laravel Forge

Hetzner Cloud

* Tools and Services

Figma

arxiv

Adobe PS6

Github Copilot

CSS Design Awards

awwwards

WolframAlpha

Cursor

* Opinionated

Arch Linux

XFCE

ZSH

VSCodium

Bun

Biome

Mullvad VPN

LibreWolf

Signal

Typst

Featured Work

⁰⁶

All

Websites

Lectures

Poems

Notes

Miscellaneous

Anatolia: 19th Century

howion.com (v2)

Speculo

Gödel ve Ontolojik Kanıtı

Sembolik Form Olarak Perspektif

Salvé, salvé, salvé, Parve?

Bitscript

Group Theory

Ring Theory

Logic and Computation

Probability Theory

lambert-w-function

nth-harmonic

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