Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
UltraSane
on Sept 8, 2025
|
parent
|
context
|
favorite
| on:
Forty-Four Esolangs: The Art of Esoteric Code
I would add an SMT solver like Z3. It can solve problems when they are translated into first order logic.
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
