iib

7 ms·

1.
by iib 26d ago
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.
2.
by iib 1mo ago
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.
3.
by iib 2mo ago
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 informa
4.
by iib 2mo ago
Is it this one? https://github.com/landstrip/landstrip
5.
by iib 2mo ago
Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/
6.
by iib 2mo ago
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.
7.
by iib 3mo ago
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
8.
by iib 4mo ago
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 m
9.
by iib 5mo ago
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 stu
10.
by iib 5mo ago
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 i
11.
by iib 5mo ago
I am very out of the loop. What is wrong with TP Link? What are the risks with it?
12.
by iib 5mo ago
This is about the newly release Qwen3.6. Just wanted to make sure you got that correctly.
13.
by iib 5mo ago
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 ta
14.
by iib 5mo ago
Or add your real name to photos of you stored in Google Photos.
15.
by iib 6mo ago
If by the spirit, you only mean the bazaar model, then yes. But it's in the original spirit of free software. GNU preferred to keep the development somewhat contained, even so many years ago.
16.
by iib 7mo ago
It's sticky on the web though: https://www.instagram.com/?variant=following
17.
by iib 7mo ago
This is really nice to know. I remember trying to compile pandoc to Wasm after finding out that ghc had Wasm support, hitting all kinds of problems and then realising that there was no real way to post an issue to Haskell's gitlab repo
18.
by iib 7mo ago
Some were already that and even more, because of other reasons. The Cathedral model, described in "The Cathedral and the Bazaar".
19.
by iib 8mo ago
I found Geoffrey Hinton's hypothesis of LLMs interesting in this regard. They have to compress the world knowledge into a few billion parameters, much denser than the human brain, so they have to be very good at analogies, in order to
20.
by iib 8mo ago
This is explained in more detail in the book "Human Being: reclaim 12 vital skills we’re losing to technology", which I think I found on HN a few months ago. The first chapter goes into human navigation and it gives this exact sug
21.
by iib 9mo ago
Didn't see the website at first. Thank you!
22.
by iib 9mo ago
This seems really nice, and looks like something I have been wanting to exist for some time. I will definitely play with it when I have some time. I know this is a personal project and you maybe didn't want to make it public, but I thi
23.
by iib 9mo ago
That sounds awesome. But I have two curiosities: What are the problems of httpx? And was pycurl not enough for what you wanted to do?
24.
by iib 10mo ago
I have been looking for the same thing, either from Meta's SAM 3[1] model, either from things like the OP. There has been some research specifically in this area with what appears to be classic ML models [2], but it's unclear to m
25.
by iib 10mo ago
For small edits, has anybody configured a leader-key scheme? Something like Doom Emacs has with space as a leader. It seems to me to be the best possible configuration for Emacs on Android (on a phone) and I was wondering if I should invest
26.
by iib 10mo ago
As soon as I found out that this model launched, I tried giving it a problem that I have been trying to code in Lean4 (showing that quicksort preserves multiplicity). All the other frontier models I tried failed. I used the pro version and
27.
by iib 1y ago
Made me think of this SMBC comic[1], where there's a debate if being in English or Spanish, each with around a billion speakers, makes it rare or not. [1] https://www.smbc-comics.com/comic/phonemes
28.
by iib 1y ago
How do you solve the second mission (the man that is hiding somewhere)? I've managed to find even the three.js mention, but nothing to start that one.
29.
by iib 1y ago
I think those kind of glasses may be really useful for blind people. I have seen similar glasses targeted at blind people, that at least in theory, seemed to me like a good idea. I recall the glasses also can write on the screen inside the
30.
by iib 1y ago
This is exactly the fine-tuning I am hoping for, or I would do if I had the skills. I tried it with gemma3 270M and vanilla it fails spectacularly. Basically it would be the quickadd[1] event from google calendar, but calendar agnostic. [1]

More ›