laksjhdlka

3 ms·

1.
by laksjhdlka 6mo ago
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 undo things done 100+ years ago -- no
2.
by laksjhdlka 6mo ago
> 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.
3.
by laksjhdlka 7mo ago
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?
4.
by laksjhdlka 7mo ago
Exactly. Somehow the internet has lead to the death of nuance, too many loud voices?
5.
by laksjhdlka 7mo ago
> 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 clearly when the person saying X is bad depends fina
6.
by laksjhdlka 7mo ago
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 rhetorically asking if your positi
7.
by laksjhdlka 7mo ago
Definitely, in this kind of a scenario the agent is probably best positioned to slog through all that nonsense.
8.
by laksjhdlka 7mo ago
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 it seems cute, I can't really imagine myself r
9.
by laksjhdlka 7mo ago
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 running it in production as an implementation la
10.
by laksjhdlka 8mo ago
I can't tell which element(s) of the previous post you are criticizing.
11.
by laksjhdlka 8mo ago
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. It was glorious. Being a student is so much fun, and we oft
12.
by laksjhdlka 8mo ago
Anthropic has published a very clear statement. It's "no".
13.
by laksjhdlka 8mo ago
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 my Levi's 510s every couple years and get the same th
14.
by laksjhdlka 8mo ago
How do I add other keys to the little virtual keyboard? Inability to easily type ` is pretty tough. Looks beautiful though.
15.
by laksjhdlka 8mo ago
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.
16.
by laksjhdlka 8mo ago
To be fair, Facebook was at the time viewed by many as crazily overvalued.
17.
by laksjhdlka 8mo ago
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, they are social.
18.
by laksjhdlka 8mo ago
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.
19.
by laksjhdlka 8mo ago
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 memory).
20.
by laksjhdlka 8mo ago
The README is for your agent to read. Shrug.