Slightly clean up README

Changes

1 changed files (+9/-6)

• README.md
  • @@ -2,6 +2,8 @@ # Proof of False
    2025 April Fool's joke for unnamed.website using Ren'Py + Building: Download the Ren'Py SDK then use your smol brain + **SPOILERS BELOW** ## Drafty stuff
  • @@ -9,8 +11,7 @@
    Basically LD: The Video Game (since I don't want to push back making that any farther) and my proof of false in Dafny and a puzzle game and I also need to make some sort of birthday present for Isaac, so let's kill infinite birds with one stone and do it all in one. Characters: - - LD except this'll be public so maybe I shouldn't use him directly (and replace him with some anime character who happens to be named L*** or something???) Probably should call the LD character L*** or something generic since it can't be too obvious, hmmm maybe we can use the leopard cat statue, or SHL - - Saddam Hussein's LinkedIn: Use her for LD? nah can't spoil her reputation? Actually let's do it + - Saddam Hussein's LinkedIn - Kublai: confused and naive - Fenwick: CS fan https://www.cs.auckland.ac.nz/~peter-f/FTPfiles/2003%20Zeckendorf.pdf - ~~Segtree: also a CS fan~~ too hard to get a good photo
  • @@ -20,13 +21,13 @@ - $350 llama?
    - Ali? - Benq? - So for the LD character, should I use one of my own photos or some generic Ren'Py asset? I think I have more than enough of my own characters to "sacrifice" one to be the ufologist and it's more personalized and less cringe that way. I'll try both and see which one works the best + So for the prof character, should I use one of my own photos or some generic Ren'Py asset? I think I have more than enough of my own characters to "sacrifice" one to be the ufologist and it's more personalized and less cringe that way. I'll try both and see which one works the best Also, I should probably keep the number of characters small to make the story memorable and simple since I think tgbgame was too complicated and the plot wasn't memorable at all - And the LD talk is gonna be totally memified + And the talk is gonna be totally memified - I think the humor of the talk comes from some really smart guy peddling complete conspiracy theories so it needs to start pretty seriously and then devolve into ufology. If LD is some generic anime girl I think the setup wouldn't work as well since she wouldn't have credibility as an "MIT professor" but SHL would work for this role + I think the humor of the talk comes from some really smart guy peddling complete conspiracy theories so it needs to start pretty seriously and then devolve into ufology. If the prof is some generic anime girl I think the setup wouldn't work as well since she wouldn't have credibility as an "MIT professor" but SHL would work for this role Can't have too many characters since it's gonna be confusing to the player. 4 seems like enough. They each need to have very distinctive personalities!
  • @@ -87,6 +88,8 @@ So I think I should just code this up and if it's super cool, then great, otherwise the story can still be fun
    But yeah the puzzles should be "extremely hard" because what's the fun of easy puzzles? + + solution: Memey/troll puzzles wormgate
  • @@ -165,7 +168,7 @@ - Fenwick: a CS fan, the source of reason
    - You!!!!!! - Kublai confused why usual site is down, the Go gopher comes over and says even he's taking the day off to attend a talk by LD about the variational derivation of the wave equation or something cool like that in the Stata bathroom shower (they couldn't book a better venue) except he (or genderswapped/animalswapped) goes on a long tangent about why he's giving this talk and then UFOs!!!! + Kublai confused why usual site is down, the Go gopher comes over and says even he's taking the day off to attend a talk by SHL about the variational derivation of the wave equation or something cool like that in the Stata bathroom shower (they couldn't book a better venue) except she goes on a long tangent about why she's giving this talk and then UFOs!!!! the gopher and Fenwick are a bit skeptical, but Kublai says he has a proof that UFOs exist and then he proves false in Dafny and the game crashes and locks the chars into a weird lethal logic land that they have to escape by solving puzzles