IRCBrowse

2022/11/27

2022-11-27 00:01:36 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-11-27 00:02:41 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 00:03:23 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 00:04:00 +0100Major_Biscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net)
2022-11-27 00:05:31 +0100king_gs(~Thunderbi@187.201.139.206)
2022-11-27 00:05:41 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 265 seconds)
2022-11-27 00:11:24 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 00:12:27 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 00:13:59 +0100chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 264 seconds)
2022-11-27 00:14:01 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net)
2022-11-27 00:15:47 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 264 seconds)
2022-11-27 00:16:04 +0100sus5(zero@user/zeromomentum)
2022-11-27 00:16:13 +0100 <LemanR> hey all, I'm looking at this guessing game code I made. It works, test passed blah blah but wanted to see if anyone can suggest a subject I could utilize to make this code better. https://dpaste.com/9NWGKKLY2
2022-11-27 00:16:19 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 265 seconds)
2022-11-27 00:16:30 +0100king_gs(~Thunderbi@187.201.139.206) (Quit: king_gs)
2022-11-27 00:17:00 +0100 <LemanR> I think (and probably wrong) but with pattern matching I think this is as good as it gets.
2022-11-27 00:18:40 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 00:19:32 +0100 <bluephones> This was my solution: https://exercism.org/tracks/haskell/exercises/guessing-game/solutions/validstand
2022-11-27 00:19:59 +0100 <bluephones> a bit more compact and maybe more efficient
2022-11-27 00:20:59 +0100 <LemanR> ahhhhh my bad practice! I forgot the otherwise case D: for shame lol
2022-11-27 00:21:41 +0100 <bluephones> go through the community solutions, you'll learn a lot there
2022-11-27 00:24:50 +0100tmtt(~tmtt@user/tmtt) ()
2022-11-27 00:25:11 +0100 <LemanR> well I was looking for concepts to read about but yeah your solution is better. I should make it instinct to think "can I place a otherwise"
2022-11-27 00:26:35 +0100 <Rembane> LemanR: You can also pattern match on different numbers, if you want to. :)
2022-11-27 00:26:57 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 265 seconds)
2022-11-27 00:27:48 +0100acidjnk_new(~acidjnk@p200300d6e7137a8088c1e7d0a73974c1.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-11-27 00:28:03 +0100 <LemanR> True
2022-11-27 00:28:36 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 00:31:23 +0100 <[Leary]> LemanR: You don't need instinct---you just need to turn on -Wall and listen when GHC complains about non-exhaustivity.
2022-11-27 00:31:44 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit)
2022-11-27 00:31:50 +0100pera(~pera@user/pera) (Quit: leaving)
2022-11-27 00:31:55 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 00:32:52 +0100 <LemanR> in this case I am using the built-in exercism editor. If your test passes you wouldn't see that output, I think.
2022-11-27 00:33:31 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 00:33:57 +0100srz_(~srz@181.228.49.93)
2022-11-27 00:34:36 +0100 <[Leary]> If it doesn't have settings to take proper advantage of GHC, it's not worth writing Haskell in; I would write it with, say, vim+ghcid and copy paste.
2022-11-27 00:35:02 +0100moneypolo
2022-11-27 00:36:28 +0100 <LemanR> well I'll get into the practice of using ghc and even compiling just so I know it by heart, atm just trying to speed through some of the basics.
2022-11-27 00:37:35 +0100Major_Biscuit(~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 00:41:41 +0100kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-11-27 00:46:14 +0100beteigeuze(~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 260 seconds)
2022-11-27 00:54:03 +0100 <[Leary]> I don't really mean that you need to know how to invoke ghc yourself; that would normally be done by cabal or nix anyway. I mean that Haskell is designed to be written with plentiful guidance from the compiler. Seeing errors is good; seeing warnings is better---you want to program under the influence of -Wall.
2022-11-27 00:55:37 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-27 00:56:48 +0100ChaiTRex(~ChaiTRex@user/chaitrex) (Remote host closed the connection)
2022-11-27 00:57:34 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 00:58:41 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 00:59:18 +0100 <maerwald[m]> Don't drive and Wall
2022-11-27 00:59:42 +0100ChaiTRex(~ChaiTRex@user/chaitrex)
2022-11-27 01:08:14 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 01:08:31 +0100potash(~foghorn@user/foghorn) (Ping timeout: 265 seconds)
2022-11-27 01:11:49 +0100kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-11-27 01:12:41 +0100Topsi(~Topsi@dialin-80-228-154-202.ewe-ip-backbone.de)
2022-11-27 01:12:47 +0100Kaiepi(~Kaiepi@108.175.84.104) (Ping timeout: 264 seconds)
2022-11-27 01:23:45 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 01:24:51 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 01:25:26 +0100bluephones(main@gateway/vpn/protonvpn/bluephones) (Quit: Konversation terminated!)
2022-11-27 01:27:46 +0100potash(~foghorn@user/foghorn)
2022-11-27 01:27:47 +0100srz_(~srz@181.228.49.93) (Ping timeout: 264 seconds)
2022-11-27 01:29:41 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-11-27 01:30:29 +0100FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-11-27 01:32:55 +0100bobcat(~nick@c-73-253-54-136.hsd1.ma.comcast.net)
2022-11-27 01:35:57 +0100stevenxl(uid133530@id-133530.uxbridge.irccloud.com)
2022-11-27 01:41:53 +0100razetime(~quassel@117.193.4.205)
2022-11-27 01:42:00 +0100 <LemanR> me working out this next problem: https://encrypted-tbn0.gstatic.com/images?q=tbn:ANd9GcTI6pEGR3YGV4YlAOexmMGL-lrGwhwl2-AUjQ&usqp=CAU
2022-11-27 01:42:49 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 01:46:40 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2022-11-27 01:49:27 +0100 <bobcat> ?
2022-11-27 01:50:13 +0100Topsi(~Topsi@dialin-80-228-154-202.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-11-27 01:50:29 +0100bobcat(~nick@c-73-253-54-136.hsd1.ma.comcast.net) (Quit: Leaving)
2022-11-27 01:50:44 +0100 <LemanR> working out exerism.org haskell exercises
2022-11-27 01:53:46 +0100gff_(~gff@user/gff) (Read error: Connection reset by peer)
2022-11-27 01:55:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds)
2022-11-27 01:57:06 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-27 01:58:46 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 256 seconds)
2022-11-27 01:59:57 +0100gff_(~gff@user/gff)
2022-11-27 02:02:38 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 02:02:42 +0100nate4(~nate@98.45.169.16)
2022-11-27 02:07:34 +0100nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 02:09:47 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 264 seconds)
2022-11-27 02:10:45 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 02:13:30 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi) (Quit: Leaving.)
2022-11-27 02:15:34 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Ping timeout: 252 seconds)
2022-11-27 02:16:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 02:19:16 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-11-27 02:19:23 +0100darchitect(~darchitec@2a00:23c6:3584:df01:4d17:eb7b:88d1:aa1d) (Ping timeout: 264 seconds)
2022-11-27 02:19:51 +0100darchitect(~darchitec@2a00:23c6:3584:df01:1664:a801:9bc4:f4c1)
2022-11-27 02:22:20 +0100srz_(~srz@181.228.49.93)
2022-11-27 02:36:08 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 02:36:10 +0100zeenk(~zeenk@2a02:2f04:a208:3600::7fe) (Quit: Konversation terminated!)
2022-11-27 02:37:02 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:38:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 02:46:05 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 02:47:44 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 02:54:45 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 02:55:51 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:07:38 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 03:08:24 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:13:18 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 03:18:47 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 264 seconds)
2022-11-27 03:19:00 +0100 <maerwald> [exa]: https://github.com/haskell/ghcup-hs/issues/697 feel free to provide a PR
2022-11-27 03:21:11 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:25:07 +0100roconnor(~quassel@coq/roconnor) (Ping timeout: 260 seconds)
2022-11-27 03:25:24 +0100roconnor(~quassel@coq/roconnor)
2022-11-27 03:29:36 +0100sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:30:08 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 03:38:55 +0100Erutuon(~Erutuon@user/erutuon)
2022-11-27 03:41:28 +0100dsrt^(~dsrt@76.145.185.103)
2022-11-27 03:46:43 +0100sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 03:46:46 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-11-27 03:46:52 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 03:47:31 +0100Kaiepi(~Kaiepi@108.175.84.104)
2022-11-27 03:48:41 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-11-27 03:57:06 +0100srz_(~srz@181.228.49.93) (Remote host closed the connection)
2022-11-27 03:58:23 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 264 seconds)
2022-11-27 04:00:08 +0100zant(~zant@62.214.20.26) (Ping timeout: 260 seconds)
2022-11-27 04:01:53 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2022-11-27 04:04:46 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 04:07:53 +0100jinsl-(~jinsl@123.120.168.177)
2022-11-27 04:07:59 +0100jinsl(~jinsl@2408:8207:2559:28e0:211:32ff:fec8:6aea) (Ping timeout: 264 seconds)
2022-11-27 04:08:44 +0100marc(~marc@5.83.191.238)
2022-11-27 04:08:53 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 04:09:08 +0100marcGuest5458
2022-11-27 04:09:19 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 04:10:34 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 04:10:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 04:11:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 04:12:11 +0100Guest3917(~marc@5.83.191.88) (Ping timeout: 264 seconds)
2022-11-27 04:14:21 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 04:14:57 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 04:17:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 04:20:16 +0100polomoney
2022-11-27 04:25:38 +0100stevenxl(uid133530@id-133530.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-27 04:29:06 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 265 seconds)
2022-11-27 04:30:23 +0100razetime(~quassel@117.193.4.205) (Ping timeout: 268 seconds)
2022-11-27 04:30:23 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb)
2022-11-27 04:30:34 +0100razetime(~quassel@117.193.0.71)
2022-11-27 04:31:04 +0100mvk(~mvk@2607:fea8:5ce3:8500::efb) (Client Quit)
2022-11-27 04:43:31 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat)
2022-11-27 04:44:51 +0100terrorjack(~terrorjac@2a01:4f8:1c1e:509a::1)
2022-11-27 04:48:55 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-11-27 04:50:43 +0100wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-11-27 04:52:04 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 04:52:04 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-27 04:52:04 +0100wroathe(~wroathe@user/wroathe)
2022-11-27 04:57:11 +0100td_(~td@83.135.9.15) (Ping timeout: 264 seconds)
2022-11-27 04:58:40 +0100td_(~td@83.135.9.37)
2022-11-27 04:59:38 +0100xff0x(~xff0x@2405:6580:b080:900:84a4:3e04:c05a:9d80) (Ping timeout: 260 seconds)
2022-11-27 05:01:11 +0100xff0x(~xff0x@2405:6580:b080:900:79da:1471:7416:e736)
2022-11-27 05:01:56 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 05:04:16 +0100bjourne2(~bjorn@94.191.152.34) (Read error: Connection reset by peer)
2022-11-27 05:07:23 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 268 seconds)
2022-11-27 05:11:09 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 05:11:12 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 05:13:33 +0100heisenberg2(~heisenber@112.151.244.175) (Remote host closed the connection)
2022-11-27 05:14:08 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 05:18:23 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 05:19:26 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 05:20:43 +0100heisenberg2(~heisenber@112.151.244.175) (Remote host closed the connection)
2022-11-27 05:20:57 +0100heisenberg2(~heisenber@112.151.244.175)
2022-11-27 05:22:59 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 264 seconds)
2022-11-27 05:24:00 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Client Quit)
2022-11-27 05:25:06 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 05:33:26 +0100heisenbe_(~heisenber@2a09:bac1:3f40::16:19a)
2022-11-27 05:35:48 +0100heisenberg2(~heisenber@112.151.244.175) (Ping timeout: 260 seconds)
2022-11-27 05:44:35 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 05:50:47 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 05:52:42 +0100brettgilio(a35ba67324@2604:bf00:561:2000::260)
2022-11-27 05:54:10 +0100Xeroine(~Xeroine@user/xeroine) (Ping timeout: 265 seconds)
2022-11-27 05:56:55 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 05:57:08 +0100Xeroine(~Xeroine@user/xeroine)
2022-11-27 05:57:27 +0100zer3f(~zer3f@203.110.242.30)
2022-11-27 05:58:27 +0100 <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 05:58:28 +0100 <zer3f> https://stackoverflow.com/questions/74542317/how-to-write-yesod-handler-funtions-for-the-funtions-…
2022-11-27 06:00:33 +0100 <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 06:04:13 +0100nate4(~nate@98.45.169.16)
2022-11-27 06:04:48 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 265 seconds)
2022-11-27 06:07:54 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 06:09:03 +0100nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 06:09:45 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Ping timeout: 260 seconds)
2022-11-27 06:10:02 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 06:12:29 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 06:14:08 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-27 06:16:48 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 06:21:48 +0100tcard_(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 06:22:02 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Read error: Connection reset by peer)
2022-11-27 06:22:55 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 06:23:18 +0100heisenbe_(~heisenber@2a09:bac1:3f40::16:19a) (Remote host closed the connection)
2022-11-27 06:30:24 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 06:30:46 +0100tcard_(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Ping timeout: 256 seconds)
2022-11-27 06:31:09 +0100moneypolo
2022-11-27 06:33:02 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Remote host closed the connection)
2022-11-27 06:33:15 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 06:34:58 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9) (Remote host closed the connection)
2022-11-27 06:35:15 +0100tcard(~tcard@2400:4051:5801:7500:19ce:ed82:2ab7:90f9)
2022-11-27 06:35:35 +0100wroathe(~wroathe@user/wroathe) (Ping timeout: 264 seconds)
2022-11-27 06:37:02 +0100heisenberg2(~heisenber@2a09:bac1:3f00::16:19a)
2022-11-27 06:37:09 +0100Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-11-27 06:37:49 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 06:38:39 +0100Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2022-11-27 06:38:40 +0100Lord_of_Life_Lord_of_Life
2022-11-27 06:39:57 +0100_\_(~o@user/offon) (Quit: ___)
2022-11-27 06:40:38 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 06:42:10 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 06:42:10 +0100wroathe(~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host)
2022-11-27 06:42:10 +0100wroathe(~wroathe@user/wroathe)
2022-11-27 06:42:18 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 260 seconds)
2022-11-27 06:43:55 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 06:44:49 +0100zer3f(~zer3f@203.110.242.30) (Quit: Client closed)
2022-11-27 06:45:53 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 06:47:09 +0100_\_(~o@user/offon)
2022-11-27 07:10:19 +0100Erutuon(~Erutuon@user/erutuon)
2022-11-27 07:13:21 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 07:14:00 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Remote host closed the connection)
2022-11-27 07:16:32 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 07:16:37 +0100Me-me(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Changing host)
2022-11-27 07:16:37 +0100Me-me(~Me-me@user/me-me)
2022-11-27 07:17:55 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 07:20:14 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542)
2022-11-27 07:20:42 +0100zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-11-27 07:20:51 +0100img(~img@user/img)
2022-11-27 07:38:05 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 07:39:54 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 07:40:05 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 07:40:23 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 07:41:31 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 07:46:18 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 07:49:34 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 07:51:26 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 07:54:29 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 07:55:02 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-11-27 07:56:51 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2022-11-27 07:58:15 +0100geekosaur(~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b)))
2022-11-27 07:58:16 +0100allbery_b(~geekosaur@xmonad/geekosaur)
2022-11-27 07:58:19 +0100allbery_bgeekosaur
2022-11-27 07:59:56 +0100poloGambino
2022-11-27 08:00:34 +0100img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 08:01:02 +0100img(~img@user/img)
2022-11-27 08:01:26 +0100img(~img@user/img) (Remote host closed the connection)
2022-11-27 08:02:48 +0100razetime(~quassel@117.193.0.71) (Ping timeout: 260 seconds)
2022-11-27 08:04:17 +0100img(~img@user/img)
2022-11-27 08:10:26 +0100causal(~user@50.35.83.177) (Quit: WeeChat 3.7.1)
2022-11-27 08:14:44 +0100heisenberg2(~heisenber@2a09:bac1:3f00::16:19a) (Remote host closed the connection)
2022-11-27 08:14:49 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 265 seconds)
2022-11-27 08:17:20 +0100Guest94(~Guest94@2802:8010:1211:4300:89a9:5432:2776:3544)
2022-11-27 08:17:35 +0100Guest94(~Guest94@2802:8010:1211:4300:89a9:5432:2776:3544) (Client Quit)
2022-11-27 08:27:12 +0100mei(~mei@user/mei)
2022-11-27 08:31:43 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 08:33:06 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 08:36:02 +0100causal(~user@50.35.83.177)
2022-11-27 08:42:06 +0100mei_(~mei@user/mei)
2022-11-27 08:42:28 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 08:43:49 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 08:44:35 +0100mei(~mei@user/mei) (Ping timeout: 264 seconds)
2022-11-27 08:47:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 265 seconds)
2022-11-27 08:49:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 08:50:13 +0100ec_(~ec@gateway/tor-sasl/ec) (Remote host closed the connection)
2022-11-27 08:50:43 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 08:51:02 +0100razetime(~quassel@117.193.0.157)
2022-11-27 09:02:25 +0100berberman(~berberman@user/berberman) (Ping timeout: 260 seconds)
2022-11-27 09:02:45 +0100berberman(~berberman@user/berberman)
2022-11-27 09:06:07 +0100szxp(~peti@94.44.231.178)
2022-11-27 09:06:11 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 09:10:09 +0100niko(niko@libera/staff/niko) (Ping timeout: 608 seconds)
2022-11-27 09:11:38 +0100szxp(~peti@94.44.231.178) (Ping timeout: 260 seconds)
2022-11-27 09:19:42 +0100{[]}(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 09:19:56 +0100szxp(~peti@94.44.231.178)
2022-11-27 09:21:27 +0100ddellacosta(~ddellacos@143.244.47.82) (Ping timeout: 268 seconds)
2022-11-27 09:21:40 +0100szxp(~peti@94.44.231.178) (Client Quit)
2022-11-27 09:22:54 +0100{[]}(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Read error: Connection reset by peer)
2022-11-27 09:28:32 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 09:40:17 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 09:42:50 +0100zeenk(~zeenk@2a02:2f04:a208:3600::fba)
2022-11-27 09:42:59 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 09:47:24 +0100acidjnk_new(~acidjnk@p200300d6e7137a809ca471f0209a81b3.dip0.t-ipconnect.de)
2022-11-27 10:00:07 +0100aaronv(~aaronv@user/aaronv) (Quit: You have been kicked for being idle)
2022-11-27 10:02:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 10:05:43 +0100nate4(~nate@98.45.169.16)
2022-11-27 10:07:28 +0100cods(~fred@82-65-232-44.subs.proxad.net) (Ping timeout: 252 seconds)
2022-11-27 10:07:41 +0100cods(~fred@82-65-232-44.subs.proxad.net)
2022-11-27 10:08:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 10:10:34 +0100nate4(~nate@98.45.169.16) (Ping timeout: 260 seconds)
2022-11-27 10:14:22 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 10:14:35 +0100opticblast(~Thunderbi@172.58.86.28) (Ping timeout: 264 seconds)
2022-11-27 10:17:19 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 10:21:49 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-11-27 10:22:50 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 10:24:20 +0100sympt(~sympt@user/sympt)
2022-11-27 10:25:56 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 10:28:22 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 10:28:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 10:32:52 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 10:38:32 +0100econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-11-27 10:40:51 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 10:42:47 +0100mc47(~mc47@xmonad/TheMC47)
2022-11-27 10:45:50 +0100jinsl(~jinsl@2408:8207:2559:28e0:211:32ff:fec8:6ae7)
2022-11-27 10:46:23 +0100jinsl-(~jinsl@123.120.168.177) (Ping timeout: 264 seconds)
2022-11-27 10:46:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 10:47:18 +0100Tuplanolla(~Tuplanoll@91-159-68-152.elisa-laajakaista.fi)
2022-11-27 10:50:52 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 10:56:10 +0100gmg(~user@user/gehmehgeh)
2022-11-27 10:59:52 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-11-27 11:00:45 +0100gmg(~user@user/gehmehgeh)
2022-11-27 11:00:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 11:06:04 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:926:4196:430e:b1cd) (Remote host closed the connection)
2022-11-27 11:06:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 11:10:52 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 11:13:02 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-11-27 11:14:53 +0100 <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 11:14:53 +0100causal(~user@50.35.83.177) (Read error: Connection reset by peer)
2022-11-27 11:15:05 +0100chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1)
2022-11-27 11:15:51 +0100causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d)
2022-11-27 11:16:55 +0100 <mauke> xilo: they're not really that similar
2022-11-27 11:16:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 11:17:09 +0100 <mauke> for your example, the compiler looks at the type of <
2022-11-27 11:17:13 +0100 <mauke> :t (<)
2022-11-27 11:17:15 +0100 <lambdabot> Ord a => a -> a -> Bool
2022-11-27 11:17:24 +0100 <mauke> type says "Ord a", so that's what it is
2022-11-27 11:20:13 +0100 <xilo> they are not that similar, ok I'll have to look more carefully then ty!
2022-11-27 11:20:20 +0100causal(~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0d) (Ping timeout: 256 seconds)
2022-11-27 11:21:08 +0100 <xilo> oh yes, I see now
2022-11-27 11:21:15 +0100 <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 11:21:44 +0100 <xilo> yep cool! thanks again
2022-11-27 11:29:32 +0100Inst_(~Inst@2601:6c4:4081:54f0:c5ff:1cee:beb9:d04b)
2022-11-27 11:32:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 11:32:54 +0100peti(~peti@94.44.231.178)
2022-11-27 11:33:04 +0100peti(~peti@94.44.231.178) (Client Quit)
2022-11-27 11:33:17 +0100causal(~user@50.35.83.177)
2022-11-27 11:33:22 +0100Inst(~Inst@2601:6c4:4081:54f0:e1a1:1873:3f07:1842) (Ping timeout: 256 seconds)
2022-11-27 11:34:34 +0100peti(~peti@94.44.231.178)
2022-11-27 11:34:50 +0100peti(~peti@94.44.231.178) (Client Quit)
2022-11-27 11:35:16 +0100peti(~peti@94.44.231.178)
2022-11-27 11:38:24 +0100peti(~peti@94.44.231.178) ()
2022-11-27 11:38:28 +0100peti(~peti@94.44.231.178)
2022-11-27 11:39:18 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-11-27 11:40:27 +0100shriekingnoise(~shrieking@186.137.167.202) (Quit: Quit)
2022-11-27 11:43:57 +0100 <kora9> geekosaur: XMonad.Actions.TagWindow is *awesome*. I'm so happy using it :)
2022-11-27 11:45:38 +0100son0p(~ff@2604:3d08:5b7f:5540::7913) (Ping timeout: 260 seconds)
2022-11-27 11:46:02 +0100Erutuon(~Erutuon@user/erutuon) (Ping timeout: 265 seconds)
2022-11-27 11:47:17 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 11:47:41 +0100Gambinomoney
2022-11-27 11:48:11 +0100elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 260 seconds)
2022-11-27 11:49:37 +0100peti(~peti@94.44.231.178) (Quit: leaving)
2022-11-27 11:50:25 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 11:54:00 +0100szxp(~peti@94.44.231.178)
2022-11-27 11:54:08 +0100szxp(~peti@94.44.231.178) ()
2022-11-27 11:54:19 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 11:54:27 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 12:02:50 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 12:04:37 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 12:04:53 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 12:06:24 +0100razetime(~quassel@117.193.0.157) (Ping timeout: 260 seconds)
2022-11-27 12:06:30 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 12:06:51 +0100Me-me(~Me-me@user/me-me) (Quit: Going offline, see ya! (www.adiirc.com))
2022-11-27 12:06:52 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 12:09:06 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 12:11:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 12:11:15 +0100bjourne2(~bjorn@94.191.152.34)
2022-11-27 12:11:20 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 256 seconds)
2022-11-27 12:11:21 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 12:14:08 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-11-27 12:16:36 +0100gmg(~user@user/gehmehgeh)
2022-11-27 12:18:33 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 12:19:13 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 12:21:09 +0100szxp(~peti@94.44.231.178)
2022-11-27 12:31:45 +0100gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-11-27 12:34:28 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 12:36:05 +0100nate4(~nate@98.45.169.16)
2022-11-27 12:38:58 +0100razetime(~quassel@117.193.0.157)
2022-11-27 12:38:59 +0100 <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 12:41:15 +0100nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-27 12:42:11 +0100potash(~foghorn@user/foghorn) (Ping timeout: 264 seconds)
2022-11-27 12:44:56 +0100mei(~mei@user/mei)
2022-11-27 12:46:24 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 12:48:52 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 265 seconds)
2022-11-27 12:48:52 +0100mei_(~mei@user/mei) (Ping timeout: 265 seconds)
2022-11-27 12:49:00 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 12:49:03 +0100Feuermagier(~Feuermagi@user/feuermagier) (Quit: Leaving)
2022-11-27 12:52:03 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 12:52:53 +0100coot(~coot@213.134.171.3)
2022-11-27 12:55:23 +0100mei(~mei@user/mei) (Ping timeout: 264 seconds)
2022-11-27 12:55:59 +0100Guest5458(~marc@5.83.191.238) (Ping timeout: 264 seconds)
2022-11-27 12:58:49 +0100 <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 13:05:08 +0100Player205[m](~rootsandw@2001:470:69fc:105::2:ca2e)
2022-11-27 13:09:29 +0100gmg(~user@user/gehmehgeh) (Ping timeout: 255 seconds)
2022-11-27 13:10:41 +0100szxp(~peti@94.44.231.178) (Quit: leaving)
2022-11-27 13:11:17 +0100gmg(~user@user/gehmehgeh)
2022-11-27 13:13:21 +0100darchitect(~darchitec@2a00:23c6:3584:df01:1664:a801:9bc4:f4c1) (Quit: WeeChat 3.6)
2022-11-27 13:14:54 +0100potash(~foghorn@user/foghorn)
2022-11-27 13:15:39 +0100zant(~zant@62.214.20.26)
2022-11-27 13:17:35 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Read error: Connection reset by peer)
2022-11-27 13:17:52 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 13:18:13 +0100razetime_(~quassel@117.193.4.28)
2022-11-27 13:18:15 +0100razetime(~quassel@117.193.0.157) (Ping timeout: 268 seconds)
2022-11-27 13:18:43 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 13:20:17 +0100potash(~foghorn@user/foghorn) (Ping timeout: 265 seconds)
2022-11-27 13:21:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 13:22:11 +0100 <[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 13:22:33 +0100 <[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 13:24:41 +0100potash(~foghorn@user/foghorn)
2022-11-27 13:26:05 +0100 <myme> [exa]: Most definitely, in the general case.
2022-11-27 13:26:32 +0100 <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 13:27:57 +0100gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-11-27 13:29:01 +0100gmg(~user@user/gehmehgeh)
2022-11-27 13:29:25 +0100 <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 13:29:58 +0100potash(~foghorn@user/foghorn) (Ping timeout: 268 seconds)
2022-11-27 13:31:17 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-11-27 13:31:31 +0100 <[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 13:35:30 +0100 <pavonia> [exa]: What is wrong with xor-ing?
2022-11-27 13:37:20 +0100 <[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 13:37:53 +0100 <[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 13:44:58 +0100wootehfoot(~wootehfoo@user/wootehfoot)
2022-11-27 13:52:41 +0100ec_(~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds)
2022-11-27 13:52:44 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 13:52:46 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 13:53:17 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 13:53:36 +0100son0p(~ff@2604:3d08:5b7f:5540::c531)
2022-11-27 13:57:12 +0100ec_(~ec@gateway/tor-sasl/ec)
2022-11-27 13:57:57 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 13:58:26 +0100random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-11-27 13:59:42 +0100mmhat(~mmh@p200300f1c7254524ee086bfffe095315.dip0.t-ipconnect.de)
2022-11-27 14:00:22 +0100sagax(~sagax_nb@user/sagax) (Remote host closed the connection)
2022-11-27 14:00:23 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 260 seconds)
2022-11-27 14:05:18 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-11-27 14:07:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 14:08:07 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 14:09:47 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 14:11:06 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Client Quit)
2022-11-27 14:11:43 +0100 <myme> [exa]: I might just start off by cutting out the required number of bytes. Thanks!
2022-11-27 14:14:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 14:14:29 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 14:16:53 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 14:21:46 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds)
2022-11-27 14:33:47 +0100razetime_(~quassel@117.193.4.28) (Ping timeout: 264 seconds)
2022-11-27 14:37:33 +0100hrberg(~quassel@171.79-160-161.customer.lyse.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-11-27 14:38:59 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Changing host)
2022-11-27 14:38:59 +0100money_(~money@user/polo)
2022-11-27 14:40:28 +0100hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-11-27 14:42:56 +0100Me-me(~me-me@v.working.name)
2022-11-27 14:44:23 +0100zant(~zant@62.214.20.26) (Ping timeout: 265 seconds)
2022-11-27 14:46:24 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 14:48:58 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 14:48:58 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 14:53:13 +0100money(Guest7618@user/polo) (Killed (lithium.libera.chat (Nickname regained by services)))
2022-11-27 14:53:13 +0100money_money
2022-11-27 14:53:21 +0100razetime(~quassel@117.193.0.71)
2022-11-27 14:53:24 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 14:53:27 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 14:53:32 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 14:54:10 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 14:55:34 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 14:55:35 +0100mokee(~mokee@37.228.215.235)
2022-11-27 14:58:25 +0100sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 14:58:30 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 15:05:08 +0100sammelweis__(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 15:07:05 +0100razetime(~quassel@117.193.0.71) (Remote host closed the connection)
2022-11-27 15:08:14 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 15:09:12 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 15:09:37 +0100machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-11-27 15:10:42 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 15:14:00 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 260 seconds)
2022-11-27 15:16:49 +0100potash(~foghorn@user/foghorn)
2022-11-27 15:18:12 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 15:20:36 +0100bjourne2(~bjorn@94.191.152.34) (Read error: Connection reset by peer)
2022-11-27 15:22:03 +0100mokee(~mokee@37.228.215.235) (Ping timeout: 260 seconds)
2022-11-27 15:26:11 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 15:28:51 +0100mokee(~mokee@37.228.215.235)
2022-11-27 15:30:11 +0100acidjnk_new(~acidjnk@p200300d6e7137a809ca471f0209a81b3.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 15:34:45 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 15:34:45 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-11-27 15:37:12 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 15:38:19 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 15:43:37 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 15:44:25 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 15:46:40 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 15:47:05 +0100causal(~user@50.35.83.177) (Quit: WeeChat 3.7.1)
2022-11-27 15:49:24 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 15:51:47 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 15:52:54 +0100byorgey_(~byorgey@155.138.238.211)
2022-11-27 15:52:54 +0100byorgey_(~byorgey@155.138.238.211) (Client Quit)
2022-11-27 15:53:09 +0100coot(~coot@213.134.171.3)
2022-11-27 15:56:12 +0100earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net) (Quit: physical move of device, powerloss)
2022-11-27 16:01:43 +0100chomwitt(~chomwitt@2a02:587:7a0d:dd00:1ac0:4dff:fedb:a3f1) (Ping timeout: 265 seconds)
2022-11-27 16:06:22 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 16:06:54 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 16:07:59 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 264 seconds)
2022-11-27 16:09:56 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:13:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 16:21:47 +0100accord(uid568320@id-568320.hampstead.irccloud.com)
2022-11-27 16:24:35 +0100Ranhir(~Ranhir@157.97.53.139) (Read error: Connection reset by peer)
2022-11-27 16:27:40 +0100Ranhir(~Ranhir@157.97.53.139)
2022-11-27 16:27:58 +0100chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr)
2022-11-27 16:30:56 +0100elevenkb(~elevenkb@105.184.125.168)
2022-11-27 16:31:55 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 16:37:35 +0100nate4(~nate@98.45.169.16)
2022-11-27 16:38:02 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 16:38:24 +0100money(~money@user/polo) (Quit: Textual IRC Client: www.textualapp.com)
2022-11-27 16:38:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 16:39:51 +0100Guest8493(~money@user/polo)
2022-11-27 16:41:45 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-11-27 16:42:46 +0100nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-11-27 16:44:18 +0100zeenk(~zeenk@2a02:2f04:a208:3600::fba) (Quit: Konversation terminated!)
2022-11-27 16:45:02 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 16:45:13 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 265 seconds)
2022-11-27 16:46:31 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 16:46:44 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 16:48:17 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 16:52:46 +0100Guest8493(~money@user/polo) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 16:53:48 +0100money(Guest3481@user/polo)
2022-11-27 16:58:38 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 16:58:59 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 255 seconds)
2022-11-27 16:59:54 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:01:38 +0100wroathe_(~wroathe@207-153-38-140.fttp.usinternet.com)
2022-11-27 17:01:44 +0100wroathe_(~wroathe@207-153-38-140.fttp.usinternet.com) (Client Quit)
2022-11-27 17:02:02 +0100nate4(~nate@98.45.169.16)
2022-11-27 17:04:36 +0100acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de)
2022-11-27 17:06:46 +0100ElliotAlderson[m(~elliotal_@2001:470:69fc:105::bb21)
2022-11-27 17:06:53 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 17:09:13 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 17:10:01 +0100 <elevenkb> what's the best place to look for haskell jobs?
2022-11-27 17:10:45 +0100 <Rembane> elevenkb: The Haskell Weekly newsletter usually has some in each newsletter
2022-11-27 17:12:18 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 17:12:19 +0100 <elevenkb> Rembane: thanks.
2022-11-27 17:13:44 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:13:49 +0100zebrag(~chris@user/zebrag)
2022-11-27 17:15:20 +0100 <Rembane> elevenkb: There are more sources too, but I can't remember any right now. :)
2022-11-27 17:17:17 +0100michalz(~michalz@185.246.207.201)
2022-11-27 17:19:57 +0100ddellacosta(~ddellacos@89.45.224.19)
2022-11-27 17:21:05 +0100stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-11-27 17:22:48 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 17:25:15 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 17:27:11 +0100jakalx(~jakalx@base.jakalx.net)
2022-11-27 17:27:12 +0100stiell(~stiell@gateway/tor-sasl/stiell)
2022-11-27 17:27:24 +0100n0st0m0(~quassel@12.190.236.128)
2022-11-27 17:27:46 +0100bjourne2(~bjorn@94.191.152.122)
2022-11-27 17:27:49 +0100Techcable(~Techcable@user/Techcable) (Ping timeout: 260 seconds)
2022-11-27 17:29:32 +0100segfaultfizzbuzz(~segfaultf@12.172.217.142)
2022-11-27 17:30:00 +0100 <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 17:30:04 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:30:23 +0100hololeap(~quassel@user/hololeap) (Quit: Bye)
2022-11-27 17:30:36 +0100 <segfaultfizzbuzz> looks like 9.2.5 was released on nov 7 and it's now nov 27
2022-11-27 17:30:53 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net)
2022-11-27 17:32:18 +0100hololeap(~quassel@user/hololeap)
2022-11-27 17:33:41 +0100 <monochrom> On x86-64 ghcup had 9.2.5 almost immediately.
2022-11-27 17:33:42 +0100 <n0st0m0> just started using Haskell. Is there a concensus on the best IDE to use for development?
2022-11-27 17:33:55 +0100 <monochrom> So I think the delay is m1-specific.
2022-11-27 17:34:03 +0100 <Franciman> n0st0m0: you may try vscode and the hls plugin
2022-11-27 17:34:21 +0100 <Franciman> not sure what's the best ide, though, there were a few like leksah a lot of time ago
2022-11-27 17:34:22 +0100 <segfaultfizzbuzz> n0st0m0: we usually just cat echo to a file and retype the entire file when we need to edit something
2022-11-27 17:34:29 +0100 <monochrom> There are two consensi. vscode or no IDE at all.
2022-11-27 17:34:50 +0100elkcl(~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru)
2022-11-27 17:34:57 +0100 <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 17:35:25 +0100 <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 17:37:34 +0100 <segfaultfizzbuzz> n0st0m0: haskell users almost always write their own IDE with template haskell and self-written custom pragmas
2022-11-27 17:37:50 +0100n0st0m0(~quassel@12.190.236.128) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2022-11-27 17:38:01 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.)
2022-11-27 17:38:10 +0100 <segfaultfizzbuzz> monochrom: yeah so idk what the hold up is on m1
2022-11-27 17:40:07 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:40:12 +0100pera(~pera@user/pera)
2022-11-27 17:40:47 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2022-11-27 17:47:05 +0100segfaultfizzbuzz(~segfaultf@12.172.217.142) (Ping timeout: 265 seconds)
2022-11-27 17:52:59 +0100michalz(~michalz@185.246.207.201) (Ping timeout: 264 seconds)
2022-11-27 17:55:00 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 17:55:16 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 17:56:45 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca) (Quit: WeeChat 3.7.1)
2022-11-27 17:58:23 +0100jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds)
2022-11-27 17:59:37 +0100zant(~zant@62.214.20.26)
2022-11-27 18:00:03 +0100perrierjouet(~perrier-j@modemcable048.127-56-74.mc.videotron.ca)
2022-11-27 18:04:23 +0100nate4(~nate@98.45.169.16) (Ping timeout: 264 seconds)
2022-11-27 18:11:35 +0100ddellacosta(~ddellacos@89.45.224.19) (Ping timeout: 264 seconds)
2022-11-27 18:14:46 +0100ulvarref`(~user@185.24.53.152)
2022-11-27 18:16:23 +0100azimut(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds)
2022-11-27 18:16:59 +0100ulvarrefr(~user@188.124.56.153) (Ping timeout: 264 seconds)
2022-11-27 18:18:32 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 256 seconds)
2022-11-27 18:18:39 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10)
2022-11-27 18:18:52 +0100merijn(~merijn@86.86.29.250)
2022-11-27 18:20:25 +0100tv(~tv@user/tv) (Read error: Connection reset by peer)
2022-11-27 18:20:45 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-27 18:21:56 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 18:23:08 +0100azimut(~azimut@gateway/tor-sasl/azimut)
2022-11-27 18:28:03 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 18:31:08 +0100Guest8715(~Guest87@136.36.64.88)
2022-11-27 18:31:33 +0100 <Guest8715> @pl \f g x y -> f (x ++ g x) (g y)
2022-11-27 18:31:33 +0100 <lambdabot> join . ((flip . ((.) .)) .) . (. ap (++)) . (.)
2022-11-27 18:32:38 +0100 <Guest8715> @pl foobar :: [Integer] -> Integer
2022-11-27 18:32:38 +0100 <lambdabot> (line 1, column 23):
2022-11-27 18:32:38 +0100 <lambdabot> unexpected '>'
2022-11-27 18:32:39 +0100 <Guest8715> foobar [] = 0
2022-11-27 18:32:39 +0100 <lambdabot> expecting operator
2022-11-27 18:32:39 +0100 <Guest8715> foobar (x:xs)
2022-11-27 18:32:40 +0100 <Guest8715>   | x > 3 = (7*x + 2) + foobar xs
2022-11-27 18:32:40 +0100 <Guest8715>   | otherwise = foobar xs
2022-11-27 18:33:30 +0100sammelweis_(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 260 seconds)
2022-11-27 18:35:05 +0100jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-11-27 18:35:08 +0100sammelweis_(~quassel@c-68-48-18-140.hsd1.mi.comcast.net)
2022-11-27 18:35:12 +0100Guest8715(~Guest87@136.36.64.88) ()
2022-11-27 18:37:54 +0100tv(~tv@user/tv)
2022-11-27 18:39:16 +0100eggplantade(~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-11-27 18:40:35 +0100 <mauke> @pl sum . map (\x -> 7*x + 2) . filter (> 3)
2022-11-27 18:40:35 +0100 <lambdabot> sum . map ((2 +) . (7 *)) . filter (> 3)
2022-11-27 18:44:15 +0100random-jellyfish(~random-je@user/random-jellyfish)
2022-11-27 18:46:19 +0100fpnoob(~nick@68.239.47.12)
2022-11-27 18:46:19 +0100zant(~zant@62.214.20.26) (Ping timeout: 268 seconds)
2022-11-27 18:52:36 +0100thyriaen_(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1)
2022-11-27 18:52:44 +0100thyriaen_(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Remote host closed the connection)
2022-11-27 18:53:13 +0100merijn(~merijn@86.86.29.250) (Ping timeout: 260 seconds)
2022-11-27 18:54:21 +0100econo(uid147250@user/econo)
2022-11-27 18:59:57 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 19:00:24 +0100sayola(~sayola@dslb-088-064-186-217.088.064.pools.vodafone-ip.de) (Read error: Connection reset by peer)
2022-11-27 19:04:05 +0100jakalx(~jakalx@base.jakalx.net) ()
2022-11-27 19:04:57 +0100kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr)
2022-11-27 19:06:04 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 19:07:13 +0100jakalx(~jakalx@base.jakalx.net)
2022-11-27 19:15:24 +0100jonathanx_(~jonathan@94.234.102.136)
2022-11-27 19:16:52 +0100elevenkb(~elevenkb@105.184.125.168) (Quit: Client closed)
2022-11-27 19:18:02 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-11-27 19:18:04 +0100jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 260 seconds)
2022-11-27 19:18:13 +0100dangit(~nick@68.239.47.12)
2022-11-27 19:20:07 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2022-11-27 19:24:12 +0100dangit(~nick@68.239.47.12) (Quit: dangit)
2022-11-27 19:24:39 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 19:29:25 +0100accord(uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity)
2022-11-27 19:32:00 +0100phma(~phma@2001:5b0:211b:f1c8:1660:b1a4:c3b6:5a9) (Read error: Connection reset by peer)
2022-11-27 19:32:54 +0100phma(phma@2001:5b0:2143:94c8:f94a:d451:43a6:db0a)
2022-11-27 19:39:21 +0100michalz(~michalz@185.246.204.73)
2022-11-27 19:39:45 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 19:42:40 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net)
2022-11-27 19:44:09 +0100random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-11-27 19:44:33 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327) (Ping timeout: 260 seconds)
2022-11-27 19:45:00 +0100 <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 19:45:00 +0100 <LemanR> then I can focus on getting the functions correct).
2022-11-27 19:45:11 +0100coot(~coot@213.134.171.3)
2022-11-27 19:47:38 +0100mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-11-27 19:48:54 +0100 <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 19:49:14 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 19:49:53 +0100 <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 19:50:03 +0100 <monochrom> Use pattern matching?
2022-11-27 19:50:28 +0100 <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 19:50:37 +0100 <LemanR> *I've tried
2022-11-27 19:51:30 +0100 <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 19:53:32 +0100[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-11-27 19:53:59 +0100 <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 19:57:19 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2022-11-27 20:00:23 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 20:01:04 +0100 <mauke> Resturant is misspelled, but apart from that ...
2022-11-27 20:01:25 +0100 <monochrom> oh haha
2022-11-27 20:04:06 +0100eggplantade(~Eggplanta@2600:1700:38c5:d800:8066:4970:bd6:2327)
2022-11-27 20:05:14 +0100 <LemanR> thanks for the catch there
2022-11-27 20:06:58 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 20:09:22 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 20:11:00 +0100 <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 20:13:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 20:15:19 +0100zant(~zant@62.214.20.26)
2022-11-27 20:17:54 +0100opticblast(~Thunderbi@172.58.86.253)
2022-11-27 20:18:36 +0100bluephones(main@gateway/vpn/protonvpn/bluephones)
2022-11-27 20:22:14 +0100Wstfgl0(~Me-me@146.102.215.218.dyn.iprimus.net.au)
2022-11-27 20:22:44 +0100bjourne2(~bjorn@94.191.152.122) (Read error: Connection reset by peer)
2022-11-27 20:22:59 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 20:23:45 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net)
2022-11-27 20:24:11 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 20:25:14 +0100Sgeo(~Sgeo@user/sgeo)
2022-11-27 20:25:23 +0100bluephones(main@gateway/vpn/protonvpn/bluephones) (Ping timeout: 264 seconds)
2022-11-27 20:25:47 +0100jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-11-27 20:26:13 +0100troydm(~troydm@host-176-37-124-197.b025.la.net.ua)
2022-11-27 20:27:12 +0100 <LemanR> so.....close... doing the walk part which needs <, >, <= etc operators
2022-11-27 20:29:06 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 20:29:07 +0100jonathanx_(~jonathan@94.234.102.136) (Read error: Connection reset by peer)
2022-11-27 20:29:23 +0100jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-11-27 20:30:15 +0100Wstfgl0(~Me-me@146.102.215.218.dyn.iprimus.net.au) (Remote host closed the connection)
2022-11-27 20:30:43 +0100 <monochrom> Just write some extra if-then-else.
2022-11-27 20:30:45 +0100bluephones(main@gateway/vpn/protonvpn/bluephones)
2022-11-27 20:30:52 +0100 <bluephones> When should I use Int over Integer?
2022-11-27 20:31:03 +0100Me-me(~me-me@v.working.name) (Changing host)
2022-11-27 20:31:03 +0100Me-me(~me-me@user/me-me)
2022-11-27 20:31:15 +0100 <monochrom> You can also go fancy and use guard syntax. But if-then-else doesn't need another afternoon of reading.
2022-11-27 20:32:12 +0100 <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 20:33:04 +0100 <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 20:33:49 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 20:33:59 +0100 <geekosaur> Integer is preferred if you might go beyond the bounds if Int
2022-11-27 20:34:48 +0100 <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 20:35:48 +0100 <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 20:35:57 +0100 <LemanR> curiosity question lol
2022-11-27 20:36:52 +0100 <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 20:37:55 +0100 <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 20:38:03 +0100 <mauke> or write the algorithms yourself
2022-11-27 20:38:43 +0100 <LemanR> I'll have to check it out to see what that looks like later.
2022-11-27 20:39:20 +0100 <LemanR> oh nvm, you're saying you do some mathematics to have some abstract equivalent to the value you need
2022-11-27 20:39:45 +0100 <fpnoob> On a _really_ low level, the CPU provides a flag indicating if an operation went out of bounds.
2022-11-27 20:39:53 +0100 <fpnoob> https://en.wikipedia.org/wiki/Overflow_flag
2022-11-27 20:40:41 +0100 <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 20:46:09 +0100 <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 20:46:09 +0100wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 260 seconds)
2022-11-27 20:46:35 +0100 <mauke> > 3 ^ 100 `mod` 13337
2022-11-27 20:46:37 +0100 <lambdabot> 9195
2022-11-27 20:46:56 +0100 <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 20:47:02 +0100 <mauke> > (3 :: Int) ^ 100 `mod` 13337
2022-11-27 20:47:04 +0100 <lambdabot> 8634
2022-11-27 20:47:12 +0100 <LemanR> so close :p https://dpaste.com/FC6HAGBUP apparently it doesn't like the <= 5 part
2022-11-27 20:47:12 +0100 <mauke> ... you just get nonsense
2022-11-27 20:48:25 +0100 <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 20:48:26 +0100 <geekosaur> LemanR, you can't chain operations like that. And that's just the syntactic part
2022-11-27 20:48:34 +0100 <mauke> and then you can check n < 3, etc
2022-11-27 20:48:38 +0100 <geekosaur> the rest is what mauke just said
2022-11-27 20:49:04 +0100 <geekosaur> n >= 3 && n <= 5
2022-11-27 20:49:39 +0100 <geekosaur> otherwise it'd be hard to support a pattern like Foo m n | m >= 3 && n <= 5 = ...
2022-11-27 20:50:29 +0100 <LemanR> totally forgot whenever you do && or || etc you need to retype the variable
2022-11-27 20:53:03 +0100 <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 20:53:05 +0100 <lambdabot> 9195
2022-11-27 20:54:31 +0100 <mauke> LemanR: btw, in 'Movie otherwise', you're not using the built-in 'otherwise'
2022-11-27 20:54:45 +0100 <mauke> that pattern defines a new local variable called 'otherwise' (which is then never used)
2022-11-27 20:55:09 +0100 <LemanR> I realized that when I spelt otherwise wrong (othervise) and it went through anyway lol i just kept that cause.
2022-11-27 20:55:17 +0100 <mauke> the idiomatic way to write that is 'Movie _'
2022-11-27 20:55:54 +0100 <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 20:58:12 +0100bjourne2(~bjorn@94.191.152.122)
2022-11-27 21:03:00 +0100kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 21:03:11 +0100fpnoob(~nick@68.239.47.12) (Ping timeout: 264 seconds)
2022-11-27 21:08:08 +0100 <dsal> @src otherwise
2022-11-27 21:08:08 +0100 <lambdabot> otherwise = True
2022-11-27 21:08:53 +0100 <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 21:09:40 +0100 <LemanR> nvm Genre is the argument to construct Movie
2022-11-27 21:10:47 +0100 <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 21:10:59 +0100acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 21:11:57 +0100 <mauke> > let foo othermumble = 42 in foo "hello"
2022-11-27 21:11:59 +0100 <lambdabot> 42
2022-11-27 21:12:26 +0100 <mauke> the 'foo' function ignores its argument, so it doesn't matter what its name is
2022-11-27 21:13:49 +0100 <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 21:14:17 +0100 <LemanR> *more so the reasoning is the same as when you create a function
2022-11-27 21:14:53 +0100 <mauke> it's the latter
2022-11-27 21:15:13 +0100 <mauke> pattern matching (and function parameters) work the same way in languages without lazy evaluation
2022-11-27 21:15:30 +0100 <LemanR> understood, thanks for the clarity.
2022-11-27 21:15:44 +0100shriekingnoise(~shrieking@186.137.167.202)
2022-11-27 21:17:52 +0100acidjnk_new(~acidjnk@p200300d6e7137a29d8c876154004b86e.dip0.t-ipconnect.de)
2022-11-27 21:18:29 +0100ddellacosta(~ddellacos@143.244.47.73)
2022-11-27 21:19:45 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 21:20:48 +0100LemanR(~LemanR@pool-74-109-28-147.phlapa.fios.verizon.net) (Ping timeout: 260 seconds)
2022-11-27 21:21:11 +0100opticblast(~Thunderbi@172.58.86.253) (Ping timeout: 264 seconds)
2022-11-27 21:22:57 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 21:23:19 +0100kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 21:24:10 +0100pavonia(~user@user/siracusa)
2022-11-27 21:24:47 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 264 seconds)
2022-11-27 21:27:27 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Client Quit)
2022-11-27 21:27:50 +0100kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 21:34:24 +0100kraftwerk28(~kraftwerk@178.62.210.83) (Quit: ZNC 1.8.2 - https://znc.in)
2022-11-27 21:34:47 +0100kraftwerk28(~kraftwerk@178.62.210.83)
2022-11-27 21:35:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 21:37:00 +0100Feuermagier_(~Feuermagi@216.24.216.50)
2022-11-27 21:37:03 +0100waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-11-27 21:39:47 +0100Feuermagier(~Feuermagi@user/feuermagier) (Ping timeout: 264 seconds)
2022-11-27 21:40:45 +0100Topsi(~Topsi@dyndsl-091-096-150-101.ewe-ip-backbone.de)
2022-11-27 21:41:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 21:50:31 +0100inversed(~inversed@bcdcac82.skybroadband.com) (Read error: Connection reset by peer)
2022-11-27 21:50:44 +0100potash(~foghorn@user/foghorn) (Read error: Connection reset by peer)
2022-11-27 21:51:10 +0100mokee(~mokee@37.228.215.235) (Remote host closed the connection)
2022-11-27 21:52:20 +0100potash(~foghorn@user/foghorn)
2022-11-27 21:52:39 +0100coot(~coot@213.134.171.3) (Quit: coot)
2022-11-27 21:56:47 +0100kenaryn(~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving)
2022-11-27 21:58:15 +0100money_(~money@pool-100-11-18-203.phlapa.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-11-27 22:01:00 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 22:01:11 +0100nate4(~nate@98.45.169.16)
2022-11-27 22:02:48 +0100ulvarref`(~user@185.24.53.152) (Ping timeout: 260 seconds)
2022-11-27 22:06:07 +0100nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-11-27 22:07:07 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 22:07:23 +0100bluephones(main@gateway/vpn/protonvpn/bluephones) (Ping timeout: 264 seconds)
2022-11-27 22:11:23 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-11-27 22:12:19 +0100Bocaneri(~sauvin@user/Sauvin)
2022-11-27 22:12:28 +0100 <Inst_> why does everyone hate stack?
2022-11-27 22:12:35 +0100 <Inst_> here's a proposal, one, it takes too long to build, second
2022-11-27 22:12:43 +0100BocaneriGuest7626
2022-11-27 22:12:47 +0100 <Inst_> i have libs exposed and it can't see it
2022-11-27 22:14:10 +0100 <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 22:14:49 +0100Sauvin(~sauvin@user/Sauvin) (Ping timeout: 260 seconds)
2022-11-27 22:14:58 +0100Guest7626Sauvin
2022-11-27 22:16:01 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-11-27 22:17:34 +0100 <shapr> dsal: I'd like to hear about that
2022-11-27 22:17:43 +0100 <shapr> I don't have the same experience, but would like to understand the experience of others
2022-11-27 22:20:13 +0100 <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 22:20:21 +0100 <dsal> A simple example, I think, is https://github.com/dustin/s3up
2022-11-27 22:20:30 +0100earthy(~arthurvl@2a02-a469-f5e2-1-ba27-ebff-fea0-40b0.fixed6.kpn.net)
2022-11-27 22:20:40 +0100 <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 22:21:21 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 22:22:08 +0100albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-11-27 22:28:45 +0100jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-11-27 22:28:51 +0100jakalx(~jakalx@base.jakalx.net)
2022-11-27 22:30:40 +0100Erutuon(~Erutuon@user/erutuon)
2022-11-27 22:32:14 +0100gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-11-27 22:36:32 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba)
2022-11-27 22:37:23 +0100mmhat(~mmh@p200300f1c7254524ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 264 seconds)
2022-11-27 22:37:44 +0100Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-11-27 22:37:45 +0100mmhat(~mmh@p200300f1c72545bdee086bfffe095315.dip0.t-ipconnect.de)
2022-11-27 22:39:29 +0100verd(~verd@ip-89-176-11-114.bb.vodafone.cz)
2022-11-27 22:39:36 +0100zmt01(~zmt00@user/zmt00) (Quit: Leaving)
2022-11-27 22:41:08 +0100Sgeo(~Sgeo@user/sgeo)
2022-11-27 22:43:03 +0100 <verd> how do i determine whether a function with a given type signature can be total?
2022-11-27 22:43:25 +0100 <monochrom> Cannot.
2022-11-27 22:45:50 +0100 <EvanR> how do you know what verd can do
2022-11-27 22:45:59 +0100 <monochrom> Oh haha.
2022-11-27 22:46:00 +0100 <hpc> math
2022-11-27 22:46:16 +0100 <[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 22:46:32 +0100 <mauke> couldBeTotal _ = True
2022-11-27 22:46:46 +0100 <monochrom> How do I determine whether a person with a given IRC nick can determine whether a function can be total? >:)
2022-11-27 22:47:09 +0100 <Rembane> monochrom: By using a quantum computer! :D
2022-11-27 22:47:32 +0100 <monochrom> No no no, we need dependently typed IRC nicks!
2022-11-27 22:47:39 +0100 <geekosaur> which only changes couldBeTotal to a supermpsition of True and False
2022-11-27 22:47:47 +0100 <geekosaur> *superposition
2022-11-27 22:48:10 +0100 <Rembane> TotalRembane :: _|_
2022-11-27 22:48:18 +0100 <monochrom> OK, I can get behind dependently typed quantum computing. :)
2022-11-27 22:48:33 +0100 <[exa]> {-# LANGUAGE NicksInNicks #-}
2022-11-27 22:48:50 +0100 <monochrom> haha
2022-11-27 22:48:52 +0100 <[exa]> irc just got better
2022-11-27 22:49:23 +0100chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr) (Ping timeout: 264 seconds)
2022-11-27 22:49:42 +0100 <mauke> [[[exa]]]
2022-11-27 22:50:05 +0100 <juri_> hey, what's the in thing for writing android apps in haskell?
2022-11-27 22:52:09 +0100 <[exa]> mauke: OH YOU. :D
2022-11-27 22:52:17 +0100 <[exa]> juri_: was it obelisk?
2022-11-27 22:54:00 +0100P1RATEZ(piratez@user/p1ratez)
2022-11-27 22:55:04 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 260 seconds)
2022-11-27 22:55:36 +0100 <juri_> [exa]: it's clearly not eta...
2022-11-27 22:56:10 +0100 <juri_> I've got a personal project i want to do on android, but can't imagine leaving haskell behind.
2022-11-27 22:56:25 +0100 <juri_> and it's mostly networking. wheee.
2022-11-27 22:56:54 +0100 <[exa]> networking on android is........sanely possible?
2022-11-27 22:57:08 +0100jargon(~jargon@184.101.188.35)
2022-11-27 22:57:34 +0100 <Hecate> you'd have to use the JNI with Kotlin?
2022-11-27 22:57:36 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-11-27 22:57:37 +0100 <Hecate> I… guess?
2022-11-27 22:58:04 +0100 <[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 23:02:06 +0100ivan__(~ivan__@2001:818:ea58:9200:c83e:9a28:c46f:bf84)
2022-11-27 23:13:02 +0100 <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 23:14:32 +0100tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-11-27 23:15:34 +0100 <c_wraith> I mean, you can detect certain type signatures that *can't* be total.
2022-11-27 23:15:56 +0100 <c_wraith> you know for sure that `foo :: a' isn't total
2022-11-27 23:16:34 +0100 <c_wraith> and it's worth being able to recognize that.
2022-11-27 23:17:11 +0100 <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 23:18:08 +0100 <EvanR> how is a even eligible for the question it might not even be a function
2022-11-27 23:18:23 +0100 <mauke> () -> a
2022-11-27 23:18:49 +0100ivan__(~ivan__@2001:818:ea58:9200:c83e:9a28:c46f:bf84) (Remote host closed the connection)
2022-11-27 23:18:58 +0100 <EvanR> that'll do it
2022-11-27 23:21:35 +0100jmdaemon(~jmdaemon@user/jmdaemon)
2022-11-27 23:21:46 +0100michalz(~michalz@185.246.204.73) (Remote host closed the connection)
2022-11-27 23:23:12 +0100chomwitt(~chomwitt@ppp-94-67-236-76.home.otenet.gr)
2022-11-27 23:27:05 +0100Guest60(~Guest60@101.98.118.246)
2022-11-27 23:28:35 +0100Feuermagier_(~Feuermagi@216.24.216.50) (Quit: Leaving)
2022-11-27 23:28:46 +0100Feuermagier(~Feuermagi@user/feuermagier)
2022-11-27 23:29:07 +0100 <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 23:32:18 +0100 <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 23:32:31 +0100adium(adium@user/adium) (Write error: Connection reset by peer)
2022-11-27 23:32:46 +0100 <c_wraith> You might choose rules like "take the left option", "take the right option", or "do some value merge logic"
2022-11-27 23:33:05 +0100verd(~verd@ip-89-176-11-114.bb.vodafone.cz) (Quit: Client closed)
2022-11-27 23:34:01 +0100Buliarous(~gypsydang@46.232.210.139) (Quit: Lost terminal)
2022-11-27 23:36:14 +0100fpnoob(~nick@68.239.47.12)
2022-11-27 23:36:52 +0100biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-11-27 23:37:50 +0100zmt00(~zmt00@user/zmt00)
2022-11-27 23:38:31 +0100coot(~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot)
2022-11-27 23:38:39 +0100 <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 23:38:42 +0100thyriaen(~thyriaen@2a01:aea0:dd4:470d:6245:cbff:fe9f:48b1) (Quit: Leaving)
2022-11-27 23:40:12 +0100 <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 23:40:58 +0100fpnoob(~nick@68.239.47.12) (Ping timeout: 256 seconds)
2022-11-27 23:41:00 +0100 <Guest60> I'm using `Data.Yaml`
2022-11-27 23:41:14 +0100 <c_wraith> that's a module, not a package. module names are not unique
2022-11-27 23:41:20 +0100biberu(~biberu@user/biberu)
2022-11-27 23:41:22 +0100 <c_wraith> (or at least, they don't need to be unique)
2022-11-27 23:41:36 +0100 <Guest60> oh `yaml`
2022-11-27 23:41:58 +0100 <Guest60> Seems to be using `Data.Aeson.KeyMap` underneath
2022-11-27 23:42:11 +0100 <Guest60> `type Object = KeyMap Value`
2022-11-27 23:42:29 +0100 <c_wraith> Oh, right, aeson made that type opaque so they could change between backing types with a flag.
2022-11-27 23:43:07 +0100 <c_wraith> that was their mitigation for hash flooding. blech.
2022-11-27 23:43:54 +0100 <c_wraith> but they provide a SemiAlign instance. You can use that.
2022-11-27 23:44:25 +0100zmt00(~zmt00@user/zmt00) (Read error: Connection reset by peer)
2022-11-27 23:44:27 +0100 <c_wraith> or SemiAlignWithIndex, if you want access to the key
2022-11-27 23:44:58 +0100 <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 23:45:56 +0100 <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 23:46:14 +0100 <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 23:46:42 +0100 <c_wraith> though that would require you to expose the `semialign' and `these' packages
2022-11-27 23:47:51 +0100sus5(zero@user/zeromomentum) (Quit: the lounge - https://webirc.envs.net)
2022-11-27 23:47:57 +0100 <Guest60> alright, I'll have a look at the aeson stuff. Main concern was adding dependencies
2022-11-27 23:47:59 +0100 <c_wraith> anyway, ialignWith is definitely the tool you'd want for merging
2022-11-27 23:48:19 +0100 <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 23:49:17 +0100hgolden(~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection)
2022-11-27 23:50:51 +0100 <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 23:51:04 +0100merijn(~merijn@86-86-29-250.fixed.kpn.net)
2022-11-27 23:51:25 +0100 <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 23:53:18 +0100 <Guest60> I used the `unionWith` for aeson KeyMap which worked nicely