Thoroughly Typed

Karma: 47

Thoroughly Typed 19 Nov 2025 19:14 UTC
18 points
4
in reply to: Richard_Ngo’s comment on: ricraz’s Shortform
This makes me think of “radiation-hardened” quines, quines that output themselves even after deleting any one character (or three):
https://github.com/mame/radiation-hardened-quine
https://codegolf.stackexchange.com/a/100785
I’m not familiar with the method used, but maybe it can be adapted to the case you are imagining? Maybe for simplicity only for the voting part of a redundant system.

Thoroughly Typed 10 Dec 2024 12:18 UTC
7 points
0
on: EC2 Scripts
Nice! I have a similar set of scripts for google cloud instances. And my favorite is also the resizing one. Just soo much more convenient than using the UI.
They also automatically mount an sshfs of the instance’s home directory, which I found very helpful for e.g. working with output the instance produced that can’t easily be interacted with in a terminal.

In case anyone is interested: gcloud-connect-instance, gcloud-change-type (but fair warning: I haven’t used them in a while, and updates to the gcloud cli/api might have broken some things).

Thoroughly Typed 29 Mar 2023 17:06 UTC
1 point
0
on: [Error communicating with LW2 server]
This means that Twitter increasingly pushes its users towards its For You feed, which is now going fully algorithmic, and will only include posts from verified (meaning ‘paying’) accounts. That means most accounts you follow won’t even be eligible to appear, and the others won’t appear often.
Looks like all accounts you follow will appear in For You after all, not just the ones that are verified:
Forgot to mention that accounts you follow directly will also be in For You, since you have explicitly asked for them
https://twitter.com/elonmusk/status/1640800519894736896

Thoroughly Typed 19 Feb 2022 22:33 UTC
4 points
0
on: Monks of Magnitude
I really like this concept!
Reminds me a bit of Scott’s Ars Longa, Vita Brevis.

Thoroughly Typed 28 Aug 2021 20:29 UTC
3 points
0
on: Framing Practicum: Turnover Time
1. Cars in a parking lot: they enter an leave mostly independently. The turnover time for residential parking might be a day or two. For a shopping center it is a few hours.
2. Bugs in software: they get introduced and then fixed somewhat independently. The turnover time is on the order of weeks to months, maybe days if the project is very active, or even years for very subtle bugs.
3. Water molecules in a lake: “new” ones flow in, get mixed up with the existing ones, and roughly independently flow out again. The turnover time depends on the influx/outflux and volume. For example Lake Constance has a volume of 48 km³ and average influx of 370 m³/s, making the turnover time about 4 years.

Thoroughly Typed 24 Aug 2021 16:37 UTC
3 points
0
on: Framing Practicum: Timescale Separation
1. Stable equilibrium: The surface of a pond when I throw something in. I might be interested in the overall water level, which slowly changes over days and weeks. At these timescales the surface is always in equilibrium. (Equilibrates quickly re what I’m interested in)
2. Bistability: The ruling party in a democracy. Mostly stable over a monthly to yearly timescale. I need to worry about who to vote for once every few years, not every day. (Equilibrates quickly re what I’m interested in)
3. Dynamic equilibrium: The amount of train delays per day in a city. If I’m in the city right now, I care about the current situation and not that incentives might reduce the amount of delays in the long run. (Equilibrates slowly re what I’m interested in)

Thoroughly Typed 17 Aug 2021 19:05 UTC
3 points
0
on: Framing Practicum: Dynamic Equilibrium
1. The demand for toilet paper. On a short-term timescale there’ll be random peaks and troughs (or not so random ones due to people expecting a lockdown). But in the medium-term it’ll be constant, because of each person only needing a fairly constant amount of toilet paper. Although in the long-term there’ll be changes again due to a growing or shrinking population.
2. The amount of train delays per day in a city. Some days have more, e.g. because of some big event or a random accident, while other days have fewer. But on average over weeks or months it is roughly constant.
3. The amount of groceries in my fridge. I go shopping roughly once a week, so in between the amount steadily goes down and then jumps up again. There might be some irregularities due to eating out or being especially hungry, but over longer periods of time I mostly eat the same amount.
How the equilibrium gets restored in each direction:
1. If above equilibrium (people buying lots of toilet paper for a while) the demand will be lower afterwards. If below equilibrium they’ll run out eventually and the demand will tick up again.
2. If above equilibrium (a lot of delays) over a longer period of time, people might get upset and the operating company might try to improve scheduling, maintenance, number of trains etc. If below equilibrium, the operators might for example get complacent and stop putting in as much effort.
3. If above equilibrium (eaten a below average amount from my fridge and have a lot of groceries left at the end of the week), I’ll just buy less. If below equilibrium I’ll have to buy more when I go shopping, or maybe go more than once per week.
I think my browser tab and social interaction examples on the post on stable equilibria fit in better here. They’re much more dynamic than stable.

Thoroughly Typed 12 Aug 2021 20:06 UTC
5 points
0
in reply to: adamShimi’s comment on: Framing Practicum: Bistability
I really like the chess example. Anything continuous that gets discretized is similar. Like the color of a pixel in a photo, or whether you have crossed the finish line in a race.

Thoroughly Typed 12 Aug 2021 19:53 UTC
3 points
0
on: Framing Practicum: Bistability
1. A seesaw on a playground. Either side will come back down again if it’s perturbed a little (given it’s reasonably well oiled etc).
  
  People sitting on it and literally kicking with their feet is enough to kick it into a different state. Random noise due to wind is not strong enough, except maybe in a heavy storm.
2. The handle of a window (usually). Pointing in one direction when closed and another when open. It will stay in either position unless explicitly moved (which makes it different from a door handle).
  
  The activation energy required to kick it depends on whether it’s oiled or rusty etc.
3. The ruling party / coalition in a democracy. (In general multistable, but in the US you might call it bistable). One type of perturbation are attempted coups, which will be squashed when not strong enough.
  
  Elections are kicks. But only when the elected party is actually different, which might happen when the voters are dissatisfied with the previous one strongly enough, or the election campaign was just better, etc. Another kick would be a successful coup.

Thoroughly Typed 10 Aug 2021 14:40 UTC
8 points
0
on: Framing Practicum: Stable Equilibrium
1. The even surface of a pond. If I throw in a stone it’ll ripple for a while, but the additional activity will dissipate again.
2. The number of tabs I have open in my browser. If it’s very few I have no problem opening and keeping new ones. If it’s too many, titles become hard to read etc. and I feel reluctant to keep open additional ones and tend to close a bunch of them at once.
3. The amount of social interaction I get. Too little and I feel lonely and reach out to people. Too much and I feel overwhelmed and keep to myself for a while.
What links here?
- Framing Practicum: Dynamic Equilibrium by johnswentworth (16 Aug 2021 18:52 UTC; 24 points)

Thoroughly Typed 20 Jul 2021 16:35 UTC
3 points
0
on: One Study, Many Results (Matt Clancy)
In economics (and I’m sure in many other fields—I’m just writing about what I know here), something like this is supposedly done in the “robustness checks” section of a paper.
Machine learning sometimes has ablation studies, where you remove various components of your system and rerun everything. To figure out whether the fancy new layer you added actually contributes to the overall performance.