Welp, the extent of my yak shaving is exposed again! 😅
Quote Tweet
@brendanzab Hey man, some lit stuff here: voyager3.tumblr.com/archive
Surprised and glad to find someone into game dev jamming on type theory and PLT!
3
3
Conversation
Still trying to figure out how to be able to work on programming languages and graphics at the same time… it keeps wanting to work on programming language stuff right now… it's just so easy to keep chipping away at the PL work…
2
1
2
I wouldn't say I'm super accomplished at PL stuff - I have tons to learn, but it's hard now to switch my focus to something wildly different, like drawing lines and cubes. I'm just really familiar with parts of the PL workflow now.
2
2
Make a bidirectional editor between the topos and types so you can draw and code in one env: ncatlab.org/nlab/show/topo
1
1
3
Yeah I definitely want to figure out how to make voyager kind of like world building/coding environment. Have some ideas other inspiration here github.com/pikelet-lang/p
2
3
I think I need to work up from some smaller experiments and prototypes though.
Like, maybe recreate voyager3.tumblr.com/post/122649754, but with some sort of rudimentary, bespoke, bidirectional language thingo.
1
Ooh this is nice! I have two ideas on this.
1/ Turn it into machine computation thing like: youtube.com/watch?v=KVvXv1
2/ Turn it into Combinatory Calculus lego building thing. Dropping a building block on a “site” will recreate that block on corresponding site maps.
1
Show replies
Replying to
Yeah, this is a rich uncharted niche I feel. Makes it tough and rewarding at the same time. Small probing steps are likely a good way to proceed in this space.
1
Also good for the confidence too. Rather than trying something huge and making little progress in years. Like, in actuality the smaller experiments are still parts of that greater whole.
1
1
Show replies