This is OT and has probably been covered elsewhere, but why does PG not use https on his site? Also, why does it not trigger showing the 'Toggle Reader View (F9)' button in the Firefox addressbar, if anyone knows?
You can connect via https, but your browser will ask you to trust a Yahoo Store certificate since it has no clue how Yahoo Store might relate to paulgraham.com
Does 'filter' (as it is used here) have a precise mathematical definition? The only other place where I've seen this word used is the 'bloom filter', which according to Wikipedia is not an algorithm like the Kalman filter but a data structure.
In general, filters do what their names suggest -- they filter out noise or unwanted components of signals. The simple Kalman filter filters out white noise to estimate parameters that describe a system; other filters use things like the Fourier or wavelet transform to, say, select certain frequencies and remove others.
IIRC, The kalman filter has a state-space formulation, in which it is clear that it is equivalent to an LTI filter (https://en.m.wikipedia.org/wiki/Linear_filter). However, I believe updating the statistics of the system in response to updated measurements breaks the "time invariant" part.
This is precisely the classic concept of an audio filter, which is, I believe, the inspiration for the term "filter" in other contexts. Bloom filters and selfie filters don't have much in common in a technical sense, but if you squint you can see the connection.
Filter has very established definition in Signal Processing, and covers things which can do a lot of things, essentially something that can manipulate how energy or power is distributed over a set of frequencies.
A common analogy is yo imagine it as an entity that can turn a block of stone to a sculpture, by removing material.
It is a filter in the sense that it can track the system state from one (or more) noisy measurements. The filter part thus reflects the input denoising.
I do: mathjax is served via HTTP, the website is served via HTTPS, so it's blocked (by desktop FF, at least) as mixed content. *.github.io websites used to be HTTP-only back when it was written, IIRC, but now it's HTTPS-only. Apparently in the desktop FF that blocking can be disabled in the connection information menu, though it still blocks that for me after disabling.
re: Explorer Patcher, does it allow the (W11/W10) taskbar to be moved to one of the vertical edges? The github page doesn't mention this.
I prefer the taskbar on the left and the fact that a vertical taskbar is not supported on W11 is one of the principal reasons I haven't upgraded from W10.
For coffee, I've seen people recommend putting in a dash of baking soda in the drink to reduce the acidity though I haven't tried this. I also tried some of the low-acid coffees and they were fine though the flavor is in no way comparable to my favorite poison :). Drinking these beverages when you are not expecting to recline (e.g. in the morning and early afternoon) may also help.
However, if you feel these symptoms are pretty bad, it is worth going to a gastroenterologist - chronic upper GI acidity can lead to GERD and that can lead to esophageal cancer.
Could you talk more about what your acid reflux was like? I'm curious about finding new ways to treat my own. Been on 20-40mg of (es)omeprazole daily for a decade.
Nope. New features appear only in Office 365 (the subscription version). If you have the one-time purchase version (Office 2019), you'll need to wait for and buy Office 2022.
> I want to see more of the web paid for directly, rather than funded through snooping.
I could possibly live with paying for the privilege of using the web, if respect for user privacy is, um, guaranteed somehow. But that probably won't (can't?) happen, and we'd end up having to pay for the privilege of being snooped upon.
