Remix clone Hacker News
new
|
show
|
ask
|
jobs
Github
user:
j-o-m
created:
2025-12-24
karma:
4
about:
non-full time developer, Type Theory and Programming Language enjoy-er, developer of Multi-Modal, Dependently Typed language developer
submissions
comments
favorites
