IRCBrowse

2022/11/27

2022-11-27 00:08:14 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 00:08:31 +0000potash(~foghorn@user/foghorn) (Ping timeout: 265 seconds)
2022-11-27 00:11:49 +0000kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-11-27 00:12:41 +0000Topsi(~Topsi@dialin-80-228-154-202.ewe-ip-backbone.de)
2022-11-27 00:12:47 +0000Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 264 seconds)
2022-11-27 00:23:45 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 00:24:51 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 00:25:26 +0000bluephones(main@gateway/vpn/protonvpn/bluephones) (Quit: Konversation terminated!)
2022-11-27 00:27:46 +0000potash(~foghorn@user/foghorn)
2022-11-27 00:27:47 +0000srz_(~srz@181.228.49.93) (Ping timeout: 264 seconds)
2022-11-27 00:29:41 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-27 00:30:29 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-27 00:32:55 +0000bobcat(~nick@c-73-253-54-136.hsd1.ma.comcast.net)
2022-11-27 00:35:57 +0000stevenxl(uid133530@id-133530.uxbridge.irccloud.com)
2022-11-27 00:41:53 +0000razetime(~quassel@117.193.4.205)
2022-11-27 00:42:00 +0000 <LemanR> me working out this next problem: https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcTI6pEGR3YGV4YlAOexmMGL-lrGwhwl2-AUjQ&usqp=CAU
2022-11-27 00:42:49 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 00:46:40 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-11-27 00:49:27 +0000 <bobcat> ?
2022-11-27 00:50:13 +0000Topsi(~Topsi@dialin-80-228-154-202.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-11-27 00:50:29 +0000bobcat(~nick@c-73-253-54-136.hsd1.ma.comcast.net) (Quit: Leaving)
2022-11-27 00:50:44 +0000 <LemanR> working out exerism.org haskell exercises
2022-11-27 00:53:46 +0000gff_(~gff@user/gff) (Read error: Connection reset by peer)
2022-11-27 00:55:23 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-11-27 00:57:06 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-27 00:58:46 +0000heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 256 seconds)
2022-11-27 00:59:57 +0000gff_(~gff@user/gff)
2022-11-27 01:02:38 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 01:02:42 +0000nate4(~nate@98.45.169.16)
2022-11-27 01:07:34 +0000nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 01:09:47 +0000Erutuon(~Erutuon@user/erutuon) (Ping timeout: 264 seconds)
2022-11-27 01:10:45 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 01:13:30 +0000Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2022-11-27 01:15:34 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 252 seconds)
2022-11-27 01:16:52 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 01:19:16 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-11-27 01:19:23 +0000darchitect(~darchitec@2a00:23c6:3584:df01:4d17:eb7b:88d1:aa1d) (Ping timeout: 264 seconds)
2022-11-27 01:19:51 +0000darchitect(~darchitec@2a00:23c6:3584:df01:1664:a801:9bc4:f4c1)
2022-11-27 01:22:20 +0000srz_(~srz@181.228.49.93)
2022-11-27 01:36:08 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 01:36:10 +0000zeenk(~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!)
2022-11-27 01:37:02 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 01:38:45 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 01:46:05 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 01:47:44 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 01:54:45 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 01:55:51 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:07:38 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 02:08:24 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:13:18 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 02:18:47 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 264 seconds)
2022-11-27 02:19:00 +0000 <maerwald> [exa]: https://github.com/haskell/ghcup-hs/issues/697 feel free to provide a PR
2022-11-27 02:21:11 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:25:07 +0000roconnor(~quassel@coq/roconnor) (Ping timeout: 260 seconds)
2022-11-27 02:25:24 +0000roconnor(~quassel@coq/roconnor)
2022-11-27 02:29:36 +0000sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:30:08 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 02:38:55 +0000Erutuon(~Erutuon@user/erutuon)
2022-11-27 02:41:28 +0000dsrt^(~dsrt@76.145.185.103)
2022-11-27 02:46:43 +0000sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 02:46:46 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-11-27 02:46:52 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:47:31 +0000Kaiepi(~Kaiepi@108.175.84.104)
2022-11-27 02:48:41 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-27 02:57:06 +0000srz_(~srz@181.228.49.93) (Remote host closed the connection)
2022-11-27 02:58:23 +0000heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 264 seconds)
2022-11-27 03:00:08 +0000zant(~zant@62.214.20.26) (Ping timeout: 260 seconds)
2022-11-27 03:01:53 +0000LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2022-11-27 03:04:46 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 03:07:53 +0000jinsl-(~jinsl@123.120.168.177)
2022-11-27 03:07:59 +0000jinsl(~jinsl@2408:8207:2559:28e0:211:32ff:fec8:6aea) (Ping timeout: 264 seconds)
2022-11-27 03:08:44 +0000marc(~marc@5.83.191.238)
2022-11-27 03:08:53 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 03:09:08 +0000marcGuest5458
2022-11-27 03:09:19 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 03:10:34 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:10:53 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 03:11:47 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 03:12:11 +0000Guest3917(~marc@5.83.191.88) (Ping timeout: 264 seconds)
2022-11-27 03:14:21 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 03:14:57 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 03:17:54 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 03:20:16 +0000polomoney
2022-11-27 03:25:38 +0000stevenxl(uid133530@id-133530.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-27 03:29:06 +0000heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 265 seconds)
2022-11-27 03:30:23 +0000razetime(~quassel@117.193.4.205) (Ping timeout: 268 seconds)
2022-11-27 03:30:23 +0000mvk(~mvk@2607:fea8:5ce3:8500::efb)
2022-11-27 03:30:34 +0000razetime(~quassel@117.193.0.71)
2022-11-27 03:31:04 +0000mvk(~mvk@2607:fea8:5ce3:8500::efb) (Client Quit)
2022-11-27 03:43:31 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-11-27 03:44:51 +0000terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-11-27 03:48:55 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-11-27 03:50:43 +0000wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-11-27 03:52:04 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 03:52:04 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-27 03:52:04 +0000wroathe(~wroathe@user/wroathe)
2022-11-27 03:57:11 +0000td_(~td@83.135.9.15) (Ping timeout: 264 seconds)
2022-11-27 03:58:40 +0000td_(~td@83.135.9.37)
2022-11-27 03:59:38 +0000xff0x(~xff0x@2405:6580:b080:900:84a4:3e04:c05a:9d80) (Ping timeout: 260 seconds)
2022-11-27 04:01:11 +0000xff0x(~xff0x@2405:6580:b080:900:79da:1471:7416:e736)
2022-11-27 04:01:56 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 04:04:16 +0000bjourne2(~bjorn@94.191.152.34) (Read error: Connection reset by peer)
2022-11-27 04:07:23 +0000heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 268 seconds)
2022-11-27 04:11:09 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 04:11:12 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 04:13:33 +0000heisenberg2(~heisenber@112.151.244.175) (Remote host closed the connection)
2022-11-27 04:14:08 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 04:18:23 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 04:19:26 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 04:20:43 +0000heisenberg2(~heisenber@112.151.244.175) (Remote host closed the connection)
2022-11-27 04:20:57 +0000heisenberg2(~heisenber@112.151.244.175)
2022-11-27 04:22:59 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-11-27 04:24:00 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit)
2022-11-27 04:25:06 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 04:33:26 +0000heisenbe_(~heisenber@2a09:bac1:3f40::16:19a)
2022-11-27 04:35:48 +0000heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 260 seconds)
2022-11-27 04:44:35 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 04:50:47 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 04:52:42 +0000brettgilio(a35ba67324@2604:bf00:561:2000::260)
2022-11-27 04:54:10 +0000Xeroine(~Xeroine@user/xeroine) (Ping timeout: 265 seconds)
2022-11-27 04:56:55 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 04:57:08 +0000Xeroine(~Xeroine@user/xeroine)
2022-11-27 04:57:27 +0000zer3f(~zer3f@203.110.242.30)
2022-11-27 04:58:27 +0000 <zer3f> Hello all, I am working on my self project and I need some help in writing handler functions of yesod,from the persistent functions.A detailed overview of the problem is here.
2022-11-27 04:58:28 +0000 <zer3f> https://stackoverflow.com/questions/74542317/how-to-write-yesod-handler-funtions-for-the-funtions-…
2022-11-27 05:00:33 +0000 <zer3f> In a brief,i need to write handler functions by first checking if user exists in database,if exists return msg,else add. Please take a look at it..
2022-11-27 05:04:13 +0000nate4(~nate@98.45.169.16)
2022-11-27 05:04:48 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds)
2022-11-27 05:07:54 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 05:09:03 +0000nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 05:09:45 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Ping timeout: 260 seconds)
2022-11-27 05:10:02 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 05:12:29 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 05:14:08 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-27 05:16:48 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 05:21:48 +0000tcard_(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 05:22:02 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Read error: Connection reset by peer)
2022-11-27 05:22:55 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 05:23:18 +0000heisenbe_(~heisenber@2a09:bac1:3f40::16:19a) (Remote host closed the connection)
2022-11-27 05:30:24 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 05:30:46 +0000tcard_(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Ping timeout: 256 seconds)
2022-11-27 05:31:09 +0000moneypolo
2022-11-27 05:33:02 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Remote host closed the connection)
2022-11-27 05:33:15 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 05:34:58 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Remote host closed the connection)
2022-11-27 05:35:15 +0000tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 05:35:35 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-11-27 05:37:02 +0000heisenberg2(~heisenber@2a09:bac1:3f00::16:19a)
2022-11-27 05:37:09 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-11-27 05:37:49 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 05:38:39 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2022-11-27 05:38:40 +0000Lord_of_Life_Lord_of_Life
2022-11-27 05:39:57 +0000_\_(~o@user/offon) (Quit: ___)
2022-11-27 05:40:38 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 05:42:10 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 05:42:10 +0000wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-27 05:42:10 +0000wroathe(~wroathe@user/wroathe)
2022-11-27 05:42:18 +0000Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2022-11-27 05:43:55 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 05:44:49 +0000zer3f(~zer3f@203.110.242.30) (Quit: Client closed)
2022-11-27 05:45:53 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 05:47:09 +0000_\_(~o@user/offon)
2022-11-27 06:10:19 +0000Erutuon(~Erutuon@user/erutuon)
2022-11-27 06:13:21 +0000Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 06:14:00 +0000Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Remote host closed the connection)
2022-11-27 06:16:32 +0000Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 06:16:37 +0000Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host)
2022-11-27 06:16:37 +0000Me-me(~Me-me@user/me-me)
2022-11-27 06:17:55 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 06:20:14 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-11-27 06:20:42 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-11-27 06:20:51 +0000img(~img@user/img)
2022-11-27 06:38:05 +0000ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 06:39:54 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 06:40:05 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 06:40:23 +0000ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 06:41:31 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 06:46:18 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 06:49:34 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 06:51:26 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 06:54:29 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 06:55:02 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-11-27 06:56:51 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-11-27 06:58:15 +0000geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-11-27 06:58:16 +0000allbery_b(~geekosaur@xmonad/geekosaur)
2022-11-27 06:58:19 +0000allbery_bgeekosaur
2022-11-27 06:59:56 +0000poloGambino
2022-11-27 07:00:34 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 07:01:02 +0000img(~img@user/img)
2022-11-27 07:01:26 +0000img(~img@user/img) (Remote host closed the connection)
2022-11-27 07:02:48 +0000razetime(~quassel@117.193.0.71) (Ping timeout: 260 seconds)
2022-11-27 07:04:17 +0000img(~img@user/img)
2022-11-27 07:10:26 +0000causal(~user@50.35.83.177) (Quit: WeeChat 3.7.1)
2022-11-27 07:14:44 +0000heisenberg2(~heisenber@2a09:bac1:3f00::16:19a) (Remote host closed the connection)
2022-11-27 07:14:49 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds)
2022-11-27 07:17:20 +0000Guest94(~Guest94@2802:8010:1211:4300:89a9:5432:2776:3544)
2022-11-27 07:17:35 +0000Guest94(~Guest94@2802:8010:1211:4300:89a9:5432:2776:3544) (Client Quit)
2022-11-27 07:27:12 +0000mei(~mei@user/mei)
2022-11-27 07:31:43 +0000ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 07:33:06 +0000ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 07:36:02 +0000causal(~user@50.35.83.177)
2022-11-27 07:42:06 +0000mei_(~mei@user/mei)
2022-11-27 07:42:28 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 07:43:49 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 07:44:35 +0000mei(~mei@user/mei) (Ping timeout: 264 seconds)
2022-11-27 07:47:12 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 07:49:56 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 07:50:13 +0000ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 07:50:43 +0000ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 07:51:02 +0000razetime(~quassel@117.193.0.157)
2022-11-27 08:02:25 +0000berberman(~berberman@user/berberman) (Ping timeout: 260 seconds)
2022-11-27 08:02:45 +0000berberman(~berberman@user/berberman)
2022-11-27 08:06:07 +0000szxp(~peti@94.44.231.178)
2022-11-27 08:06:11 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 08:10:09 +0000niko(niko@libera/staff/niko) (Ping timeout: 608 seconds)
2022-11-27 08:11:38 +0000szxp(~peti@94.44.231.178) (Ping timeout: 260 seconds)
2022-11-27 08:19:42 +0000{[]}(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 08:19:56 +0000szxp(~peti@94.44.231.178)
2022-11-27 08:21:27 +0000ddellacosta(~ddellacos@143.244.47.82) (Ping timeout: 268 seconds)
2022-11-27 08:21:40 +0000szxp(~peti@94.44.231.178) (Client Quit)
2022-11-27 08:22:54 +0000{[]}(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer)
2022-11-27 08:28:32 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 08:40:17 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 08:42:50 +0000zeenk(~zeenk@2a02:2f04:a208:3600::fba)
2022-11-27 08:42:59 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 08:47:24 +0000acidjnk_new(~acidjnk@p200300d6e7137a809ca471f0209a81b3.dip0.t-ipconnect.de)
2022-11-27 09:00:07 +0000aaronv(~aaronv@user/aaronv) (Quit: You have been kicked for being idle)
2022-11-27 09:02:50 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 09:05:43 +0000nate4(~nate@98.45.169.16)
2022-11-27 09:07:28 +0000cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 252 seconds)
2022-11-27 09:07:41 +0000cods(~fred@82-65-232-44.subs.proxad.net)
2022-11-27 09:08:57 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 09:10:34 +0000nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 09:14:22 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 09:14:35 +0000opticblast(~Thunderbi@172.58.86.28) (Ping timeout: 264 seconds)
2022-11-27 09:17:19 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 09:21:49 +0000random-jellyfish(~random-je@user/random-jellyfish)
2022-11-27 09:22:50 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 09:24:20 +0000sympt(~sympt@user/sympt)
2022-11-27 09:25:56 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 09:28:22 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 09:28:57 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 09:32:52 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 09:38:32 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-11-27 09:40:51 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 09:42:47 +0000mc47(~mc47@xmonad/TheMC47)
2022-11-27 09:45:50 +0000jinsl(~jinsl@2408:8207:2559:28e0:211:32ff:fec8:6ae7)
2022-11-27 09:46:23 +0000jinsl-(~jinsl@123.120.168.177) (Ping timeout: 264 seconds)
2022-11-27 09:46:59 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 09:47:18 +0000Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-11-27 09:50:52 +0000Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 09:56:10 +0000gmg(~user@user/gehmehgeh)
2022-11-27 09:59:52 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-11-27 10:00:45 +0000gmg(~user@user/gehmehgeh)
2022-11-27 10:00:52 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 10:06:04 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:926:4196:430e:b1cd) (Remote host closed the connection)
2022-11-27 10:06:59 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 10:10:52 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 10:13:02 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-11-27 10:14:53 +0000 <xilo> hi, begginer question. There are two similar type classes Eq and Ord, let say my function is fun x y = if (x < y) then True else False, how do comiler knows what typeclass to infere? I assume it has to be the most generic one, so which one it is and why?
2022-11-27 10:14:53 +0000causal(~user@50.35.83.177) (Read error: Connection reset by peer)
2022-11-27 10:15:05 +0000chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1)
2022-11-27 10:15:51 +0000causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d)
2022-11-27 10:16:55 +0000 <mauke> xilo: they're not really that similar
2022-11-27 10:16:59 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 10:17:09 +0000 <mauke> for your example, the compiler looks at the type of <
2022-11-27 10:17:13 +0000 <mauke> :t (<)
2022-11-27 10:17:15 +0000 <lambdabot> Ord a => a -> a -> Bool
2022-11-27 10:17:24 +0000 <mauke> type says "Ord a", so that's what it is
2022-11-27 10:20:13 +0000 <xilo> they are not that similar, ok I'll have to look more carefully then ty!
2022-11-27 10:20:20 +0000causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 256 seconds)
2022-11-27 10:21:08 +0000 <xilo> oh yes, I see now
2022-11-27 10:21:15 +0000 <mauke> well, Eq is basically class Eq a where { (==) :: a -> a -> Bool } and Ord is like class (Eq a) => Ord a where { (<) :: a -> a -> Bool }, plus some extra methods
2022-11-27 10:21:44 +0000 <xilo> yep cool! thanks again
2022-11-27 10:29:32 +0000Inst_(~Inst@2601:6c4:4081:54f0:c5ff:1cee:beb9:d04b)
2022-11-27 10:32:36 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 10:32:54 +0000peti(~peti@94.44.231.178)
2022-11-27 10:33:04 +0000peti(~peti@94.44.231.178) (Client Quit)
2022-11-27 10:33:17 +0000causal(~user@50.35.83.177)
2022-11-27 10:33:22 +0000Inst(~Inst@2601:6c4:4081:54f0:e1a1:1873:3f07:1842) (Ping timeout: 256 seconds)
2022-11-27 10:34:34 +0000peti(~peti@94.44.231.178)
2022-11-27 10:34:50 +0000peti(~peti@94.44.231.178) (Client Quit)
2022-11-27 10:35:16 +0000peti(~peti@94.44.231.178)
2022-11-27 10:38:24 +0000peti(~peti@94.44.231.178) ()
2022-11-27 10:38:28 +0000peti(~peti@94.44.231.178)
2022-11-27 10:39:18 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-11-27 10:40:27 +0000shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-11-27 10:43:57 +0000 <kora9> geekosaur: XMonad.Actions.TagWindow is *awesome*. I'm so happy using it :)
2022-11-27 10:45:38 +0000son0p(~ff@2604:3d08:5b7f:5540::7913) (Ping timeout: 260 seconds)
2022-11-27 10:46:02 +0000Erutuon(~Erutuon@user/erutuon) (Ping timeout: 265 seconds)
2022-11-27 10:47:17 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 10:47:41 +0000Gambinomoney
2022-11-27 10:48:11 +0000elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2022-11-27 10:49:37 +0000peti(~peti@94.44.231.178) (Quit: leaving)
2022-11-27 10:50:25 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 10:54:00 +0000szxp(~peti@94.44.231.178)
2022-11-27 10:54:08 +0000szxp(~peti@94.44.231.178) ()
2022-11-27 10:54:19 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 10:54:27 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 11:02:50 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 11:04:37 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 11:04:53 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 11:06:24 +0000razetime(~quassel@117.193.0.157) (Ping timeout: 260 seconds)
2022-11-27 11:06:30 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 11:06:51 +0000Me-me(~Me-me@user/me-me) (Quit: Going offline, see ya! (www.adiirc.com))
2022-11-27 11:06:52 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 11:09:06 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 11:11:00 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 11:11:15 +0000bjourne2(~bjorn@94.191.152.34)
2022-11-27 11:11:20 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 256 seconds)
2022-11-27 11:11:21 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 11:14:08 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-11-27 11:16:36 +0000gmg(~user@user/gehmehgeh)
2022-11-27 11:18:33 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 11:19:13 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 11:21:09 +0000szxp(~peti@94.44.231.178)
2022-11-27 11:31:45 +0000gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-11-27 11:34:28 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 11:36:05 +0000nate4(~nate@98.45.169.16)
2022-11-27 11:38:58 +0000razetime(~quassel@117.193.0.157)
2022-11-27 11:38:59 +0000 <myme> I'd like to create a stable mkGen random seed from some program input. Thinking I need some: `Digest SHA1 -> Int` or similar magic sauce, but unsure how to approach that.
2022-11-27 11:41:15 +0000nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-27 11:42:11 +0000potash(~foghorn@user/foghorn) (Ping timeout: 264 seconds)
2022-11-27 11:44:56 +0000mei(~mei@user/mei)
2022-11-27 11:46:24 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 11:48:52 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 265 seconds)
2022-11-27 11:48:52 +0000mei_(~mei@user/mei) (Ping timeout: 265 seconds)
2022-11-27 11:49:00 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 11:49:03 +0000Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2022-11-27 11:52:03 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 11:52:53 +0000coot(~coot@213.134.171.3)
2022-11-27 11:55:23 +0000mei(~mei@user/mei) (Ping timeout: 264 seconds)
2022-11-27 11:55:59 +0000Guest5458(~marc@5.83.191.238) (Ping timeout: 264 seconds)
2022-11-27 11:58:49 +0000 <pavonia> myme: You could fold the SHA-1 result into an Int e.g. by chunking the SHA-1 result into 64-bit blocks and xor-ing them
2022-11-27 12:05:08 +0000Player205[m](~rootsandw@2001:470:69fc:105::2:ca2e)
2022-11-27 12:09:29 +0000gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-11-27 12:10:41 +0000szxp(~peti@94.44.231.178) (Quit: leaving)
2022-11-27 12:11:17 +0000gmg(~user@user/gehmehgeh)
2022-11-27 12:13:21 +0000darchitect(~darchitec@2a00:23c6:3584:df01:1664:a801:9bc4:f4c1) (Quit: WeeChat 3.6)
2022-11-27 12:14:54 +0000potash(~foghorn@user/foghorn)
2022-11-27 12:15:39 +0000zant(~zant@62.214.20.26)
2022-11-27 12:17:35 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 12:17:52 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 12:18:13 +0000razetime_(~quassel@117.193.4.28)
2022-11-27 12:18:15 +0000razetime(~quassel@117.193.0.157) (Ping timeout: 268 seconds)
2022-11-27 12:18:43 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 12:20:17 +0000potash(~foghorn@user/foghorn) (Ping timeout: 265 seconds)
2022-11-27 12:21:11 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 12:22:11 +0000 <[exa]> SHA1 -> Int should be okay but PLEASE do not xor hash pieces together; better simply cut out the required number of bytes (from SHA2/256 which have better properties in that)
2022-11-27 12:22:33 +0000 <[exa]> myme: btw if you don't want external people to break your RNG, add a secret salt to the beginning of the input before hashing it
2022-11-27 12:24:41 +0000potash(~foghorn@user/foghorn)
2022-11-27 12:26:05 +0000 <myme> [exa]: Most definitely, in the general case.
2022-11-27 12:26:32 +0000 <myme> [exa]: This random generator will only be used to shuffle a list of people (my family) so that the juxtaposed entries in the list are whom will be giving each other presents.
2022-11-27 12:27:57 +0000gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-11-27 12:29:01 +0000gmg(~user@user/gehmehgeh)
2022-11-27 12:29:25 +0000 <myme> It's only a cute little script where I want a stable draw unless the list of family members change (god forbid).
2022-11-27 12:29:58 +0000potash(~foghorn@user/foghorn) (Ping timeout: 268 seconds)
2022-11-27 12:31:17 +0000thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-11-27 12:31:31 +0000 <[exa]> ah ok, if you want stability and some kind of fairness, stable word + any irreversible hash to integer is pretty good
2022-11-27 12:35:30 +0000 <pavonia> [exa]: What is wrong with xor-ing?
2022-11-27 12:37:20 +0000 <[exa]> technically not much, but for cryptanalysis it allows easier exploitation of whatever correlations in the hash output that are usually super hard to analyze and thus very scary
2022-11-27 12:37:53 +0000 <[exa]> cutting out an integer isn't much better in the generic case, but some hash functions have (much simpler) properties that make it valid
2022-11-27 12:44:58 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2022-11-27 12:52:41 +0000ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-11-27 12:52:44 +0000coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 12:52:46 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 12:53:17 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 12:53:36 +0000son0p(~ff@2604:3d08:5b7f:5540::c531)
2022-11-27 12:57:12 +0000ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 12:57:57 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 12:58:26 +0000random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-11-27 12:59:42 +0000mmhat(~mmh@p200300f1c7254524ee086bfffe095315.dip0.t-ipconnect.de)
2022-11-27 13:00:22 +0000sagax(~sagax_nb@user/sagax) (Remote host closed the connection)
2022-11-27 13:00:23 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds)
2022-11-27 13:05:18 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-27 13:07:54 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 13:08:07 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 13:09:47 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 13:11:06 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Client Quit)
2022-11-27 13:11:43 +0000 <myme> [exa]: I might just start off by cutting out the required number of bytes. Thanks!
2022-11-27 13:14:01 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 13:14:29 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 13:16:53 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 13:21:46 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 13:33:47 +0000razetime_(~quassel@117.193.4.28) (Ping timeout: 264 seconds)
2022-11-27 13:37:33 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-11-27 13:38:59 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host)
2022-11-27 13:38:59 +0000money_(~money@user/polo)
2022-11-27 13:40:28 +0000hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-11-27 13:42:56 +0000Me-me(~me-me@v.working.name)
2022-11-27 13:44:23 +0000zant(~zant@62.214.20.26) (Ping timeout: 265 seconds)
2022-11-27 13:46:24 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 13:48:58 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 13:48:58 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 13:53:13 +0000money(Guest7618@user/polo) (Killed (lithium.libera.chat (Nickname regained by services)))
2022-11-27 13:53:13 +0000money_money
2022-11-27 13:53:21 +0000razetime(~quassel@117.193.0.71)
2022-11-27 13:53:24 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 13:53:27 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 13:53:32 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 13:54:10 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 13:55:34 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 13:55:35 +0000mokee(~mokee@37.228.215.235)
2022-11-27 13:58:25 +0000sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 13:58:30 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 14:05:08 +0000sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 14:07:05 +0000razetime(~quassel@117.193.0.71) (Remote host closed the connection)
2022-11-27 14:08:14 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 14:09:12 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 14:09:37 +0000machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-11-27 14:10:42 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 14:14:00 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 260 seconds)
2022-11-27 14:16:49 +0000potash(~foghorn@user/foghorn)
2022-11-27 14:18:12 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 14:20:36 +0000bjourne2(~bjorn@94.191.152.34) (Read error: Connection reset by peer)
2022-11-27 14:22:03 +0000mokee(~mokee@37.228.215.235) (Ping timeout: 260 seconds)
2022-11-27 14:26:11 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 14:28:51 +0000mokee(~mokee@37.228.215.235)
2022-11-27 14:30:11 +0000acidjnk_new(~acidjnk@p200300d6e7137a809ca471f0209a81b3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 14:34:45 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 14:34:45 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 14:37:12 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 14:38:19 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 14:43:37 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 14:44:25 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 14:46:40 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 14:47:05 +0000causal(~user@50.35.83.177) (Quit: WeeChat 3.7.1)
2022-11-27 14:49:24 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 14:51:47 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 14:52:54 +0000byorgey_(~byorgey@155.138.238.211)
2022-11-27 14:52:54 +0000byorgey_(~byorgey@155.138.238.211) (Client Quit)
2022-11-27 14:53:09 +0000coot(~coot@213.134.171.3)
2022-11-27 14:56:12 +0000earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Quit: physical move of device, powerloss)
2022-11-27 15:01:43 +0000chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds)
2022-11-27 15:06:22 +0000coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 15:06:54 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 15:07:59 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 264 seconds)
2022-11-27 15:09:56 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 15:13:01 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 15:21:47 +0000accord(uid568320@id-568320.hampstead.irccloud.com)
2022-11-27 15:24:35 +0000Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2022-11-27 15:27:40 +0000Ranhir(~Ranhir@157.97.53.139)
2022-11-27 15:27:58 +0000chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr)
2022-11-27 15:30:56 +0000elevenkb(~elevenkb@105.184.125.168)
2022-11-27 15:31:55 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 15:37:35 +0000nate4(~nate@98.45.169.16)
2022-11-27 15:38:02 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 15:38:24 +0000money(~money@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-11-27 15:38:56 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 15:39:51 +0000Guest8493(~money@user/polo)
2022-11-27 15:41:45 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-11-27 15:42:46 +0000nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-11-27 15:44:18 +0000zeenk(~zeenk@2a02:2f04:a208:3600::fba) (Quit: Konversation terminated!)
2022-11-27 15:45:02 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 15:45:13 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 265 seconds)
2022-11-27 15:46:31 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 15:46:44 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 15:48:17 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 15:52:46 +0000Guest8493(~money@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 15:53:48 +0000money(Guest3481@user/polo)
2022-11-27 15:58:38 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 15:58:59 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2022-11-27 15:59:54 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:01:38 +0000wroathe_(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 16:01:44 +0000wroathe_(~wroathe@207-153-38-140.fttp.usinternet.com) (Client Quit)
2022-11-27 16:02:02 +0000nate4(~nate@98.45.169.16)
2022-11-27 16:04:36 +0000acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de)
2022-11-27 16:06:46 +0000ElliotAlderson[m(~elliotal_@2001:470:69fc:105::bb21)
2022-11-27 16:06:53 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 16:09:13 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 16:10:01 +0000 <elevenkb> what's the best place to look for haskell jobs?
2022-11-27 16:10:45 +0000 <Rembane> elevenkb: The Haskell Weekly newsletter usually has some in each newsletter
2022-11-27 16:12:18 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 16:12:19 +0000 <elevenkb> Rembane: thanks.
2022-11-27 16:13:44 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:13:49 +0000zebrag(~chris@user/zebrag)
2022-11-27 16:15:20 +0000 <Rembane> elevenkb: There are more sources too, but I can't remember any right now. :)
2022-11-27 16:17:17 +0000michalz(~michalz@185.246.207.201)
2022-11-27 16:19:57 +0000ddellacosta(~ddellacos@89.45.224.19)
2022-11-27 16:21:05 +0000stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 16:22:48 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 16:25:15 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 16:27:11 +0000jakalx(~jakalx@base.jakalx.net)
2022-11-27 16:27:12 +0000stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 16:27:24 +0000n0st0m0(~quassel@12.190.236.128)
2022-11-27 16:27:46 +0000bjourne2(~bjorn@94.191.152.122)
2022-11-27 16:27:49 +0000Techcable(~Techcable@user/Techcable) (Ping timeout: 260 seconds)
2022-11-27 16:29:32 +0000segfaultfizzbuzz(~segfaultf@12.172.217.142)
2022-11-27 16:30:00 +0000 <segfaultfizzbuzz> i've been waiting a while for the latest ghc to come to ghcup because i'm on an m1 -- is there a typical delay i can expect for this?
2022-11-27 16:30:04 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:30:23 +0000hololeap(~quassel@user/hololeap) (Quit: Bye)
2022-11-27 16:30:36 +0000 <segfaultfizzbuzz> looks like 9.2.5 was released on nov 7 and it's now nov 27
2022-11-27 16:30:53 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-11-27 16:32:18 +0000hololeap(~quassel@user/hololeap)
2022-11-27 16:33:41 +0000 <monochrom> On x86-64 ghcup had 9.2.5 almost immediately.
2022-11-27 16:33:42 +0000 <n0st0m0> just started using Haskell. Is there a concensus on the best IDE to use for development?
2022-11-27 16:33:55 +0000 <monochrom> So I think the delay is m1-specific.
2022-11-27 16:34:03 +0000 <Franciman> n0st0m0: you may try vscode and the hls plugin
2022-11-27 16:34:21 +0000 <Franciman> not sure what's the best ide, though, there were a few like leksah a lot of time ago
2022-11-27 16:34:22 +0000 <segfaultfizzbuzz> n0st0m0: we usually just cat echo to a file and retype the entire file when we need to edit something
2022-11-27 16:34:29 +0000 <monochrom> There are two consensi. vscode or no IDE at all.
2022-11-27 16:34:50 +0000elkcl(~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru)
2022-11-27 16:34:57 +0000 <segfaultfizzbuzz> n0st0m0: because haskell has such a great type system, code is almost always correct and seldom needs to be re-written
2022-11-27 16:35:25 +0000 <n0st0m0> Thanks. I started with that. I figured VS Code was in the running. I figured no IDE was a popular approach as well.
2022-11-27 16:37:34 +0000 <segfaultfizzbuzz> n0st0m0: haskell users almost always write their own IDE with template haskell and self-written custom pragmas
2022-11-27 16:37:50 +0000n0st0m0(~quassel@12.190.236.128) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-11-27 16:38:01 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 16:38:10 +0000 <segfaultfizzbuzz> monochrom: yeah so idk what the hold up is on m1
2022-11-27 16:40:07 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:40:12 +0000pera(~pera@user/pera)
2022-11-27 16:40:47 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2022-11-27 16:47:05 +0000segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 265 seconds)
2022-11-27 16:52:59 +0000michalz(~michalz@185.246.207.201) (Ping timeout: 264 seconds)
2022-11-27 16:55:00 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 16:55:16 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:56:45 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 16:58:23 +0000jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2022-11-27 16:59:37 +0000zant(~zant@62.214.20.26)
2022-11-27 17:00:03 +0000perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 17:04:23 +0000nate4(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-11-27 17:11:35 +0000ddellacosta(~ddellacos@89.45.224.19) (Ping timeout: 264 seconds)
2022-11-27 17:14:46 +0000ulvarref`(~user@185.24.53.152)
2022-11-27 17:16:23 +0000azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-27 17:16:59 +0000ulvarrefr(~user@188.124.56.153) (Ping timeout: 264 seconds)
2022-11-27 17:18:32 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 17:18:39 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:18:52 +0000merijn(~merijn@86.86.29.250)
2022-11-27 17:20:25 +0000tv(~tv@user/tv) (Read error: Connection reset by peer)
2022-11-27 17:20:45 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-27 17:21:56 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 17:23:08 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 17:28:03 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 17:31:08 +0000Guest8715(~Guest87@136.36.64.88)
2022-11-27 17:31:33 +0000 <Guest8715> @pl \f g x y -> f (x ++ g x) (g y)
2022-11-27 17:31:33 +0000 <lambdabot> join . ((flip . ((.) .)) .) . (. ap (++)) . (.)
2022-11-27 17:32:38 +0000 <Guest8715> @pl foobar :: [Integer] -> Integer
2022-11-27 17:32:38 +0000 <lambdabot> (line 1, column 23):
2022-11-27 17:32:38 +0000 <lambdabot> unexpected '>'
2022-11-27 17:32:39 +0000 <Guest8715> foobar [] = 0
2022-11-27 17:32:39 +0000 <lambdabot> expecting operator
2022-11-27 17:32:39 +0000 <Guest8715> foobar (x:xs)
2022-11-27 17:32:40 +0000 <Guest8715>   | x > 3 = (7*x + 2) + foobar xs
2022-11-27 17:32:40 +0000 <Guest8715>   | otherwise = foobar xs
2022-11-27 17:33:30 +0000sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 17:35:05 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-11-27 17:35:08 +0000sammelweis_(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-11-27 17:35:12 +0000Guest8715(~Guest87@136.36.64.88) ()
2022-11-27 17:37:54 +0000tv(~tv@user/tv)
2022-11-27 17:39:16 +0000eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-11-27 17:40:35 +0000 <mauke> @pl sum . map (\x -> 7*x + 2) . filter (> 3)
2022-11-27 17:40:35 +0000 <lambdabot> sum . map ((2 +) . (7 *)) . filter (> 3)
2022-11-27 17:44:15 +0000random-jellyfish(~random-je@user/random-jellyfish)
2022-11-27 17:46:19 +0000fpnoob(~nick@68.239.47.12)
2022-11-27 17:46:19 +0000zant(~zant@62.214.20.26) (Ping timeout: 268 seconds)
2022-11-27 17:52:36 +0000thyriaen_(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-11-27 17:52:44 +0000thyriaen_(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-11-27 17:53:13 +0000merijn(~merijn@86.86.29.250) (Ping timeout: 260 seconds)
2022-11-27 17:54:21 +0000econo(uid147250@user/econo)
2022-11-27 17:59:57 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 18:00:24 +0000sayola(~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2022-11-27 18:04:05 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-11-27 18:04:57 +0000kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-11-27 18:06:04 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 18:07:13 +0000jakalx(~jakalx@base.jakalx.net)
2022-11-27 18:15:24 +0000jonathanx_(~jonathan@94.234.102.136)
2022-11-27 18:16:52 +0000elevenkb(~elevenkb@105.184.125.168) (Quit: Client closed)
2022-11-27 18:18:02 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-11-27 18:18:04 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds)
2022-11-27 18:18:13 +0000dangit(~nick@68.239.47.12)
2022-11-27 18:20:07 +0000Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-11-27 18:24:12 +0000dangit(~nick@68.239.47.12) (Quit: dangit)
2022-11-27 18:24:39 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 18:29:25 +0000accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-27 18:32:00 +0000phma(~phma@2001:5b0:211b:f1c8:1660:b1a4:c3b6:5a9) (Read error: Connection reset by peer)
2022-11-27 18:32:54 +0000phma(phma@2001:5b0:2143:94c8:f94a:d451:43a6:db0a)
2022-11-27 18:39:21 +0000michalz(~michalz@185.246.204.73)
2022-11-27 18:39:45 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 18:42:40 +0000LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net)
2022-11-27 18:44:09 +0000random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-11-27 18:44:33 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 260 seconds)
2022-11-27 18:45:00 +0000 <LemanR> Hey all, I'm struggling with this exercism.org problem, the ValentinesDay exercise. Here is what I have atm https://dpaste.com/5LAVNZVFS , is this correct so far? The function part (how to use these) is what I am struggling with the most so I want to see if I have it correct before the function implementation (because if the first part is right
2022-11-27 18:45:00 +0000 <LemanR> then I can focus on getting the functions correct).
2022-11-27 18:45:11 +0000coot(~coot@213.134.171.3)
2022-11-27 18:47:38 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-11-27 18:48:54 +0000 <LemanR> I don't wast to check other solutions cause I won't learn anything doing that. Instead I'm reading and studying until I understand how I'm supposed to do this.
2022-11-27 18:49:14 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 18:49:53 +0000 <LemanR> instructions, idk if you have to be logged in to see it though https://exercism.org/tracks/haskell/exercises/valentines-day
2022-11-27 18:50:03 +0000 <monochrom> Use pattern matching?
2022-11-27 18:50:28 +0000 <LemanR> I'm tried but keep messing up so I wanted to see if I got everything up to that point right.
2022-11-27 18:50:37 +0000 <LemanR> *I've tried
2022-11-27 18:51:30 +0000 <monochrom> Well with this current state of code, you don't need a human to answer, the computer is going to say "no syntax error or type error" and that's all any human could say anyway.
2022-11-27 18:53:32 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-11-27 18:53:59 +0000 <LemanR> I'm going to take this as nothing wrong with the setup (before the actual function) so I'll keep reading pattern matching and specifically those involved with algebraic data types. I think once I get it I'm gonna feel so dumb :p
2022-11-27 18:57:19 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-11-27 19:00:23 +0000kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 19:01:04 +0000 <mauke> Resturant is misspelled, but apart from that ...
2022-11-27 19:01:25 +0000 <monochrom> oh haha
2022-11-27 19:04:06 +0000eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 19:05:14 +0000 <LemanR> thanks for the catch there
2022-11-27 19:06:58 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 19:09:22 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 19:11:00 +0000 <kaol> I messed around a bit with profunctors. Fun stuff, it's like fst and snd but for functions. lmap for applying some a -> b on the input and rmap for doing the same to output. Applying a function to the second variable of a 2-ary function? Why rmap . lmap of course.
2022-11-27 19:13:06 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 19:15:19 +0000zant(~zant@62.214.20.26)
2022-11-27 19:17:54 +0000opticblast(~Thunderbi@172.58.86.253)
2022-11-27 19:18:36 +0000bluephones(main@gateway/vpn/protonvpn/bluephones)
2022-11-27 19:22:14 +0000Wstfgl0(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 19:22:44 +0000bjourne2(~bjorn@94.191.152.122) (Read error: Connection reset by peer)
2022-11-27 19:22:59 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 19:23:45 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 19:24:11 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 19:25:14 +0000Sgeo(~Sgeo@user/sgeo)
2022-11-27 19:25:23 +0000bluephones(main@gateway/vpn/protonvpn/bluephones) (Ping timeout: 264 seconds)
2022-11-27 19:25:47 +0000jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-11-27 19:26:13 +0000troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-11-27 19:27:12 +0000 <LemanR> so.....close... doing the walk part which needs <, >, <= etc operators
2022-11-27 19:29:06 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 19:29:07 +0000jonathanx_(~jonathan@94.234.102.136) (Read error: Connection reset by peer)
2022-11-27 19:29:23 +0000jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-11-27 19:30:15 +0000Wstfgl0(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Remote host closed the connection)
2022-11-27 19:30:43 +0000 <monochrom> Just write some extra if-then-else.
2022-11-27 19:30:45 +0000bluephones(main@gateway/vpn/protonvpn/bluephones)
2022-11-27 19:30:52 +0000 <bluephones> When should I use Int over Integer?
2022-11-27 19:31:03 +0000Me-me(~me-me@v.working.name) (Changing host)
2022-11-27 19:31:03 +0000Me-me(~me-me@user/me-me)
2022-11-27 19:31:15 +0000 <monochrom> You can also go fancy and use guard syntax. But if-then-else doesn't need another afternoon of reading.
2022-11-27 19:32:12 +0000 <LemanR> I don't mind how long it takes to write code I like to read. This is joy learning rather than for school or anything like that.
2022-11-27 19:33:04 +0000 <geekosaur> bluephones, when most of the things you';re doing want (or provide: see for example `length`) Int instead of Integer, or when performance matters
2022-11-27 19:33:49 +0000Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 19:33:59 +0000 <geekosaur> Integer is preferred if you might go beyond the bounds if Int
2022-11-27 19:34:48 +0000 <geekosaur> it's slower though since there's a bounds check involved in many cases (the implementation tries to use an Int underneath if it'll fit) and if it won'[t fit switches to gmp which can be much slower
2022-11-27 19:35:48 +0000 <LemanR> CS question, if someone needs to calculate an Int value however the coding language doesn't provide a Int large enough for the value you need to calculate, how is that resolved or what would a programmer do in such a case?
2022-11-27 19:35:57 +0000 <LemanR> curiosity question lol
2022-11-27 19:36:52 +0000 <mauke> if it's for an online competition or similar, the often ask for HUGE_RESULT `mod` SOME_CONSTANT, and there is clever math you can do to never actually calculate HUGE_RESULT
2022-11-27 19:37:55 +0000 <mauke> if you need to use numbers that exceed all built-in types, you have to switch to a library that implements them (such as libgmp)
2022-11-27 19:38:03 +0000 <mauke> or write the algorithms yourself
2022-11-27 19:38:43 +0000 <LemanR> I'll have to check it out to see what that looks like later.
2022-11-27 19:39:20 +0000 <LemanR> oh nvm, you're saying you do some mathematics to have some abstract equivalent to the value you need
2022-11-27 19:39:45 +0000 <fpnoob> On a _really_ low level, the CPU provides a flag indicating if an operation went out of bounds.
2022-11-27 19:39:53 +0000 <fpnoob> https://en.wikipedia.org/wiki/Overflow_flag
2022-11-27 19:40:41 +0000 <fpnoob> So (oversimplifying a bit) if you have 8-bit arithmetic, and you're adding 0xFF + 0x01, the result will be 0x00, and the overflow flag will be on.
2022-11-27 19:46:09 +0000 <mauke> as an example of the first case, let's say the problem boils down to computing 3^100, but the description says to output the result modulo 13337
2022-11-27 19:46:09 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds)
2022-11-27 19:46:35 +0000 <mauke> > 3 ^ 100 `mod` 13337
2022-11-27 19:46:37 +0000 <lambdabot> 9195
2022-11-27 19:46:56 +0000 <mauke> that's nice if your language supports unbounded integers, but if you're limited to Int and do it the naive way ...
2022-11-27 19:47:02 +0000 <mauke> > (3 :: Int) ^ 100 `mod` 13337
2022-11-27 19:47:04 +0000 <lambdabot> 8634
2022-11-27 19:47:12 +0000 <LemanR> so close :p https://dpaste.com/FC6HAGBUP apparently it doesn't like the <= 5 part
2022-11-27 19:47:12 +0000 <mauke> ... you just get nonsense
2022-11-27 19:48:25 +0000 <mauke> LemanR: ah, that's slightly confused. the pattern shouldn't be 'Walk Int' but 'Walk n' (and then n will be a variable containing the associated value)
2022-11-27 19:48:26 +0000 <geekosaur> LemanR, you can't chain operations like that. And that's just the syntactic part
2022-11-27 19:48:34 +0000 <mauke> and then you can check n < 3, etc
2022-11-27 19:48:38 +0000 <geekosaur> the rest is what mauke just said
2022-11-27 19:49:04 +0000 <geekosaur> n >= 3 && n <= 5
2022-11-27 19:49:39 +0000 <geekosaur> otherwise it'd be hard to support a pattern like Foo m n | m >= 3 && n <= 5 = ...
2022-11-27 19:50:29 +0000 <LemanR> totally forgot whenever you do && or || etc you need to retype the variable
2022-11-27 19:53:03 +0000 <mauke> > let modmul n a b = (a * b) `mod` n; modpow n a b = foldl' (modmul n) 1 (replicate b a) in modpow 13337 (3 :: Int) 100
2022-11-27 19:53:05 +0000 <lambdabot> 9195
2022-11-27 19:54:31 +0000 <mauke> LemanR: btw, in 'Movie otherwise', you're not using the built-in 'otherwise'
2022-11-27 19:54:45 +0000 <mauke> that pattern defines a new local variable called 'otherwise' (which is then never used)
2022-11-27 19:55:09 +0000 <LemanR> I realized that when I spelt otherwise wrong (othervise) and it went through anyway lol i just kept that cause.
2022-11-27 19:55:17 +0000 <mauke> the idiomatic way to write that is 'Movie _'
2022-11-27 19:55:54 +0000 <mauke> _ is like a placeholder for a variable, but it doesn't actually define a name (so you can use it multiple times in the same pattern)
2022-11-27 19:58:12 +0000bjourne2(~bjorn@94.191.152.122)
2022-11-27 20:03:00 +0000kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 20:03:11 +0000fpnoob(~nick@68.239.47.12) (Ping timeout: 264 seconds)
2022-11-27 20:08:08 +0000 <dsal> @src otherwise
2022-11-27 20:08:08 +0000 <lambdabot> otherwise = True
2022-11-27 20:08:53 +0000 <LemanR> just confused on why othervise, otherwise, bob, etc does work after Movie, is it because I never specify what Genre construct needs to be?
2022-11-27 20:09:40 +0000 <LemanR> nvm Genre is the argument to construct Movie
2022-11-27 20:10:47 +0000 <geekosaur> you can use anything there and it will create a new local binding. if you never use that then it's irrelevant what you call it
2022-11-27 20:10:59 +0000acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 20:11:57 +0000 <mauke> > let foo othermumble = 42 in foo "hello"
2022-11-27 20:11:59 +0000 <lambdabot> 42
2022-11-27 20:12:26 +0000 <mauke> the 'foo' function ignores its argument, so it doesn't matter what its name is
2022-11-27 20:13:49 +0000 <LemanR> is that more to do with that it's lazy eval (don't need it don't eval) or more so that when you create a function say called func with argument x, when you use it x can be replaced with anything I.E func bobo is valid
2022-11-27 20:14:17 +0000 <LemanR> *more so the reasoning is the same as when you create a function
2022-11-27 20:14:53 +0000 <mauke> it's the latter
2022-11-27 20:15:13 +0000 <mauke> pattern matching (and function parameters) work the same way in languages without lazy evaluation
2022-11-27 20:15:30 +0000 <LemanR> understood, thanks for the clarity.
2022-11-27 20:15:44 +0000shriekingnoise(~shrieking@186.137.167.202)
2022-11-27 20:17:52 +0000acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de)
2022-11-27 20:18:29 +0000ddellacosta(~ddellacos@143.244.47.73)
2022-11-27 20:19:45 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 20:20:48 +0000LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2022-11-27 20:21:11 +0000opticblast(~Thunderbi@172.58.86.253) (Ping timeout: 264 seconds)
2022-11-27 20:22:57 +0000kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 20:23:19 +0000kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 20:24:10 +0000pavonia(~user@user/siracusa)
2022-11-27 20:24:47 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 20:27:27 +0000kraftwerk28(~kraftwerk@178.62.210.83) (Client Quit)
2022-11-27 20:27:50 +0000kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 20:34:24 +0000kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 20:34:47 +0000kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 20:35:00 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 20:37:00 +0000Feuermagier_(~Feuermagi@216.24.216.50)
2022-11-27 20:37:03 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-27 20:39:47 +0000Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 264 seconds)
2022-11-27 20:40:45 +0000Topsi(~Topsi@dyndsl-091-096-150-101.ewe-ip-backbone.de)
2022-11-27 20:41:08 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 20:50:31 +0000inversed(~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2022-11-27 20:50:44 +0000potash(~foghorn@user/foghorn) (Read error: Connection reset by peer)
2022-11-27 20:51:10 +0000mokee(~mokee@37.228.215.235) (Remote host closed the connection)
2022-11-27 20:52:20 +0000potash(~foghorn@user/foghorn)
2022-11-27 20:52:39 +0000coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 20:56:47 +0000kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-11-27 20:58:15 +0000money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 21:01:00 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 21:01:11 +0000nate4(~nate@98.45.169.16)
2022-11-27 21:02:48 +0000ulvarref`(~user@185.24.53.152) (Ping timeout: 260 seconds)
2022-11-27 21:06:07 +0000nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-27 21:07:07 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 21:07:23 +0000bluephones(main@gateway/vpn/protonvpn/bluephones) (Ping timeout: 264 seconds)
2022-11-27 21:11:23 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-11-27 21:12:19 +0000Bocaneri(~sauvin@user/Sauvin)
2022-11-27 21:12:28 +0000 <Inst_> why does everyone hate stack?
2022-11-27 21:12:35 +0000 <Inst_> here's a proposal, one, it takes too long to build, second
2022-11-27 21:12:43 +0000BocaneriGuest7626
2022-11-27 21:12:47 +0000 <Inst_> i have libs exposed and it can't see it
2022-11-27 21:14:10 +0000 <dsal> I can't get off stack. I'm sure it's possible, but all the things I've tried have been harder.
2022-11-27 21:14:49 +0000Sauvin(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2022-11-27 21:14:58 +0000Guest7626Sauvin
2022-11-27 21:16:01 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 21:17:34 +0000 <shapr> dsal: I'd like to hear about that
2022-11-27 21:17:43 +0000 <shapr> I don't have the same experience, but would like to understand the experience of others
2022-11-27 21:20:13 +0000 <dsal> I build simple projects with stack, add some deps in package.yaml and maybe a stack.yaml thing. It'll spit out a .cabal file, but it does something fancy that makes it so that I can't build without stack.
2022-11-27 21:20:21 +0000 <dsal> A simple example, I think, is https://github.com/dustin/s3up
2022-11-27 21:20:30 +0000earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net)
2022-11-27 21:20:40 +0000 <dsal> It uses an unreleased amazonka and stack knows how to wire that up, but *I* don't know how to wire that up.
2022-11-27 21:21:21 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 21:22:08 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 21:28:45 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-11-27 21:28:51 +0000jakalx(~jakalx@base.jakalx.net)
2022-11-27 21:30:40 +0000Erutuon(~Erutuon@user/erutuon)
2022-11-27 21:32:14 +0000gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-11-27 21:36:32 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 21:37:23 +0000mmhat(~mmh@p200300f1c7254524ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 21:37:44 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-11-27 21:37:45 +0000mmhat(~mmh@p200300f1c72545bdee086bfffe095315.dip0.t-ipconnect.de)
2022-11-27 21:39:29 +0000verd(~verd@ip-89-176-11-114.bb.vodafone.cz)
2022-11-27 21:39:36 +0000zmt01(~zmt00@user/zmt00) (Quit: Leaving)
2022-11-27 21:41:08 +0000Sgeo(~Sgeo@user/sgeo)
2022-11-27 21:43:03 +0000 <verd> how do i determine whether a function with a given type signature can be total?
2022-11-27 21:43:25 +0000 <monochrom> Cannot.
2022-11-27 21:45:50 +0000 <EvanR> how do you know what verd can do
2022-11-27 21:45:59 +0000 <monochrom> Oh haha.
2022-11-27 21:46:00 +0000 <hpc> math
2022-11-27 21:46:16 +0000 <[exa]> verd: unless you either 1] have a function definition that is sufficiently simple to infer totality 2] the function domain is finite and you're lucky enough that all your attempts to evaluate it totally do not diverge, you can't say much.
2022-11-27 21:46:32 +0000 <mauke> couldBeTotal _ = True
2022-11-27 21:46:46 +0000 <monochrom> How do I determine whether a person with a given IRC nick can determine whether a function can be total? >:)
2022-11-27 21:47:09 +0000 <Rembane> monochrom: By using a quantum computer! :D
2022-11-27 21:47:32 +0000 <monochrom> No no no, we need dependently typed IRC nicks!
2022-11-27 21:47:39 +0000 <geekosaur> which only changes couldBeTotal to a supermpsition of True and False
2022-11-27 21:47:47 +0000 <geekosaur> *superposition
2022-11-27 21:48:10 +0000 <Rembane> TotalRembane :: _|_
2022-11-27 21:48:18 +0000 <monochrom> OK, I can get behind dependently typed quantum computing. :)
2022-11-27 21:48:33 +0000 <[exa]> {-# LANGUAGE NicksInNicks #-}
2022-11-27 21:48:50 +0000 <monochrom> haha
2022-11-27 21:48:52 +0000 <[exa]> irc just got better
2022-11-27 21:49:23 +0000chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr) (Ping timeout: 264 seconds)
2022-11-27 21:49:42 +0000 <mauke> [[[exa]]]
2022-11-27 21:50:05 +0000 <juri_> hey, what's the in thing for writing android apps in haskell?
2022-11-27 21:52:09 +0000 <[exa]> mauke: OH YOU. :D
2022-11-27 21:52:17 +0000 <[exa]> juri_: was it obelisk?
2022-11-27 21:54:00 +0000P1RATEZ(piratez@user/p1ratez)
2022-11-27 21:55:04 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 21:55:36 +0000 <juri_> [exa]: it's clearly not eta...
2022-11-27 21:56:10 +0000 <juri_> I've got a personal project i want to do on android, but can't imagine leaving haskell behind.
2022-11-27 21:56:25 +0000 <juri_> and it's mostly networking. wheee.
2022-11-27 21:56:54 +0000 <[exa]> networking on android is........sanely possible?
2022-11-27 21:57:08 +0000jargon(~jargon@184.101.188.35)
2022-11-27 21:57:34 +0000 <Hecate> you'd have to use the JNI with Kotlin?
2022-11-27 21:57:36 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 21:57:37 +0000 <Hecate> I… guess?
2022-11-27 21:58:04 +0000 <[exa]> (I didn't check out the APIs though but I can imagine what can happen on a java-ish platform that should be firewalled)
2022-11-27 22:02:06 +0000ivan__(~ivan__@2001:818:ea58:9200:c83e:9a28:c46f:bf84)
2022-11-27 22:13:02 +0000 <EvanR> verd, since you can encode arbitrary logic in a function type, automatically determining if it's total would be like leibniz's machine/algorithm to solve any problem
2022-11-27 22:14:32 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 22:15:34 +0000 <c_wraith> I mean, you can detect certain type signatures that *can't* be total.
2022-11-27 22:15:56 +0000 <c_wraith> you know for sure that `foo :: a' isn't total
2022-11-27 22:16:34 +0000 <c_wraith> and it's worth being able to recognize that.
2022-11-27 22:17:11 +0000 <c_wraith> Even though it tells you nothing about the converse. `bar :: a -> a' might be total, but there's no guarantee
2022-11-27 22:18:08 +0000 <EvanR> how is a even eligible for the question it might not even be a function
2022-11-27 22:18:23 +0000 <mauke> () -> a
2022-11-27 22:18:49 +0000ivan__(~ivan__@2001:818:ea58:9200:c83e:9a28:c46f:bf84) (Remote host closed the connection)
2022-11-27 22:18:58 +0000 <EvanR> that'll do it
2022-11-27 22:21:35 +0000jmdaemon(~jmdaemon@user/jmdaemon)
2022-11-27 22:21:46 +0000michalz(~michalz@185.246.204.73) (Remote host closed the connection)
2022-11-27 22:23:12 +0000chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr)
2022-11-27 22:27:05 +0000Guest60(~Guest60@101.98.118.246)
2022-11-27 22:28:35 +0000Feuermagier_(~Feuermagi@216.24.216.50) (Quit: Leaving)
2022-11-27 22:28:46 +0000Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 22:29:07 +0000 <Guest60> Hi, I've got a list of parsed JSON ASTs from the Data.Yaml package and I'm writing a function to create a merge strategy. How would I union a `Yaml.Object`?
2022-11-27 22:32:18 +0000 <c_wraith> generally you would walk both, adding all the key-value pairs that are in one but not the other, then deciding on a merge rule for the keys that have values in both
2022-11-27 22:32:31 +0000adium(adium@user/adium) (Write error: Connection reset by peer)
2022-11-27 22:32:46 +0000 <c_wraith> You might choose rules like "take the left option", "take the right option", or "do some value merge logic"
2022-11-27 22:33:05 +0000verd(~verd@ip-89-176-11-114.bb.vodafone.cz) (Quit: Client closed)
2022-11-27 22:34:01 +0000Buliarous(~gypsydang@46.232.210.139) (Quit: Lost terminal)
2022-11-27 22:36:14 +0000fpnoob(~nick@68.239.47.12)
2022-11-27 22:36:52 +0000biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-11-27 22:37:50 +0000zmt00(~zmt00@user/zmt00)
2022-11-27 22:38:31 +0000coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 22:38:39 +0000 <Guest60> what kind of function would I use to walk them? For a general hashmap I would go with UnionWith where the conflict would call recursively. I'm not sure how I can do that with this `Yaml.Object` type
2022-11-27 22:38:42 +0000thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Quit: Leaving)
2022-11-27 22:40:12 +0000 <c_wraith> It's almost certainly an unordered map underneath, just needing you to take off a newtype wrapper. But I can't confirm that without knowing what package you're using.
2022-11-27 22:40:58 +0000fpnoob(~nick@68.239.47.12) (Ping timeout: 256 seconds)
2022-11-27 22:41:00 +0000 <Guest60> I'm using `Data.Yaml`
2022-11-27 22:41:14 +0000 <c_wraith> that's a module, not a package. module names are not unique
2022-11-27 22:41:20 +0000biberu(~biberu@user/biberu)
2022-11-27 22:41:22 +0000 <c_wraith> (or at least, they don't need to be unique)
2022-11-27 22:41:36 +0000 <Guest60> oh `yaml`
2022-11-27 22:41:58 +0000 <Guest60> Seems to be using `Data.Aeson.KeyMap` underneath
2022-11-27 22:42:11 +0000 <Guest60> `type Object = KeyMap Value`
2022-11-27 22:42:29 +0000 <c_wraith> Oh, right, aeson made that type opaque so they could change between backing types with a flag.
2022-11-27 22:43:07 +0000 <c_wraith> that was their mitigation for hash flooding. blech.
2022-11-27 22:43:54 +0000 <c_wraith> but they provide a SemiAlign instance. You can use that.
2022-11-27 22:44:25 +0000zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-11-27 22:44:27 +0000 <c_wraith> or SemiAlignWithIndex, if you want access to the key
2022-11-27 22:44:58 +0000 <Guest60> so do I need to add a dependency on aeson to manipulate these objects as well as yaml which I used for the parsing?
2022-11-27 22:45:56 +0000 <c_wraith> If you want to use things only exported by aeson, yes. But it's already a dependency of yaml, so it's not adding something new to the build plan, just making more stuff available to import.
2022-11-27 22:46:14 +0000 <c_wraith> But you can use something like https://hackage.haskell.org/package/semialign-1.2.0.1/docs/Data-Semialign-Indexed.html#v:ialignWith without importing aeson
2022-11-27 22:46:42 +0000 <c_wraith> though that would require you to expose the `semialign' and `these' packages
2022-11-27 22:47:51 +0000sus5(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2022-11-27 22:47:57 +0000 <Guest60> alright, I'll have a look at the aeson stuff. Main concern was adding dependencies
2022-11-27 22:47:59 +0000 <c_wraith> anyway, ialignWith is definitely the tool you'd want for merging
2022-11-27 22:48:19 +0000 <c_wraith> well. given the instances exported, they're already dependencies. It's just a question of whether they're exposed or hidden
2022-11-27 22:49:17 +0000hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-11-27 22:50:51 +0000 <jackdk> You could also use `Data.Aeson.KeyMap.toMap` since by default new versions use an ordered map and not a hashmap by default
2022-11-27 22:51:04 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 22:51:25 +0000 <jackdk> Which then gives you access to the functions in https://hackage.haskell.org/package/containers/docs/Data-Map-Merge-Strict.html
2022-11-27 22:53:18 +0000 <Guest60> I used the `unionWith` for aeson KeyMap which worked nicely
2022-11-27 23:00:43 +0000tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 23:02:13 +0000sus(~zeromomen@user/zeromomentum)
2022-11-27 23:05:50 +0000hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com)
2022-11-27 23:10:05 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 255 seconds)
2022-11-27 23:11:03 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-11-27 23:13:45 +0000Guest30(~Guest30@59-102-33-166.tpgi.com.au)
2022-11-27 23:13:54 +0000 <Guest30> Hi
2022-11-27 23:14:38 +0000 <Guest30> I am getting the following error     Variable not in scope: (+) :: Int -> Int -> Int
2022-11-27 23:14:38 +0000 <Guest30>    |
2022-11-27 23:14:39 +0000 <Guest30> 29 | sum a b = a + b
2022-11-27 23:14:39 +0000 <Guest30>    | ^
2022-11-27 23:14:40 +0000 <Guest30> Failed, no modules loaded.
2022-11-27 23:14:49 +0000 <Guest30> Any ideas?
2022-11-27 23:15:08 +0000ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-11-27 23:15:13 +0000 <Hecate> did you somehow prevent the Prelude from being imported?
2022-11-27 23:15:14 +0000 <Guest30> Source code is sum :: Int -> Int -> Int
2022-11-27 23:15:15 +0000 <Guest30> sum a b = a + b
2022-11-27 23:15:30 +0000 <Hecate> can you try with "import Prelude" at the top of your file after the module name?
2022-11-27 23:15:31 +0000 <Guest30> Do I have to import Prelude
2022-11-27 23:15:34 +0000ChaiTRex(~ChaiTRex@user/chaitrex)
2022-11-27 23:15:37 +0000 <Hecate> no you shouldn't have to do it
2022-11-27 23:15:48 +0000 <c_wraith> funny things can happen if your project has a module named Prelude in it
2022-11-27 23:15:55 +0000 <Hecate> aye
2022-11-27 23:15:58 +0000 <Hecate> that too
2022-11-27 23:16:02 +0000 <c_wraith> alternatively you might have a line like "import Prelude ()"
2022-11-27 23:16:25 +0000 <c_wraith> As yet another alternative.. If you're using the GHC api, it doesn't import Prelude by default
2022-11-27 23:17:00 +0000 <Guest30> Awsome
2022-11-27 23:17:05 +0000 <Guest30> what is Prelude?
2022-11-27 23:17:16 +0000 <c_wraith> It's just a module that is imported by default
2022-11-27 23:17:20 +0000 <monochrom> Preloaded library stuff.
2022-11-27 23:17:30 +0000 <Guest30> It didn't get imported by Default
2022-11-27 23:17:41 +0000 <Guest30> I had to put it in the import Definition
2022-11-27 23:17:59 +0000 <c_wraith> it gets imported by default unless you're using the GHC api (or things that wrap it, like hint)
2022-11-27 23:18:07 +0000 <monochrom> Is this "Definition" something your prof dictates and restricts you to?
2022-11-27 23:18:09 +0000 <Guest30> I am in Ghci
2022-11-27 23:18:23 +0000 <Guest30> Loading a file using :h
2022-11-27 23:18:31 +0000 <Guest30> :l
2022-11-27 23:18:34 +0000 <Guest30> I mean
2022-11-27 23:18:38 +0000 <c_wraith> do you have a .ghci file that includes something like -XNoImplicitPrelude ?
2022-11-27 23:18:39 +0000 <Guest30> Loading a file
2022-11-27 23:18:45 +0000 <monochrom> Frankly and bluntly if I can't reproduce it I can't diagnose it. And I refuse to play guessing games like other people love it.
2022-11-27 23:18:53 +0000 <Guest30> {-# LANGUAGE NoImplicitPrelude #-}
2022-11-27 23:18:56 +0000 <Guest30> THat would do it
2022-11-27 23:19:39 +0000 <c_wraith> monochrom: yes, often problems have a small enough causal space that you can enumerate it
2022-11-27 23:20:32 +0000 <c_wraith> Guest30: I'd get rid of that language pragma. If you don't know why you need it, you don't need it.
2022-11-27 23:20:51 +0000 <Guest30> I just copied the code from somewhere
2022-11-27 23:21:04 +0000 <Guest30> Wasn't sure what it idid
2022-11-27 23:21:09 +0000 <Guest30> Now I do
2022-11-27 23:21:14 +0000 <monochrom> No, we need to train querents to stop expecting miraculous gurus and telepathy --- anti-theses to STEM.
2022-11-27 23:21:59 +0000lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-11-27 23:22:17 +0000 <monochrom> BTW that's why there is a great monad tutorial that I decided not to recommend, because it also does NoImplicitPrelude.
2022-11-27 23:22:28 +0000 <monochrom> (and other factors)
2022-11-27 23:22:48 +0000 <c_wraith> I'd never recommend anything with NoImplicitPrelude to a beginner. It's a pretty advanced feature.
2022-11-27 23:23:06 +0000 <Guest30> Ok
2022-11-27 23:24:13 +0000 <c_wraith> It does so much more subtle stuff than merely not importing Prelude by default. In rare occasions, that might be what you want, but the value is in very narrow cases of advanced DSL use.
2022-11-27 23:24:52 +0000 <monochrom> It's for very specialized library internals, yeah.
2022-11-27 23:25:47 +0000 <monochrom> Anything you show to a beginner you need to ask yourself "is this idiomatic code?" because beginners just assumes it.
2022-11-27 23:25:49 +0000 <Guest30> Thanks for the help.
2022-11-27 23:25:50 +0000merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 23:26:22 +0000 <monochrom> or rather, beginners actually learn from everything you show.
2022-11-27 23:26:36 +0000 <monochrom> Bloggers do not take that responsibility seriously.
2022-11-27 23:26:43 +0000 <c_wraith> that's a good way to state it
2022-11-27 23:27:04 +0000kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 23:28:42 +0000kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 23:42:23 +0000 <Guest30> Given my implementation below -- 3. Find the K'th element of a list. The first element in the list is number 1.
2022-11-27 23:42:23 +0000 <Guest30> tryGetElementAt :: [a] -> Int -> Maybe a
2022-11-27 23:42:24 +0000 <Guest30> tryGetElementAt (x:_) 1 = Just x
2022-11-27 23:42:24 +0000 <Guest30> tryGetElementAt [] _ = Nothing
2022-11-27 23:42:25 +0000 <Guest30> tryGetElementAt (_:xs) k
2022-11-27 23:42:25 +0000 <Guest30>     | k < 1 = Nothing
2022-11-27 23:42:26 +0000 <Guest30>     | otherwise = tryGetElementAt xs (k - 1)
2022-11-27 23:46:34 +0000 <Guest30> Why do I get these warning messages
2022-11-27 23:46:36 +0000 <Guest30> Defined but not used: `tryGetElementAt'
2022-11-27 23:46:37 +0000 <Guest30>    |
2022-11-27 23:46:37 +0000 <Guest30> 22 | tryGetElementAt (x:_) 1 = Just x
2022-11-27 23:46:38 +0000 <Guest30>    | ^^^^^^^^^^^^^^^
2022-11-27 23:47:28 +0000 <jackdk> Can you put your entire file into a pastebin? I suspect the module header is the culprit. @where paste
2022-11-27 23:47:29 +0000bobbingbob(~bobbingbo@S010610561191f5d6.lb.shawcable.net)
2022-11-27 23:47:32 +0000 <Guest30> It clearly gets used becase if if it didn't it would be fail
2022-11-27 23:47:37 +0000 <jackdk> @where paste
2022-11-27 23:47:37 +0000 <lambdabot> Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com
2022-11-27 23:48:41 +0000 <Guest30> Done
2022-11-27 23:48:54 +0000 <jackdk> Link?
2022-11-27 23:49:31 +0000 <Axman6> ...
2022-11-27 23:49:45 +0000 <Axman6> Guest30: uoi have to give us the link
2022-11-27 23:49:48 +0000 <Axman6> you*
2022-11-27 23:49:52 +0000 <Guest30> I think it works now
2022-11-27 23:50:02 +0000 <Guest30> The error message is missleading
2022-11-27 23:50:19 +0000 <Guest30> The error was that I didn't include tryGetElementAt
2022-11-27 23:50:26 +0000 <Guest30> And also I had to remove the imports
2022-11-27 23:50:46 +0000chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr) (Ping timeout: 268 seconds)
2022-11-27 23:51:08 +0000 <jackdk> GHC will consider a definition "used" only if it is exported by the module, or used by a function exported from the module.
2022-11-27 23:51:23 +0000 <Axman6> Guest30: You know how when you go to the mechanic, you just say "My car is broken, can you fix it?" And the mechanic magically knows you need a net alternator and timing belt?
2022-11-27 23:51:27 +0000 <Axman6> No?
2022-11-27 23:52:18 +0000 <Axman6> Because that never happens, if you need help, you need to explain what is going on - we're happy to help you but we need to see a) _all_ the code and b) the actual error
2022-11-27 23:52:25 +0000Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 265 seconds)
2022-11-27 23:53:54 +0000mmhat(~mmh@p200300f1c72545bdee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.7.1)
2022-11-27 23:54:06 +0000 <Guest30> Thanks, I will try to debug it more next time. Also if I have isse I will put the source code and warning message
2022-11-27 23:54:08 +0000 <monochrom> I bought a headphone. I was unlucky, got a defective unit. I went back to the store but I didn't just say "no workie".
2022-11-27 23:54:40 +0000 <monochrom> I specifically said "left side is dead", and most importantly, I brought the headphone and let the staff test it for themselves.
2022-11-27 23:55:02 +0000 <monochrom> If they can't reproduce it, it didn't happen. Simple as that.
2022-11-27 23:55:15 +0000 <monochrom> Or at least, if I can't reproduce it.
2022-11-27 23:56:31 +0000 <Axman6> learning how to ask for help is a skill of its own, and worth learning. "X is broken, how do I fix it" is impossible to answer, "I'm trying to do Y, and I have this code https://... I'm getting the error in the comment in that paste, I've tried Z Q and W and I can't get it to work" will help us narrow down the issue, and not make everyone think you're asking us to do your work for you, particularly since this is clearly homework/coursework
2022-11-27 23:56:31 +0000 <monochrom> Programmers, of all people, are supposed to know this the hard way.
2022-11-27 23:57:03 +0000 <monochrom> A non-programmer can legit find it counterintuitive. I don't blame them.
2022-11-27 23:57:05 +0000jespada(~jespada@nmal-24-b2-v4wan-166357-cust1764.vm24.cable.virginm.net)
2022-11-27 23:57:26 +0000 <jackdk> Few words fill me with more dead than "intermittent fault", except perhaps "important update to your $FOO account"
2022-11-27 23:57:33 +0000 <monochrom> Programmers? They are the receiving end of that. They have already had clients saying unspecific vague things.
2022-11-27 23:57:47 +0000 <monochrom> They already know it doesn't work that way.
2022-11-27 23:58:34 +0000 <monochrom> Oh uh "important update to your $FOO account" in emails implies phishing, that's easy, "junk" button. :)
2022-11-27 23:59:08 +0000 <EvanR> it's not working sometimes, no other information, and it's currently working = problem doesn't exist in some sense xD
2022-11-27 23:59:10 +0000 <Axman6> "We take the security of our customer's data very seriously"
2022-11-27 23:59:34 +0000 <EvanR> in the same realm as, this is totally broken but if you know no user ever triggers the error, it's not broken
2022-11-27 23:59:45 +0000 <jackdk> good one Axman6 - that almost always heralds disaster