robryk @robryk@qoto.org
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
not a subpost, but a musing
I think this is an area where lack of shared knowledge can bite. If one thinks that others are not sad about the same state, one can for example assume others don't find it sad, think that they're different, and feel more lonely, or one can try to establish whether they actually think they're both true and bad, which usually makes others sad. (Obviously these are not the only two choices, and the outcomes do not necessarily follow from them -- esp. when one is more skilled at interacting with the kind of people one has around.)
@whitequark Dangerous as in "capable of creating danger for others" or "nonnegligibly likely to create danger for me or mine"?
@mawhrin Is this important for protection of oneself (assuming no other users on the instance) or for more reasons too?
Have you heard how unlikely it is for two bombs to be on the same plane? It stands to reason that you should always bring a bomb with you, so that your plane is less likely to have a bomb that will actually explode on it.
You use proofs by contradiction implicitly quite often (e.g. "either p or not p" requires the use of proof by contraduction to prove). The branch of logics that recommend what can be proven without p.b.c. doesn't match the intuition you're going for: it excludes everything that requires p.b.c. somewhere internally.
I think you're going for the notion of not being able to imagine what since intermediate statements in the proof mean for simple examples. That is generally harder e.g. for proofs to that try to show that something is impossible, regardless of whether they involve p.b.c. in any way.
drugs, drug induced state
Modulo the murder on top it's the default state for quite some people (and it's really nice when one manages to find an environment where that's common).
What would you do if you wanted to explain but wasn't sure if the person wanted an explanation?
Also, both people and trains need to go both ways. People can't take their cars on the train, so they will go both or neither way. Trains can't teleport, so serving a handful of people on the way back is better than serving none.
@delroth Hm. I need to figure out how crevasses form, because the mechanism I suspected (tearing due to nonuniform motion) would be liable to create thin bridges with potentially indistinctive appearance (the surface would be just slightly lowered). So either the mechanism is different, or the nonuniform flow is constrained in ways I didn't consider.
@delroth Oh, the other photos seemed as if they were taken while walking over the ice, so I assumed lack of such.
Huh, doesn't it have crevasses then?
Would you say that learning to debug efficiently usually requires learning evidence-based reasoning along the way?
@delroth How deep is the ice layer and how does it get replenished? (I wonder if it slides down and if it has holes.)
@whitequark As a survival strategy, or as a nice-to-have ~optimization?
@rogatywieszcz używam nixosa, więc mam małe repozytorium git z definicją ~wszystkich customizacji
@rygorous But also, this is a good approach when one needs to look at combinations of mostly-independent improvements.
I once got annoyed by people inventing units and used Bq instead of qps at work. :)
That also happens in the other direction sometimes: https://social.wuatek.is/objects/d0531961-2a89-4777-94cd-38f33490a073 :) (@timorl is my neighbour now)
Do you know of https://en.wikipedia.org/wiki/Flexitarianism? I feel that the wiki article fails to describe a variant where the choice depends mostly on cost/level of incovenience caused by not relying on animals. That is an approach that I mostly have, my threshold of inconvenience above which I ignore is pretty low, and yet I eat mostly vegan due to the power of defaults.
The reason I mention this is that I imagine a person with a similar approach to mine, but slightly better organized and with a slightly higher threshold would eat basically only vegan food[1], but their approach to abortion would be basically unaffected.
[1] I specifically mention only food, because the levels of inconvenience caused by e.g. having to find an alternative to leather hiking boots or woolen shirts are very person-dependent.
I enjoy things around information theory (and data compression), complexity theory (and cryptography), read hard scifi, currently work on weird ML (we'll see how it goes), am somewhat literal minded and have approximate knowledge of random things. I like when statements have truth values, and when things can be described simply (which is not exactly the same as shortly) and yet have interesting properties.
I live in the largest city of Switzerland (and yet have cow and sheep pastures and a swimmable lake within a few hundred meters of my place :)). I speak Polish, English, German, and can understand simple Swiss German and French.
If in doubt, please err on the side of being direct with me. I very much appreciate when people tell me that I'm being inaccurate. I think that satisfying people's curiosity is the most important thing I could be doing (and usually enjoy doing it). I am normally terse in my writing and would appreciate requests to verbosify.
I appreciate it if my grammar or style is corrected (in any of the languages I use here).
Joined Nov 2020
