HackerTrans
TopNewTrendsCommentsPastAskShowJobs

stfutechbros

no profile record

comments

stfutechbros
·3 yıl önce·discuss
If the security of it is a concern, then it's already doing too much.
stfutechbros
·3 yıl önce·discuss
How is that different if you replace "engineering" with anything else? _x_ management is _x_ plus leadership for all _x_.
stfutechbros
·3 yıl önce·discuss
I wonder if we will get apologies from the people who used this to justify spreading horribly malicious rhetoric toward homeless people.
stfutechbros
·3 yıl önce·discuss
[dead]
stfutechbros
·3 yıl önce·discuss
[dead]
stfutechbros
·3 yıl önce·discuss
ChatGPT is basically the opposite of formal verification...

It itself is not verified, and its results are so inaccurate that you need to verify them anyway.
stfutechbros
·3 yıl önce·discuss
Is there some direct reference to Zippy and Emacs? That connection seems less likely than the extremely common and well known phrase "are we there yet?"