A programming language for thinking, instead of shipping software. | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		joshmarinacci on Jan 14, 2021 \| parent \| context \| favorite \| on: Ask HN: What are you working on? A programming language for thinking, instead of shipping software.

julvo on Jan 14, 2021 [–]

Sounds intriguing. What would be the primitives of such a language? Will it be similar to a formal system?

Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact