insulanus's comments

On: Mickey, Disney, and the public domain: A 95-year l...

[insulanus]

Yes, that was the takeaway by the MPAA-aligned laywers at the time.

On: Conway's Game of Life is omniperiodic

[insulanus]

Get a second mug printed from the same printer, and hide it safely away, in case the original ever breaks, and they are out of business.

[nnnnnnnnnnnnn → insulanus]

If it breaks, that might be a good opportunity to practice impermanence.

[wholinator2 → nnnnnnnnnnnnn]

Well sure, but i imagine you could get the impermanence lesson, and the mug next Christmas.

On: Dogbolt Decompiler Explorer

[insulanus]

> deities smithing people.

That's "deities smiting people.", but I really like the idea of deities smithing people :)

[WJW → insulanus]

The Dwarven god in DnD is so good at crafting he can literally make new souls in his forge. :)

[stcredzero → insulanus]

This happens in the Norse myths.

[pjmorris → insulanus]

There's a joke about Adam and Eve in here somewhere. Genesis 2 for reference.

[reactordev → pjmorris]

Sculpty terracotta would be a fitting choice. It's pretty easy to sculpt when kneaded, bakes in a traditional oven, keeps it's details. Perfect for silicone mold making.

[TeMPOraL → reactordev]

> bakes in a traditional oven

Now that reminds me of a verse from a song I heard on the radio as a teenager:

  Had a meeting with my maker
  The superhuman baker
  He popped me in the oven
  And set the dial to lovin'

On: Microsoft pulls OneDrive update that would quiz yo...

[insulanus]

PSA for those using windows at home: someone else has already done all the work removing spyware / unnecessary junk / mandatory login, etc.

https://github.com/topics/windows-11-debloat

I think I used this guide https://christitus.com/windows-11-perfect-install/

[TacticalCoder → insulanus]

If you have to "debloat", you've already lost.

[mekster → TacticalCoder]

What's your winning strategy?

On: Streamer in Japan Gets 2yrs Jail Time for Uploadin...

[insulanus]

This is an effect of Japanese corporations lobbying for copyright legislation, not Japanese "society".

I agree that the word "society" can be used to convey social norms, whether imposed by the general public or a powerful minority, but here it's use is deceptive, because there is a connotation that society at large accepts this application of law as just, and had the practical power to influence copyright law.

On: Asking 60 LLMs a set of 20 questions

[insulanus]

It would be nice if the organizations would publish a hash of the code and the trained dataset.

[seabass-labrax → insulanus]

You aren't able to get access to the 'Open'AI dataset though, are you? Agreed, it would be an excellent addition for comparing source-available models, but that doesn't help with the accusations of OpenAI's foul play nor of the existence of an anti-OpenAI conspiracy.

On: Come back, c2.com, we still need you

[insulanus]

It would be great if there was a read-only version of the site that can be crawled.

Much easier to do that supporting both HTTP and JS for both read and write.

On: Come back, c2.com, we still need you

[insulanus]

Sadly, I've had bad experiences with some Single Page Apps. Here are some problems I've had:

Linking to a specific topic.

Archiving the site.

[SpaghettiCthulu → insulanus]

Also routing breaking if you trigger back/forward too fast (looking at you, GitHub)

On: Basic SAT model of x86 instructions using Z3, auto...

[insulanus]

This type of thing can help you formally verify code.

So, if your proof is correct, and your description of the (language/CPU) is correct, you can prove the code does what you think it does.

Formal proof systems are still growing up, though, and they are still pretty hard to use. See Coq for an introduction: https://coq.inria.fr/

On: Examples of floating point problems

[insulanus]

Definitely. Unfortunately, Language implementations that guaranteed exceptions were not in wide use at the time. Also, to have a chance at being implemented on more than one CPU, it had to work in C and assembly.