trashchomper

7 ms·

1.
by trashchomper 11mo ago
I genuinely don't think it's hard to compete. I use AI sometimes, I don't use it more than I use it. I find myself at least just-as-productive as people who primarily use AI. I personally tire of people acting like it's
2.
by trashchomper 1y ago
Calling LLMs trivial is a new one. Yea just consume all of the information on the internet and encode it into a statistical model, trivial, child could do it /s
3.
by trashchomper 1y ago
On the flip side, why would I use AI today if it presents no immediate benefit. Why not wait 5 years and see if it becomes actually helpful.
4.
by trashchomper 1y ago
As an Australian I always find it funny going places and having to remember which dance-around word everyone uses for "toilet". Washroom, restroom, bathroom, there's so many!
5.
by trashchomper 1y ago
Is it that secret? I imagine you could get 90% the way there within a day or two with just a combo of highly cited papers + Linkedin scraping
6.
by trashchomper 1y ago
Assuming sarcasm but if not, because deterministic vs. nondeterministic output?
7.
by trashchomper 1y ago
Having played with Dafny only in a university course, I really enjoyed it as a way of implementing algorithms and being certain they work with much less cruft than unit tests. I haven't gone looking but verifier tools compatible with
8.
by trashchomper 1y ago
"They all do". Just categorically not true but ok buddy
9.
by trashchomper 1y ago
I assume they're trying to work on three features at the same time
10.
by trashchomper 1y ago
I feel like you answered your own question... Like I get it, but English is fluid and is it really that far to make the assumptive leap from "git" to "github/lab/service", seems pretty clear what they meant (ev
11.
by trashchomper 2y ago
Yep, as a New Zealander/Australian (spent half my life in both) I was curious what it would give me. Turns out "native english speaker" is all you get. Even if I really put it on thick