crux
- Karma
- 0
- Created
- ()
- Submissions
- 0
- Show HN: Pantagruel, an Accessible Specification Language (pantagruel-language.com)
Hi HN! Seven years ago I posted the very first version of PANTAGRUEL (my phone has started autocorrecting to all-caps; I have no idea why but I like it), a “lightweight formal methods” language. Since then it’s gone…
- Stolze-Smith Shorthand (stolze-smith.com)
- Two Bites of Data Science in K (blog.zdsmith.com)
- Tacit Talk 5: Combinatory Programming with Zach Smith (tacittalk.com)
- Smith Shorthand (blog.zdsmith.com)
- A Combinatory Rosetta Stone (blog.zdsmith.com)
- An Algebraic Sketch of Poetic Form (blog.zdsmith.com)
- On Culture-Games (blog.zdsmith.com)
- On Culture-Games (blog.zdsmith.com)
- Show HN: J in Janet (git.sr.ht)
- A static site generator written in Janet (bagatto.co)
- Pantagruel: An Extremely Lightweight Specification Language (pantagruel-language.com)
- Multiocular O (en.wikipedia.org)
- Algorithms I'm Proud Of: Fill (blog.zdsmith.com)
- A Regular Simplification of Offenbacher Schrift (blog.zdsmith.com)
- Rules of Card Games: Hungarian Tarokk (pagat.com)
- A Curriculum of of Phonetic Current Shorthand (blog.zdsmith.com)
- A Curriculum of Vira (blog.zdsmith.com)
- Three Shorthands (blog.zdsmith.com)
- Compile-Time Sort in Nim (blog.zdsmith.com)
- Nim for Python Programmers (blog.zdsmith.com)
- The Dark Path, Or, What If I Don't Want to Quit My Job? (blog.zdsmith.com)