Then my laptop is a phone? It’s sort of a phone but it doesn’t connect to the phone network, so only sort of. Since it needs a wifi signal it’s not so mobile either.

Ok but wifi only isn’t really a phone?

I didn’t watch the video but I don’t think there is any phone that lets you avoid having your location tracked. If there is wifi near where you want to use the phone, you could run a voip client on on a wifi-only tablet, perhaps.

I’ve been wondering whether satellite communications gizmos with no GPS allow any type of precise location tracking from the satellite. I’ve been interested in this, which lets you exchange text messages at fairly low cost (about 2 cents per 50 byte unit). Besides possible privacy advantages, it also lets you communicate where there is cell coverage:

https://shop.blues.com/products/starnote-starter-kit

Start CRIMP, the Committee to Re-IMpeach the President?

What exactly do you want it to do? You can implement TOTP with a 10 line python script and I probably have a few of those kicking around. I’ve ended up doing that at least a couple of times.

Use a medic alert bracelet if you need something like that. EMTs are trained to look for it. They aren’t going to derp around looking at your phone.

I’ve never been able to get a library card anonymously, but anonymous email is pretty easy I thought. I use mailinator sometimes, which has no registration even.

I set up ZNC and got it working but it was a pain in the neck, took some trial and error, and the docs were confusing. Once I got it going I basically left it alone rather than try to clean up the situation.

The High Table sends an adjudicator with a special type of haircut. I think the hair style has a name, but I don’t know it.

No way to prevent this, says only party where this regularly happens.

Try charging more so people will take you more seriously. That works surprisingly well a lot of the time.

Try here too: https://news.ycombinator.com/item?id=42017580

Those sorts of jobs are filled from low-wage countries.

It’s something of a “14 competing standards” situation, but uv seems to be the nerd favourite these days.

Florida isn’t one of those states though, but on the other hand Trump’s felonies are from NY and are under appeal. So OP’s question is interesting.

https://en.wikipedia.org/wiki/Rubber_duck_debugging

This is about installing on a Nexus 5 which is from 2013. Sounds painful.

ELIZA? Or maybe just a rubber duck as used by programmers.

The Wikipedia article discusses some applications. One amazing thing I remembered about the algorithm is its running time, which is infinitesimally slower than linear, by which I mean that the growth factor above linear is the inverse Ackermann function! I’ve never studied the analysis but I found the result to be mind boggling.

https://en.wikipedia.org/wiki/Disjoint-set_data_structure

SPJ left Microsoft a couple of years ago but I don’t remember what he is doing now. Does he still develop GHC?

I wonder what he thinks of:

• The idea of using AI for automatic code synthesis in dependently typed languages. The idea is that if the (human-written) types are precise enough and the code is effect-free, you avoid the hallucinations and other issues with current LLM-generated slop/code. Of course being able to generate code with an arbitrary type amounts fo AGI-level automated reasoning, but it’s ok to accept limitations on how powerful it can be.

• Whether Haskell itself still excites him and if not, what does. Does he like Idris? Maybe Lean? And on the low level effectful side, what about Rust? What does he think are the current exciting ideas in PLT (programming language theory), and for that matter in general?

• Is he familiar with Ben Lippmeier’s dissertation about Discus, formerly called the Disciplined Disciple Compiler (DDC)? It had a very interesting critique[1] of Haskell in its first chapter, that motivated the DDC language design, that used effect types to track memory mutation. The language never caught on and might not have really been usable, but the motivation for it seemed mostly valid to me. So I wondered if Haskell has any answers to that section of the thesis.

[1] https://benl.ouroborus.net/papers/2010-impure/lippmeier-impure-world.pdf start at page 17.

I may think of some other things to add.

Does gnu bc have outstanding bug reports? If not, it doesn’t need updates. Its spec was frozen 30 years ago, more or less. Rather than unmaintained, I’d call it maintenance-free. BIFL software as it were. Sounds great to me.