@Soteriologian's banner p

Soteriologian


				

				

				
0 followers   follows 0 users  
joined 2023 June 30 23:52:08 UTC

				

User ID: 2538

Soteriologian


				
				
				

				
0 followers   follows 0 users   joined 2023 June 30 23:52:08 UTC

					

No bio...


					

User ID: 2538

We need to get to the bottom of this. Were there any pedophiles in the pedophile cabal, or was it wholly infiltrated by blackmailers with no authentic dedication to pedophilia at all?

Is there any gold in Fort Knox?

The story is a bit cheesy, and takes itself more seriously than is merited given its quality.

But the battle system is really unusual and really fun. I did two challenge runs with it in the past year: gambits only (no issuing any manual commands during combat) and Vaan solo, both of which were challenging enough to be fun but not so difficult as to be frustrating or infuriating.

"Usability research" is not formal theory. It’s psychology, applied to human-computer interaction. And psychology has one of the worst track records of any field ever.

By formal theory, I mean math you can put into a theorem prover like Coq/Agda/Lean.

I have strong feelings that GUI toolkits have never been done well. All existing solutions are bad, and they’re mostly all bad in the exact same ways.

The root of the problem is smart people want to work on things where they can deliver formal results—and in many areas of software engineering, you can! Databases, type systems, even graphics to a large extent are all backed by substantial formal theory (even if the users of these technologies are largely unaware).

UI, on the other hand, has no backing in formal theory whatsoever. It’s like knot theory in mathematics, or the Collatz conjecture—nobody even knows where to start to make progress in a direction anyone would care about.

It’s hard to do any worse than the results themselves these days, but they pull it off somehow.