Viewing profile — laksjhdlka

It _is_ performative (not sure it's nonsense) because it doesn't actually do or intend to do anything. It's cheap. (I personally think it's also _disingenous_, because you can't un…

> Also, optimizing your setup for working with agents can easily make a 5x difference. Any highlights you can share here? I'm always looking to improve me setup.

Where do you live? I'm in the midwest, US, and theoretical savings between 2x and 5x amounts to a single full bag of groceries. Literally. How can this possibly be a concern?

Exactly. Somehow the internet has lead to the death of nuance, too many loud voices?

> And the consensus among professional translators is that MTPE only saves time if you're willing to accept a half-assed result. I have no particular interest in translation, but c…

They say "if" it's a new work, then it might not be copyrightable, I guess. You suppose that it's still the original work, and hence it's still got that copyright. I think they are…

Definitely, in this kind of a scenario the agent is probably best positioned to slog through all that nonsense.

It is not clear to me that keeping prompts/conversations at something like this level of granularity is a _bad_ idea, nor that it's a good one. My initial response is that, while i…

With λProlog in particular I think it probably finds most of its use in specifying and reasoning about systems/languages/logics, e.g. with Abella. I don't think many people are run…

I can't tell which element(s) of the previous post you are criticizing.

I once studied proof theory for a summer at a school in Paris and we talked about type inference and theorem proving all the time in casual conversation, over beers, in the park. I…

Anthropic has published a very clear statement. It's "no".

And you buy the same brand and model of pants from the same retailer and they still fit completely differently due to variation in the product. Pretty annoying, I just want to buy …

How do I add other keys to the little virtual keyboard? Inability to easily type ` is pretty tough. Looks beautiful though.

https://golfcourse.wiki/ is down / degraded FYI (frequent 500/503). What is the best way to contact you? I have a related project you might enjoy.

To be fair, Facebook was at the time viewed by many as crazily overvalued.

Exactly, now that the internet is ubiquitous, none of the problems with replacing credit card companies like VISA are really technical . They are regulatory, they are political, th…

This line alone made me want to read the rest of the page, so good work! Hilarious and self-deprecating is how I took it.

I'm sitting here wondering why you'd run anything not full-screened, save for some rare situation where you are comparing multiple windows line by line (and don't have a short term…

The README is for your agent to read. Shrug.