Hacker News: Cieric

New comment by Cieric in "I stopped trusting USB-C cable labels and started testing them"

Cieric — Fri, 07 Aug 2026 00:09:06 +0000

They also crackle out of the package, or at least the 5 I got did. Kind of sound like the thin glow sticks a bit.

New comment by Cieric in "Writing a Debugger from Scratch"

Cieric — Fri, 24 Jul 2026 15:44:09 +0000

I feel like it's good to note since I missed it. This post is from Feb 13, 2023. He has up to 8 posts on this at this point which don't appear to be linked to from this post. I think linking to all of them would be a bit much, but they're all currently listed on his main page [1].

[1] https://www.timdbg.com/

New comment by Cieric in "Introduction to Formal Verification with Lean Part 1"

Cieric — Wed, 22 Jul 2026 17:53:23 +0000

Just in case anyone else decides to write along like the article suggests. I chose to use the live.lean-lang.org link, but it seems to default to a newer version of lean where the simp[xor] actually returns both sides still wrapped in the lambdas so the next simp[add_comm] will actually fail. The way to get around it is changing the version to v4.32.0 which the article doesn't seem to mention.

New comment by Cieric in "Measuring Input Latency on Linux: X11 vs. Wayland, VRR, and DXVK"

Cieric — Tue, 14 Jul 2026 17:59:06 +0000

Yes, thanks for saying it more concisely/clearly than I did. Just cause I understand something doesn't mean I'm good at explaining it.

New comment by Cieric in "Measuring Input Latency on Linux: X11 vs. Wayland, VRR, and DXVK"

Cieric — Tue, 14 Jul 2026 17:36:00 +0000

As someone who is in the rendering space for work. Having a higher framerate does help, but in a weird way. Basically the start of the frame rendering is what mostly dictates where objects are rendered. By getting a higher framerate the position of objects that you see in game are much closer to their "real" position. So it's less about seeing more frames at that point and more about seeing the most up to date information possible. Technically it could be possible to render the frame in sync with the framerate and just offset the rendering so it finishes right before it's pushed to the screen, but if you're slightly wrong you'll get really bad stuttering and the execution time of gpus and the cpu submitting the work isn't really deterministic.

New comment by Cieric in "Show HN: Getting GLM 5.2 running on my slow computer"

Cieric — Sat, 11 Jul 2026 01:17:25 +0000

Being fully stopped at a stop light isn't putting my or anyone else's life in danger. If I have a phone in my hand the car is not moving. I also finished the comment before the light turned green so the phone also was no longer in my hand when I needed to start moving.

New comment by Cieric in "Show HN: Getting GLM 5.2 running on my slow computer"

Cieric — Fri, 10 Jul 2026 15:11:30 +0000

Let me know if you want to hear anything specific about it. It kind of works, so it's not something I recommend doing if it can be avoided, but as Roxxik pointed out there is much room for improvement since this was just a naive just get it to run experiment.

New comment by Cieric in "Show HN: Getting GLM 5.2 running on my slow computer"

Cieric — Fri, 10 Jul 2026 15:10:01 +0000

