hkaiser changed the topic of #ste||ar to: STE||AR: Systems Technology, Emergent Parallelism, and Algorithm Research | stellar-group.org | HPX: A cure for performance impaired parallel applications | github.com/STEllAR-GROUP/hpx | This channel is logged: irclog.cct.lsu.edu
hkaiser has joined #ste||ar
K-ballo has quit [Quit: K-ballo]
hkaiser has quit [Quit: Bye!]
Guest33 has joined #ste||ar
Guest33 has quit [Client Quit]
aalekhn has joined #ste||ar
Yorlik has joined #ste||ar
hkaiser has joined #ste||ar
aalekhn has quit [Quit: Connection closed for inactivity]
Yorlik_ has joined #ste||ar
Yorlik has quit [Ping timeout: 260 seconds]
K-ballo has joined #ste||ar
<hkaiser>
gonidelis[m]: yt?
<gonidelis[m]>
Hey
<hkaiser>
pm, pls
aalekhn has joined #ste||ar
aalekhn has quit [Quit: Connection closed for inactivity]
Yorlik_ has quit [Ping timeout: 255 seconds]
<gonidelis[m]>
K-ballo: the correct terminology is "a type models a concept" right?
<gonidelis[m]>
i am trying to find the verb
<gonidelis[m]>
satisfies?
<K-ballo>
uh, models and satisfies used to be slightly different things
<K-ballo>
I'm not sure where we landed with that, I don't know the correct terminology
<K-ballo>
one means it fulfils the syntactic requirements, the other one that it also fulfils the semantic requirements
<K-ballo>
I don't even remember which one was which
<hkaiser>
gonidelis[m]: have you seen #5893?
<gonidelis[m]>
Oh
<gonidelis[m]>
hkaiser: no
<gonidelis[m]>
i have no experience with freebsd but should be the same as ubuntuy
<hkaiser>
yes, I think so
<gonidelis[m]>
we need more context for that no
<gonidelis[m]>
?
<hkaiser>
could you try pls if it reproduces for you? he specified some cmake flags