Out of curiosity, what are use cases/applications of this?
So what I know is that this generates images via browser rather than server. The only thing I can think of is not having to refresh the page in order to change an image or generate a new image. Which... hmm, well, that could mean websites whose visual design changes in real-time? And maybe changes in a way that would be functionally relevant/useful? That does seem pretty cool, although I'm not sure how useful Stable Diffusion is for generating UI components/visual aspects of a site.
Any hardware! As long as that hardware is overpowered for the job, so that the browser overhead is acceptable. Oh and it needs internet. Oh and it needs a reasonably large screen because padding and margins. Oh and it needs quite a bit of RAM to start. Maybe not any hardware.
Silicon Valley is just straight up wrong apparently. What a blanket-ass statement. How about a little more resolution in that statement so my mind doesn't fog trying to parse it.
If someone has been massively successful, that means they know how to be successful. It must be the case they have something of value to say. How can you make the argument they have nothing of value to say?
First, I would argue that your statement is not true that successful people always or even generally or on the average know how to be successful. But even if it is true, because they are good at one thing (starting businesses) does not mean they have anything valuable to say, or that they can say it in a way that transfers value to others, or that they are good at anything else, really.
Anyway, you're attacking a premise I didn't put forward - I didn't say his advice was not valuable, I said I feel that way when presented with articles like these by wildly successful people.
Simple. Survivorship bias. HBS and other business journals have done many studies where they look at the key attributes of a successful entrepreneur and it's always the usual stuff like: hard work, persistence, willingness to take risks, etc. The problem is that if you surveyed the key attributes of UNsuccessful entrepreneurs you'd find the exact same attributes.
If somebody has been massively successful from nothing multiple times, it means they probably know how to be successful. If somebody has been massively successful once, it means there is a definite possibility that they know how to be successful, and also a definite possibility that they had connections and/or luck.
You’re getting downvoted because it’s almost always parents and their friends.
Pull like any tech big shot at random, their parents are rich and bought some part of their success. Gates’ folks had an IBM mainframe installed in his fucking high school.
Oh myGod, this kid Bill Gates is way ahead of the curve on computers.
So, as someone who is curious but have no idea of the theoretical background here.. what should I learn in order to help me understand the code + use this language in a basic way? I think the idea of being able to construct proofs is pretty cool but I'm pretty lost here.
If you want to learn more about the basics of theorem proving through dependent types, Wadler’s Agda tutorial at https://plfa.github.io would be a good starting point
consciousness = meta-attention
reply