Aha thanks.

Thanks. Yes, fully web based is much better for new users. That means not p2p though, right?

I’ll look at it some more when I can.

I’m glad people are doing stuff like this. Some technical description of how it works would be great to have. I see there’s an android app written in Java and a server side wrapper for Tauri(?) in Rust. Also a wasm directory. I only looked for a minute or so though.

Is this much different from Jami or Jitsi? I don’t use Whatsapp or know what it does.

One always has to worry. Also there’s lots of surrounding crap like react native. I wonder if that’s included.

Is react still important anyway? I figured something else would be the current hotness by now.

I don’t understand what you’re asking: you want some kind of graphical display of the file structure? Grep per se doesn’t do that, but maybe you could match the output against “tree” output? I generally just use M-x grep in Emacs which doesn’t make a tree-like display, but lets me navigate to matched lines by clicking on them.

Amazing how RMS is now on the traditional end of traditional to disruptive.

I don’t see where the humor is, but I have an idle server so might let it run for a few days to compress a half minute of audio at .00017x. But are you sure it isn’t just stuck?

The old fashioned belt pagers that copier technicians used to wear. You could call a phone number and send a numeric or sometimes text message to the person’s pager. They were one-way, receive only, so the message would normally be your phone number and the person would go to a landline phone and call you. That was before everyone had mobile phones.

You can still get those pagers and the privacy attraction is that they don’t send anything like your location back to the phone carrier. Instead they are basically broadcast receivers, and the message is broadcast to your whole reception zone, typically the size of a city but potentially bigger on the fancier plans.

Service appears to start around $15/month per a quick search I just did. That’s more than I pay for unlimited voice and text plus a GB of data on my crappy MVNO cellular plan. So they aren’t that good a value for most of us in this day and age. But they do still exist.

More info available by web search.

It really doesn’t seem like a winnable situation. A ton of phone functionality that people rely on (always-on internet everywhere you go) is fundamentally invasive no matter how the phone is built. All you can do is decrease your reliance. There have been a couple of threads about POCSAG pagers but you have to be pretty dedicated to pay for one of those, and they are still just one way. Anyway trying to be really paranoid about this stuff warps your mind.

Debian based phone, hardware kill switches, $550, slow loading product page at https://furilabs.com/shop/flx1s/ (makes me not believe their claim of a fast UI). Phone has an SD slot but no mention of a headphone jack or swappable battery. The phone hardware looks mostly conventional (Mediatek CPU etc). For me personally, this is a yawner, but maybe there is some attraction for some users.

What’s a bajillion? If the OCR output is less than a few GB, which is a heck of a lot of text (like a million pages), just grepping the files is not too bad. Maybe a second or two. Otherwise you need search software. solr.apache.org is what I’m used to but there are tons of options.

Sniffs in Haskell. Or Forth, lol.

Back in the day those tricks were common. Some PDP-11 OS’s supported a “Radix-50” encoding (50 octal = 40 decimal) that packed 3 characters into a 16 bit word (40 codepoints=26 letters, 10 digits, and a few punctuation). So you could have a 6.3 filename in 3 words.

There’s an old joke about functional programming separating Church from state.

This is probably an ok use for a GADT. Something like:

{-# LANGUAGE DataKinds      #-}
{-# LANGUAGE GADTs          #-}
{-# LANGUAGE KindSignatures #-}

data Bap = Baptized | Unbaptized

data Person :: Bap -> * where
   Baptize :: Person Unbaptized -> Person Baptized
   NewPerson :: Person Unbaptized

conditionalBaptize :: Person a -> Person Baptized
conditionalBaptize p =
    case p of NewPerson -> Baptize p
              Baptize _ -> p

main = return ()

I use it and am happy with it, not sure what I’d want to use instead, except maybe guix, which I wouldn’t suggest to a newbie.

It’s probably best to get someone to help you in person. See if you are near a Linux user group since they often supply installation help.

The method I always recommend is buy a new hard drive or SSD and swap it into the place of the old one, so you can swap back if something goes wrong. Then do a clean Linux install onto the new, empty drive.

Don’t bother with dual boot, it’s complicated and often goes wrong, and anyway you’re trying to escape from Windows.

As for installation, you may have to go to your Bios setup to allow booting from USB. Then, on another computer, go here:

https://cdimage.debian.org/images/release/current-live/amd64/iso-hybrid/

Download your favorite iso image. I’ll suggest “amd64-mate” if you don’t have a preference, since it should be pretty familiar looking to Windows users. Then you want to write a bootable image to a flash drive. I only know how to do that with Linux, but https://duckduckgo.com/?q=write+iso+image+to+flash+drive finds a bunch of pages for other OS’s.

Finally, plug the flash drive into your ASUS machine and boot. You should get a bunch of installation prompts and you can generally follow the defaults. It will install a lot of packages one at a time and take around half an hour, so do something else for a while, but also keep an eye on the install process because it will occasionally prompt you for something.

Come back after the installation finishes.

Do I really have to have written “stop changing the defaults”? Like if Firefox kept changing its keyboard shortcuts would that be non-annoying as long as you can reset them? Oh yes, they DO that.

Could they stop changing stuff like this? Oh well, I gave up on GNOME years ago anyway.

Gristedes is an expensive yuppie supermarket chain like Whole Foods, in some rich areas. I don’t think they have to worry about some city-run stores in underserved neighborhoods. It’s just pouting.