It’s very counter intuitive. As the other commenter suggested I was referring to Gödel and his incompleteness theorem.
Actually if the system you made up doesn’t work it would be possible to prove that it does inside that system as you can prove anything inside a system that doesn’t work.
That is why my comment is not entirely accurate it should actually be: Until you prove that if the system works you can’t prove that the system works.
Nobody is practically concerned with the “incompleteness” aspect of Gödel’s theorems. The unprovable statements are so pathological/contrived that it doesn’t appear to suggest any practical statement might be unprovable. Consistency is obviously more important. Sufficiently weak systems may also not be limited by the incompleteness theorems, i.e. they can be proved both complete and consistent.
Oh, what if the Riemann hypothesis is such a statement then? Or any other mathematical statement. We may not have any use for them now, but as with all things math, they are sometimes useful somewhere unexpected.
Math is also used to make a statement/model our universe. And we are still trying to find the theory to unify quantum mechanics and gravity. What if our math is simply inconsistent hence the theory of everything is not possible within the current mathematical framework?
Sure when you are solving the problems it is useless to ponder about it, but it serves as a reminder to also search for other ideas and not outright dismiss any strange new concept for a mathematical system. Or more generally, any logical system that follows a set of axioms. Just look at the history of mathematics itself. How many years before people start to accept that yes imaginary numbers are a thing.
Dunno what you’re trying to say. Yes, if ZFC is inconsistent it would be an issue, but in the unlikely event this is discovered, it would be overwhelmingly probable that a similar set of axioms could be used in a way which is transparent to the vast majority of mathematics. Incompleteness is more likely and less of an issue.
Just explaining that the limitations of Gödel’s theorems are mostly formal in nature. If they are applicable, the more likely case of incompleteness (as opposed to inconsistency) is not really a problem.
You just reminded me of having to prove that math signs work and do what they do from basic axioms to integers and rational numbers using logical proofs… Damn that was interesting but SO tedious…
Well, at that level I think it’s more to show you know how to prove it. You’re working under the assumption the axioms of the system you’ve been told work.
just like our sponsor - nordvpn™️. I use nordvpn™️ to protect against hackers when using public wifi - and now you can too with the code ‘myballs’ - get 99% off a one year subscription to nordvpn™️ today
Wow that’s so Narwhal Bacon, I heard about NordVPN while watching my daily Skibidi Raid Shadow Legends content while eating my World of Tanks themed Factor meal with extra soy while trying to ignore my dad beating my mom after his BetterHelp appointment
Oh man flying to planets manually is TOUGH, the physics engine is just realistic enough that doing it manually takes more skill than I care to develop.
Just use the autopilot. Yes, you have to be careful about not starting it when there’s something else between you and your destination. But for real, use the autopilot.
Mind you, you are still going to die a lot because the universe is as amazing as it is unforgiving. You WILL die in that one specific way that will be your own damn fault because everyone does sooner or later. It’s okay, and it’s fun.
It’s very important to be precise. Depending what country you’re in, there could be full professors, assistant professors, associate professors, instructors, and other positions. Some of those positions might be well paid, but it’s a safe bet that some of the others are not. So if you’re looking at one full professor’s salary and thinking that most other people with the word professor in their name make the same salary, depending what country you live in, you would be mistaken.
Actually wait a second, that’s true in every country.
also, you’d pretty much have to pay me to go see a film in the theater. i can’t think of something id enjoy less than sitting in an uncomfortable chair for 2 hours to endure other people talking, pulling out their phones, shitty kids making noise, sticky floors, etc… no thanks. it’s 2024, and i don’t have to go to a shitty theater and shell out $50 and sit around several dozen assholes just to watch a movie. I can sit comfortably at home in silence, with food and weed and pee breaks. FOR FREE.
The theaters certainly are not for everyone, but I haven’t experienced your description of a theater in over 5 years. Everywhere I’ve been not has leather recliners and have been generally cleaner. It’s not cheap, but concessions aren’t a requirement and no home theater offers the same viewing between screen and sound like a theater. I think my local place is $15 for the ultra wide, heated leather, Atmos audio screenings. Not something to do all of the time, but the occasional late night watch of an adult rated film is a nice treat sometimes.
Alamo Drafthouse is the one exception because they 1) serve a full menu of food and booze right to your seat 2) don’t allow children 3) and will kick you out if you pull out your phone or make a sound louder than a whisper. But even then, I’m much more comfortable at home, and I haven’t been there in years. During Covid, I set myself up with all of the home theater I would ever need.
I have an Atmos home theater system at home that’s perfectly fine. And I don’t need a screen bigger than my field of vision.
Most theatre’s offer booze and decent food now, I still greatly enjoy going to the movies. I watch a lot of content at home through my media server but it’s a treat to see things on the big screen
I’m with the other guy. The movie going experience was awful for a long time until I just stopped going. If they’ve made changes, they’ve made them too late for many people, especially when they are charging $20+ in my area. Additionally, regardless of what changes they’ve made to the seats, that doesn’t change how shitty other people are. The noise, lights, running around, spilling food/drinks everywhere, etc creates an environment more akin to a wrestling match than a movie.
I haven’t experienced any of that in a very long time. The movie going experience has shifted significantly over the past decade. Again, it’s not for everyone and some don’t find the entertainment worth the cost, which is fine. I’m just trying to point out that the stereotypical they’re experience isn’t what it used to be. Some people go and spend hundreds at casinos for fun, I’ll occasionally drop a couple of tenners to watch a good movie it the format it was designed to be viewed in. That’s maybe once or twice a year.
Tons. There’s an entire roguelike genre built around this; some of my favorites are Vagante and Streets of Rogue. There are games with procedurally generated worlds like Terraria, RimWorld, Dwarf Fortress, and Factorio. There are RPGs like Baldur’s Gate 3 that have so many ways to spec your characters and so many permutations of how events could unfold based on what you did that you’re unlikely to see them all.
I didn’t personally care for it, but I know I’m in the minority. In fact, one of the reasons I didn’t care for it is because it felt far less replayable than many of its peers. Even Zagreus will call out “the butterfly room”, because there are so few permutations to see.
Lmao I love Hades but this is such a sick burn, I’m stealing it for next time someone tries to convince me some shlocky k-drama is peak kino.
I do hope Hades 2 ups the variability of the encounters more, you’re absolutely right about endgame being a bit weak for a roguelike, even with the different weapons.
If you don’t mind his particular style, the SsethTzeentach video is what convinced me to give it a fair shake. The in-game tutorial and tooltips are pretty good though, and will get you started. Overtime you’ll discover more and more systems. Oh and just so you know, the demo is the full game, but a version behind.
All of these are classic roguelikes, a genre of games which frequently aren’t much to look at. The tradeoff for the looks is that they offer vast depth and complexity… and (usually) permadeath and a learning curve that’s more of a cliff. I recommend watching some yt videos about any roguelike you want to learn more about, just so a fan can explain the appeal and show off all the basics.
That said:
Caves of Qud - actually one of the prettier classic roguelikes, if you can belive it. You’re a traveller in a strange and unique world of vast salt deserts, jungles, and the titular caves. There is a ton of flavorful, semi-randomly generated history (especially the ever-important tales of the sultans) and cultures, so every run feels different. There is technically a main plot, but you can just ignore it and go exploring - it’s a sandbox experience. The best parts, to me, are the aforementioned flavour, the tactical combat (that can get incredibly chaotic, with screen-warping effects going off every turn), the build diversity, and delving too greedily and too deeply into the caves.
Cogmind - haven’t played this one, but it’s on a list. You’re a robot. You’re building yourself from parts as you go, fighting other robots and stealing their parts.
CDDA - one of my faves, but definitely not something I’d recommend as an intro to this genre. You’re a survivor in a zombie apocalypse. Go do things and don’t get bitten. It’s a sandbox - survive as long as you can, achieve a self-set goal. The distinguishing feature of CDDA is how realistic it tries to be - crafting is very complex, you need to track your thirst, nutrition, and sleep, you can easily get sick or get your arm broken, the zombies can track you by sight, noise, and lingering scent… My favourite part is surviving long enough to build elaborate apocalypse death mobiles, Mad Max style.
Traditional roguelikes may frequently pair with bad graphics, but it’s not a requirement. There are games like Tangledeep and Jupiter Hell, for instance. But thanks, these sound interesting.
If you want a bit better graphics I’d recommend you check out Tales of Maj’Eyal (ToME for short). It is on steam but the game is open-source and can be downloaded for free on its website.
If I had to choose a single game to play for the rest of time, it would be Dwarf Fortress. There’s just so much variety in its world generation and how the game can be played that if I was limited to just that one game, I would still have things to do.
And the awesome part of DF is that each time you start over (on the same world) you just add more to its history and the story continues. Losing is definitely fun when keeping that in mind.
Moreso, the fridge will stop working in two years cause that is when their subscription cloud service to access your fridge will be updated with firmware that is no longer compatible.
Hi! Universal Blue co-maintainer here, here’s the TLDR. You’ve got the basic descriptions right, “Universal Blue” is mostly the parent organization that holds everything in github.
We take Fedora’s Atomic OCI images and customize them for different use cases (Aurora, Bazzite, and Bluefin) and then publish base images so people can make their own versions of whatever they want. So if you wanted to take Silverblue, Kinoite, and make your own custom image you can mostly just grab whatever you want and shove it into an OS image. Bluefin started off as a “fix me” script for Silverblue that added all the stuff I wanted and then once I was shown what Fedora wanted to do with it the natural progression was to just make it a custom image. We just released 3.0 a few minutes ago actually!
Basically in Fedora 41 the tech will become more widely available with official OCI base images and better tooling. We just decided to start way earlier in the process so we could get all the automation out of the way, build a community, get familiar with it, etc. Happy to answer any other questions you may have!
Does ublue have any plans to do variants of Fedora IoT? CoreOS seems more targeted for cloud than home servers. The ignition file is a benefit if you want to spin up hundreds of servers but a bit of a hindrance if you just starting out at home with a machine or two.
If they are just installing to a single machine and don’t need drivers or kernel mods I’d suggest IoT over bothering with anything CoreOS.
We probably won’t (we’re not looking to grow that much anymore), but I think someone should definitely take either portainer or the proxmox stack and just slap it on top a CoreOS image with a user friendly installer and make a killer SMB server.
Thanks ! Is there a file/site to see the difference between silver blue and bluefin ? Are they using same repositories ? Or bluefin add rpm fusion for example ?
Here’s the repo: github.com/ublue-os/bluefin and the intro doc outlines some of the features. We include all the codecs from rpmfusion and use negativo17 for the nvidia drivers.
So what's the reason to go to a mall? Crappy food court food?
The last dozen or so times I've been to a mall, the only thing I've spent money on was food. It's hard to justify spending money at the mall when I know I can get just about anything there from an online retailer for a lot cheaper. But I can't get an Orange Julius online. Yet.
There’s a fuckin delicious Asian place in my local mall that has the best teriyaki chicken and fried rice I’ve ever had. That and Charley’s lemonade are a couple of the only reasons I go to my mall.
Out of curiosity; where are your grocery stores, pharmacies and post offices? Because here in Australia, most of them are in shopping centres (Aussie for ‘mall’). The vast majority of us go to do our weekly shop, grab medication, send back returns from our online shopping etc. so they’re still very much alive and well.
In America, there’s like 3 different things you could call a mall. When most people talk about them, it means a giant building with central indoor paths connecting a bunch of businesses. Typically, there would be a handful of “anchor” businesses, like department stores and a movie theater, and then space for a bunch of much smaller businesses in between including restaurants. These malls (at least the ones I’ve been to) for whatever reason don’t typically have grocery stores. I have seen pharmacies and small Dr’s offices in them.
Then there are “strip malls” that are typically a row of businesses on one side or surrounding a big parking lot. Typically grocery stores are in those.
Lastly, there’s “outlet malls”, which are often set up like a fake town with parking distributed throughout. They are commonly built on cheap land in the outskirts of towns, and they have mostly clothing. They are typically brand specific stores (e.g., Nike), so they are allegedly cheaper.
It’s that first category that Americans are going to be talking about if they just refer to a “mall”, though. The idea to have all your shops in a convenient place has been around forever, and still works great in many traditional business districts. The “shopping mall”, though, was somewhat of an artificial movement in the 80’s and 90’s that was always a bit destined to fail. Like people have said, the internet is partially responsible, but malls were hurting before the internet started really doing damage. In America, you basically have to drive everywhere, and if you are driving everywhere, it’s easiest to just drive directly to whatever shop you need. With malls, you have to park far out in a giant lot, and walk a long way to get to whatever business. You could call it lazy, but if you’ve only got a little bit of time after a day of work to do shopping, are you going to do the option where you get the task done in 30 minutes, or an hour?
Such an interesting perspective, thanks for your contribution! I guess our ‘shopping centres’ are essentially the first condition you’ve described that also have grocery stores attached, and it’s likely the grocery store (in Australia this basically means one of 3-4 companies) that are keeping these structures going in the modern age. Our shopping centres tend to be built ‘up’ rather than ‘out’, with 3-5 storey shopping centres (with up to 7 storey parking lots) being fairly common within city limits that are closely accessible to more than 50% of the population.
That being said though, I live fairly equidistant between two of the largest shopping centres in Sydney and still choose to go to my local, smaller, single-storey shopping centre which is very small by Australian standards (<40 stores) which feels much more like a ‘mall’.
Do you guys have a lot of standalone grocery stores that you can drive right up to, park, shop and leave? Because that’s definitely the minority here!
We definitely get most of our groceries from standalone grocery stores. For the most part, you drive right to it.
I just looked at some Sydney shopping centres, and they look much like our malls on the inside (except for groceries), but it seems like they are much more integrated in the neighborhoods. It looks like parking garages are more popular there than the giant lots here.
I just looked at the dead mall wikipedia page, and it has a picture of the century 3 mall. That’s a good example of what they look like here; separate from where people live, and surrounded by big lots. You can actually see the strip malls that replaced it all around it.
The problem has been the large anchor stores are going out of business and the stores that remain struggle to survive.
The kind of mall you describe, Americans call “strip malls” and are much smaller and open to the elements. A grocery store, maybe a bank, fast food, not an official post office, but a pack and ship location, sometimes a DMV. That kind of thing.
Strip malls also struggle, there’s one by my house where the big grocery store just closed leaving it maybe 50% vacant.
We also have stand alone grocery stores that aren’t part of strip malls that collect other small stores around it like mini-moons. Barbershops, laundromats, liquor stores.
As long as the grocery store operates, everyone does fine.
Edit Almost forgot… “Big Box Complexes”. Not really malls, just large block stores sharing a common parking lot. So like a Target, Home Depot, Best Buy, all stand alone stores with shared parking.
Right, there’s got to be a good reason to go to the mall. The successful malls still draw crowds because they have more than just stores and a movie theater.
Paradoxically, I would still go to movies if they were willing to kick people out for using their phone once during the film. There’s only one theater in my area that’s strict like that.
I’m picturing Daffy Duck and Bugs Bunny swapping hunting signs on a tree… “Linux season!” “GNU season!”, back and forth. The rest of us just watching like Elmer Fud.
How do we rewild academia? Like I feel like this sounds like me being a JAQ off, but like, actually. I want academia to be rewilded. I don’t know how to do that. I want to talk to someone about how to do that
I don’t understand the fear of digitization here. I understand that many of the tools are pretty crap at the moment, but I very much disagree with villainizing digital systems in general.
kbin.life
Top