Hacker News new | ask | show | jobs
by qwerty456127 1669 days ago
By the way, I recently had an idea while taking shower: can there be such a CPU (e.g. FPGA-based) that would support algebraic typing on the hardware level?