On the technical details of mmap I agree (at least while single threaded which is how I believe I'm running it), but making it async does sound like an interesting method for speeding it up. My only goal with my testing was get as large of a model as possible running on a computer that "can't run it." I'm going to have to actually read through the code and figure out how it really works to really make any good optimizations, but as before this was just experiments with using and LLM (claude + codex) to just get it running. Since if they couldn't get it running I'm not sure if I would have wanted to spend time trying to get it working myself.

I also know I did some things that would actually make the perf worse to, like I believe I also had AI mmap the KV Cache to make sure to runs under any circumstance. For actual optimizations based on what I currently know, I'm probably going to try and get the llm running under my igpu on my laptop with persistent shader that has some kind of inbuilt request mechanism. That way the weights that are loaded can be used as fast as possible.

For the expert prediction, I assume I could use the medusa paper as kind of a kick off point for that since I'm already using it to try and predict the next 4 tokens. Doing verification on those 4 tokens is about as much as I can do though since it started to thrash on loading the experts. So some method of predicting even more tokens, but then batching together those with the same experts would probably yield slightly better results in this weird case.

Note: All of my tests have been around programming since that's the use case I'm interested in. I don't actually know if this would preform well in other cases (and anything more broad than that I assume would be slower.)

New comment by Cieric in "Show HN: Getting GLM 5.2 running on my slow computer"

Cieric — Fri, 10 Jul 2026 00:13:56 +0000

Yeah I'll see what I can transfer over from my llama.cpp work. As before I'm not too experienced with llm work, but I have a lot of experiments I'm trying out. So I'll make a PR if I get any interesting results.

New comment by Cieric in "Show HN: Getting GLM 5.2 running on my slow computer"

Cieric — Thu, 09 Jul 2026 21:44:36 +0000

I was actually just working on the same thing as this, but I went down the route of mmapping the entire model into memory to avoid the extra ram usage. I also had Claude implement Medusa[1] on the model to try and avoid loading an additional model into memory but still get the benefits of MTP. Currently at a stop light so I can't list everything and I didn't get to read your full post either yet.

To expand since I just got home, I'm making all of my modifications to llama.cpp, the goal was to eventually put this on a SBC of some kind with an nvme to handle the mmapped files. I think the theoretical limit of my current setup is about 1.8 tok/s based on prior testing but that is also with the additional medusa heads not fully trained (I honestly don't know if the counting it's generated tokens or not.)

In the end it seems like the idea we had is similar, I just don't know how to write an llm parser/runner from scratch yet and instead of specifying what needed to stay in memory I just let the linux kernel handle it.

Oh last note, I also capped llama.cpp usage to 16GB of my 32GB, so it might be possible to get it down even lower.

[1] https://arxiv.org/abs/2401.10774

New comment by Cieric in "Show HN: Gitdot – a better GitHub. Open-source, anti-AI, and written in Rust"

Cieric — Mon, 08 Jun 2026 21:37:41 +0000

I think I can understand that reasoning. I do have a tendency to explore, especially at the start since it gives me a view of what the site can already do, cause I wouldn't want to run into issues with my own projects without knowing of the possible limitations ahead of time.

If anything since the keyboard shortcut already exists, you could always put it in little cursor menu at the bottom of the screen. But yeah up to you, I look forward to your progress.

New comment by Cieric in "Show HN: Gitdot – A better GitHub. Open-source, written in Rust"

Cieric — Mon, 08 Jun 2026 21:18:47 +0000

Seems interesting an I'll take more of a peek after work, but one thing that stood out to me is the only way back to the home page after navigating to a repo is the back button. Going back to the home page via the back button also doesn't retain that "new" was selected. But I agree with others, I do like the simplicity of the site.

New comment by Cieric in "Gaussian Point Splatting"

Cieric — Thu, 04 Jun 2026 14:57:08 +0000

I can't say I know how they actually did it, but taking a look at the trailer I can point out that it looks like the spaces are confined and your character is on rails. I'm mainly going off of the instant direction changes that don't appear to be 45 degrees off from the camera direction. Once it's constrained down to a single line/path you could do some wild things like cube mapping a video, where the position in the video is tied to the characters position. I can't say I know how they would take that video though, my best guess there is the scenes are constructed in 3d software, just it was to expensive for real time rendering.

New comment by Cieric in "YouTube, your RSS feeds are broken"

Cieric — Wed, 06 May 2026 14:53:03 +0000

I actually do this whenever I add a youtube channel, but some shorts still sneak through. Just as a warning to whoever tries it themselves.

New comment by Cieric in "Trademark violation: Fake Notepad++ for Mac"

Cieric — Mon, 04 May 2026 17:59:34 +0000

All good, and agreed the fork author is in the wrong here. I just like keeping the facts straight since that can inform better arguments and discussions.

New comment by Cieric in "Trademark violation: Fake Notepad++ for Mac"

Cieric — Mon, 04 May 2026 17:55:00 +0000

An example give by donho is "SomeProject : a macOS port of Notepad++" so it seems like the name can be used which will make it appear in searches. It just has to be clearly something else.

New comment by Cieric in "Trademark violation: Fake Notepad++ for Mac"

Cieric — Mon, 04 May 2026 15:56:42 +0000

The only place I see that is from a user "LiEnby" not "aletik", and none of aletik's existing messages are edited. All replies I see with the message are also to LiEnby. I don't agree with aletik's slow response in any way, but I don't think your claim is correct either. Do you have anything to prove that this was said by aletik?

New comment by Cieric in "Baby chicks pass the bouba-kiki test, challenging a theory of language evolution"

Cieric — Wed, 25 Feb 2026 18:27:11 +0000

Neither did I, feel free to email me or message me on discord and I can try to download the video and send it to you.

New comment by Cieric in "Baby chicks pass the bouba-kiki test, challenging a theory of language evolution"

Cieric — Tue, 24 Feb 2026 07:04:44 +0000

Here is a video that I actually just watched recently on that exact thing.

https://youtu.be/jfLAaGtNc7U

New comment by Cieric in "A simple web we own"

Cieric — Mon, 23 Feb 2026 22:22:03 +0000

I've been interested in doing something similar in the past, but I could really never solve issues like domain squatting and stopping individuals from claiming every name possible. Do you have a place where you keep these plans or have discussions around it? Or even just a place where I could get updates if anything does come of it?