Hacker News Reader

Could you give some examples of where you're using it?

My YAML loader[0] is where I first broke through the wall. It's still languishing in a relatively proof-of-concept state but does exhibit the basic design principles.

There's also a Metamath verifier that does parallel proof verification on the GPU. It's unpublished right now because the whole thing is just a handful of handwritten code in my notebook at the moment. Hoping to get this out this month, actually.

A DOOM port is bouncing around in my notes as well as a way to explore asynchronous APL.

I'm also helping Aaron Hsu in his APL compiler[1] for stuff adjacent to my professional work, which I can't comment on much, unfortunately.

Et hoc genus omne

[0]:https://github.com/xelxebar/dayaml

[1]:https://github.com/Co-dfns/Co-dfns

A port of Doom in Apl would be something to see. I keep meaning to get more proficient in using the language, but it's hard to prioritize given how challenging it would be to use in my pretty conservative industry.

Reply on news.ycombinator.com