HN user
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