iib

Is there any way to recover a "bricked" Clara color? I bricked mine while trying to install nickel and koreader. Haven't been able to recover it since.

There is a market for that, indeed. Hardened container images and hardened CI actions have been a thing for a while, with some companies providing exactly that.

In my experience, lean will show that it's correct, but does it not lose the mathematical intuition that led to the result? As far as my experience goes, that's really hard to encode in lean itself.

Could we maybe get more information about the problem from the LLM trace itself here?

If by dead-weight you mean the two speed Europe, I don't think that's possible. That weight is what makes the EU such a large market.

Surprisingly, it's the whisper model itself that does that. I find that it's also good with false starts, often correcting something like: "uhm, we could...we can go there" to just "we can go there", if spoken rapidly enough.

If anyone wants to try this without the intricate setup, if you have a linux system, you most probably can just press Ctrl+Alt+F3 and drop into a tty console directly. To return, you have to press Ctrl+Alt+F1 or Ctrl+Alt+F2. You also have multiple consoles, up until F12 probably.

I used to use this a lot when trying for a less distracting desktop, just like in the original post.

Doesn't llama.cpp (or similar) have to evict the kv cache for this, so that performance is degraded when running multiple sessions? Or how do you load a model in memory and then use it in multiple sessions? I am still learning this stuff

How do you use `pi` to ssh? I use `oh-my-pi`, and tried the `/ssh` command, but I couldn't get it to work. Then I saw a suggestion somewhere to just run `!ssh` to place things into the agent's context.

Is there a way to use it like "The current directory is at `ssh server`" and have the agent work from there?

I am very out of the loop. What is wrong with TP Link? What are the risks with it?

This is about the newly release Qwen3.6. Just wanted to make sure you got that correctly.

Has anybody figured some of the best flags to compile llama.cpp for rocm? I'm using the framework desktop and the Vulkan backend, because it was easier to compile out of the box, but I feel there's large peformance gains on the table by swtiching to rocm. Not sure if installing with brew on ubuntu would be easier.

Or add your real name to photos of you stored in Google Photos.