Not surprised this is being changed. I wonder how it will be done though. Will the biters spawn on top of the nest, or will there be space between the nest and blocking structures? Or will they teleport to the nearest empty square which could be very far away?
- 4 Posts
- 1.63K Comments
Not sure honestly, I can think of alternatives but I don’t know if they’re better. “Isomorphism of sets” is a fancy way of saying “bijection”, and “unique set up to isomorphism” is the same as “unique cardinal” but as you say it’s better to use terms that everyone knows. It might just be that “unique” being right at the beginning makes it easy to forget. Decoding the description is a fun part of the problem!
I thought that as well for a while so I was waiting for someone to say that! My claim that A is exactly ℵ2 is based on it saying “unique”, meaning there’s only 1 cardinality with the property described, between ℵ0 and A (which must be ℵ1). But I agree the wording is not very clear. The version without uniqueness is still a dilemma, it just means that it’s also possible for A to be larger than B even if CH is false.
I’ll give this a go. The number of people at A is ℵ2 and at B is 2ℵ0. If the continuum hypothesis is true then there are ℵ1 people at B so A has more people, if it is false then either there are more at B or there could be equally many at A and B (if the star axiom is true).
Either way infinitely many people are dying so it’s a sad story.
This is funny but it’s a very unfair comparison. That neighbourhood is fully abandoned with exactly 0 residents, and you know it would probably be shit even if it was finished as planned. The fediverse has at least some real people and is actually a fun place.
Amazing how someone, somehow, is still finding bugs in this game and they’re all getting fixed. I don’t think I’ve ever seen one
Wait, does this mean that they are both eating normal biscuits and not the big sweet doughy things?
ns1@feddit.ukto Fediverse@lemmy.world•New Objective Unlocked: Convince an astronaut to use the Fediverse from spaceEnglish9·9 days agoSure. The SETI account is https://mastodon.social/@setiinstitute
This looks like it might have been the NASA account, but I can’t verify whether it was official: https://mstdn.social/@NASA (The unofficial one that is active and more popular is https://social.beachcom.org/@nasa)
Some people working in space, e.g. astronomers and astrophysicists. There are many more, these are just some examples
- https://scicomm.xyz/@KellyLepo
- https://mastodon.social/@sundogplanets
- https://mastodon.social/@markmccaughrean
- https://mastodon.social/@AstroHyde
- https://mastodon.online/@elizabethtasker
- https://mastodon.social/@mcnees
- https://mastodon.social/@badastro
- https://mastodon.online/@michael_w_busch
- https://mastodon.online/@astro_jcm
- https://mastodon.social/@pomarede
- https://tech.lgbt/@planetarypan
- https://scicomm.xyz/@JohnBarentine
- https://scicomm.xyz/@drcaro
- https://mastodon.social/@planet4589
These people appear to be current or former nasa employees:
- https://masto.ai/@astroptere
- https://xoxo.zone/@arielwaldman
- https://mastodon.online/@Physicsj
- https://deepspace.social/@kevinmgill
- https://mastodon.online/@astrobiolena
- https://mapstodon.space/@mapperwocky
And here are some other space-related organisations:
- https://scicomm.xyz/@sjastronomy
- https://social.numerique.gouv.fr/@irap
- https://fediscience.org/@OJ_Astro
- https://mastodon.social/@ec_euclid
- https://mastodon.social/@esoastronomy
- https://vmst.io/@WestportObservatory
- https://mastodon.online/@StellaLunaObs
- https://observatory.social/@BGO
This is just what I found looking around, I think it shows there’s a strong space community on the fediverse.
ns1@feddit.ukto Fediverse@lemmy.world•New Objective Unlocked: Convince an astronaut to use the Fediverse from spaceEnglish17·10 days agoThis might be more achievable than it sounds: there is quite a bit of space content on Mastodon already. Seti have an official account along with several astronomers, observatories and astrophysicists. Nasa possibly used to have an official account that has gone inactive. I can’t see any astronauts there at the moment but that could easily change
ns1@feddit.ukto Lemmy Shitpost@lemmy.world•The obvious criticism of Newton that everyone avoidsEnglish11·11 days agoOff topic but anyone looking for serious criticism of Newton only has to read about his time at the Royal Mint sending counterfeiters to face the death penalty: https://www.londonmintoffice.org/about-us/2-uncategorised/184-mud-and-madness-2
ns1@feddit.ukto United Kingdom@feddit.uk•Tesco sorry for putting up Welsh bilingual signs in CornwallEnglish2·11 days agoI enjoyed this video, it’s funny because the Cornish accent is the same in Cornish as it is in English
ns1@feddit.ukto Technology@lemmy.world•CEO of Palantir Says AI Means You’ll Have to Work With Your Hands Like a PeasantEnglish6·12 days agoIt would be interesting to know where your friend works and what kind of application it’s on, because your comment is the first time I’ve ever heard of this level of automation. Not saying it can’t be done, just skeptical of how well it would work in practice.
ns1@feddit.ukto Opensource@programming.dev•I built a custom Vulkan engine to fix single-threaded rendering bottlenecks (C + C#)English3·12 days agoThis sounds very cool! Can we see what you’ve made?
ns1@feddit.ukto United Kingdom@feddit.uk•The lithium boom: could a disused quarry bring riches to Cornwall?English2·12 days agoIf it creates some jobs then that’s good regardless, but of course you’re still right and I saw in the article the quote from the local MP was along the same lines:
“Mining is more capital intensive than it used to be, and not as labour intensive. Part of the challenge is sharing the prosperity”
Personally I really hope this takes off as it could be great for Cornwall. The big challenge will be whether it can compete with international markets if it gets to that point.
ns1@feddit.ukto United Kingdom@feddit.uk•Green Party leader Zack Polanski has defiant response as Katie Hopkins attempts to throw shadeEnglish3·12 days agoThe Hopkins tweet is somehow way worse than I expected, and I already knew how awful she is. No joke, no argument, just literally listing minorities and reacting with disgust. I don’t know how anyone can stand her.
ns1@feddit.ukto UK Politics@feddit.uk•Peter Mandelson Should Be Stripped of His PeerageEnglish1·13 days ago…and he’s resigned. Good that he’s gone quickly but hope it doesn’t detract from the police investigation.
ns1@feddit.ukto UK Politics@feddit.uk•Peter Mandelson Should Be Stripped of His PeerageEnglish1·14 days agoNot sure what kind of trial you’re referring to, the bbc is saying that either the Lords could vote him out or he could be removed with new legislation which apparently is difficult. Starmer has already said he should go, seems like there is at least some chance it will happen.
That’s one advantage a spidertron army has over artillery, better for the environment
The bit with the fully upgraded tank going top speed and plowing through biter nests made me laugh, it’s not a strategy I’ve tried myself. It’s even better when you realise the tank can go that fast because of all the extra legs that have been added to it.