Hacker News: dev_dan_2

New comment by dev_dan_2 in "Show HN: WatchMachineGo – A visualizer to show hardware performing LLM inference"

dev_dan_2 — Thu, 23 Jul 2026 15:01:32 +0000

Hi HN,

This is my first side project I make public, so I am a bit nervous! :D

If you have any feedback regarding:

- privacy first of all (since I feel most unsecure in this area)

- UX/UI

- concepts / pedagogy ideas

- errors/bugs

- anything else...

... please let me know!

Thank you for your time, and happy hacking!(/infering, if you are so inclined) :)

Dan

Show HN: WatchMachineGo – A visualizer to show hardware performing LLM inference

dev_dan_2 — Thu, 23 Jul 2026 15:00:52 +0000

I love learning new concepts by playing around with them (think explorable explanations (https://en.wikipedia.org/wiki/Explorable_explanation), and I got more and more interested in running local LLMs on my own hardware. Since we live in the age of "speak, and your side project will be done" (joking, but LLMs are really helpfull for me when it comes to frontend stuff and for brainstorming in general!), I built the tool I needed myself :)

WatchMachineGo is basically a visual simulator that simulates how a local LLM model gets loaded, prefilled and then used for inference, while showing the effects of different hardware parameters like memory bandwitch or setups like no GPU, two GPUs and so on.

All free and without ads, forever.

I plan to open source it too, but want to think about how first, still.

Note: It is still under construction!

If you check it out: Thank you very much and I hope that it will be time well spent! :)

Comments URL: https://news.ycombinator.com/item?id=49022761

Points: 2

# Comments: 1

New comment by dev_dan_2 in "Gemini last models: temperature, top_p, and top_k are deprecated and ignored"

dev_dan_2 — Wed, 22 Jul 2026 12:02:31 +0000

> improve determinism

Oh well. I might be to picky here, but how I see things, determinism cannot be improved or worsened, but achieved or not achieved. Or Partially archieved, when analyzing a system that has both components that are deterministic or non deterministic.

There are times to think in absolutes, and when talking about deterministic behavior of technical systems, this is one of them. Join the sith side, we have cookies, and when we say we have cookies, we do.

New comment by dev_dan_2 in "The Leading Deepfake Expert No Longer Trusts His Own Eyes"

dev_dan_2 — Wed, 22 Jul 2026 11:52:13 +0000

Seems like a great opportunity to pitch my (optimistic) vision for the relationship between humans and digital media:

- Assume that we cannot trust anything we see on a screen (or listen on a speaker), *based on how real it looks to us*. I am convinced that perception of realness will not be a usefull heuristic for authenthicity anymore. For voice, we are already there as I see it, with images and videos, this is not far off anymore.

- That means that we should be fundamentally sceptic of digital media, until proven otherwise by other mechanisms

- One such mechanism is: Good, old trust between humans. I know you, you know me, we both are really confident that we are truthfull to each other. (You can also through cryptography into the mix to benefit from that trust more independently from time and space, for example by signing an email or a commit).

=> (Hopefull conclusion:) This might lead to us leaving our lives in a more human way again: Trust needs relationships, and relationships need time spent together and nurture.

=> Two nice sideeffects: A) Many methods of blackmail might cease to exist due to plausibly deniability, since many forms of evidence are digital and could therefore be fake B) Propaganda by means of digital media might become less effective, too

New comment by dev_dan_2 in "NVLink, NVSwitch, and All That"

dev_dan_2 — Wed, 22 Jul 2026 11:45:58 +0000

Oh wow, instant bookmark for my research folder! I build a hardware simulator, and when I focus on setups with multiple GPUs, this will be a valuable resource.

Love the information density, prose and visual style, thanks for the article!

New comment by dev_dan_2 in "Late.sh – a command-line Clubhouse for computer people"

dev_dan_2 — Wed, 22 Jul 2026 11:43:11 +0000

Looks neat, bookmarked and want to check it out!

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

dev_dan_2 — Wed, 22 Jul 2026 11:39:22 +0000

Great tutorial, really enjoyed it! Personally, I think languages that can check very much at compile time in combinations with LLMs have a bright future ahead. Additionally, if one wanted to give Haskell a try, Lean4 might be a good language to check out before, as it is more modern and ticks many of the same boxes (Still has some unique features, and the communities quite a lot).

Small feedback: - Great flow, explaination, motivation and so on! :) - Typo: "conext" at the bottom - If you want to keyword-hack a bit, you could introduce a paragraph or too about the role the relationship of Lean4 with LLMs/AI ;)