trashchomper

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 some saving grace that doubles/triples/100x your productivity and not a tool that may give you 10-20% uplift just like any other tool

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

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.

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!

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

Assuming sarcasm but if not, because deterministic vs. nondeterministic output?

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 languages people already use (typescript/rust/go/whatever is the flavour of the month) feel like the way to go

"They all do". Just categorically not true but ok buddy

I assume they're trying to work on three features at the same time

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 (even if it's not completely/technically/um-actually correct because git != github).

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