It would. But it’s a good option when you have computationally heavy tasks and communication is relatively light.

Once configured, Tor Hidden Services also just work (you may need to use some fresh bridges in certain countries if ISPs block Tor there though). You don’t have to trust any specific third party in this case.

If config prompt = system prompt, its hijacking works more often than not. The creators of a prompt injection game (https://tensortrust.ai/) have discovered that system/user roles don’t matter too much in determining the final behaviour: see appendix H in https://arxiv.org/abs/2311.01011.

xkcd.com is best viewed with Netscape Navigator 4.0 or below on a Pentium 3±1 emulated in Javascript on an Apple IIGS at a screen resolution of 1024x1. Please enable your ad blockers, disable high-heat drying, and remove your device from Airplane Mode and set it to Boat Mode. For security reasons, please leave caps lock on while browsing.

• https://xkcd.com

CVEs are constantly found in complex software, that’s why security updates are important. If not these, it’d have been other ones a couple of weeks or months later. And government users can’t exactly opt out of security updates, even if they come with feature regressions.

You also shouldn’t keep using software with known vulnerabilities. You can find a maintained fork of Chromium with continued Manifest V2 support or choose another browser like Firefox.

Very cool and impressive, but I’d rather be able to share arbitrary files.

And looks like you can only send images in DMs, but not in groups/forums.

The article isn’t about automatic proofs, but it’d be interesting to see a LLM that can write formal proofs in Coq/Lean/whatever and call external computer algebra systems like SageMath or Mathematica.

I see, thanks. Will check. I just thought perhaps you figured out something other than those from your experience.

Any guidance on choosing appropriate conservative settings for i7-13700K? I may be hit with the same as you in the future (sometimes I have to do some heavy multithreaded combinatorial computations which run several days with 100°C temperature, using all cores). The motherboard has options for customising pretty much everything there is, but I didn’t touch anything overclocking-related, so I have Asus defaults.

it cuts out the middle man of having to find facts on your own

Nope.

Even without corporate tuning or filtering.

A language model is useful when you know what to expect from it, but it’s just another kind of secondary information source, not an oracle. In some sense it draws random narratives from the noosphere.

And if you give it search results as part of input in hope of increasing its reliability, how will you know they haven’t been manipulated by SEO? Search engines are slowly failing these days. A language model won’t recognise new kinds of bullshit as readily as you.

Education is still important.

Disabling root login and password auth, using a non-standard port and updating regularly works for me for this exact use case.

Isn’t RTL8821CE Wi-Fi+Bluetooth? I think you wouldn’t be able to use Bluetooth without a functioning driver.

Just use a second computer and a USB drive? Put the dkms package there too if needed (with dependencies).

You could also help preparing XFCE for eventual Wayland compatibility: https://wiki.xfce.org/releng/wayland_roadmap .

Okular (a rather good PDF viewer) can’t save sessions (open files & positions) in non-KDE environments.

The issue has been open since 2018: https://bugs.kde.org/show_bug.cgi?id=397463 .

There’s some partial merge request but it’s been dead for a year.

Sure, they’re just typically from the same industry with similar perspectives, similar blind spots and similar affinity for rants on topics X, Y and Z. Some get annoyed by this after a while so ignoring comments is a valid choice if you feel like that.

Probably. Still, it might be useful for blog discovery. One doesn’t have to read the comments.

Many such articles are reposted on HackerNews occasionally: https://news.ycombinator.com/

Alas, their IP requirements are too much for me.

Anyway, is there much of xenharmonic sheet music there? Take, for example, Easley Blackwood (but not his books).

Downloading there is straightforward: look at network requests, redownload svg’s of individual pages with wget and reassemble those into a pdf. I did that today and the resulting quality wasn’t exactly low - though I didn’t examine it too closely. Readability was perfect.

Probably could be automated, but I’m not bothered enough to do so yet.