30 ms·
Could you give some examples of where you're using it?
by ralegh 1y ago
Could you give some examples of where you're using it?
- xelxebar 1y agoMy 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 https://github.com/xelxebar/dayaml [1]:https://github.com/Co-dfns/Co-dfns https://github.com/Co-dfns/Co-dfns
- 7thaccount 1y agoA 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.