Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Wrapping Up 2021. Leaving C++

izzys.casa

Post reply on HN
Print view View original

191–200 of 251 posts

Re: Wrapping Up 2021. Leaving C++

#191

Post by notacoward »

coddle-hark wrote: post #185
notacoward wrote: post #62

FYI: the author is named Isabella and AFAICT uses female pronouns. In light of that, the amount of "he" and "him" in the comments so far seems a bit excessive. EDIT: it looks like a lot of those comments have been cleaned up or deleted since I first made this comment. Thank you.

It’s xe/xyr according to the linked Twitter profile.

I stand corrected. The first source I found was

https://cppcast.com/guest/imuerte/

which uses she/her. I guess it has changed over time. In either case, male pronouns (or "this guy" in one still-extant comment) are incorrect and seem like the result of stereotyping or opposition to modern gender reality.

Re: Wrapping Up 2021. Leaving C++

#193

Post by MaxBarraclough »

jeff-davis wrote: post #190
pyjarrett wrote: post #99

Earlier quoted context omitted.

> Is there any non-proprietary Ada/SPARK implementation? Yes, it's now available as part of GNAT. The integration in GNAT Studio is good and lets you prove a single line or entire file in the IDE. I mostly write Ada for my projects and have only dabbled in SPARK. It's super interesting, but also ridiculously hard. I don't have any formal training in this, but to me, I found it at least as on par with C++ template met…

Is there an easy way to get up and running with SPARK on ubuntu using just "apt install" from official package repositories?

I don't think so, last I checked you have to download the graphical installer from AdaCore. I'm not sure why it's this way.

I've never had any trouble with the installer, at least.

Re: Wrapping Up 2021. Leaving C++

#194

Post by pyjarrett »

jeff-davis wrote: post #190
pyjarrett wrote: post #99

Earlier quoted context omitted.

> Is there any non-proprietary Ada/SPARK implementation? Yes, it's now available as part of GNAT. The integration in GNAT Studio is good and lets you prove a single line or entire file in the IDE. I mostly write Ada for my projects and have only dabbled in SPARK. It's super interesting, but also ridiculously hard. I don't have any formal training in this, but to me, I found it at least as on par with C++ template met…

Is there an easy way to get up and running with SPARK on ubuntu using just "apt install" from official package repositories?

GNAT is part of GCC, I'd look in your package manager for "Ada" and/or GCC.

I'd recommend asking in https://gitter.im/ada-lang/Lobby

Re: Wrapping Up 2021. Leaving C++

#197

Post by pyjarrett »

MaxBarraclough wrote: post #193
jeff-davis wrote: post #190

Earlier quoted context omitted.

Is there an easy way to get up and running with SPARK on ubuntu using just "apt install" from official package repositories?

I don't think so, last I checked you have to download the graphical installer from AdaCore. I'm not sure why it's this way. I've never had any trouble with the installer, at least.

Alire (https://alire.ada.dev/) can do the toolchain install now. It's pretty much like cargo, and can also be used to select from multiple toolchain versions.

Re: Wrapping Up 2021. Leaving C++

#198

Post by dragonwriter »

mgaunard wrote: post #196
pschastain wrote: post #186

Earlier quoted context omitted.

Citations?

Attention to detail is literally one of the four symptoms of OCD. You're just being deliberately antagonistic. I guess you were triggered?

> Attention to detail is literally one of the four symptoms of OCD.

Correction, it is for OCPD, which is what you suggested upthread; OCD and OCPD are completely different disorders.

Re: Wrapping Up 2021. Leaving C++

#199

Post by dragonwriter »

mgaunard wrote: post #180
dragonwriter wrote: post #171

Earlier quoted context omitted.

> Most good programmers have OCPD. No, they don't. Attention to detail isn't OCPD.

The two are highly correlated.

All people with OCPD have attention to details, but the reverse isn't true. But most good programmers do not have the other characteristics or OCPD like being “preoccupied with details, rules, lists, order, organization, or schedules to the extent that the major point of the activity is lost” or “reluctant to delegate tasks or to work with others unless they submit to exactly his or her way of doing things”.

Re: Wrapping Up 2021. Leaving C++

#200

Post by magicalist »

IshKebab wrote: post #179
magicalist wrote: post #138

Earlier quoted context omitted.

Eh. Call it "guidelines" and people write dang fanmail. Call it a "code of conduct" and some people lose their minds.

Yeah because the title is a fairly strong signal for the sort of content and enforcement it's going to get.

> Yeah because the title is a fairly strong signal for the sort of content and enforcement it's going to get.

Is it? Or are your priors being set by outliers sensational enough to be picked up by hn/twitter/whatever

Post reply on HN