# User:Otesunki

Jump to navigation
Jump to search

hi

i exist without my permission

## class?

### ... is TC

### i think ... is TC

### useful proof by reduction langs

- (stack) super stack!
- (stack) ystack (selfpromo)
- (tape) brainf--k
- (tape) boolf--k
- (func) iota
- (tag) bct
- (any) minsky machines
- (any) fractran

## da list

### 2022-01-14 01:33

* b&c + element = ???

* what would happen if you combined a neural network and an esolang somehow

* what universal FP combinator is the *least efficient*, where efficiency is minimal number of uses divided by the cost of the same function written in bare lambda calculus (with some cost function C)?

* logic is no more

### 2022-01-15 16:47

* a thousand spiders.

### 2022-02-06 10:06

* readable golflang?