But there are many more claims one can make which ARE unprovable, and since compound claims are unprovable if any elementary claim is, one can always construct an unprovable claim for each provable claim, and thus there are more unprovable claims.
2/2
That is provable, by the definition of evens as n=2k and odds as n=2k+1, for integer k, and because 1+1=2.
1/2
@sector035.bsky.social
Near as I can tell, the photo was taken at 36°26'45.4"N 32°08'48.4"E
Steps:
1. Yandex to identify the building in the background
2. Waste time poring over blurry satellite images
3. OSM to find the zigzag in the path
4. Confirm the path on Google Maps
Did I get it right?
We're in Syedra, Turkey, looking down at the Utopia World Hotel.
I'm trying to figure out part of the mountain this photo was taken from.
The "Use External Apps" discord channel permission. The description reads: "Allows apps that members have added to their account to post messages in this channel. When disabled, the messages will be private."
As it's a user bot, you also cannot ban it from servers, though you may be able to personally block it.
You may be able to disable external applications for a channel, though I'm not sure how 'external' it is, given that it is in the default 'promoted' list.
A discord permissions screen to authorize the DomoAI user bot for my account. (Of course, I clicked cancel)
As far as I can tell, it is not actually installed in servers - it's in the default list of user apps, but even then it isn't installed in your account by default, you would have to give it permissions (don't)
Very obnoxious that it's pushed, but not dangerous.
Was using linear mode, so my above reply turns out to be redundant. Anyways,
couldn't this still lead to illegal imports on the server?
Generally I'd put the if-protected code in a separate client-only class, then make a construction like this gist:
gist.github.com/techno-sam/4...
Once you've determined you're on the client Physical Side, you can compare `Thread.currentThread().getName()` to `"Render Thread"`
But `isFoil` may also only be called by client code, which may render this all redundant - then you can just annotate your override as client-only
🧵 3/3
Modloaders provide methods to determine Physical Side, examples from SnR below:
Fabric: github.com/Layers-of-Ra...
Forge: github.com/Layers-of-Ra...
On the client Physical Side, `Minecraft.getInstance().level.isClientSide` won't tell you anything, as it will always be true.
🧵 2/n
There's two separate issues here:
Logical Side (Basically [client] Render Thread vs [server] Server Thread)
Physical Side (Whether you've got an integrated server+client from the client jar, or just the standalone server.jar)
🧵 1/2
I'll post real things soon (TM).
In the meantime, here's some MC modding people already doing that:
A still frame from the video above. A snowed-over bike and pedestrian path is seen, with a projector on the lamp post on the right projecting blue-and-white symbols onto the snow, denoting a pedestrian and a cyclist lane.
Nevermind, more likely this pole:
Looks to me like they are being projected by the pole off to the side, visible around the 0:21 mark.
Am I misreading this chart?
Why are the 3000 marks not lining up for the 2-way protected bike lane, B-line w/ dedicated lane, and West Coast Express?
Optimist: the cup is ½ full
Pessimist: the cup is ½ empty
Descartes: I have ½ a thought, so I might be. The cup certainly isn't.
Might I propose flaps?
<nerd>
In accordance with the chaos theory idea of a butterfly's flap causing a tornado across the world, so too can posts on social media occasionally have outsized effects.
<!--</nerd> The nerd cannot be stopped-->
Me too, babygirl.
print("Hello World")
Figured I shouldn't have zero posts.
Coming soon (tm):
Mini devlogs, NACLO, who knows...