Fork me on GitHub
#off-topic
<
2017-12-11
>
lovuikeng04:12:33

Problem is more on the puzzle pipeline... soon to be running out if no incentive is given to produce

qqq20:12:20

git clone [email protected]:matijapretnar/eff.git
Cloning into 'eff'...
Permission denied (publickey).
fatal: Could not read from remote repository.

Please make sure you have the correct access rights
and the repository exists.
what is going on? I can't even git clone a public repo ?

New To Clojure20:12:14

@qqq Could use HTTPS url. But this error is strange indeed.

juhoteperi20:12:55

@qqq Do you have ssh private key set up and public key added to GitHub?

qqq20:12:08

@juhoteperi: no, on this particular machine, ~/.ssh only has authorized_keys and known_hosts

jgh20:12:35

that’s probably your problem, use the https url if you cant add keys there

qqq20:12:20

ah, so the theory is : ssh git@.... wants SOME ssh key that is attached to SOME github account, even if it doesn't have commit access to the project

qqq20:12:29

otherwise, it dies at the ssh verification step, and there is no git clone

3Jane21:12:13

Yeah, I would expect you have to provide a user/key to get a secure session

3Jane21:12:50

https://git-scm.com/book/en/v2/Git-on-the-Server-The-Protocols says > if you don’t specify the optional username, Git assumes the user you’re currently logged in as. (..) > The negative aspect of SSH is that it doesn’t support anonymous access to your Git repository.

New To Clojure21:12:45

That's sad that git doesn't allow password auth with empty passwords to get public repos

phronmophobic21:12:11

there are other protocols besides git+ssh

phronmophobic21:12:19

for example, github offers https

phronmophobic21:12:35

as well as zips of specific checkouts

qqq21:12:30

it's not a problem, I can add a ssh key; I just wasn't aware of this issue until now

3Jane21:12:35

Unrelated, but maybe someone knows Haskell?

phronmophobic21:12:49

using https doesn’t require auth if you need that in the future

3Jane21:12:03

if I have two modules, one with data Whatever = X | Y | … and the other one with data Another = X | A | B ..., how can I import both so that I can refer to the right X unambiguously? (I know about import qualified, but can’t figure out how to get it working. Modulename.X doesn’t work)

noisesmith21:12:39

import qualified IIRC

noisesmith21:12:23

so with one you import .... and the other import qualified Another as A

noisesmith21:12:26

something like that

noisesmith21:12:44

oh you already mentioned qualified, never mind

3Jane21:12:30

…I think I need to import both as qualified, testing now

3Jane21:12:00

It looks like that worked. Thanks 🙂 And now I have FirstModule.X, SecondModule.X

New To Clojure21:12:49

Btw there's http://eta-lang.org/ for JVM 🙂

main :: IO ()
main = print $ quicksort [1, 123, 42, 90, 24, 12, 3]

quicksort [] = []
quicksort (x:xs) = quicksort left ++ [x] ++ quicksort right
    where left  = [ y | y <- xs, y < x ]
          right = [ y | y <- xs, y >= x ]
(isn't my code)

qqq21:12:42

how's eta's compile time, does it have a repl, and how does it differ from frege ?

noisesmith21:12:58

frege has bad interop with java and other java langs

noisesmith21:12:29

iirc eta is much newer but if implemented as expected will have much better interop (but this neccessarily also means less haskell compatibility, that’s the tradeoff)

noisesmith21:12:30

for example last I checked you could not define an interface that other code could use via frege, and you could not define code that uses an external interface from frege, those were deal breakers that meant I couldn’t integrate it nicely into my mixed lang codebase

qqq22:12:38

@noisesmith: you are everywhere answering all the questions; I'm starting to suspect you're a chat bot from a tech research lab masquerading as human

noisesmith22:12:11

I'm just a compulsive question answerer

joelsanchez22:12:53

people come and go from the channels, but noisesmith is always present and useful

fellshard22:12:39

Use the Hanselman strategy - write a blog or a book about things you answer, and then you can point people that way to start : )

fellshard22:12:22

Especially because search here is basically nullified by our message history

seancorfield23:12:12

I was a big fan of Frege for a while and fairly active with that (small) community but it sure seems like Eta has a lot more people involved and has advanced a lot faster than Frege because of that.