markusde

@koronkebitch > writing little HTML web pages, but I quickly got bored of this and didn't even manage to create even a single website.

The most relatable sentence ever written

@minsung do you remember where? If anywhere?

@pdarragh You and I have different judgements about the morality behind individual use of LLM's. That's fine, I'll have that discussion with you, but you commented it in thread with a lot of other baggage. Before we start talking past each other, is this really what you meant to do?

@amy I don't care about the Agda policy (I don't use Agda) but I also don't agree with you in general, and overreacting comments like this one go deeply against my beliefs about how science should be conducted.

I've been posting positive (and negative) stuff about LLM's over the past few months. You should probably block me based on this criteria. No harm in that, but I've also laid out my opinions about using LLM's which I think would make my position on this topic known.

I make an effort to CW these posts for people who want to filter LLM's out of their social media feeds. I'm now curious if you knew of this at all?

@ilyasergey @krismicinski @kha you did mention at one point that you were thinking of different models (specifically separation logic). I'd definitely be curious to see where that goes :)