Hacker News: iib

New comment by iib in "Kobo can run apps now"

iib — Fri, 21 Aug 2026 21:56:14 +0000

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.

New comment by iib in "SQLite Critical CVEs or LLM Slop?"

iib — Mon, 03 Aug 2026 21:21:20 +0000

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.

New comment by iib in "Claude Fable produced a counterexample to the Jacobian Conjecture"

iib — Mon, 20 Jul 2026 08:09:56 +0000

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?

New comment by iib in "Grok CLI uploaded the whole home directory to GCS"

iib — Mon, 13 Jul 2026 15:42:24 +0000

Is it this one? https://github.com/landstrip/landstrip

New comment by iib in "Ask HN: Where are the good search engines for mathematical formulas?"

iib — Tue, 07 Jul 2026 16:40:16 +0000

Lean also has https://www.leanexplore.com and https://loogle.lean-lang.org/

New comment by iib in "'There Is No Going Back': The Inside Story of Europe's Rupture with America"

iib — Mon, 06 Jul 2026 15:07:03 +0000

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.

New comment by iib in "Removing 'um' from a recording is harder than it sounds"

iib — Fri, 12 Jun 2026 08:41:13 +0000

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.

New comment by iib in "Time to talk about my writerdeck"

iib — Sat, 23 May 2026 20:26:55 +0000

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.

New comment by iib in "Usage-based pricing killing your vibe, here's how to roll your own local AI"

iib — Mon, 04 May 2026 20:21:49 +0000

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

New comment by iib in "OpenWarp"

iib — Fri, 01 May 2026 12:58:43 +0000

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?

New comment by iib in "I Got Sick of Remembering Port Numbers"

iib — Fri, 01 May 2026 09:55:24 +0000

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

New comment by iib in "Qwen3.6-35B-A3B on my laptop drew me a better pelican than Claude Opus 4.7"

iib — Thu, 16 Apr 2026 19:11:58 +0000

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

New comment by iib in "The local LLM ecosystem doesn’t need Ollama"

iib — Thu, 16 Apr 2026 08:22:23 +0000

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.

New comment by iib in "I won't download your app. The web version is a-ok"

iib — Mon, 06 Apr 2026 19:39:28 +0000

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

New comment by iib in "The Cognitive Dark Forest"

iib — Mon, 30 Mar 2026 12:42:58 +0000

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.

New comment by iib in "Show HN: uBlock filter list to blur all Instagram Reels"

iib — Mon, 02 Mar 2026 21:21:03 +0000

It's sticky on the web though:

https://www.instagram.com/?variant=following

New comment by iib in "Pandoc in the Browser with WASM"

iib — Fri, 13 Feb 2026 00:06:01 +0000

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 without being pre-approved.

I guess now with LLMs, this makes more sense than ever, but it was a frustrating experience.

New comment by iib in "Billing can be bypassed using a combo of subagents with an agent definition"

iib — Sun, 08 Feb 2026 17:16:14 +0000

Some were already that and even more, because of other reasons. The Cathedral model, described in "The Cathedral and the Bazaar".

New comment by iib in "Talking to LLMs has improved my thinking"

iib — Fri, 23 Jan 2026 06:18:48 +0000

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 obtain that compression.

New comment by iib in "Your brain on ChatGPT: Accumulation of cognitive debt when using an AI assistant"

iib — Thu, 22 Jan 2026 10:29:42 +0000

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 suggestion, locking the North up, as a way to regain some of the lost navigational skills.