C++ [](){} looks nice.

That’s the idea, minix was a 1980s thing that still has some legacy support.

This FS should probably be moved to user space.

Why is this programmer humor? Also, the site is in Spanish so I can’t read it easily.

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.