| 2021-05-14 00:04:05 +0000 | <Uter> | Can a Turing machine simulate thought? |
| 2021-05-14 00:05:22 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 00:09:11 +0000 | <monochrom> | Wrong channel. |
| 2021-05-14 00:09:13 +0000 | <davve> | OT: there are drugs that can |
| 2021-05-14 00:09:59 +0000 | <Uter> | What channel do I go to in order to ask this question? |
| 2021-05-14 00:10:20 +0000 | <Uter> | Which channel do I go to in order to ask this question? |
| 2021-05-14 00:10:31 +0000 | <monochrom> | This is not a directory service either. |
| 2021-05-14 00:11:43 +0000 | <Uter> | monochrom: Are you an operator? |
| 2021-05-14 00:14:41 +0000 | jao | (jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-14 00:15:03 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 00:15:37 +0000 | bennofs__ | (~quassel@dynamic-089-012-169-079.89.12.pool.telefonica.de) |
| 2021-05-14 00:16:28 +0000 | ddellacosta | (~ddellacos@86.106.143.176) |
| 2021-05-14 00:18:26 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 2021-05-14 00:19:06 +0000 | bennofs_ | (~quassel@dynamic-078-055-133-039.78.55.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2021-05-14 00:20:41 +0000 | ddellacosta | (~ddellacos@86.106.143.176) (Ping timeout: 240 seconds) |
| 2021-05-14 00:26:55 +0000 | tromp | (~tromp@77.249.230.40) |
| 2021-05-14 00:27:33 +0000 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 252 seconds) |
| 2021-05-14 00:31:40 +0000 | tromp | (~tromp@77.249.230.40) (Ping timeout: 268 seconds) |
| 2021-05-14 00:31:43 +0000 | drbean_ | (~drbean@TC210-63-209-100.static.apol.com.tw) |
| 2021-05-14 00:34:49 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 00:46:48 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 00:49:26 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 00:49:49 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-14 00:50:33 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-jjwayfetbamsvluw) (Quit: Connection closed for inactivity) |
| 2021-05-14 00:51:00 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 00:52:06 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-14 00:53:52 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 00:54:58 +0000 | kupi | (uid212005@gateway/web/irccloud.com/x-elsgjtlywkhnglxq) (Quit: Connection closed for inactivity) |
| 2021-05-14 00:55:43 +0000 | superstar64 | (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-14 00:57:49 +0000 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-14 00:59:31 +0000 | sudden | (~lax@unaffiliated/laxask) (Quit: leaving) |
| 2021-05-14 01:01:45 +0000 | laxask | (~lax@unaffiliated/laxask) |
| 2021-05-14 01:07:45 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 01:10:22 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 01:11:01 +0000 | shailangsa | (~shailangs@host86-186-196-136.range86-186.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2021-05-14 01:12:56 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-14 01:14:02 +0000 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-14 01:14:09 +0000 | itai | (~itai@2a0d:6fc0:804:3500:f50f:77b6:28be:b274) (Remote host closed the connection) |
| 2021-05-14 01:15:07 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-14 01:16:25 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-14 01:17:48 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 01:17:50 +0000 | <Uter> | Where are these super smart geniuses that I keep hearing about. |
| 2021-05-14 01:17:56 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 01:17:59 +0000 | ChanServ | +o monochrom |
| 2021-05-14 01:18:05 +0000 | monochrom | +b Uter!*@* |
| 2021-05-14 01:18:22 +0000 | monochrom | -b Uter!*@* |
| 2021-05-14 01:18:27 +0000 | <davve> | i was about to type him a proper response but i figured he was trolling |
| 2021-05-14 01:18:27 +0000 | monochrom | -o monochrom |
| 2021-05-14 01:20:12 +0000 | <davve> | probably was :P |
| 2021-05-14 01:25:05 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 01:25:21 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 01:28:04 +0000 | ddellacosta | (~ddellacos@86.106.143.241) |
| 2021-05-14 01:32:58 +0000 | carlomagno | (~cararell@148.87.23.8) (Quit: Leaving.) |
| 2021-05-14 01:33:20 +0000 | ddellacosta | (~ddellacos@86.106.143.241) (Ping timeout: 268 seconds) |
| 2021-05-14 01:33:58 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 01:34:36 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-14 01:36:53 +0000 | shailangsa | (~shailangs@host165-120-169-24.range165-120.btcentralplus.com) |
| 2021-05-14 01:38:35 +0000 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-14 01:39:01 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-14 01:41:25 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:45:07 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 01:45:33 +0000 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 2021-05-14 01:49:39 +0000 | rajivr | (uid269651@gateway/web/irccloud.com/x-soowutbnfvimotcf) |
| 2021-05-14 01:50:47 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:51:00 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:51:07 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:51:18 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:51:55 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:52:06 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:52:42 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:52:53 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:53:30 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:53:41 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:54:18 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:54:29 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:55:05 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:55:16 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:55:53 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:56:03 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:56:40 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:56:51 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:57:28 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:57:39 +0000 | ddellacosta | (~ddellacos@86.106.143.33) |
| 2021-05-14 01:58:16 +0000 | ddellacosta | (~ddellacos@86.106.143.33) (Remote host closed the connection) |
| 2021-05-14 01:59:01 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-14 02:00:15 +0000 | xff0x | (~xff0x@2001:1a81:527b:7200:224e:16c9:1ab4:ffaa) (Ping timeout: 250 seconds) |
| 2021-05-14 02:00:55 +0000 | <tapas> | awww it's boring without trolls |
| 2021-05-14 02:01:00 +0000 | <tapas> | they're the spice of the internet! |
| 2021-05-14 02:02:05 +0000 | xff0x | (~xff0x@2001:1a81:52b5:6000:e226:e5d3:b52b:6faf) |
| 2021-05-14 02:02:15 +0000 | CrazyPython | (~crazypyth@206.214.238.6) (Read error: Connection reset by peer) |
| 2021-05-14 02:05:21 +0000 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-14 02:06:32 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 02:08:13 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 02:09:39 +0000 | <hololeap> | ground troll is what makes a curry pop! |
| 2021-05-14 02:10:53 +0000 | nineonine | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-05-14 02:11:29 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 02:11:52 +0000 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-14 02:13:39 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-14 02:14:55 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 02:19:13 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 02:19:29 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 02:19:58 +0000 | isovector | (~isovector@172.103.216.166) |
| 2021-05-14 02:24:10 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-14 02:25:36 +0000 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-14 02:25:36 +0000 | finn_elija | Guest38834 |
| 2021-05-14 02:25:36 +0000 | FinnElija | finn_elija |
| 2021-05-14 02:26:37 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 02:27:59 +0000 | isovector | (~isovector@172.103.216.166) (Ping timeout: 246 seconds) |
| 2021-05-14 02:28:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 02:28:21 +0000 | Guest38834 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-14 02:29:46 +0000 | drbean_ | (~drbean@TC210-63-209-100.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-14 02:31:53 +0000 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 250 seconds) |
| 2021-05-14 02:40:14 +0000 | ddellacosta | (~ddellacos@86.106.143.10) |
| 2021-05-14 02:41:01 +0000 | Sheilong | (uid293653@gateway/web/irccloud.com/x-rhpyeuwtpcwsiaqx) () |
| 2021-05-14 02:41:19 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-14 02:44:49 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-14 02:45:04 +0000 | ddellacosta | (~ddellacos@86.106.143.10) (Ping timeout: 252 seconds) |
| 2021-05-14 02:45:16 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 02:46:09 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 02:46:48 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-14 02:48:10 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 02:48:56 +0000 | theDon | (~td@muedsl-82-207-238-236.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-14 02:50:40 +0000 | theDon | (~td@muedsl-82-207-238-178.citykom.de) |
| 2021-05-14 02:51:35 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 02:52:29 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-14 02:54:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-14 02:58:29 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-pdbhajqewdjsgghb) (Quit: Connection closed for inactivity) |
| 2021-05-14 03:00:30 +0000 | <siraben> | that's an unusual way to troll |
| 2021-05-14 03:04:21 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 03:08:10 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 03:11:10 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 276 seconds) |
| 2021-05-14 03:12:05 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-14 03:14:45 +0000 | petersen | (~petersen@redhat/juhp) |
| 2021-05-14 03:15:57 +0000 | Iceland_jack | (~user@95.147.45.92) (Remote host closed the connection) |
| 2021-05-14 03:16:53 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 03:17:56 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 03:21:22 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 03:22:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-14 03:29:29 +0000 | jared-w | (uid405292@gateway/web/irccloud.com/x-eipenrywlrydjypz) (Quit: Connection closed for inactivity) |
| 2021-05-14 03:39:40 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 03:43:22 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 03:43:48 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 03:44:13 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-14 03:44:23 +0000 | alx741 | (~alx741@181.196.68.14) (Quit: alx741) |
| 2021-05-14 03:45:21 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 03:48:46 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 03:54:18 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 03:57:11 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-14 03:58:25 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 03:58:41 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 04:02:32 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:02:51 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:03:11 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-14 04:04:59 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 04:05:23 +0000 | xkapastel | (uid17782@gateway/web/irccloud.com/x-fkhouktirrkpcdzt) (Quit: Connection closed for inactivity) |
| 2021-05-14 04:06:06 +0000 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-05-14 04:06:14 +0000 | yahb | (xsbot@178.219.36.155) |
| 2021-05-14 04:06:14 +0000 | yahb | (xsbot@178.219.36.155) (Changing host) |
| 2021-05-14 04:06:14 +0000 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-05-14 04:07:28 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:07:53 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:09:29 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-14 04:09:29 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:10:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-14 04:12:52 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:22:17 +0000 | <hyiltiz> | w |
| 2021-05-14 04:24:57 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) ("WeeChat 3.0.1") |
| 2021-05-14 04:25:44 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 04:26:13 +0000 | kiweun | (~sheepduck@cpe98524a8cef7c-cm98524a8cef7a.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-05-14 04:26:27 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-ahljnfmlpzcempts) (Quit: Connection closed for inactivity) |
| 2021-05-14 04:27:31 +0000 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-05-14 04:30:56 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-14 04:32:28 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::627f) |
| 2021-05-14 04:33:00 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-05-14 04:33:24 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:34:09 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:35:04 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-14 04:39:32 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-14 04:43:43 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:44:09 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:46:55 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-14 04:47:08 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-14 04:47:20 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 04:50:13 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 04:50:18 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-14 04:51:54 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:52:13 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:52:33 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 04:53:50 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 04:53:56 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: leaving) |
| 2021-05-14 04:54:39 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 04:55:05 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-14 04:56:44 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-14 04:57:12 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 04:57:26 +0000 | Cthalupa | (~cthulhu@47.186.47.75) (Ping timeout: 246 seconds) |
| 2021-05-14 04:58:01 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 04:58:43 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 05:02:07 +0000 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2021-05-14 05:02:15 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 05:02:26 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 05:03:21 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-14 05:03:21 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 2021-05-14 05:07:18 +0000 | gentauro | (~gentauro@unaffiliated/gentauro) |
| 2021-05-14 05:08:08 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 265 seconds) |
| 2021-05-14 05:08:18 +0000 | spider1 | (~spider@vps-951ce37a.vps.ovh.ca) |
| 2021-05-14 05:10:12 +0000 | sheepduck | (~sheepduck@2607:fea8:2a60:b700::627f) (Remote host closed the connection) |
| 2021-05-14 05:13:47 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 05:16:52 +0000 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-14 05:17:29 +0000 | leonardo1 | (~leonardo@185.204.1.185) (Remote host closed the connection) |
| 2021-05-14 05:18:17 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 2021-05-14 05:19:54 +0000 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-14 05:28:26 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-14 05:28:32 +0000 | alexander | (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 2021-05-14 05:29:01 +0000 | alexander | Guest93721 |
| 2021-05-14 05:31:54 +0000 | nineonin_ | (~nineonine@2604:3d08:777e:900:6098:71ed:d0b:952b) |
| 2021-05-14 05:35:06 +0000 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-14 05:35:10 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-14 05:40:00 +0000 | xff0x | (~xff0x@2001:1a81:52b5:6000:e226:e5d3:b52b:6faf) (Remote host closed the connection) |
| 2021-05-14 05:40:17 +0000 | xff0x | (~xff0x@2001:1a81:52b5:6000:f0a6:872b:1338:809f) |
| 2021-05-14 05:42:25 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 05:46:26 +0000 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 2021-05-14 05:46:47 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 2021-05-14 05:47:16 +0000 | mbeidler | (sid216950@gateway/web/irccloud.com/x-zlpuzvxwqrbyloqs) |
| 2021-05-14 05:48:06 +0000 | mbeidler | (sid216950@gateway/web/irccloud.com/x-zlpuzvxwqrbyloqs) (Client Quit) |
| 2021-05-14 05:49:56 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 260 seconds) |
| 2021-05-14 05:50:33 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) |
| 2021-05-14 05:54:07 +0000 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-14 05:57:27 +0000 | monochrom | (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 2021-05-14 05:58:41 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) (Ping timeout: 260 seconds) |
| 2021-05-14 05:59:07 +0000 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 268 seconds) |
| 2021-05-14 05:59:51 +0000 | Shuppiluliuma | (~shuppilul@153.33.68.161) (Ping timeout: 265 seconds) |
| 2021-05-14 06:00:51 +0000 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-05-14 06:01:04 +0000 | werneta_ | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
| 2021-05-14 06:01:47 +0000 | plutoniix | (~q@node-ugb.pool-125-24.dynamic.totinternet.net) |
| 2021-05-14 06:04:46 +0000 | javie | (~javie-ubu@81.0.39.87) |
| 2021-05-14 06:05:01 +0000 | javie | (~javie-ubu@81.0.39.87) (Client Quit) |
| 2021-05-14 06:05:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 06:08:25 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-05-14 06:08:32 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-05-14 06:09:10 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-14 06:09:55 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Remote host closed the connection) |
| 2021-05-14 06:10:11 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-14 06:11:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-14 06:11:41 +0000 | kingswim | (~kevinying@197.210.65.220) |
| 2021-05-14 06:12:25 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2021-05-14 06:12:56 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 06:12:57 +0000 | monochrom | (trebla@216.138.220.146) |
| 2021-05-14 06:13:04 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-14 06:16:21 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 2021-05-14 06:16:41 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 06:19:07 +0000 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-14 06:21:12 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 2021-05-14 06:22:21 +0000 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2021-05-14 06:25:38 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 268 seconds) |
| 2021-05-14 06:28:22 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 2021-05-14 06:30:11 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 246 seconds) |
| 2021-05-14 06:35:10 +0000 | jb55 | (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 2021-05-14 06:35:31 +0000 | jb55 | (~jb55@gateway/tor-sasl/jb55) |
| 2021-05-14 06:39:16 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-14 06:39:16 +0000 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-14 06:39:16 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-14 06:52:16 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 06:52:22 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-14 06:53:46 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 06:55:33 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 06:56:58 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-14 07:01:11 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-14 07:01:21 +0000 | kingswim | (~kevinying@197.210.65.220) (Read error: Connection reset by peer) |
| 2021-05-14 07:01:46 +0000 | kingswim | (~kevinying@197.210.65.220) |
| 2021-05-14 07:04:31 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-14 07:06:10 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-14 07:06:35 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-05-14 07:08:37 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 07:15:15 +0000 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-14 07:23:17 +0000 | Aquazi | (uid312403@gateway/web/irccloud.com/x-iqwgqsgfaxvsrekg) |
| 2021-05-14 07:24:37 +0000 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-14 07:24:37 +0000 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-14 07:24:37 +0000 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-14 07:30:20 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-14 07:31:57 +0000 | jonatanb | (~jonatanb@83.24.29.87.ipv4.supernova.orange.pl) |
| 2021-05-14 07:32:11 +0000 | jonatanb | (~jonatanb@83.24.29.87.ipv4.supernova.orange.pl) (Client Quit) |
| 2021-05-14 07:36:57 +0000 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-14 07:39:14 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 07:39:45 +0000 | <hololeap> | is there some place where this is defined? instance IsString a => IsString (Maybe a) |
| 2021-05-14 07:40:04 +0000 | <hololeap> | i ask because i see someone trying to do this in a library |
| 2021-05-14 07:40:12 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-14 07:41:16 +0000 | <Rembane> | I guessed Data.String, but it isn't there. |
| 2021-05-14 07:41:21 +0000 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-14 07:42:07 +0000 | <hololeap> | No instance for (GHC.Exts.IsList (Maybe Text)) arising from an overloaded list • In the fifth argument of ‘SemVer’, namely ‘[]’ |
| 2021-05-14 07:42:32 +0000 | <hololeap> | oops, i guess i meant IsList |
| 2021-05-14 07:42:33 +0000 | <boxscape> | That looks like IsList rather than IsString? |
| 2021-05-14 07:42:35 +0000 | <boxscape> | okay |
| 2021-05-14 07:42:51 +0000 | <Rembane> | Common typo. :) |
| 2021-05-14 07:43:36 +0000 | Codaraxis__ | (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 2021-05-14 07:43:49 +0000 | <hololeap> | i wonder if they mean Nothing or (Just []) |
| 2021-05-14 07:43:59 +0000 | <sshine> | yeah |
| 2021-05-14 07:44:16 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 07:44:49 +0000 | <sshine> | toList Nothing == ? |
| 2021-05-14 07:45:09 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 07:46:07 +0000 | <Rembane> | > toList Nothing |
| 2021-05-14 07:46:08 +0000 | <lambdabot> | [] |
| 2021-05-14 07:46:28 +0000 | <Rembane> | > fromList [] :: Maybe Int |
| 2021-05-14 07:46:29 +0000 | <lambdabot> | error: |
| 2021-05-14 07:46:29 +0000 | <lambdabot> | • Variable not in scope: fromList :: [a0] -> Maybe Int |
| 2021-05-14 07:46:29 +0000 | <lambdabot> | • Perhaps you meant one of these: |
| 2021-05-14 07:46:33 +0000 | <Rembane> | Meh |
| 2021-05-14 07:47:07 +0000 | <hololeap> | % fromList [] :: Maybe Text |
| 2021-05-14 07:47:07 +0000 | <yahb> | hololeap: ; <interactive>:55:22: error: Not in scope: type constructor or class `Text' |
| 2021-05-14 07:47:26 +0000 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-14 07:47:59 +0000 | <Rembane> | There are analogues in Data.Maybe, but they only work on lists. |
| 2021-05-14 07:49:04 +0000 | <hololeap> | well this is from https://github.com/purescript/spago/blob/master/src/Spago/Version.hs#L73 |
| 2021-05-14 07:49:16 +0000 | <hololeap> | i assume it compiles on some systems |
| 2021-05-14 07:50:37 +0000 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-14 07:52:10 +0000 | <boxscape> | hololeap the fifth parameter of SemVer had a different type a while ago https://hackage.haskell.org/package/versions-3.3.1/docs/Data-Versions.html#t:SemVer |
| 2021-05-14 07:53:04 +0000 | <boxscape> | hololeap looks like it was changed in the latest version, 5.0.0 |
| 2021-05-14 07:54:53 +0000 | <boxscape> | the spago .cabal file doesn't use upper bounds for most of its dependecies |
| 2021-05-14 07:55:37 +0000 | <hololeap> | i'll just patch it, but i was wondering what broke it |
| 2021-05-14 07:57:46 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-14 07:57:59 +0000 | <hololeap> | boxscape: ah that explains it then :) |
| 2021-05-14 07:59:29 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 08:01:00 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Remote host closed the connection) |
| 2021-05-14 08:01:42 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-14 08:05:05 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) |
| 2021-05-14 08:05:11 +0000 | chimera | (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 08:05:19 +0000 | <hololeap> | boxscape: thanks for finding that |
| 2021-05-14 08:05:30 +0000 | <boxscape> | np |
| 2021-05-14 08:06:28 +0000 | arahael1 | (~arahael@203-206-83-196.tpgi.com.au) |
| 2021-05-14 08:06:51 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 250 seconds) |
| 2021-05-14 08:07:03 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-05-14 08:07:21 +0000 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-14 08:08:59 +0000 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-14 08:09:09 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-14 08:09:17 +0000 | Arahael | (~arahael@114.198.16.164) (Ping timeout: 260 seconds) |
| 2021-05-14 08:10:44 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-14 08:13:10 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-14 08:14:23 +0000 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) |
| 2021-05-14 08:15:57 +0000 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-14 08:16:14 +0000 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-14 08:17:18 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-14 08:18:31 +0000 | z88 | (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) |
| 2021-05-14 08:19:14 +0000 | fendor | (~fendor@77.119.131.196.wireless.dyn.drei.com) |
| 2021-05-14 08:26:04 +0000 | <absence> | is there a way to perform a monadic bind on the left side of an either instead of the right, i.e. (e -> Either e' a) -> Either e a -> Either e' a? |
| 2021-05-14 08:26:23 +0000 | <absence> | other than copying the code for the monad instance and switching left and right |
| 2021-05-14 08:26:56 +0000 | <Rembane> | :t (=<<) |
| 2021-05-14 08:26:58 +0000 | <lambdabot> | Monad m => (a -> m b) -> m a -> m b |
| 2021-05-14 08:27:00 +0000 | <Rembane> | Like that? |
| 2021-05-14 08:27:32 +0000 | <tomboy64> | when i want [ (a,b) | a <- [1,2], b <- [1,2] ], is there a way so i can conflate the definition of a and b? |
| 2021-05-14 08:27:35 +0000 | nek0 | (~nek0@mail.nek0.eu) (Remote host closed the connection) |
| 2021-05-14 08:27:51 +0000 | <tomboy64> | as a,b are created from the same list |
| 2021-05-14 08:27:52 +0000 | <boxscape> | Hmm, the bifunctors package has Flip but it doesn't have a Monad instance |
| 2021-05-14 08:28:04 +0000 | <Rembane> | absence: Or is it the Left part you want to interact with? |
| 2021-05-14 08:28:38 +0000 | <Rembane> | > (,) <$> [1,2,3] <*> [1,2,3] -- tomboy64 |
| 2021-05-14 08:28:40 +0000 | <lambdabot> | [(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(3,1),(3,2),(3,3)] |
| 2021-05-14 08:29:05 +0000 | <absence> | Rembane: left yes |
| 2021-05-14 08:29:08 +0000 | <tomboy64> | uh, nifty |
| 2021-05-14 08:29:13 +0000 | <boxscape> | tomboy64 [ (a, b) | let xs = [1,2,3], a <- xs, b <- xs ] |
| 2021-05-14 08:29:16 +0000 | <tomboy64> | thanks, gonna check that out |
| 2021-05-14 08:30:03 +0000 | <Rembane> | > first (+2) (Left 3) |
| 2021-05-14 08:30:05 +0000 | <lambdabot> | error: |
| 2021-05-14 08:30:05 +0000 | <lambdabot> | • Couldn't match type ‘(b, d)’ with ‘Either a0 b0’ |
| 2021-05-14 08:30:05 +0000 | <lambdabot> | Expected type: Either a0 b0 -> (b, d) |
| 2021-05-14 08:30:10 +0000 | <Rembane> | Hm... |
| 2021-05-14 08:30:34 +0000 | <boxscape> | We have Biapplicative but not Bimonad, eh |
| 2021-05-14 08:30:46 +0000 | <boxscape> | I imagine there's a mathematical reason for that |
| 2021-05-14 08:31:14 +0000 | <Rembane> | absence: Do you need Monad or is Applicative enough? |
| 2021-05-14 08:31:28 +0000 | hololeap | (~hololeap@gateway/tor-sasl/hololeap) (Quit: Bye) |
| 2021-05-14 08:32:17 +0000 | nek0 | (~nek0@mail.nek0.eu) |
| 2021-05-14 08:33:56 +0000 | <boxscape> | ...though Either isn't even a Biapplicative so that wouldn't help |
| 2021-05-14 08:34:17 +0000 | <Rembane> | Oh |
| 2021-05-14 08:34:18 +0000 | <Rembane> | Meh |
| 2021-05-14 08:37:04 +0000 | berberman__ | (berberma4@gateway/shell/matrix.org/x-oqwwmsvupcxuxpnp) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:29 +0000 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-knnbylqxaiupdwue) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:43 +0000 | <absence> | seems like the "swapped" lens won't do the trick either |
| 2021-05-14 08:37:53 +0000 | kuribas | (~user@ptr-25vy0i97aequnpt08mb.18120a2.ip6.access.telenet.be) |
| 2021-05-14 08:37:54 +0000 | enya[m] | (enyaismatr@gateway/shell/matrix.org/x-vbxbmzfxfyfdzpkm) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-eudjrzrcgrkbadyq) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-oykouxifvdgxkysk) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-ygcqfwwgjhaithrv) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | JaakkoLuttinen[m | (jluttinema@gateway/shell/matrix.org/x-kwtghircdmpnsjld) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | l-as | (lasmatrixo@gateway/shell/matrix.org/x-uqygpgsipnzcjvky) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-lxilvmapenritogw) (Ping timeout: 245 seconds) |
| 2021-05-14 08:37:54 +0000 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-urtbejfwazafnhmf) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 +0000 | maerwald[m] | (maerwaldma@gateway/shell/matrix.org/x-fklrirjztisrhpuf) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 +0000 | ServerStatsDisco | (serverstat@gateway/shell/matrix.org/x-fmdpukzknleoofkk) (Ping timeout: 245 seconds) |
| 2021-05-14 08:38:19 +0000 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-upahawlsktdxgrvb) (Ping timeout: 245 seconds) |
| 2021-05-14 08:39:01 +0000 | anandprabhu-M | (anandprabh@gateway/shell/kde/matrix/x-bvhldoupnbmlqysg) |
| 2021-05-14 08:39:42 +0000 | hyiltiz-M | (hyiltizkde@gateway/shell/kde/matrix/x-zxgylrwrlsislond) |
| 2021-05-14 08:39:56 +0000 | <boxscape> | maybe there should be a `Symmetrical` class that allows you to get a Monad instance over the first argument if there is one over the second argument |
| 2021-05-14 08:40:00 +0000 | enya[m] | (enyaismatr@gateway/shell/matrix.org/x-sfvtspwjmmnvmqkn) |
| 2021-05-14 08:40:01 +0000 | <boxscape> | not sure if that's possible to define though |
| 2021-05-14 08:40:46 +0000 | johnnyboy[m] | (gifumatrix@gateway/shell/matrix.org/x-ojhxzwohbdrmgjvq) |
| 2021-05-14 08:40:47 +0000 | Noughtmare[m] | (naughtmare@gateway/shell/matrix.org/x-qigccbyaufimndlg) |
| 2021-05-14 08:41:07 +0000 | _bin | (~bin@2600:1700:10a1:38d0:4da3:c080:c26c:e9d4) (Quit: ZNC - https://znc.in) |
| 2021-05-14 08:41:33 +0000 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-05-14 08:42:14 +0000 | <boxscape> | it should be possible, if this class has a `flip` method and a law that flip is an isomorphism, I guess |
| 2021-05-14 08:43:09 +0000 | vk3wtf | (~doc@61.68.250.44) (Quit: WeeChat 3.0.1) |
| 2021-05-14 08:43:42 +0000 | vk3wtf | (~doc@61.68.250.44) |
| 2021-05-14 08:43:43 +0000 | berberman__ | (berberma4@gateway/shell/matrix.org/x-smsbwwrsnfgurtng) |
| 2021-05-14 08:44:09 +0000 | ServerStatsDisco | (serverstat@gateway/shell/matrix.org/x-miecketcbzzjnzas) |
| 2021-05-14 08:44:52 +0000 | ubert | (~Thunderbi@p200300ecdf259d7bca5b76fffe29f233.dip0.t-ipconnect.de) |
| 2021-05-14 08:45:27 +0000 | l-as | (lasmatrixo@gateway/shell/matrix.org/x-cxrmfjuikklcwojc) |
| 2021-05-14 08:45:36 +0000 | hsiktas[m] | (hsiktasmat@gateway/shell/matrix.org/x-izewmwhjsrwvknuy) |
| 2021-05-14 08:45:57 +0000 | jespada_ | (~jespada@87.74.38.78) |
| 2021-05-14 08:47:33 +0000 | JaakkoLuttinen[m | (jluttinema@gateway/shell/matrix.org/x-btugkmuncsueyjng) |
| 2021-05-14 08:47:44 +0000 | jeffcasavant[m] | (jeffcasava@gateway/shell/matrix.org/x-cgvaqqcpzrsthsqo) |
| 2021-05-14 08:48:19 +0000 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-xljgadiiftwikmko) |
| 2021-05-14 08:48:29 +0000 | maerwald[m] | (maerwaldma@gateway/shell/matrix.org/x-eftsnltcljcrozqd) |
| 2021-05-14 08:49:01 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-14 08:49:01 +0000 | jespada | (~jespada@87.74.37.248) (Ping timeout: 260 seconds) |
| 2021-05-14 08:51:50 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-14 08:57:43 +0000 | vilpan | (~0@212.117.1.172) |
| 2021-05-14 09:00:18 +0000 | jchia[m] | (jchiamatri@gateway/shell/matrix.org/x-cnmbhrrzgpmynneo) (Quit: Idle for 30+ days) |
| 2021-05-14 09:00:19 +0000 | Lurkki[m]1 | (lurkkipriv@gateway/shell/matrix.org/x-cpeitjulibvdczps) (Quit: Idle for 30+ days) |
| 2021-05-14 09:12:01 +0000 | jespada | (~jespada@87.74.38.81) |
| 2021-05-14 09:12:47 +0000 | <kingswim> | it seems -> can apprear in lambda \x->x,and also can apprear in fff:: a->a->a,but donot know it can do like this : data Procedure = InitBoosters (controller->script)? where i can find the origin introduction of ->? |
| 2021-05-14 09:13:56 +0000 | <boxscape> | kingswim the -> in the lambda syntax is a different -> than the (->) type constructor. They're both built into the language, though ghci will say something if you ask it about the type constructor with :i |
| 2021-05-14 09:13:59 +0000 | <boxscape> | % :i (->) |
| 2021-05-14 09:14:00 +0000 | <yahb> | boxscape: type (->) :: * -> * -> *; type (->) = FUN 'Many :: * -> * -> *; -- Defined in `GHC.Types'; infixr -1 ->; instance Applicative ((->) r) -- Defined in `GHC.Base'; instance Functor ((->) r) -- Defined in `GHC.Base'; instance Monad ((->) r) -- Defined in `GHC.Base'; instance Monoid b => Monoid (a -> b) -- Defined in `GHC.Base'; instance Semigroup b => Semigroup (a -> b) -- Defined in `GHC.Base'; instance [s |
| 2021-05-14 09:14:06 +0000 | jespada_ | (~jespada@87.74.38.78) (Ping timeout: 240 seconds) |
| 2021-05-14 09:15:54 +0000 | <boxscape> | kingswim similar to how you can have `data A = A`, and overload A to be both a type and data constructor, -> is "overloaded" to be a type constructor for functions, so `a -> b` is the type of functions from a to b, but also as part of the syntax of the function data constructor, so that `\x -> y` is a function of type `a -> b` if (x :: a) and (y :: |
| 2021-05-14 09:15:55 +0000 | <boxscape> | b) |
| 2021-05-14 09:15:58 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 09:16:16 +0000 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-14 09:16:22 +0000 | <boxscape> | (though it's a bit different because the `->`s are built into the language, whereas `A` is not.) |
| 2021-05-14 09:17:01 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 09:17:19 +0000 | <boxscape> | in `data Procedure = InitBoosters (controller -> script)`, you're using the type constructor version, to say that the argument to InitBoosters must be a function of type controller -> script |
| 2021-05-14 09:18:43 +0000 | <kingswim> | i see,i will list diff and try find out the origin reason. |
| 2021-05-14 09:21:19 +0000 | kingswim | (~kevinying@197.210.65.220) (Read error: Connection reset by peer) |
| 2021-05-14 09:21:23 +0000 | admin__ | (~kevinying@197.210.65.220) |
| 2021-05-14 09:24:19 +0000 | tomsmeding | (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 09:24:20 +0000 | energizer | (~energizer@unaffiliated/energizer) (Quit: ZNC 1.7.0+deb0+xenial1 - https://znc.in) |
| 2021-05-14 09:24:20 +0000 | rkrishnan_ | (~rkrishnan@rkrishnan.org) (Quit: ZNC 1.8.2+deb2+b1 - https://znc.in) |
| 2021-05-14 09:24:28 +0000 | shapr | (~shapr@haskell/developer/shapr) (Ping timeout: 268 seconds) |
| 2021-05-14 09:24:40 +0000 | energizer | (~energizer@unaffiliated/energizer) |
| 2021-05-14 09:24:44 +0000 | tomsmeding | (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
| 2021-05-14 09:25:31 +0000 | rkrishnan | (~rkrishnan@rkrishnan.org) |
| 2021-05-14 09:25:44 +0000 | <kuribas> | why does applicativeDo not allow "do a <- x; let b = y; pure Foo x y" |
| 2021-05-14 09:25:46 +0000 | <kuribas> | ? |
| 2021-05-14 09:25:50 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 09:26:07 +0000 | <kuribas> | But it allows "do a <- x; b <- pure y; pure Foo x y" |
| 2021-05-14 09:26:19 +0000 | arianvp | (~weechat@arianvp.me) (Ping timeout: 268 seconds) |
| 2021-05-14 09:26:33 +0000 | shapr | (~shapr@162.243.9.169) |
| 2021-05-14 09:26:34 +0000 | shapr | Guest25767 |
| 2021-05-14 09:26:43 +0000 | <kuribas> | which is exactly the same |
| 2021-05-14 09:26:53 +0000 | arianvp | (~weechat@arianvp.me) |
| 2021-05-14 09:27:11 +0000 | <kuribas> | does ApplicativeDo doesn't do desugaring? |
| 2021-05-14 09:29:52 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 09:29:59 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-14 09:30:37 +0000 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-14 09:32:25 +0000 | chimera | (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-14 09:33:07 +0000 | ubert | (~Thunderbi@p200300ecdf259d7bca5b76fffe29f233.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-05-14 09:33:19 +0000 | admin__ | (~kevinying@197.210.65.220) (Ping timeout: 245 seconds) |
| 2021-05-14 09:33:24 +0000 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-05-14 09:33:57 +0000 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-14 09:37:29 +0000 | <boxscape> | huh lambdabot's @undo doesn't support let |
| 2021-05-14 09:38:40 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 2021-05-14 09:39:56 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 09:39:57 +0000 | <boxscape> | kuribas you can see the output with -ddump-ds, which might tell you why it doesn' work |
| 2021-05-14 09:40:05 +0000 | <enikar> | kuribas: ApllicativeDo does desugaring, but with the rules of Applicative. And if you use a rule that involves Monad, then (>>=) is used, if possible. |
| 2021-05-14 09:40:57 +0000 | <kuribas> | boxscape: so "let x = y;" cannot be desugared to "x <- pure y"? |
| 2021-05-14 09:41:24 +0000 | <boxscape> | I think that was meant for enikar |
| 2021-05-14 09:41:40 +0000 | <kuribas> | no |
| 2021-05-14 09:41:42 +0000 | <boxscape> | hmm |
| 2021-05-14 09:41:46 +0000 | <boxscape> | well, I don't know the answer |
| 2021-05-14 09:41:49 +0000 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) (Quit: WeeChat 2.9) |
| 2021-05-14 09:42:22 +0000 | <kuribas> | even so if the bindings in the let don't depend on the previous bindings, the let can be floated up, and it should still work. |
| 2021-05-14 09:44:30 +0000 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-14 09:44:36 +0000 | <kuribas> | "do a <- x; let b = y; pure Foo x y" => (\a -> Foo a y) <$> x |
| 2021-05-14 09:44:40 +0000 | <kuribas> | looks fine to me. |
| 2021-05-14 09:45:17 +0000 | <boxscape> | that does look pretty applicative |
| 2021-05-14 09:45:31 +0000 | <boxscape> | functorial even |
| 2021-05-14 09:45:59 +0000 | <kuribas> | or better: (let b = y in \a -> Foo a y) <$> x |
| 2021-05-14 09:46:31 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) (Ping timeout: 250 seconds) |
| 2021-05-14 09:46:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 09:46:58 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 09:48:08 +0000 | <boxscape> | (whoops lambdabot's @undo *does* support let, but the `b = y` needs to be surrounded by {}) |
| 2021-05-14 09:48:32 +0000 | <kuribas> | I don't see any lambdabot output |
| 2021-05-14 09:48:48 +0000 | <boxscape> | I experimented in private messages |
| 2021-05-14 09:48:54 +0000 | <kuribas> | @undo do a <- x; let b = y; pure $ Foo x y |
| 2021-05-14 09:48:54 +0000 | <lambdabot> | <unknown>.hs:1:37:Parse error: EOF |
| 2021-05-14 09:49:05 +0000 | <kuribas> | @undo do {a <- x; let b = y; pure $ Foo x y} |
| 2021-05-14 09:49:06 +0000 | <lambdabot> | <unknown>.hs:1:38:Parse error: } |
| 2021-05-14 09:49:08 +0000 | <boxscape> | @undo do a <- x; let {b = y}; pure $ Foo x y |
| 2021-05-14 09:49:08 +0000 | <lambdabot> | x >>= \ a -> let { b = y} in pure $ Foo x y |
| 2021-05-14 09:49:29 +0000 | <boxscape> | but that's without ApplicativeDo |
| 2021-05-14 09:51:54 +0000 | <kuribas> | oh, this works: do a <- x; pure $ let {b = y} in Foo x y |
| 2021-05-14 09:52:30 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-sfbwpdsukvhsninn) |
| 2021-05-14 09:52:51 +0000 | Guest93721 | (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 2021-05-14 09:53:33 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Ping timeout: 240 seconds) |
| 2021-05-14 09:54:08 +0000 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-14 09:54:15 +0000 | <kuribas> | @undo do a <- x; pure $ let {b = y} in Foo x y |
| 2021-05-14 09:54:15 +0000 | <lambdabot> | x >>= \ a -> pure $ let { b = y} in Foo x y |
| 2021-05-14 09:54:46 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9585d94a8a519d1af897.dip0.t-ipconnect.de) |
| 2021-05-14 09:55:39 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 09:55:52 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-14 09:58:56 +0000 | arahael1 | Arahael |
| 2021-05-14 10:00:54 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:01:13 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:02:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 10:03:08 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 10:03:41 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 2021-05-14 10:04:15 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-05-14 10:05:45 +0000 | ddellacosta | (~ddellacos@86.106.143.111) |
| 2021-05-14 10:10:24 +0000 | ddellacosta | (~ddellacos@86.106.143.111) (Ping timeout: 245 seconds) |
| 2021-05-14 10:10:34 +0000 | [1]MrMobius | (~MrMobius@208.58.206.154) |
| 2021-05-14 10:10:42 +0000 | MrMobius | (~MrMobius@208.58.206.154) (Ping timeout: 265 seconds) |
| 2021-05-14 10:10:54 +0000 | [1]MrMobius | MrMobius |
| 2021-05-14 10:11:27 +0000 | cgfbee | (~bot@oc1.itim-cj.ro) (Quit: cgfbee) |
| 2021-05-14 10:12:11 +0000 | ozzymcduff | (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 10:12:28 +0000 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-14 10:14:37 +0000 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 10:15:00 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:15:01 +0000 | <enikar> | kuribas: perhaps, with -foptimal-applicative-do, you'll get better desugaring. |
| 2021-05-14 10:15:20 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:16:45 +0000 | ozzymcduff | (~textual@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 2021-05-14 10:17:25 +0000 | ozzymcduff | (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 10:18:00 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 2021-05-14 10:18:34 +0000 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-14 10:18:54 +0000 | <kuribas> | enikar: that doesn't exist |
| 2021-05-14 10:19:16 +0000 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-14 10:19:54 +0000 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-05-14 10:20:11 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-14 10:21:06 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-14 10:21:49 +0000 | <enikar> | kuribas: it's in ghc manual, in the section "ApplicativeDo" (since 8.0.1). |
| 2021-05-14 10:22:54 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 245 seconds) |
| 2021-05-14 10:23:11 +0000 | Futty14 | (53fc4b37@c83-252-75-55.bredband.tele2.se) |
| 2021-05-14 10:23:17 +0000 | <kuribas> | enikar: ah it does :) I'll try it. |
| 2021-05-14 10:23:46 +0000 | <kuribas> | It doesn't say anything about let though, it's an alternative desugaring algorithm. |
| 2021-05-14 10:29:01 +0000 | <enikar> | yes. |
| 2021-05-14 10:30:58 +0000 | alexander | (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) |
| 2021-05-14 10:31:28 +0000 | alexander | Guest38393 |
| 2021-05-14 10:35:45 +0000 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-14 10:39:02 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 10:39:03 +0000 | Guest38393 | (~alexander@2a02:587:dc01:3b00:38f4:60b0:4dbb:46) (Ping timeout: 260 seconds) |
| 2021-05-14 10:41:47 +0000 | chomwitt | (~alexander@2a02:587:dc0e:4e00:38f4:60b0:4dbb:46) |
| 2021-05-14 10:44:34 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 2021-05-14 10:44:36 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 10:45:16 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 10:48:46 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 10:50:24 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 10:52:40 +0000 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 276 seconds) |
| 2021-05-14 10:54:35 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 2021-05-14 10:56:11 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 10:56:22 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 10:58:11 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 10:58:36 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 11:00:51 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-14 11:02:31 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-14 11:06:34 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 11:07:01 +0000 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-05-14 11:07:16 +0000 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds) |
| 2021-05-14 11:07:44 +0000 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 265 seconds) |
| 2021-05-14 11:09:29 +0000 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-14 11:09:49 +0000 | Guest47543 | (~textual@2603-7000-3040-0000-d07d-0f62-085c-2849.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 11:10:13 +0000 | jespada_ | (~jespada@90.254.244.151) |
| 2021-05-14 11:10:21 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-05-14 11:11:47 +0000 | Xraell | (~xraell@45.157.15.145) |
| 2021-05-14 11:12:41 +0000 | jespada | (~jespada@87.74.38.81) (Ping timeout: 260 seconds) |
| 2021-05-14 11:13:24 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 2021-05-14 11:13:27 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 11:13:45 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 11:15:09 +0000 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-14 11:15:13 +0000 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 11:16:12 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-14 11:16:53 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-14 11:17:44 +0000 | nix-on-droid | (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 2021-05-14 11:18:11 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-14 11:18:35 +0000 | Codaraxis__ | (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 246 seconds) |
| 2021-05-14 11:18:44 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) (Quit: WeeChat 3.1) |
| 2021-05-14 11:19:23 +0000 | ddellacosta | (~ddellacos@86.106.143.215) |
| 2021-05-14 11:20:03 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) |
| 2021-05-14 11:22:23 +0000 | pmj | (~pmj@p4fe156fa.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-05-14 11:23:53 +0000 | ddellacosta | (~ddellacos@86.106.143.215) (Ping timeout: 260 seconds) |
| 2021-05-14 11:24:54 +0000 | nix-on-droid | (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 2021-05-14 11:25:09 +0000 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-05-14 11:25:13 +0000 | nix-on-droid | (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) |
| 2021-05-14 11:25:40 +0000 | Futty14 | (53fc4b37@c83-252-75-55.bredband.tele2.se) (Quit: Connection closed) |
| 2021-05-14 11:26:30 +0000 | jess | (jess@freenode/staff/jess) |
| 2021-05-14 11:26:43 +0000 | nix-on-droid | (~nix-on-dr@p200300f207194c00b02dadfd35619880.dip0.t-ipconnect.de) (Client Quit) |
| 2021-05-14 11:31:59 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 11:33:21 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-14 11:34:15 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 11:37:24 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 11:37:46 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-14 11:38:22 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 11:39:40 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 252 seconds) |
| 2021-05-14 11:40:26 +0000 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-14 11:41:22 +0000 | drbean_ | (~drbean@TC210-63-209-210.static.apol.com.tw) |
| 2021-05-14 11:43:22 +0000 | jespada | (~jespada@90.254.244.151) |
| 2021-05-14 11:43:33 +0000 | meck | (~meck@li1809-18.members.linode.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 11:43:41 +0000 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-14 11:43:41 +0000 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-14 11:43:41 +0000 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-14 11:45:49 +0000 | jespada_ | (~jespada@90.254.244.151) (Ping timeout: 245 seconds) |
| 2021-05-14 11:46:33 +0000 | ppmdo | (~ppmdo@2a01:c22:7603:3800:536:1f6c:72f2:b240) |
| 2021-05-14 11:47:11 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) (Ping timeout: 240 seconds) |
| 2021-05-14 11:47:49 +0000 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-05-14 11:47:52 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) |
| 2021-05-14 11:48:46 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-14 11:50:20 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 11:50:51 +0000 | ddellacosta | (~ddellacos@86.106.143.100) |
| 2021-05-14 11:52:02 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 11:52:52 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-14 11:54:15 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 11:55:05 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-14 11:55:37 +0000 | ddellacosta | (~ddellacos@86.106.143.100) (Ping timeout: 260 seconds) |
| 2021-05-14 11:56:47 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-14 12:00:34 +0000 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-14 12:00:58 +0000 | Alleria | Guest16235 |
| 2021-05-14 12:01:26 +0000 | son0p | (~ff@181.136.122.143) |
| 2021-05-14 12:01:39 +0000 | ppmdo | (~ppmdo@2a01:c22:7603:3800:536:1f6c:72f2:b240) (Ping timeout: 260 seconds) |
| 2021-05-14 12:02:38 +0000 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-14 12:03:02 +0000 | poljar1 | (~poljar@93-143-137-156.adsl.net.t-com.hr) (Ping timeout: 246 seconds) |
| 2021-05-14 12:04:05 +0000 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-14 12:04:34 +0000 | curiousgay | (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-05-14 12:05:49 +0000 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-14 12:07:36 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-14 12:09:47 +0000 | urdh | (~urdh@unaffiliated/urdh) (Quit: Boom!) |
| 2021-05-14 12:10:30 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 12:10:34 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-14 12:14:35 +0000 | nerdypepper | (znc@152.67.162.71) (Ping timeout: 246 seconds) |
| 2021-05-14 12:15:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-14 12:15:30 +0000 | ppmdo | (~ppmdo@2a01:c22:7603:3800:c202:4cae:c828:a84e) |
| 2021-05-14 12:18:12 +0000 | nerdypepper | (znc@152.67.162.71) |
| 2021-05-14 12:18:28 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 12:19:43 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 12:22:22 +0000 | KaitoDaumoto | (Frat@unaffiliated/kaitodaumoto) |
| 2021-05-14 12:26:07 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 12:26:50 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) |
| 2021-05-14 12:27:37 +0000 | Iceland_jack | (~user@95.147.45.92) |
| 2021-05-14 12:27:54 +0000 | Sheilong | (uid293653@gateway/web/irccloud.com/x-mfyylfhapxbhwkzn) |
| 2021-05-14 12:29:03 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 12:31:40 +0000 | chele | (~chele@78.128.94.174) |
| 2021-05-14 12:32:20 +0000 | vilpan | (~0@212.117.1.172) () |
| 2021-05-14 12:32:49 +0000 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 2021-05-14 12:33:05 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-14 12:33:34 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 12:33:59 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-14 12:34:24 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-14 12:34:51 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-14 12:35:49 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 12:39:05 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 2021-05-14 12:43:35 +0000 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-05-14 12:46:08 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 12:46:48 +0000 | chele | (~chele@78.128.94.174) (Quit: Leaving) |
| 2021-05-14 12:47:05 +0000 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-14 12:48:11 +0000 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-14 12:48:32 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2021-05-14 12:50:57 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 12:51:40 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-14 12:51:51 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-14 12:52:06 +0000 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-05-14 12:54:05 +0000 | garFF | (~garff@0x3ec68c59.mobile.telia.dk) |
| 2021-05-14 12:55:49 +0000 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-05-14 12:58:07 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 12:58:29 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 12:59:50 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:01:18 +0000 | ddellac__ | (~ddellacos@86.106.143.72) |
| 2021-05-14 13:01:41 +0000 | luke | (~luke@bitnomial/staff/luke) |
| 2021-05-14 13:02:12 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-14 13:03:42 +0000 | Haskman[m] | (haskmanmat@gateway/shell/matrix.org/x-laesvsumhqevihza) |
| 2021-05-14 13:04:09 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 13:04:13 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-14 13:04:47 +0000 | bitmapper | (uid464869@gateway/web/irccloud.com/x-epzdtnoswnmmefnx) |
| 2021-05-14 13:04:59 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) (Ping timeout: 245 seconds) |
| 2021-05-14 13:05:25 +0000 | darjeeling_ | (~darjeelin@122.245.120.162) |
| 2021-05-14 13:06:05 +0000 | Guest_27 | (56f23588@lfbn-idf1-1-590-136.w86-242.abo.wanadoo.fr) |
| 2021-05-14 13:06:16 +0000 | ddellac__ | (~ddellacos@86.106.143.72) (Ping timeout: 260 seconds) |
| 2021-05-14 13:07:10 +0000 | carlomagno | (~cararell@148.87.23.9) |
| 2021-05-14 13:07:52 +0000 | <Guest_27> | Hi all, I would like to install cabal on ubuntu 20.04 (x86). I am using ansible. I understand I have to use ghcup, right? but is the ghcup install script non interacive? |
| 2021-05-14 13:07:54 +0000 | kingswim | (~kevinying@197.210.47.0) (Ping timeout: 245 seconds) |
| 2021-05-14 13:09:40 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 13:10:06 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 13:10:54 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:12:23 +0000 | muttonmitten | (~muttonmit@unaffiliated/muttonmitten) |
| 2021-05-14 13:12:53 +0000 | zargoertzel | (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-14 13:13:04 +0000 | noam_ | (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) |
| 2021-05-14 13:13:06 +0000 | zariuq | (~zar@fw1.ciirc.cvut.cz) (Remote host closed the connection) |
| 2021-05-14 13:13:06 +0000 | noam__ | (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) |
| 2021-05-14 13:13:18 +0000 | noam__ | (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) (Client Quit) |
| 2021-05-14 13:14:01 +0000 | <geekosaur> | it can be either interactive or not |
| 2021-05-14 13:16:26 +0000 | <geekosaur> | e.g. "ghcup install ghc 8.10.4 --set", vs. "ghcup tui" for a terminal user interface that lets you pick what to install or set active |
| 2021-05-14 13:16:38 +0000 | kingswim | (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 2021-05-14 13:16:57 +0000 | <Guest_27> | hi thanks for the answer |
| 2021-05-14 13:17:27 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 13:17:31 +0000 | <Guest_27> | my question is about getting ghcup ready prior to using it |
| 2021-05-14 13:17:51 +0000 | <Guest_27> | the install script is prompting for yes/no questions |
| 2021-05-14 13:19:38 +0000 | <geekosaur> | maerwald, around? |
| 2021-05-14 13:21:23 +0000 | alx741 | (~alx741@181.196.68.14) |
| 2021-05-14 13:23:11 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 2021-05-14 13:23:34 +0000 | slack1256 | (~slack1256@191.125.166.131) |
| 2021-05-14 13:25:47 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 13:25:49 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2021-05-14 13:27:51 +0000 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-05-14 13:27:54 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-14 13:29:29 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-14 13:30:30 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) |
| 2021-05-14 13:30:59 +0000 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 2021-05-14 13:31:09 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 13:34:13 +0000 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-14 13:34:16 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:39:22 +0000 | <maerwald> | wat |
| 2021-05-14 13:40:26 +0000 | bone-baboon | (bone-baboo@gateway/vpn/privateinternetaccess/bone-baboon) |
| 2021-05-14 13:40:28 +0000 | <maerwald> | Guest_27: ghcup is non-interactive. There's a shell script bootstrapping it, which is interactive though unless you set BOOTSTRAP_HASKELL_NONINTERACTIVE |
| 2021-05-14 13:41:33 +0000 | <maerwald> | note that when you set that variable, no attempt is made to adjust the PATH |
| 2021-05-14 13:41:48 +0000 | <maerwald> | so in your ansible script you will have to add ~/.ghcup/bin to PATH |
| 2021-05-14 13:42:15 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 13:42:29 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 245 seconds) |
| 2021-05-14 13:43:55 +0000 | Xraell | (~xraell@45.157.15.145) (Remote host closed the connection) |
| 2021-05-14 13:44:06 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 13:44:11 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 13:46:14 +0000 | <Guest_27> | awesome! thanks |
| 2021-05-14 13:46:29 +0000 | <Guest_27> | And it should work on ubuntu 20.04 right? |
| 2021-05-14 13:46:41 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 13:47:00 +0000 | <maerwald[m]> | If it doesn't then it's a bug |
| 2021-05-14 13:47:10 +0000 | <Guest_27> | thanks guys |
| 2021-05-14 13:47:42 +0000 | <geekosaur> | ghcup is working for me on 20.04 |
| 2021-05-14 13:47:53 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:48:15 +0000 | <maerwald[m]> | There is one report of it not working, but i haven't been able to reproduce |
| 2021-05-14 13:48:16 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-05-14 13:48:23 +0000 | conal_ | (~conal@64.71.133.70) |
| 2021-05-14 13:48:47 +0000 | <maerwald[m]> | In docker it's working |
| 2021-05-14 13:49:00 +0000 | noam_ | (~noam@2a00:a040:195:c240:8996:e291:b3d4:3174) (Quit: Leaving) |
| 2021-05-14 13:50:13 +0000 | conal | (~conal@64.71.133.70) (Ping timeout: 240 seconds) |
| 2021-05-14 13:52:54 +0000 | drbean_ | (~drbean@TC210-63-209-210.static.apol.com.tw) (Ping timeout: 245 seconds) |
| 2021-05-14 13:52:56 +0000 | vchlup | (~vchlup@nat.brnet.cz) (Ping timeout: 246 seconds) |
| 2021-05-14 13:53:22 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 13:53:49 +0000 | bitmagie | (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 2021-05-14 13:54:02 +0000 | <bone-baboon> | I am using Haskell with Cabal's new commands (ex. new-build) to build Haskell programs. In project <project-name>.cabal files I am using ghc-options: -Weverything -Werror. Is there a way to have Cabal execute GHC's type checking as well as the -Weverything -Werror but not compile the program? I am looking for a flag like `--no-compile`. |
| 2021-05-14 13:54:15 +0000 | <bone-baboon> | I think this would be useful with a code watching setup that runs the checks and provides and notification about the success of the checks. Having a flag like `--no-compile` would provide faster feedback as it would not need to compile the program. |
| 2021-05-14 13:55:07 +0000 | <Uniaika> | bone-baboon: ghcid |
| 2021-05-14 13:55:21 +0000 | <Uniaika> | use this |
| 2021-05-14 13:55:57 +0000 | <geekosaur> | -fno-code, but what you asked for is what ghcid already does |
| 2021-05-14 13:57:04 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-14 13:57:24 +0000 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-14 13:57:57 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 13:58:21 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 13:58:59 +0000 | <xenon-> | hi. how do I detect windows os using #ifdef? I found this on stackage, but it is several years old thread. #ifdef mingw32_HOST_OS |
| 2021-05-14 14:00:00 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 14:00:57 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 14:01:27 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 14:02:14 +0000 | garFF | (~garff@0x3ec68c59.mobile.telia.dk) (Remote host closed the connection) |
| 2021-05-14 14:02:57 +0000 | Guest16235 | (~textual@zrcout.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 14:03:44 +0000 | Tario | (~Tario@201.192.165.173) (Ping timeout: 245 seconds) |
| 2021-05-14 14:04:16 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-14 14:04:28 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 252 seconds) |
| 2021-05-14 14:04:58 +0000 | <bone-baboon> | Uniaika: Thanks |
| 2021-05-14 14:05:09 +0000 | <bone-baboon> | geekosaur: Thanks |
| 2021-05-14 14:05:34 +0000 | <Uniaika> | xenon-: yeah I think it's the same |
| 2021-05-14 14:05:55 +0000 | <xenon-> | is there nothing more generic than that? if, say, in the future, ghc switches from mingw to something else |
| 2021-05-14 14:06:28 +0000 | <boxscape> | it looks like the hostname package uses `#ifdef WINDOWS` https://hackage.haskell.org/package/hostname-1.0/docs/src/Network-HostName.html , but I can't comment on whether or not that works |
| 2021-05-14 14:07:03 +0000 | <boxscape> | ...that's also actually pretty old now that I look at it |
| 2021-05-14 14:07:49 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:08:14 +0000 | Alleria | (~textual@mskresolve-a.mskcc.org) |
| 2021-05-14 14:08:17 +0000 | xkapastel | (uid17782@gateway/web/irccloud.com/x-iktbyznnjwficzkj) |
| 2021-05-14 14:08:37 +0000 | Alleria | Guest13341 |
| 2021-05-14 14:09:36 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:10:20 +0000 | Rudd0^ | (~Rudd0@185.189.115.108) (Ping timeout: 252 seconds) |
| 2021-05-14 14:10:36 +0000 | <xenon-> | same definition is used in base, so I'll go with that. |
| 2021-05-14 14:10:43 +0000 | <xenon-> | https://hackage.haskell.org/package/base-4.15.0.0/docs/src/System-IO.html |
| 2021-05-14 14:11:13 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 14:11:14 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 14:11:27 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-liycltuwnvlxypmw) |
| 2021-05-14 14:11:48 +0000 | <boxscape> | huh using #if defined() rather than #ifdef |
| 2021-05-14 14:12:17 +0000 | <xenon-> | yeah I noticed that too |
| 2021-05-14 14:13:01 +0000 | luke | (~luke@bitnomial/staff/luke) (Quit: part) |
| 2021-05-14 14:15:33 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 14:16:15 +0000 | ddellac__ | (~ddellacos@86.106.143.215) |
| 2021-05-14 14:16:26 +0000 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 2021-05-14 14:17:49 +0000 | badobb | (abaolute@unaffiliated/badobb) |
| 2021-05-14 14:18:01 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-14 14:18:36 +0000 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 260 seconds) |
| 2021-05-14 14:19:29 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:19:54 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:20:40 +0000 | bitmagie | (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-14 14:21:05 +0000 | ddellac__ | (~ddellacos@86.106.143.215) (Ping timeout: 268 seconds) |
| 2021-05-14 14:24:33 +0000 | kingswim | (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 2021-05-14 14:26:14 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 14:26:14 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1877:3fe9:fd3d:7976) (Ping timeout: 245 seconds) |
| 2021-05-14 14:27:49 +0000 | sayola | (~vekto@dslb-088-078-152-174.088.078.pools.vodafone-ip.de) |
| 2021-05-14 14:28:59 +0000 | <xenon-> | (#ifdef WINDOWS does not work BTW, so that's probably something hostname package defined on its own) |
| 2021-05-14 14:29:24 +0000 | <boxscape> | ah, interesting |
| 2021-05-14 14:29:46 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:31:48 +0000 | Guest_27 | (56f23588@lfbn-idf1-1-590-136.w86-242.abo.wanadoo.fr) (Quit: Connection closed) |
| 2021-05-14 14:31:49 +0000 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-14 14:32:31 +0000 | Shuppiluliuma | (~shuppilul@153.33.68.161) |
| 2021-05-14 14:33:53 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-14 14:34:02 +0000 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-14 14:34:11 +0000 | neiluj | (~jco@unaffiliated/neiluj) (Ping timeout: 252 seconds) |
| 2021-05-14 14:34:48 +0000 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-14 14:34:50 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:36:01 +0000 | <absence> | if i have data Contrived = Yes | No, is it somehow possible to use the monoid instance for All with it (DerivingVia?), or would it have to be a newtype wrapper around Bool? |
| 2021-05-14 14:38:28 +0000 | lightwave | (~user@bras-vprn-nwmkon8540w-lp130-19-184-147-249-198.dsl.bell.ca) |
| 2021-05-14 14:39:05 +0000 | mateusz | (~mateusz@77-254-3-194.adsl.inetia.pl) |
| 2021-05-14 14:39:06 +0000 | <lightwave> | Hello newbie here! How are you fine folks doing? |
| 2021-05-14 14:39:11 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-14 14:39:24 +0000 | <mateusz> | fine, how are you? |
| 2021-05-14 14:39:50 +0000 | <mniip> | absence, All is a newtype wrapper around Bool. You would have to somehow explain which value you want to be the empty one |
| 2021-05-14 14:39:55 +0000 | <lightwave> | Doing fine. Enjoying learning Haskell so far |
| 2021-05-14 14:40:00 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) |
| 2021-05-14 14:40:07 +0000 | <mniip> | what you can do is derive Ord and then derive monoid via Max or Min |
| 2021-05-14 14:40:27 +0000 | <mniip> | deriving stock Ord will make Yes < No |
| 2021-05-14 14:40:55 +0000 | <mniip> | deriving newtype Monoid via (Min Contrived) will make Yes <> x = Yes |
| 2021-05-14 14:41:50 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 14:41:52 +0000 | <mateusz> | Is parametric polimorphism the only way to support multiple types inside single entry record? |
| 2021-05-14 14:43:15 +0000 | <mniip> | type families? on top of parameteric polymorphism still |
| 2021-05-14 14:43:15 +0000 | <Uniaika> | mateusz: I'm not sure I fully understand what you mean. Could you post some example code of what you're doing? |
| 2021-05-14 14:43:34 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-14 14:44:21 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursaga) |
| 2021-05-14 14:44:26 +0000 | <lightwave> | I'm playing with Haskell using GHC installed from GHCup, but I'm not able to import System.Random. Is it a module I have to install separately? |
| 2021-05-14 14:44:33 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 14:44:54 +0000 | <geekosaur> | yes, from the package "random" |
| 2021-05-14 14:45:12 +0000 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-14 14:45:14 +0000 | <lightwave> | Ah... how do I install package? |
| 2021-05-14 14:45:23 +0000 | <geekosaur> | using cabal |
| 2021-05-14 14:45:53 +0000 | ddellac__ | (~ddellacos@86.106.143.20) |
| 2021-05-14 14:46:25 +0000 | chris___ | (~chris@81.96.113.213) |
| 2021-05-14 14:46:30 +0000 | <mateusz> | Uniaika, https://pastebin.com/45csJ7L0 |
| 2021-05-14 14:46:59 +0000 | howdoi | (uid224@gateway/web/irccloud.com/x-czjyemaoaqihlnkl) |
| 2021-05-14 14:47:00 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 14:47:43 +0000 | <boxscape> | data Vehicle = Car | Bike | Horse; data CustomType = { field :: String, polymorphicField :: Vehicle } |
| 2021-05-14 14:47:49 +0000 | <mateusz> | but quick look on type families seems like this is the answer |
| 2021-05-14 14:48:05 +0000 | <lightwave> | Is there a concept of global package in haskell/cabal so that I don't have to create a cabal project before I install the random package? |
| 2021-05-14 14:48:41 +0000 | <mateusz> | oh, Car, Bike and Horse are types itselfes like: data Car = Bmw | Fiat; |
| 2021-05-14 14:49:02 +0000 | <boxscape> | data Vehicle = VCar Car | VBike Bike | VHorse Horse |
| 2021-05-14 14:49:06 +0000 | <boxscape> | not pretty but a common pattern |
| 2021-05-14 14:49:41 +0000 | dyeplexer | (~terpin@unaffiliated/terpin) |
| 2021-05-14 14:50:42 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 14:50:50 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 2021-05-14 14:51:15 +0000 | <mateusz> | thanks boxscape |
| 2021-05-14 14:51:41 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 14:52:04 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 14:52:35 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 14:52:52 +0000 | seliopou | (seliopou@entropy.tmok.com) (Ping timeout: 252 seconds) |
| 2021-05-14 14:53:45 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9585d94a8a519d1af897.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-14 14:53:51 +0000 | <yushyin> | lightwave: https://cabal.readthedocs.io/en/3.4/cabal-commands.html?highlight=package-env#cabal-v2-install if not stated otherwise it uses a global default |
| 2021-05-14 14:55:23 +0000 | <yushyin> | lightwave: note: on recent versions of cabal 'v2-install' is the same command as 'install' |
| 2021-05-14 14:56:46 +0000 | <lightwave> | Thanks yushyin |
| 2021-05-14 14:57:08 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) |
| 2021-05-14 14:59:41 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 15:02:28 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 15:04:11 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-14 15:04:16 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-14 15:05:21 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 15:05:36 +0000 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 2021-05-14 15:05:51 +0000 | <absence> | mniip: interesting! thanks |
| 2021-05-14 15:06:39 +0000 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 2021-05-14 15:08:04 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-sfbwpdsukvhsninn) (Quit: Connection closed for inactivity) |
| 2021-05-14 15:08:46 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 260 seconds) |
| 2021-05-14 15:09:19 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-14 15:10:32 +0000 | Guest25767 | shapr |
| 2021-05-14 15:10:46 +0000 | shapr | (~shapr@162.243.9.169) (Changing host) |
| 2021-05-14 15:10:46 +0000 | shapr | (~shapr@haskell/developer/shapr) |
| 2021-05-14 15:13:09 +0000 | kayvan | (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 2021-05-14 15:15:14 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 15:16:10 +0000 | guest5 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-05-14 15:17:26 +0000 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 2021-05-14 15:17:36 +0000 | <guest5> | hey guys im trying to get this function to work - https://paste.tomsmeding.com/g53ImtTT |
| 2021-05-14 15:17:54 +0000 | lightwave | (~user@bras-vprn-nwmkon8540w-lp130-19-184-147-249-198.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 2021-05-14 15:18:04 +0000 | <guest5> | which would call 'findCityandIndex' using a command like |
| 2021-05-14 15:18:16 +0000 | seliopou | (seliopou@entropy.tmok.com) |
| 2021-05-14 15:18:41 +0000 | <guest5> | 'demo 2 = putStrLn(findCityAndIndex (City "Madrid" 2 testData))' |
| 2021-05-14 15:18:53 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:1bf:3730:3a54:b192) (Ping timeout: 250 seconds) |
| 2021-05-14 15:19:39 +0000 | <guest5> | at the moment im getting the error - https://paste.tomsmeding.com/CAIsMEEv |
| 2021-05-14 15:20:11 +0000 | <c_wraith> | well... you've said that findCityAndIndex takes a String and an Int, not a City |
| 2021-05-14 15:20:16 +0000 | <c_wraith> | But you're passing a City to it |
| 2021-05-14 15:20:40 +0000 | kingswim | (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 2021-05-14 15:20:42 +0000 | <boxscape> | guest5 the reason you're getting that error is because `((City n ) -> n == name)` should be `(\(City n) -> n == name)` |
| 2021-05-14 15:22:03 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 15:22:48 +0000 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-14 15:24:01 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 15:24:04 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-14 15:25:07 +0000 | isovector | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) |
| 2021-05-14 15:25:23 +0000 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-14 15:26:22 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-14 15:26:30 +0000 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-05-14 15:27:02 +0000 | mateusz | (~mateusz@77-254-3-194.adsl.inetia.pl) (Remote host closed the connection) |
| 2021-05-14 15:29:38 +0000 | <guest5> | I think im getting somewhere |
| 2021-05-14 15:30:53 +0000 | <guest5> | this is the error im getting now I've updated the code |
| 2021-05-14 15:31:44 +0000 | <guest5> | https://paste.tomsmeding.com/TNTvC5Pj - I think its to do with how im passing "Madrid" and 2 and testData to it |
| 2021-05-14 15:31:55 +0000 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-14 15:32:18 +0000 | Tario | (~Tario@201.192.165.173) |
| 2021-05-14 15:32:34 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 15:32:42 +0000 | <boxscape> | guest5: you don't need the parentheses to parse multiple arguments, try findCityAndIndex "Madrid" 2 testData |
| 2021-05-14 15:33:41 +0000 | kingswim | (~kevinying@197.210.47.0) (Ping timeout: 240 seconds) |
| 2021-05-14 15:33:53 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 15:34:07 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 15:34:09 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-05-14 15:34:40 +0000 | <boxscape> | s/parse/pass |
| 2021-05-14 15:34:42 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 15:34:52 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 15:35:05 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 15:36:02 +0000 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-14 15:36:08 +0000 | <guest5> | I've tried that and im getting a similar error - https://paste.tomsmeding.com/CPZdAoYU |
| 2021-05-14 15:36:59 +0000 | chris___ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 15:37:16 +0000 | <guest5> | it is definitely to do with the demo 2 and those variables |
| 2021-05-14 15:37:18 +0000 | <boxscape> | guest5 findCityAndIndex returns an integer, but putStrLn expects a String. You can use `print` instead of `putStrLn` to print anything printable rather than just Strings |
| 2021-05-14 15:37:37 +0000 | <guest5> | ahhhh |
| 2021-05-14 15:38:19 +0000 | <guest5> | you're a legend my friend |
| 2021-05-14 15:38:22 +0000 | <boxscape> | :) |
| 2021-05-14 15:39:30 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-14 15:39:59 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 2021-05-14 15:40:49 +0000 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Client Quit) |
| 2021-05-14 15:41:11 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 15:44:17 +0000 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-14 15:44:22 +0000 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-14 15:44:51 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 15:46:55 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 15:48:39 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 268 seconds) |
| 2021-05-14 15:49:03 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 15:49:19 +0000 | Ishutin_ | (~ishutin@85-238-93-79.pool.digikabel.hu) |
| 2021-05-14 15:49:36 +0000 | ddellac__ | (~ddellacos@86.106.143.20) (Ping timeout: 260 seconds) |
| 2021-05-14 15:50:21 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-14 15:50:46 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-14 15:51:27 +0000 | prasanth | (74486d8f@116.72.109.143) |
| 2021-05-14 15:51:44 +0000 | prasanth | (74486d8f@116.72.109.143) (Client Quit) |
| 2021-05-14 15:51:54 +0000 | Ishutin | (~ishutin@94-21-157-151.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2021-05-14 15:52:15 +0000 | prasanth | (74486d8f@116.72.109.143) |
| 2021-05-14 15:53:04 +0000 | alphabeta1 | (~kilolympu@5.151.5.177) (Read error: Connection reset by peer) |
| 2021-05-14 15:53:43 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 15:55:34 +0000 | <prasanth> | Hi I was trying out pascals triangle in haskell and I wrote this https://paste.tomsmeding.com/8LDQz9zJ and got error, I cannot seem to understand what went wrong but if I do this https://paste.tomsmeding.com/jEzUy10N it works |
| 2021-05-14 15:55:42 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 15:56:29 +0000 | ep1ctetus | (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) |
| 2021-05-14 15:56:43 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-14 15:56:44 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 15:57:49 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 15:58:00 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 15:58:21 +0000 | <monochrom> | Perhaps it means you need parentheses after all, and "$ is for avoiding parentheses" isn't true? |
| 2021-05-14 15:58:42 +0000 | isovector | (~isovector@172.103.216.166.cable.tpia.cipherkey.com) (Ping timeout: 265 seconds) |
| 2021-05-14 15:58:58 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-14 15:59:12 +0000 | <monochrom> | You can use ":info :" and ":info $" to see operator precedence. Or ":info : $" if you don't mind all of it in one go. |
| 2021-05-14 16:00:22 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Ping timeout: 268 seconds) |
| 2021-05-14 16:00:36 +0000 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-05-14 16:00:42 +0000 | <monochrom> | "buildRow n (r - 1) : show (binomial n r)" would have been perfect. |
| 2021-05-14 16:00:59 +0000 | poljar | (~poljar@93-141-135-207.adsl.net.t-com.hr) |
| 2021-05-14 16:01:04 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-14 16:01:11 +0000 | <monochrom> | Obsession with $ would XY-problem into "buildRow n (r - 1) : (show $ binomial n r)" which is like the worst of both worlds. |
| 2021-05-14 16:01:20 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-14 16:01:56 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-14 16:03:08 +0000 | chris__ | (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 2021-05-14 16:03:59 +0000 | gnomus | (~gnomus@185.169.233.10) |
| 2021-05-14 16:06:43 +0000 | <prasanth> | I don't think that brackets are the problem, I tried some things in gchi and found something weird this works "1": ["2"] but ["1"] : "2" this throws a similar kind of error to what I am getting |
| 2021-05-14 16:08:01 +0000 | isovector | (~isovector@172.103.216.166) |
| 2021-05-14 16:08:15 +0000 | <boxscape> | prasanth : is used to add a single element to the beginning of a list. if you have a list of strings like ["foo", "bar"], you can use : to add an element like this: "str" : ["foo", "bar"] |
| 2021-05-14 16:09:30 +0000 | <prasanth> | yeah, I changed my code accordingly and it works, thanks guys |
| 2021-05-14 16:09:34 +0000 | <boxscape> | Strings are somwhat confusing here because they are lists of characters, so you can also add a single character to the beginning of a string, as in 'h' : "ello", which results in "hello". But note the difference between single and double quotes. |
| 2021-05-14 16:10:29 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 16:12:57 +0000 | berberman_ | (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 16:13:25 +0000 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-05-14 16:14:39 +0000 | prasanth | (74486d8f@116.72.109.143) (Quit: Connection closed) |
| 2021-05-14 16:15:13 +0000 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 2021-05-14 16:16:34 +0000 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-05-14 16:17:33 +0000 | ystael | (~ystael@209.6.50.55) (Ping timeout: 265 seconds) |
| 2021-05-14 16:17:58 +0000 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-05-14 16:17:59 +0000 | Adluc | (~Adluc@83.167.228.130) (Remote host closed the connection) |
| 2021-05-14 16:18:26 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 16:19:02 +0000 | Adluc | (~Adluc@83.167.228.130) |
| 2021-05-14 16:19:03 +0000 | ystael | (~ystael@209.6.50.55) |
| 2021-05-14 16:19:17 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 16:21:41 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-14 16:22:03 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-14 16:22:08 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 16:23:48 +0000 | ystael | (~ystael@209.6.50.55) (Ping timeout: 252 seconds) |
| 2021-05-14 16:24:21 +0000 | kuribas | (~user@ptr-25vy0i97aequnpt08mb.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-14 16:24:41 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 16:24:43 +0000 | ystael | (~ystael@209.6.50.55) |
| 2021-05-14 16:24:53 +0000 | muttonmitten | (~muttonmit@unaffiliated/muttonmitten) (Quit: leaving) |
| 2021-05-14 16:25:16 +0000 | kingswim | (~kevinying@197.210.47.0) (Read error: Connection reset by peer) |
| 2021-05-14 16:26:12 +0000 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-14 16:26:26 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-14 16:26:54 +0000 | kingswim | (~kevinying@197.210.47.0) |
| 2021-05-14 16:27:23 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:27:35 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 2021-05-14 16:29:38 +0000 | tricklynch | (~tricklync@216-180-94-57.starry-inc.net) |
| 2021-05-14 16:30:01 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-14 16:31:23 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 16:32:14 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 16:34:49 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 16:36:05 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:36:18 +0000 | <Uter> | Take a genetics test to see if you are black... |
| 2021-05-14 16:36:30 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) () |
| 2021-05-14 16:37:04 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds) |
| 2021-05-14 16:37:32 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 16:37:35 +0000 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-14 16:38:15 +0000 | <guest5> | anyone have any idea why this code is outputting the data but instead of breaking the lines at "\n" is just printing out \n? |
| 2021-05-14 16:38:22 +0000 | <guest5> | https://paste.tomsmeding.com/czvDkRaL |
| 2021-05-14 16:38:55 +0000 | <guest5> | this is the output - https://paste.tomsmeding.com/GatsSjlU |
| 2021-05-14 16:40:16 +0000 | <lyxia> | because print uses show which turns all nonprintable characters to escape sequences |
| 2021-05-14 16:40:38 +0000 | <lyxia> | use putStrLn |
| 2021-05-14 16:40:40 +0000 | <guest5> | ahh, so putStrLn will word |
| 2021-05-14 16:40:46 +0000 | <guest5> | got you, thanks |
| 2021-05-14 16:41:14 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:41:16 +0000 | <Uter> | https://www.youtube.com/watch?v=yaS5VIGsS0E |
| 2021-05-14 16:41:25 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:42:11 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 16:43:03 +0000 | xff0x | (~xff0x@2001:1a81:52b5:6000:f0a6:872b:1338:809f) (Ping timeout: 260 seconds) |
| 2021-05-14 16:44:20 +0000 | isovector | (~isovector@172.103.216.166) (Ping timeout: 252 seconds) |
| 2021-05-14 16:44:51 +0000 | xff0x | (~xff0x@2001:1a81:52d0:2800:727d:1405:3867:9cdc) |
| 2021-05-14 16:45:01 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 2021-05-14 16:46:01 +0000 | kingswim | (~kevinying@197.210.47.0) (Ping timeout: 252 seconds) |
| 2021-05-14 16:46:26 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 16:47:44 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-14 16:48:22 +0000 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-14 16:48:53 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 16:50:07 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 16:51:13 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-14 16:51:22 +0000 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-14 16:51:22 +0000 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-14 16:51:22 +0000 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-14 16:51:54 +0000 | tricklynch | (~tricklync@216-180-94-57.starry-inc.net) (Quit: Quit) |
| 2021-05-14 16:53:25 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:53:37 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 16:54:03 +0000 | guest5 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 16:54:07 +0000 | mxu | (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) |
| 2021-05-14 16:54:17 +0000 | <Uter> | Take a genetics test to see if you're black. Some of these white people have black genes... |
| 2021-05-14 16:54:22 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 16:54:24 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:56:28 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) |
| 2021-05-14 16:56:31 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-14 16:56:36 +0000 | <Uter> | https://www.youtube.com/watch?v=Yurel80x_wA |
| 2021-05-14 16:56:47 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 16:56:54 +0000 | Uter | (467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118) (Client Quit) |
| 2021-05-14 16:58:08 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 16:58:26 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-14 16:59:07 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-14 17:00:58 +0000 | ChanServ | +o monochrom |
| 2021-05-14 17:01:18 +0000 | monochrom | +b *!467ca176@gateway/web/cgi-irc/kiwiirc.com/ip.70.124.161.118 |
| 2021-05-14 17:03:10 +0000 | monochrom | -o monochrom |
| 2021-05-14 17:05:52 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 240 seconds) |
| 2021-05-14 17:06:08 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-14 17:06:08 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 246 seconds) |
| 2021-05-14 17:10:23 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-14 17:10:54 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 17:11:49 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 17:12:25 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 2021-05-14 17:12:26 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-05-14 17:12:32 +0000 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-14 17:13:15 +0000 | <boxscape> | I wonder if it would be feasible to allow ghci to import local definitions, as long as they could be floated to the top level |
| 2021-05-14 17:13:22 +0000 | <boxscape> | seems like it would be extremely useful |
| 2021-05-14 17:13:48 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-14 17:14:15 +0000 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-14 17:14:56 +0000 | robotmay | (~beepboop@2001:8b0:7af0:2580:f0c2:ac37:d419:2dbf) (Remote host closed the connection) |
| 2021-05-14 17:15:11 +0000 | <boxscape> | though it gets a bit murky when you think about how it works when you go more than one level deep... |
| 2021-05-14 17:15:15 +0000 | Scorpions | (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) |
| 2021-05-14 17:16:03 +0000 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Quit: WeeChat 3.1) |
| 2021-05-14 17:16:14 +0000 | robotmay | (~beepboop@2001:8b0:7af0:2580:817:9e04:8c77:45e2) |
| 2021-05-14 17:16:23 +0000 | poljar1 | (~poljar@78-2-35-208.adsl.net.t-com.hr) |
| 2021-05-14 17:16:50 +0000 | guest5 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-05-14 17:16:50 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-14 17:16:58 +0000 | <mxu> | Hi, I am currently on the search for a haskell library for symbolic math, something like https://github.com/JuliaSymbolics/SymbolicUtils.jl for julia. |
| 2021-05-14 17:16:59 +0000 | <mxu> | Which allows, aside from "polynomial terms with simplification", the definition of custom function symbols and rewrite rules for them. |
| 2021-05-14 17:17:01 +0000 | <mxu> | There doesn't seem to be quite such a library, but maybe someone here knows something what google doesn't? |
| 2021-05-14 17:19:55 +0000 | poljar | (~poljar@93-141-135-207.adsl.net.t-com.hr) (Ping timeout: 268 seconds) |
| 2021-05-14 17:20:26 +0000 | <guest5> | I have a function that converts a list of ints to a string, is there a way I could divide each integer by a thousand? this would turn it into a float |
| 2021-05-14 17:20:50 +0000 | <guest5> | each integer is a number in thousands so 1324 is actually 1324000 |
| 2021-05-14 17:21:09 +0000 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-14 17:21:11 +0000 | <guest5> | and I want to output it as 1.324, all to 3dmp |
| 2021-05-14 17:21:23 +0000 | <guest5> | this is what ive got so far - https://paste.tomsmeding.com/QpGJvpdo |
| 2021-05-14 17:21:29 +0000 | <guest5> | it just converts the ints to string |
| 2021-05-14 17:21:46 +0000 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-14 17:21:55 +0000 | Deide | (~Deide@217.155.19.23) |
| 2021-05-14 17:22:10 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 17:23:05 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 17:25:31 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 17:25:59 +0000 | <Lycurgus> | mxu: ftr, you can find that query responded to multiple times in the log for this channel |
| 2021-05-14 17:26:04 +0000 | <monochrom> | replace "show x" by "show (div x 100)"? |
| 2021-05-14 17:26:24 +0000 | <monochrom> | and of course s/100/1000/ |
| 2021-05-14 17:26:44 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 17:27:44 +0000 | <monochrom> | OK sorry, I was not doing floats. |
| 2021-05-14 17:28:07 +0000 | <guest5> | yeah that works it just doesn't go to float |
| 2021-05-14 17:29:28 +0000 | <monochrom> | import Numeric. listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (listToString xs) |
| 2021-05-14 17:30:21 +0000 | chimera | (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 17:31:14 +0000 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-14 17:31:41 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 17:32:06 +0000 | <monochrom> | oh oops, forgot the space. |
| 2021-05-14 17:32:29 +0000 | <monochrom> | err more problem than that. |
| 2021-05-14 17:33:08 +0000 | <monochrom> | listToString (x : xs) = showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString xs) |
| 2021-05-14 17:34:19 +0000 | <guest5> | when I say hero |
| 2021-05-14 17:34:27 +0000 | <guest5> | I cannot thank you enough |
| 2021-05-14 17:34:46 +0000 | <monochrom> | :) |
| 2021-05-14 17:35:54 +0000 | <guest5> | that worked so well, is there a way to use printf with it so they'd line up? |
| 2021-05-14 17:36:20 +0000 | <guest5> | like printf %+10s% showFFloat (Just 3) (fromIntegral x / 1000) (" " ++ listToString XS) |
| 2021-05-14 17:36:54 +0000 | <monochrom> | printf is in Text.Printf. With printf you won't need Numeric's showFFloat |
| 2021-05-14 17:37:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:38:08 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:39:27 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 17:40:09 +0000 | <guest5> | okay, thank you so much |
| 2021-05-14 17:40:58 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:42:03 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:42:22 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-14 17:42:36 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-14 17:42:46 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:43:52 +0000 | chris__ | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-05-14 17:43:59 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 2021-05-14 17:44:09 +0000 | Lycurgus | (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-14 17:44:53 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-05-14 17:46:38 +0000 | sphi | (~sphi@unaffiliated/sphi) |
| 2021-05-14 17:47:24 +0000 | a6a45081-2b83 | (~aditya@27.58.160.217) |
| 2021-05-14 17:48:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:48:58 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:50:52 +0000 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-05-14 17:50:52 +0000 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-05-14 17:50:52 +0000 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-05-14 17:51:30 +0000 | <mxu> | Lycurgus: Thanks, I will look through the logs. But if we are already at it, is there a better method than downloading them from http://tunes.org/~nef/logs/haskell/ ? |
| 2021-05-14 17:52:04 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:52:05 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-14 17:53:19 +0000 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 17:53:43 +0000 | a6a45081-2b83 | (~aditya@27.58.160.217) (Quit: Konversation terminated!) |
| 2021-05-14 17:53:59 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:54:08 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 17:54:29 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-14 17:54:30 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 17:55:26 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 17:57:04 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 17:57:44 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 17:59:10 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 17:59:26 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-14 17:59:31 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 17:59:58 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 18:01:22 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 18:02:02 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-14 18:02:51 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 18:03:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:03:44 +0000 | mxu | (~user@ip5b40dfb7.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2021-05-14 18:04:15 +0000 | jespada | (~jespada@90.254.244.151) (Quit: Leaving) |
| 2021-05-14 18:04:37 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:05:45 +0000 | slack1256 | (~slack1256@191.125.166.131) (Remote host closed the connection) |
| 2021-05-14 18:05:49 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 245 seconds) |
| 2021-05-14 18:06:09 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 18:06:53 +0000 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-14 18:07:02 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:07:04 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 18:08:22 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 18:09:03 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) |
| 2021-05-14 18:09:04 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Max SendQ exceeded) |
| 2021-05-14 18:09:34 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:10:31 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 18:11:35 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Client Quit) |
| 2021-05-14 18:12:04 +0000 | heck-to-the-gnom | (heck-to-th@gateway/shell/matrix.org/x-dkeyhpdeslcfjwpp) ("User left") |
| 2021-05-14 18:13:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:13:43 +0000 | guest5 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 18:14:10 +0000 | knupfer | (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) |
| 2021-05-14 18:14:13 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:18:02 +0000 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-qvhnnxxbarmvcrtm) |
| 2021-05-14 18:18:21 +0000 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:fb4d:5a47:92ec:2ac2) |
| 2021-05-14 18:18:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:19:00 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:20:33 +0000 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-14 18:20:45 +0000 | wallymathieu | (~textual@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:22:53 +0000 | ozzymcduff | (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 18:22:53 +0000 | wallymathieu | (~textual@81-234-151-21-no94.tbcn.telia.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-14 18:23:03 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:23:22 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:23:38 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 18:23:45 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:24:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:26:39 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:26:39 +0000 | ppmdo | (~ppmdo@2a01:c22:7603:3800:c202:4cae:c828:a84e) (Ping timeout: 260 seconds) |
| 2021-05-14 18:27:06 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-14 18:27:57 +0000 | ppmdo | (~ppmdo@2a01:c22:7a40:9a00:2078:e48:f536:b045) |
| 2021-05-14 18:30:15 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-14 18:30:33 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 240 seconds) |
| 2021-05-14 18:30:33 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:30:34 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-14 18:30:44 +0000 | Scorpions | (Scorpions@2401:4900:52f9:e8a4:81ee:3b13:8c19:6a32) (Quit: Leaving) |
| 2021-05-14 18:31:30 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-14 18:31:44 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 18:32:08 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 18:33:07 +0000 | dyeplexer | (~terpin@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-14 18:35:02 +0000 | shailangsa | (~shailangs@host165-120-169-24.range165-120.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2021-05-14 18:35:16 +0000 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-14 18:37:05 +0000 | <sphi> | https://pastebin.com/nM64mXzw |
| 2021-05-14 18:37:25 +0000 | <sphi> | can anyone help me with lines 57-61 ? |
| 2021-05-14 18:37:45 +0000 | <sphi> | i've overloaded strings, but still it wont typecheck unless i T.pack each literal |
| 2021-05-14 18:38:06 +0000 | Aquazi | (uid312403@gateway/web/irccloud.com/x-iqwgqsgfaxvsrekg) (Quit: Connection closed for inactivity) |
| 2021-05-14 18:38:44 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds) |
| 2021-05-14 18:38:58 +0000 | ddellac__ | (~ddellacos@86.106.143.137) |
| 2021-05-14 18:40:08 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-14 18:40:29 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-14 18:40:42 +0000 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-14 18:42:04 +0000 | knupfer | (~Thunderbi@200116b82bc56d00fdb13f5931a68ceb.dip.versatel-1u1.de) (Ping timeout: 245 seconds) |
| 2021-05-14 18:42:06 +0000 | hi | (cdfbe9b3@205.251.233.179) |
| 2021-05-14 18:42:19 +0000 | <lyxia> | sphi: what error do you get |
| 2021-05-14 18:42:23 +0000 | rajivr | (uid269651@gateway/web/irccloud.com/x-soowutbnfvimotcf) (Quit: Connection closed for inactivity) |
| 2021-05-14 18:42:56 +0000 | <sphi> | lyxia: cant match string / [char] with Text |
| 2021-05-14 18:43:10 +0000 | <sphi> | literals seem to be taken as string |
| 2021-05-14 18:43:41 +0000 | <lyxia> | sphi: are you sure you didn't remove the T.pack on the "show" expression, which is not a literal |
| 2021-05-14 18:43:57 +0000 | ddellac__ | (~ddellacos@86.106.143.137) (Ping timeout: 260 seconds) |
| 2021-05-14 18:44:01 +0000 | hi | (cdfbe9b3@205.251.233.179) (Quit: Connection closed) |
| 2021-05-14 18:44:05 +0000 | <sphi> | lyxia: it works fine, what i've pasted |
| 2021-05-14 18:44:18 +0000 | <lyxia> | can you paste the code that does not work |
| 2021-05-14 18:44:22 +0000 | <sphi> | i was just wondering if there is a way to remove all those T.packs |
| 2021-05-14 18:44:49 +0000 | <sphi> | lyxia: ah, ok, wait a sec. |
| 2021-05-14 18:44:55 +0000 | <lyxia> | AFAICT you can remove all of them except one |
| 2021-05-14 18:47:19 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 18:47:39 +0000 | <sphi> | lyxia: you are... |
| 2021-05-14 18:47:42 +0000 | <sphi> | right |
| 2021-05-14 18:48:29 +0000 | <sphi> | funny. that's what i thought i could do, but when i ran it. type errors, type errors everywhere. i just ran again and it worked... wtf? |
| 2021-05-14 18:48:35 +0000 | ppmdo | (~ppmdo@2a01:c22:7a40:9a00:2078:e48:f536:b045) (Ping timeout: 260 seconds) |
| 2021-05-14 18:50:27 +0000 | <lyxia> | yeah, weird stuff happens |
| 2021-05-14 18:52:06 +0000 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-14 18:52:29 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 18:52:43 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 18:57:14 +0000 | knupfer | (~Thunderbi@200116b82bc56d00a029beefcb04ea03.dip.versatel-1u1.de) |
| 2021-05-14 19:01:03 +0000 | shailangsa | (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) |
| 2021-05-14 19:01:04 +0000 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-liycltuwnvlxypmw) (Quit: Connection closed for inactivity) |
| 2021-05-14 19:01:16 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 19:01:31 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-14 19:04:51 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-14 19:07:15 +0000 | TK__ | (~cinch@2601:1c0:5201:2100:9992:f75f:4988:2a3c) |
| 2021-05-14 19:07:43 +0000 | shailangsa | (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) (Read error: Connection reset by peer) |
| 2021-05-14 19:08:46 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-14 19:10:35 +0000 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-14 19:12:22 +0000 | ddellac__ | (~ddellacos@86.106.143.59) |
| 2021-05-14 19:15:17 +0000 | curiousgay | (~gay@178.217.208.8) (Ping timeout: 246 seconds) |
| 2021-05-14 19:16:18 +0000 | chris__ | (~chris@81.96.113.213) |
| 2021-05-14 19:17:21 +0000 | ddellac__ | (~ddellacos@86.106.143.59) (Ping timeout: 265 seconds) |
| 2021-05-14 19:18:08 +0000 | curiousgay | (~gay@178.217.208.8) |
| 2021-05-14 19:19:46 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-14 19:25:22 +0000 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-14 19:26:12 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-14 19:29:07 +0000 | xenon- | (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-05-14 19:29:47 +0000 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-14 19:30:39 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-14 19:34:08 +0000 | shailangsa | (~shailangs@host86-186-191-113.range86-186.btcentralplus.com) |
| 2021-05-14 19:36:12 +0000 | ep1ctetus | (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) (Ping timeout: 268 seconds) |
| 2021-05-14 19:37:05 +0000 | ep1ctetus | (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) |
| 2021-05-14 19:37:24 +0000 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-14 19:37:26 +0000 | juri_ | (~juri@178.63.35.222) (Remote host closed the connection) |
| 2021-05-14 19:39:12 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 19:41:18 +0000 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 2021-05-14 19:41:47 +0000 | nvmd | (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 2021-05-14 19:43:13 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 19:44:19 +0000 | sphi | (~sphi@unaffiliated/sphi) (Remote host closed the connection) |
| 2021-05-14 19:46:13 +0000 | ddellac__ | (~ddellacos@86.106.143.100) |
| 2021-05-14 19:47:48 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-14 19:51:06 +0000 | ddellac__ | (~ddellacos@86.106.143.100) (Ping timeout: 260 seconds) |
| 2021-05-14 19:51:07 +0000 | sanchess | (~sanchess@bl6-198-42.dsl.telepac.pt) |
| 2021-05-14 19:52:55 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 19:53:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-14 19:55:25 +0000 | sanchess | (~sanchess@bl6-198-42.dsl.telepac.pt) () |
| 2021-05-14 19:56:47 +0000 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-14 19:57:29 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-14 20:00:12 +0000 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-14 20:00:41 +0000 | phaul | (~phaul@ruby/staff/phaul) |
| 2021-05-14 20:00:57 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-14 20:01:49 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:02:11 +0000 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 260 seconds) |
| 2021-05-14 20:02:25 +0000 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-14 20:03:17 +0000 | ggVGc | (~ggVGc@a.lowtech.earth) (Changing host) |
| 2021-05-14 20:03:17 +0000 | ggVGc | (~ggVGc@unaffiliated/walt) |
| 2021-05-14 20:04:36 +0000 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 246 seconds) |
| 2021-05-14 20:08:44 +0000 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-14 20:09:50 +0000 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-14 20:10:13 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2021-05-14 20:10:34 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 20:11:37 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 20:13:07 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:16:09 +0000 | viluon | (uid453725@gateway/web/irccloud.com/x-ooryghxdatknmzqr) |
| 2021-05-14 20:18:26 +0000 | gnomus | (~gnomus@185.169.233.10) (Remote host closed the connection) |
| 2021-05-14 20:18:30 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 20:22:55 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 20:24:48 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 20:24:57 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) (Remote host closed the connection) |
| 2021-05-14 20:28:27 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:28:59 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 20:29:36 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-14 20:31:21 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) |
| 2021-05-14 20:32:04 +0000 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 245 seconds) |
| 2021-05-14 20:33:06 +0000 | chomwitt | (~alexander@2a02:587:dc0e:4e00:38f4:60b0:4dbb:46) (Remote host closed the connection) |
| 2021-05-14 20:34:01 +0000 | tlyu | (~tlyu@138.199.47.158) |
| 2021-05-14 20:36:37 +0000 | acidjnk_new | (~acidjnk@p200300d0c72b9577d94a8a519d1af897.dip0.t-ipconnect.de) |
| 2021-05-14 20:36:50 +0000 | zyeri | (zyeri@tilde.team/users/zyeri) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2021-05-14 20:37:53 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 20:37:53 +0000 | wallymathieu | (~wallymath@81-234-151-21-no94.tbcn.telia.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 20:38:15 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 20:38:25 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) |
| 2021-05-14 20:38:26 +0000 | ozzymcduff | (~ozzymcduf@81-234-151-21-no94.tbcn.telia.com) (Client Quit) |
| 2021-05-14 20:39:10 +0000 | juri_ | (~juri@178.63.35.222) |
| 2021-05-14 20:39:38 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-14 20:39:51 +0000 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-14 20:41:18 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-14 20:41:28 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:43:25 +0000 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-05-14 20:43:56 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 20:45:05 +0000 | hexfive | (~hexfive@50.35.83.177) |
| 2021-05-14 20:45:51 +0000 | p8m | (p8m@gateway/vpn/protonvpn/p8m) |
| 2021-05-14 20:46:32 +0000 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-14 20:47:04 +0000 | zyeri | (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) |
| 2021-05-14 20:47:04 +0000 | zyeri | (zyeri@gateway/shell/tilde.team/x-dsqnvnrhfkgunaho) (Changing host) |
| 2021-05-14 20:47:04 +0000 | zyeri | (zyeri@tilde.team/users/zyeri) |
| 2021-05-14 20:48:12 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 20:48:50 +0000 | conal_ | (~conal@64.71.133.70) (Read error: Connection reset by peer) |
| 2021-05-14 20:51:02 +0000 | conal | (~conal@64.71.133.70) |
| 2021-05-14 20:52:05 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2021-05-14 20:52:33 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-14 20:53:19 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-05-14 20:53:23 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:53:47 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:54:26 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:54:51 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:54:52 +0000 | ppmdo | (~ppmdo@46.183.103.17) |
| 2021-05-14 20:55:31 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) (Disconnected by services) |
| 2021-05-14 20:55:51 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-14 20:55:54 +0000 | aiken | (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:56:39 +0000 | Guest13341 | (~textual@mskresolve-a.mskcc.org) (Ping timeout: 245 seconds) |
| 2021-05-14 20:56:56 +0000 | ddellac__ | (~ddellacos@86.106.143.72) |
| 2021-05-14 20:57:13 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 20:57:14 +0000 | aiken | Guest738 |
| 2021-05-14 20:57:14 +0000 | Guest738 | (~aiken@76.2.143.150.dyn.plus.net) (Killed (karatkievich.freenode.net (Nickname regained by services))) |
| 2021-05-14 20:57:38 +0000 | Guest738 | (~aiken@76.2.143.150.dyn.plus.net) |
| 2021-05-14 20:57:43 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 20:58:17 +0000 | alexander | (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) |
| 2021-05-14 20:58:46 +0000 | alexander | Guest71106 |
| 2021-05-14 20:59:06 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-14 20:59:50 +0000 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-14 21:00:49 +0000 | ep1ctetus | (~epictetus@rrcs-74-62-210-123.west.biz.rr.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:01:09 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-14 21:01:14 +0000 | ddellac__ | (~ddellacos@86.106.143.72) (Ping timeout: 245 seconds) |
| 2021-05-14 21:02:29 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-05-14 21:03:12 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) |
| 2021-05-14 21:04:55 +0000 | hexfive | (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-05-14 21:07:02 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 21:09:27 +0000 | knupfer | (~Thunderbi@200116b82bc56d00a029beefcb04ea03.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-14 21:10:55 +0000 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-14 21:11:25 +0000 | Alleria | (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 2021-05-14 21:11:48 +0000 | Alleria | Guest22204 |
| 2021-05-14 21:11:59 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 21:12:16 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer) |
| 2021-05-14 21:12:25 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:12:56 +0000 | carldd | (~carldd@90-224-49-113-no56.tbcn.telia.com) |
| 2021-05-14 21:13:32 +0000 | Guest738 | (~aiken@76.2.143.150.dyn.plus.net) (Quit: Leaving) |
| 2021-05-14 21:13:43 +0000 | Guest71106 | (~alexander@2a02:587:dc0e:4e00:b99e:844c:2855:e92a) (Ping timeout: 260 seconds) |
| 2021-05-14 21:14:04 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 21:14:23 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 21:15:49 +0000 | Guest22204 | (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:18:23 +0000 | tsaka__ | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Ping timeout: 260 seconds) |
| 2021-05-14 21:22:21 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-14 21:25:33 +0000 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-14 21:27:27 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:29:11 +0000 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-05-14 21:30:57 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 21:31:05 +0000 | z88 | (~z88@82.85-87-220.dynamic.clientes.euskaltel.es) (Ping timeout: 246 seconds) |
| 2021-05-14 21:31:11 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 2021-05-14 21:31:27 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:34:11 +0000 | <Andriamanitra> | i hate that there's only one read function that handles million different types and then type inference can't do its job and i get compilation errors |
| 2021-05-14 21:34:25 +0000 | bitmapper | (uid464869@gateway/web/irccloud.com/x-epzdtnoswnmmefnx) (Quit: Connection closed for inactivity) |
| 2021-05-14 21:34:33 +0000 | <Andriamanitra> | frustration: rising |
| 2021-05-14 21:34:50 +0000 | <c_wraith> | in general you shouldn't be using read anyway... |
| 2021-05-14 21:35:19 +0000 | <Andriamanitra> | what's the good way to read user inputs into integers then? |
| 2021-05-14 21:35:52 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 21:36:00 +0000 | bitmagie | (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) |
| 2021-05-14 21:36:03 +0000 | <Andriamanitra> | (the input is guaranteed to be well formed, so i don't care about error handling) |
| 2021-05-14 21:36:19 +0000 | J_ | (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) |
| 2021-05-14 21:38:27 +0000 | inkbottle[m] | (inkbottlem@gateway/shell/matrix.org/x-kjnrrszdshqslixw) |
| 2021-05-14 21:39:47 +0000 | <Iceland_jack> | Andriamanitra: Specifying a type is the same with any approach, I suggest you use the -XTypeApplications extension: read @[Int] :: String -> [Int] |
| 2021-05-14 21:40:17 +0000 | <Iceland_jack> | The difficulty lies in the polymorphic return type which is not determined by any visible argument |
| 2021-05-14 21:40:34 +0000 | J_ | (9b04de74@h-155-4-222-116.NA.cust.bahnhof.se) (Client Quit) |
| 2021-05-14 21:40:49 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 245 seconds) |
| 2021-05-14 21:40:56 +0000 | xenon- | (~bc817c21@217.29.117.252) |
| 2021-05-14 21:41:14 +0000 | ppmdo | (~ppmdo@46.183.103.17) (Ping timeout: 245 seconds) |
| 2021-05-14 21:41:15 +0000 | <Iceland_jack> | We don't have that capability, but the type should be a visible argument to those kinds of functions |
| 2021-05-14 21:42:06 +0000 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-14 21:42:10 +0000 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-14 21:44:31 +0000 | <monochrom> | (read xxx :: [Int]) would work for me. |
| 2021-05-14 21:45:10 +0000 | <Andriamanitra> | i think i tried something like that but maybe i had the type or parens in the wrong place |
| 2021-05-14 21:45:18 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-14 21:45:31 +0000 | <geekosaur> | or (read :: String -> [Int]) |
| 2021-05-14 21:45:34 +0000 | <monochrom> | To be sure, (readMaybe xxx :: Maybe [Int]) would be annoying enough, but you are emphatically not in this case. |
| 2021-05-14 21:45:44 +0000 | <c_wraith> | I do occasionally use read for Int/Integer, but always as part of parsing into domain types that specify what they actually contain, so inference is kept local and doesn't get messed up by refactoring. |
| 2021-05-14 21:46:31 +0000 | <monochrom> | In reality I don't need to write (read xxx :: [Int]). |
| 2021-05-14 21:47:05 +0000 | <monochrom> | I write "f (read xxx)" but f already enjoys a handwritten type sig "f :: [Int] -> Bool" so it all works out very nicely. |
| 2021-05-14 21:48:10 +0000 | <Andriamanitra> | coming from dynamic languages i'm just used to running code frequently and printing everything to see what i have, and print is obviously another function that takes just whatever |
| 2021-05-14 21:48:15 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-14 21:48:20 +0000 | <monochrom> | or "case readMaybe xxx of Nothing -> ... ; Just ys -> f ys" |
| 2021-05-14 21:48:34 +0000 | <monochrom> | Debug.Trace |
| 2021-05-14 21:48:52 +0000 | <c_wraith> | Eh, Debug.Trace is solving a different problem. |
| 2021-05-14 21:49:01 +0000 | xwvvvvwx | (xwvvvvwx@gateway/vpn/mullvad/xwvvvvwx) |
| 2021-05-14 21:49:06 +0000 | <monochrom> | http://www.vex.net/~trebla/haskell/tracing.html |
| 2021-05-14 21:49:07 +0000 | <c_wraith> | The problem here is having no clue what type your values are. |
| 2021-05-14 21:49:20 +0000 | <c_wraith> | Which is a deep problem, because types come before values in Haskell |
| 2021-05-14 21:49:52 +0000 | <monochrom> | My "Debug.Trace" was answering "printing everything to see what i have" |
| 2021-05-14 21:50:12 +0000 | <Andriamanitra> | but doesn't the code first needs to compile before it can be debugged |
| 2021-05-14 21:50:15 +0000 | <c_wraith> | but the problem wasn't "IO everywhere" it was "can't infer read constraints" |
| 2021-05-14 21:50:32 +0000 | <monochrom> | -fdefer-type-errors |
| 2021-05-14 21:51:07 +0000 | <monochrom> | To be sure it doesn't defer "if ... then True else 5" |
| 2021-05-14 21:51:16 +0000 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-14 21:51:25 +0000 | <monochrom> | But there is always "undefined" as a stub. |
| 2021-05-14 21:51:58 +0000 | <monochrom> | "if True then True else undefined" allows you to test one branch right away. |
| 2021-05-14 21:52:44 +0000 | <monochrom> | or s/undefined/error "TODO"/ if you like |
| 2021-05-14 21:53:17 +0000 | bitmagie | (~Thunderbi@200116b8066be600c105d5f373b248f4.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-14 21:54:14 +0000 | Alleria__ | (~textual@2603-7000-3040-0000-506c-ff9b-4211-af98.res6.spectrum.com) |
| 2021-05-14 21:54:19 +0000 | <monochrom> | -fdefer-type-errors is so deep that if you have "if True then True else f 10" and you haven't even started defining f yet, it's OK. |
| 2021-05-14 21:54:50 +0000 | <Andriamanitra> | interesting |
| 2021-05-14 21:58:55 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 22:00:00 +0000 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-14 22:00:09 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-14 22:02:25 +0000 | Guest87676 | (~laudiacay@45.162.228.190) |
| 2021-05-14 22:02:56 +0000 | CrazyPython | (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:03:31 +0000 | zebrag | (~inkbottle@aaubervilliers-654-1-87-61.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-14 22:04:09 +0000 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-14 22:04:31 +0000 | stree | (~stree@68.36.8.116) |
| 2021-05-14 22:05:09 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 22:05:34 +0000 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-14 22:05:55 +0000 | cmburnett | (~Charlie_B@c-73-37-184-238.hsd1.mn.comcast.net) () |
| 2021-05-14 22:08:33 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-14 22:09:31 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-14 22:09:50 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 22:10:08 +0000 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-14 22:10:24 +0000 | cmburnett1 | (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) |
| 2021-05-14 22:11:36 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2021-05-14 22:11:43 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 22:12:31 +0000 | <cmburnett1> | Is there a recommended way to access raw bytes (i.e. for interacting with embedded stuff) or do you just call C as a foreign function? |
| 2021-05-14 22:12:33 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) (Quit: Connection closed) |
| 2021-05-14 22:12:50 +0000 | Guest87676 | (~laudiacay@45.162.228.190) (Ping timeout: 268 seconds) |
| 2021-05-14 22:12:53 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-14 22:13:04 +0000 | geekosaur | (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-14 22:13:30 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-14 22:13:31 +0000 | <monochrom> | Look into Foreign.Ptr etc |
| 2021-05-14 22:14:05 +0000 | <monochrom> | and Foreign.Storable |
| 2021-05-14 22:14:18 +0000 | aerona | (~aerona@2600:6c54:4600:f300:b5ff:7564:82ff:9355) |
| 2021-05-14 22:15:07 +0000 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-14 22:15:17 +0000 | <monochrom> | and Foreign.Marshal.* |
| 2021-05-14 22:16:32 +0000 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-14 22:17:03 +0000 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-14 22:20:12 +0000 | <cmburnett1> | Okie dokey, thanks! That looks exactly like what I was looking for |
| 2021-05-14 22:20:29 +0000 | <davean> | cmburnett1: accessing raw bytes with Haskell works smoothly IME |
| 2021-05-14 22:20:30 +0000 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-14 22:20:47 +0000 | <cmburnett1> | IME? |
| 2021-05-14 22:21:22 +0000 | <davean> | In My Experience |
| 2021-05-14 22:22:07 +0000 | CrazyPython | (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:24:17 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 22:24:39 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-14 22:25:16 +0000 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-14 22:27:13 +0000 | <cmburnett1> | Oh duh, sorry |
| 2021-05-14 22:27:47 +0000 | nighmi | (~felix@port-92-196-15-14.dynamic.as20676.net) |
| 2021-05-14 22:29:13 +0000 | CrazyPython | (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 22:29:22 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 252 seconds) |
| 2021-05-14 22:30:34 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 22:33:44 +0000 | Guest87676 | (~laudiacay@45.162.228.190) |
| 2021-05-14 22:35:26 +0000 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 2021-05-14 22:35:33 +0000 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-14 22:36:38 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2021-05-14 22:37:03 +0000 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-14 22:37:49 +0000 | cmburnett1 | (~cmburnett@c-73-37-184-31.hsd1.mn.comcast.net) () |
| 2021-05-14 22:38:41 +0000 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 240 seconds) |
| 2021-05-14 22:39:09 +0000 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds) |
| 2021-05-14 22:39:34 +0000 | <maerwald> | a pretty common internet expression :p |
| 2021-05-14 22:39:47 +0000 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-14 22:40:01 +0000 | falafel | (~falafel@2603-8001-ca00-f555-b4a5-fa93-bc1a-b3d6.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-14 22:40:47 +0000 | <monochrom> | YMMV IANAL TIA KTHXBYE |
| 2021-05-14 22:42:19 +0000 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-05-14 22:49:03 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-14 22:49:49 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 22:50:11 +0000 | Guest87676 | (~laudiacay@45.162.228.190) (Ping timeout: 260 seconds) |
| 2021-05-14 22:51:58 +0000 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-14 22:54:24 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Remote host closed the connection) |
| 2021-05-14 22:54:28 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 22:54:31 +0000 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-14 22:54:33 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-14 22:55:02 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-14 22:56:35 +0000 | gemmaro | (~Thunderbi@240f:74:d1f0:1:8859:feb:afd:2b9d) |
| 2021-05-14 22:56:53 +0000 | alx741 | (~alx741@181.196.68.14) (Ping timeout: 240 seconds) |
| 2021-05-14 22:56:57 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-14 22:58:33 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-14 22:58:42 +0000 | nbloomf | (~nbloomf@2600:1700:ad14:3020:dd6b:deda:26b:d21e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-14 22:59:09 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 2021-05-14 22:59:13 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 2021-05-14 22:59:41 +0000 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 2021-05-14 23:01:40 +0000 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-14 23:08:49 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-05-14 23:09:39 +0000 | chimera_ | (~chimera@120-192-113-92.pool.ukrtel.net) |
| 2021-05-14 23:10:15 +0000 | alx741 | (~alx741@186.178.108.187) |
| 2021-05-14 23:10:50 +0000 | chimera | (~chimera@120-192-113-92.pool.ukrtel.net) (Ping timeout: 246 seconds) |
| 2021-05-14 23:11:54 +0000 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-14 23:14:26 +0000 | carlomagno | (~cararell@148.87.23.9) (Quit: Leaving.) |
| 2021-05-14 23:18:32 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) |
| 2021-05-14 23:20:50 +0000 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-14 23:22:54 +0000 | nicholasbulka | (~nicholasb@2601:900:4301:da0:75d5:f759:9c55:c828) (Ping timeout: 245 seconds) |
| 2021-05-14 23:24:53 +0000 | CrazyPython | (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 23:25:17 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-14 23:27:46 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 23:29:44 +0000 | CrazyPython | (~crazypyth@206.214.238.7) (Remote host closed the connection) |
| 2021-05-14 23:30:16 +0000 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-14 23:36:35 +0000 | chimera_ | (~chimera@120-192-113-92.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-14 23:36:39 +0000 | boxscape | (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Quit: Connection closed) |
| 2021-05-14 23:37:26 +0000 | CrazyPython | (~crazypyth@206.214.238.7) |
| 2021-05-14 23:49:07 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-14 23:53:58 +0000 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 2021-05-14 23:55:06 +0000 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-05-14 23:56:57 +0000 | fendor_ | (~fendor@91.141.1.123.wireless.dyn.drei.com) |
| 2021-05-14 23:57:24 +0000 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-05-14 23:59:08 +0000 | fendor | (~fendor@77.119.131.196.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |