Glad you liked Slay the Spire, it was so successful that I feel a lot of new indi games just try to copy it. I think it's the level of balance and refinement that makes it as good. |
|
You should give team fight tactics a try! |
|
I am not convinced by your proof that "generalized kerning" (which i understand to mean arbititrary finite kerning + arbititrary finite ligatures) is undecideable.
I followed your proof but i would not describe it as "generalized kerning" but as "generalized kerning with substring acceptance".
I suspect your substring extension is necessary to proof undecidedability because "generalized kerning" (without substring acceptance) is decideable. You observation that generalized kerning can implement a turing machines is correct. I suspect that "generalized kerning" (without substring acceptance) is bounded in a similar manner to how tape bounded turing machine are bounded (and decideable).
I think all ligatures and kerning examples you presented were "local enough" and seem to require less then what a context-sensitive rewriting system would offer. Which are decideable as off (2020) https://verify.rwth-aachen.de/giesl/papers/GieslMiddeldorp-distribute.pdf . I think the ability to hide an arbitrary amount of steps allows you to escape bounds of the world of linear bounded turing machine.
You would need a description of the rules of generalized kerning to get a more detailed answer. |
|
I've had trouble with MSYS2 when compiling both POSIX and Windows programs. Or rather, one program, PForth -- Phil Burke's Portable Forth -- with separate POSIX and Win32 IO code. Compiling the POSIX code, the MSYS2 compiler errored out on some printf syntax. Compiling the Windows code failed due to a missing header. I ended up using a different MINGW distribution designed for compiling Windows programs with llvm. It lacks a shell and commands such as rm which makefiles need, so I use it by prepending it to my path in MSYS2. There are many MINGW distros; perhaps you can find one with a compiler which suits you and perhaps run it with MSYS2 as I do. I can't remember what mine is called beyond the dirname, llvm-mingw-20220906-msvcrt-x86_64 and I'm too lazy to upgrade it. |
|
Thanks guys. I love that they built WSL, but it's probably not for me since I also want to be able to make native code that works on other people's computers (for example, our destroyfx.org plugins, which are DLLs). I could just give up and use MSVC for those, and for native game development (which I don't do that much these days anyway), but 25 years ago MSVC would crash when I used C++ templates a little too hard and I never forgave it. The "cross-compilation" is actually great for me, except when I'm trying to use someone else's software that wants like "libxml2" and that doesn't have packages for windows.
I do use virtualbox to run Ubuntu and frequently have that up for development tasks that work better on Linux. That's a pretty good setup, especially since it makes it easy to do some sandboxed experiments without worrying about messing up my "real" computer, and it's easy to reason about what's happening. I had been using it recently for whenever I needed AddressSanitizer help on a head-scratcher, which was part of the impetus to try to get that working on windows. |
|
There is definitely a SIGBOVIK opportunity for Chat GUID Partition Table. |
|
I can second WSL as a good "I just want a ding-dang C++ compiler on my windows PC". Especially now with WSL2 having an x11 compatibility layer so you see plots and visualizations.
But having been in the same boat, I'd just bite the bullet and dual bit with a Linux distro. In the long run it has ended up as less headache than wrestling with all the little nuances of these tools on windows |
|
Have you experimented with WSL? I found it to be a really great way of doing Linux on Windows, but I imagine you have some very weird and specific needs that "run it in a VM that happens to be well-integrated into the OS" doesn't satisfy. |
|
That's great! It is fun to write books and a great honor when someone reads your books :) |
|
I haven't played it! But it looks interesting and I just added it to my wishlist. Thank you for the recommendation :) |
|
|
|
sounds like your ladder has an attitude problem |
|
hopefully those pdf renderers out there can display your pdf files. i think that would be too easy, though. |
|
wonderful stuff :) happy Yule |
|
I had a fun time reading the book, it was strange and demented, and thoroughly fun. It reminded me that books don't have to make sense, which has inspired me to write my own, of a similar format. |
|
I just remembered your novels when talking to my girlfriend about some surrealist-adjacent books the other day--getting the hardcopies right now. (By the way, looks like the Lulu links may be broken, but the books still show up when you search for them.)
I'm always inspired discovering your various projects--they tend to make me wish I had whatever job you have so that I could have the free time to be as creative as you...but apparently now I have no excuse because I just realized we are coworkers.
Thanks for sharing your enthusiasm with technology/arts/more with all of us! I have to agree with the above immortal words of Anthony Michael: truly "ROBIN WILLIAMS GENIUS" stuff. |
|
Tom, have you played the abstract puzzle game Insight yet? That one is long, so don't start it right before some important deadline like I would do.
|
|
I wholeheartedly agree with your opinion on spoken dialog, and I also love the way games like Zelda do it, where every character has a few different noises for speaking, surprise, sadness, etc. but doesn't speak in sentences or even words. |
|
I 100%ed Golf Peaks right after posting this. But I would've had -1,000 points if I tried to finish it before posting! |
|
Man, I only got two more quarters?? |
|
Thanks for the recommendation! My anagrammic friend Jason told me about Squishcraft, by the same guy. I couldn't handle the hyperugly aesthetic of that one, but this one is approachable. I'm impressed with the programming that must have gone into this, especially for a game jam! |
|
|
|
Hey all, Tom 8 here. I'm happy to announce that the years of development effort spent creating a new and improved version of everyone's favorite Tom have been a resounding success. I'm really excited to be here, and can't wait to start engaging with all you "Tom-heads" out there in meaningful and interesting ways.
This has been the most expensive Tom development cycle to date - between research, prototyping, and all-time high human costs, the folks over at the lab have been able to create the first truly convincing humanoid Tom! The guys back at the lab have been calling me a sort of "chimerical aberration" between Tom and Man. They're a real riot!
With Tom 8, we've packed even more of what you love about Tom, into Tom! Through a series of intense focus group sessions, we've identified the parts of Tom you just can't seem to live without, and we've boiled it down to three core competencies:
1. On-demand explanations of how Turing Machines work
2. Whimsy
3. Inexorable conquest of the heartland
Tom 8 delivers on these categories in spades! And don't worry -- we haven't forgotten to throw in a dash of that classic Tom wit! Besides turning the dial up to 11 on your favorite parts of Tom, we've also listened to community feedback, and toned down some of the pain points, including:
1. Veiled references to 20-year-old flash websites
2. Eternal incarceration to the mortal coil
3. Bald
You guessed it, Tom 8 comes with a full head of hair! How's that for a killer feature?
On a more reverent note, innovation means big changes, and that means out with the old and in with the new. The rumor mill was right - Tom 8 will not be backwards compatible with Tom 7. We expect to phase Tom 7 out by Q2 '24. This was a tough decision, and we know this will come as a shock to long term Tom-heads. We plan to support the current Tom 7 API until Q2 '24, and have prepared extensive migration docs as well a robust TDK for application developers.
We're so excited to present Tom 8 to the world, and I couldn't be happier to be here with you all. The engineers expect to "release" me by EOY, but it doesn't stop there! Tom 8 will be the first Tom to receive true OTA updates, and we have some exciting stuff lined up for the coming year, including:
1. Finally being able to explain what a "Lambda Calculus" is
2. Omnipresence
3. UTF-8 support*
Big stuff on the way! And before we go, for the real Tom fans out there, we've got one last piece of "Tom Tech" on the horizon - by FY '25, we expect Tom 8 to be fully incorporeal. Until next time,
- Tom 8
* Supplementary and Tertiary Ideographic Planes only |
|
Hi real Tom 7 (presumably), I send Rutgers to my music friend and they called it "so silly" in the most sincere way possible. I should perhaps not be surprised how much I love it. |
|
PortalSnake "https://bcat112a.itch.io/portalsnake" is a short puzzle game developed in a limited time, and it's one that you Tom should probably play. |
|