Wyatt White
A
Ahh yes, this scripting for a quick cutscene is totally comprehensible. . .

#gamedev #retrofps #indiedev
02:29 PM - Jul 22, 2023
Avatar Avatar
0
2
2
Art Yerkes
A
Great talk by joey eremondi on ways dependent typing can be done gradually.

https://www.youtube.com/wa...
On The Design of a Gradual Dependently Typed Language for Programming (Joey Eremondi) - YouTube

I describe a design for gradual dependent types, a system by which dependently typed programs can be run when missing parts of types, proofs, or programs. Th...

11:22 AM - Jul 26, 2023
0
0
0
Zayne Black
A
Gotta make some friends here!

Hello. This is a videogame I made. It's on Steam (it's actually on sale right now).

https://store.steampowered...

#gamedev #IndieGames #imdiegamedev
02:26 PM - Jul 01, 2023
Avatar Avatar Avatar
0
0
5
Art Yerkes
A
Gonna try spreading out social media a bit. Each seems to have a different vibe.
01:55 PM - May 04, 2023
0
0
0
loading...
{{ notificationModalContent }} {{ promptModalMessage }}