Logs: freenode/#haskell
| 2021-04-14 19:43:21 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-04-14 19:44:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-04-14 19:46:41 | × | hypercube quits (hypercube@gateway/vpn/protonvpn/hypercube) (Quit: WeeChat 3.1) |
| 2021-04-14 19:48:33 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-04-14 19:49:03 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 2021-04-14 19:49:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-14 19:49:44 | × | Tops2 quits (~Tobias@dyndsl-095-033-095-094.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-04-14 19:49:51 | × | tms_ quits (thomaav@cassarossa.samfundet.no) (Ping timeout: 250 seconds) |
| 2021-04-14 19:50:34 | × | teddyc quits (theodorc@cassarossa.samfundet.no) (Ping timeout: 276 seconds) |
| 2021-04-14 19:52:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 19:52:46 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-14 19:53:02 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 19:54:10 | → | Guest_98 joins (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) |
| 2021-04-14 19:54:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 19:55:04 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 252 seconds) |
| 2021-04-14 19:55:05 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-14 19:55:20 | <Guest_98> | Trying to install Haskell on a new Mac and receive the following errors. Any help appreciated. "[ Info ] Installing GHC (this may take a while) |
| 2021-04-14 19:55:21 | <Guest_98> | [ ghc-configure ] not found (too old?) |
| 2021-04-14 19:55:21 | <Guest_98> | [ ghc-configure ] checking for gcc... gcc |
| 2021-04-14 19:55:22 | <Guest_98> | [ ghc-configure ] checking whether the C compiler works... no |
| 2021-04-14 19:55:22 | <Guest_98> | [ ghc-configure ] configure: error: in `/private/var/folders/pt/gn2hzg255v1103g4rkz59w3r0000gn/T... |
| 2021-04-14 19:55:23 | <Guest_98> | [ ghc-configure ] configure: error: C compiler cannot create executables |
| 2021-04-14 19:55:23 | <Guest_98> | [ ghc-configure ] See `config.log' for more details |
| 2021-04-14 19:57:44 | <geekosaur> | xcode-select --install (I think) |
| 2021-04-14 19:58:21 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 2021-04-14 19:58:32 | <int-e> | geekosaur: if that's the solution I'll be impressed |
| 2021-04-14 19:58:36 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-14 19:58:45 | <geekosaur> | probably |
| 2021-04-14 19:59:06 | <int-e> | I was going to suggest a pastebin https://paste.tomsmeding.com/ because as far as I can tell the actual error is further up. |
| 2021-04-14 19:59:14 | <geekosaur> | I lost track of how apple lobotomizes things |
| 2021-04-14 19:59:34 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-14 20:00:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-14 20:00:20 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-04-14 20:01:00 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:2d99:cd1a:54c5:e472) |
| 2021-04-14 20:03:36 | → | chenshen joins (~chenshen@2620:10d:c090:400::5:b29e) |
| 2021-04-14 20:05:22 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 252 seconds) |
| 2021-04-14 20:06:25 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-04-14 20:06:58 | → | dariof4 joins (~dario@5.11.121.66) |
| 2021-04-14 20:08:06 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-04-14 20:08:17 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 2021-04-14 20:08:39 | → | petersen joins (~petersen@redhat/juhp) |
| 2021-04-14 20:08:54 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-14 20:08:55 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 2021-04-14 20:08:55 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) |
| 2021-04-14 20:09:13 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 2021-04-14 20:09:17 | → | Franciman joins (~francesco@host-87-20-23-243.retail.telecomitalia.it) |
| 2021-04-14 20:09:19 | → | aoeu256 joins (~quassel@134.204.25.66) |
| 2021-04-14 20:09:33 | ← | Franciman parts (~francesco@host-87-20-23-243.retail.telecomitalia.it) ("Leaving") |
| 2021-04-14 20:10:05 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-04-14 20:10:21 | × | rodriga quits (~quassel@134.204.25.66) (Read error: Connection reset by peer) |
| 2021-04-14 20:12:13 | × | remby quits (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) (Remote host closed the connection) |
| 2021-04-14 20:12:38 | → | remby joins (~remby@bras-base-london1483w-grc-43-65-95-173-128.dsl.bell.ca) |
| 2021-04-14 20:13:43 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 20:13:53 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-04-14 20:17:53 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-04-14 20:22:19 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-14 20:22:54 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-04-14 20:23:17 | → | justan0theruser joins (~justanoth@unaffiliated/justanotheruser) |
| 2021-04-14 20:25:51 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-04-14 20:25:55 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 248 seconds) |
| 2021-04-14 20:27:37 | → | Lycurgus joins (~niemand@98.4.118.65) |
| 2021-04-14 20:29:39 | × | raichoo quits (~raichoo@dslb-088-077-024-130.088.077.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-14 20:32:49 | <Guest_98> | didn't work, but thanks for responding. that was the whole error |
| 2021-04-14 20:37:09 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-04-14 20:37:17 | <maerwald> | you need a working gcc |
| 2021-04-14 20:37:59 | × | dmytrish quits (~mitra@2a02:8084:a82:d900:f811:9873:2623:c28b) (Ping timeout: 260 seconds) |
| 2021-04-14 20:38:03 | × | chenshen quits (~chenshen@2620:10d:c090:400::5:b29e) (Quit: My MacBook Pro has gone to sleep. ZZZzzz…) |
| 2021-04-14 20:39:41 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-04-14 20:40:09 | × | aoeu256 quits (~quassel@134.204.25.66) (Ping timeout: 265 seconds) |
| 2021-04-14 20:40:22 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-04-14 20:41:58 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-14 20:43:59 | × | Guest_98 quits (6c1020d6@pool-108-16-32-214.phlapa.fios.verizon.net) (Quit: Ping timeout (120 seconds)) |
| 2021-04-14 20:44:56 | × | lampowner quits (~xblow@broadband-90-154-72-32.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2021-04-14 20:49:27 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:447b:5128:d97:8340) |
| 2021-04-14 20:49:54 | <nicholasbulka> | hello |
| 2021-04-14 20:50:13 | <koz_> | nicholasbulka: Sup? |
| 2021-04-14 20:50:46 | <nicholasbulka> | first time here, started playing with Haskell in code wars |
| 2021-04-14 20:51:37 | <nicholasbulka> | trying to learn it in parallel with category theory, at least to be able to talk about it |
| 2021-04-14 20:51:51 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-14 20:51:59 | <nicholasbulka> | whats up with you? |
| 2021-04-14 20:52:10 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-14 20:52:33 | <koz_> | Not much. |
| 2021-04-14 20:52:57 | × | blankhart quits (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-04-14 20:54:46 | <sm[m]> | nicholasbulka: cool. Code wars ? Is that like clash of code ? |
| 2021-04-14 20:54:56 | → | blankhart joins (~blankhart@pool-72-88-174-206.nwrknj.fios.verizon.net) |
| 2021-04-14 20:55:46 | <nicholasbulka> | its like hacker rank and probably clash of code, I've never tried CoC |
| 2021-04-14 20:56:29 | <nicholasbulka> | coding challenges |
| 2021-04-14 20:56:36 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:b54d:c232:d06e:243a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-14 20:57:37 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 252 seconds) |
| 2021-04-14 20:59:02 | <ski> | nicholasbulka : you're interested in math, then ? |
| 2021-04-14 20:59:23 | <nicholasbulka> | tangentially, through philosophy |
| 2021-04-14 20:59:34 | ski | nods |
| 2021-04-14 20:59:58 | <ski> | do you have any suitable book or so to follow ? |
| 2021-04-14 21:00:34 | <nicholasbulka> | a lot of youtube videos, Emily Riehl's stuff and Bartosz |
| 2021-04-14 21:01:11 | <nicholasbulka> | I'm trying to take it slow, and rewatch the same video on the Yoneda lemma like 5 times |
| 2021-04-14 21:01:23 | → | rprije joins (~rprije@59-102-63-15.tpgi.com.au) |
| 2021-04-14 21:01:24 | <ski> | there were a couple of suggestions mentioned in ##math, the other day (also ##categorytheory was mentioned). if you want to, i could repeat them |
| 2021-04-14 21:01:38 | <nicholasbulka> | go for it! |
| 2021-04-14 21:01:47 | <ski> | stand by |
| 2021-04-14 21:02:35 | <monochrom> | <3 Emily Riehl. I read her CT book. |
All times are in UTC.