Skip to main content

Posts

Showing posts from April, 2022

Thoughts on proof assistants

I've been long sarcastic about claims on AGI(Artificial General Intelligence). Especially on the point that humans will be someday outperformed by them in every task, will have nothing left to do, and the meaning of their lives would be destroyed permanently(Okay, you might think that this is ridiculous already, but there are some singularists actually push this scenario). Out of many reasons to maintain such an opposition, at least one argument seems clear: we humans disagree on being 'better' in general. What is a better painting? Or better music? Or better writing or research paper? As each of us humans has different and mutually exclusive answers to those questions, it seems ridiculous to me for an AGI to produce works that magically appease everyone's preferences. There surely are counterarguments against my opinion, but this writing isn't about AGI after all, so we'll move on. My point is, on a specific task that we could measure and compare the performanc...

Serialization and Structure

The role of serialization in "Capsule" is notable. The whole codebase is mostly about reading serialized file and printing appropriate dialogue. The game utilizes Kotline serialization plugin to read and write JSON files. It allows direct conversion between JSON format strings and instances of static type.  One thing that "Capsule" differs from other games with dialogues is that it actually has discrete dialogue objects that could be moved and inspected by the player. I named it 'piece'. Piece object does not contain actual dialogue scripts; instead, it contains keys that point to scripts, and tags that contain mutable data. Separate JSON file specifies relations between script keys, like questions and replys.