IMO Agda or Forth.
A friend of mind had a 3-phase tankless water heater that would, depending on water flow, either connect some resistors between phases and ground (getting 230V on each) or across phases (getting 400V on each)[1]. I don't know whether stoves did anything of that sort.
[1] We found this out in a very amusing way: the setup was kinda borked, in that the main circuit breaker for the house wasn't ganged. If you tripped one phase only in that CB, you'd get some lowish (<100V) voltage on that phase if you opened a hot water tap to the correct degree. Thus, in that state the hot water tap controlled ~a third of the lights in the place.
Putting "https://mas.to/@TechConnectify/112328384373243115" in qoto's searchbar results in an error toast saying "500". When I look at network requests involved, I see a request to "https://qoto.org/api/v2/search?q=https:%2F%2Fmas.to%2F%40TechConnectify%2F112328384373243115&resolve=true&limit=5" returning an error page with status code 500.
I would intuitively rather refer to them as Joule farms, so I'm probably not seeing some pun here. If there is one, can you explain it?
I could imagine it making sense if it created bubbles behind whatever it is that we're trying to clean (e.g. if the thing that's dirty is porous). However, that would not happen unless the bicarbonate made its way there, which would ~only happen if it was pre-dissolved, not added as a powder to vinegar (in which case you'd end up neutralizing it very close to the powder grains it's dissolving from). (Or am I overestimating the reaction speed compared to diffusion speed?)
Now this made me curious whether putting stuff in soda water under pressure, letting it soak it in, and releasing the pressure, could be a halfway sensible way to clean things.
How well maintained is that website?
I've looked at a random low-speed close pass between two payloads it has shown, and it claimed that "41963U 0 FLOCK 3P 27" and "41964U 0 FLOCK 3P 25" are the satellites that will pass by each other (full text that was displayed: https://paste.sr.ht/~robryk/2403f065780b51d04a6068f104b0da3302968ce2). My web search yielded multiple sites claiming that both had decayed (resp. in 2022 and 2023). Am I reading that wrong?
I'd really like to see more novels published with commentary alongside (i.e. in footnotes or in some other way that makes it easy to refer to while reading), with a much broader range of topics than the one you mention (also describing the reason for slightly puzzling situations, references that have aged out, and also simply commentary). I've seen that done consistently only in the Bible, and I really liked it when I saw it in iirc a bilingual edition of Alice in the Wonderland.
Do you think there's a reason to learn planar geometry? I ask because the standard reason given is that it is a good way to learn about semi-rigorous proofs, auch seems similar to "makes one reason better".
@danderson VIM5 is probably the name for the current FDS code ("Voyager Interstellar Mission").
On a very different note than siblings: I never really learned languages to the point of being able to understand them for fun, but I did learn grammar ~alone for fun. I don't know if that's something that would be either less taxing or actually enjoyable for you.
@pocketcrocodile you might find it interesting that if you speak e.g. Polish, the way you refer to a person directly sometimes depends on their grammatical gender (e.g. some verbs have different forms for indicative second person singular depending on grammatical gender).
PLpol Kraków
Mógłbyś streścić swoje opinie o obu kandydatach? (Od dawna nie mieszkam w Krakowie, więc o Miszalskim wiem nic, a moje bardzo mgliste wspomnienia wrażeń o Gibale wsadzają go do pudełka wolnorynkowych liberałów.)
pining, very violent
You probably are aware of physio-pedia.com, but in case you aren't I've found this to be the fastest way to look up which things attach to a particular bone in a given place, or which muscles are used to exert force in a particular direction. (Also, if you have a better source for such questions, I'm very interested.)
Wie erkennt man, welche sind welche? (Haben sie immer unterschiedlich genug Farbe, Grösse, oder etwas anders sichtbares?)
Aber welche kommen raus? Alle, wenn irgendetwas raus muss?
Wie funktioniert das bei den Veränderungen, die mitte in den Woche passieren und müssen schon dieselbe Woche berücksichtigt werden?
System transportu kolejowego przewiduje transportowanie prywatnych wagonów (głównie towarowych) między bocznicami, których właściciele się na to zgadzają. Przynajmniej kiedyś było to zoptymalizowane pod kątem częstego transportu tych samych wagonów z A do B i z powrotem, ale może teraz jest mniej.
Strzelałbym niestety, że jest mało nieużywanych i zdatnych do użycia bocznic. W jakich miejscach byś się takich spodziewał? (Przy jakichś podupadłych stacjach, czy może prywatne przyfabryczne?)
I wonder how many broken bones are caused by DST each year (because clocks are sometimes hung up somewhat high).
Was it called The Deparment/Ministry of Military in any country? "of War" sounds inaccurate insofar it also deals with things such as posturing while not at war.
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).