IRCBrowse

2022/03/16

2022-03-16 00:03:22 +0000DNH(~DNH@2a02:8108:1100:16d8:2015:9361:6306:3ac4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-16 00:05:01 +0000chenqisu1(~chenqisu1@183.217.201.47)
2022-03-16 00:10:24 +0000 <ski> Henson : yea, some of what i was raving about was just some random intriguing (to me) ruminations and associations on the problem space, not particularly directed towards your specific situation. caveat emptor
2022-03-16 00:12:02 +0000 <Henson> ski: thanks for the warning :-)
2022-03-16 00:13:20 +0000Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.)
2022-03-16 00:17:00 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-03-16 00:20:37 +0000mvk(~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds)
2022-03-16 00:21:00 +0000Inst(~Liam@2601:6c4:4080:3f80:b1b7:1201:f52f:8468) (Ping timeout: 240 seconds)
2022-03-16 00:21:15 +0000dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-16 00:23:33 +0000Pickchea(~private@user/pickchea) (Ping timeout: 252 seconds)
2022-03-16 00:27:07 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 00:31:47 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 00:33:36 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-16 00:34:26 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-16 00:34:26 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-16 00:34:26 +0000wroathe(~wroathe@user/wroathe)
2022-03-16 00:35:16 +0000lbseale(~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer)
2022-03-16 00:36:47 +0000xkuru(~xkuru@user/xkuru)
2022-03-16 00:38:25 +0000x_kuru(~xkuru@user/xkuru)
2022-03-16 00:41:17 +0000xkuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 00:41:43 +0000 <Axman6> :t traverse . traverse
2022-03-16 00:41:44 +0000 <lambdabot> (Applicative f, Traversable t1, Traversable t2) => (a -> f b) -> t1 (t2 a) -> f (t1 (t2 b))
2022-03-16 00:41:54 +0000ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-16 00:42:21 +0000k8yun(~k8yun@user/k8yun)
2022-03-16 00:42:30 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-16 00:43:01 +0000 <Axman6> Henson: a possibly more general solution to your problem is lens (I haven't looked back at the history)
2022-03-16 00:46:53 +0000romesrf(~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4)
2022-03-16 00:51:22 +0000 <jackdk> Axman6: he's been wrestling with that too
2022-03-16 01:01:00 +0000Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net)
2022-03-16 01:01:36 +0000alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-16 01:01:53 +0000alMalsamolumberjack123
2022-03-16 01:11:04 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-03-16 01:11:57 +0000CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2022-03-16 01:15:17 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-16 01:16:00 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-16 01:16:12 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-16 01:17:10 +0000albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-03-16 01:22:27 +0000img(~img@user/img)
2022-03-16 01:26:12 +0000nexus(~nexus@92-249-150-216.static.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-16 01:28:01 +0000nexus(~nexus@178-164-188-40.pool.digikabel.hu)
2022-03-16 01:31:27 +0000acidsys(~LSD@2a03:4000:55:d20::3) (Excess Flood)
2022-03-16 01:31:59 +0000acidsys(~LSD@2a03:4000:55:d20::3)
2022-03-16 01:36:28 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 250 seconds)
2022-03-16 01:37:39 +0000 <Henson> Axman6: yeah, my initial question was if it was possible for lens to do it (I'm using the optics package).
2022-03-16 01:38:05 +0000 <Henson> ski: partsOf will do the trick
2022-03-16 01:38:12 +0000 <Henson> let's see if I can make lambdabot do this for me
2022-03-16 01:38:47 +0000 <Henson> > set (partsOf $ traversed % _2) ["x","y","z"] [(1,"a"),(2,"b"),(3,"c")]
2022-03-16 01:38:48 +0000 <lambdabot> error:
2022-03-16 01:38:48 +0000 <lambdabot> • Couldn't match type ‘Ratio
2022-03-16 01:38:48 +0000 <lambdabot> ((a0 -> f1 b0) -> f0 a0 -> f1 (f0 b0))’
2022-03-16 01:39:09 +0000 <Henson> darnit. anyway, this works for me
2022-03-16 01:39:11 +0000 <Henson> set (partsOf $ traversed % _2) ["x","y","z"] [(1,"a"),(2,"b"),(3,"c")]
2022-03-16 01:39:30 +0000 <Henson> and that's all the proof I need to know that I'll be able to make it work with what I'm actually trying to do
2022-03-16 01:39:32 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-16 01:39:44 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-16 01:40:47 +0000 <Henson> oh, you know what, maybe Lambdabot didn't like the (%). Optics uses (%) instead of (.) for Lens composition
2022-03-16 01:42:48 +0000 <Axman6> @quote partsOf
2022-03-16 01:42:48 +0000 <lambdabot> No quotes match. My brain just exploded
2022-03-16 01:42:53 +0000 <Axman6> :(
2022-03-16 01:43:06 +0000 <Axman6> I should really record the partsOf template party trick
2022-03-16 01:43:51 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 01:44:04 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 01:44:44 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-16 01:45:43 +0000 <Axman6> % (Just "Hello",", ", ["World!"," "],("How", True, " are ", Left "you?")) & partsOf template %~ (reverse @Char)
2022-03-16 01:45:43 +0000 <yahb> Axman6: (Just "?uoy ","er",["a woH ","!"],("dlr",True,"oW ,o",Left "lleH"))
2022-03-16 01:45:49 +0000 <Axman6> % (Just "Hello",", ", ["World!"," "],("How", True, " are ", Left "you?")) & partsOf template %~ (reverse @String)
2022-03-16 01:45:49 +0000 <yahb> Axman6: (Just "you?"," are ",["How"," "],("World!",True,", ",Left "Hello"))
2022-03-16 01:48:57 +0000Akiva(~Akiva@user/Akiva)
2022-03-16 01:49:00 +0000Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-03-16 01:50:25 +0000chenqisu1(~chenqisu1@183.217.201.47) (Ping timeout: 256 seconds)
2022-03-16 01:52:49 +0000szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-16 02:03:20 +0000md5(~md5@2e40edd9.skybroadband.com) (Ping timeout: 250 seconds)
2022-03-16 02:05:33 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-03-16 02:06:37 +0000Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection)
2022-03-16 02:14:49 +0000jakalx(~jakalx@base.jakalx.net)
2022-03-16 02:15:17 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 02:16:30 +0000Akiva(~Akiva@user/Akiva) (Ping timeout: 260 seconds)
2022-03-16 02:17:16 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 02:17:48 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 02:18:12 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-16 02:22:17 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-16 02:27:25 +0000metaverse(~metaverse@94.13.111.159)
2022-03-16 02:27:41 +0000motherfsck(~motherfsc@user/motherfsck) (Quit: quit)
2022-03-16 02:38:21 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-16 02:38:36 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-16 02:40:52 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-16 02:44:15 +0000ubert(~Thunderbi@p200300ecdf19b70a55005d108b4dd460.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-16 02:44:33 +0000ubert(~Thunderbi@p200300ecdf19b79d7171724430720c97.dip0.t-ipconnect.de)
2022-03-16 02:47:48 +0000InstX1(~Liam@2600:1006:b007:b588:74a6:a66a:efe9:7159)
2022-03-16 02:50:57 +0000alp(~alp@user/alp) (Ping timeout: 252 seconds)
2022-03-16 02:51:30 +0000Inst(~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 252 seconds)
2022-03-16 02:55:58 +0000InstX1_(~Liam@2601:6c4:4080:3f80:1cdf:18dd:42bc:97c4)
2022-03-16 02:56:04 +0000InstX1_Inst
2022-03-16 02:57:18 +0000jbox(~jbox@user/jbox) (Read error: Connection reset by peer)
2022-03-16 02:59:06 +0000[_](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-16 02:59:17 +0000InstX1(~Liam@2600:1006:b007:b588:74a6:a66a:efe9:7159) (Ping timeout: 240 seconds)
2022-03-16 03:00:30 +0000[itchyjunk]Guest1869
2022-03-16 03:00:30 +0000[_][itchyjunk]
2022-03-16 03:02:37 +0000Guest1869(~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds)
2022-03-16 03:08:24 +0000mbuf(~Shakthi@110.225.253.73)
2022-03-16 03:10:55 +0000kritzefitz(~kritzefit@debian/kritzefitz) (Ping timeout: 272 seconds)
2022-03-16 03:22:05 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 03:29:20 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-03-16 03:29:20 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-03-16 03:29:20 +0000finn_elijaFinnElija
2022-03-16 03:30:46 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 03:34:54 +0000dyeplexer(~dyeplexer@user/dyeplexer)
2022-03-16 03:36:57 +0000wroathe(~wroathe@user/wroathe) (Ping timeout: 240 seconds)
2022-03-16 03:42:36 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-16 03:42:39 +0000nexus(~nexus@178-164-188-40.pool.digikabel.hu) (Ping timeout: 252 seconds)
2022-03-16 03:42:49 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 03:44:12 +0000nexus(~nexus@85-238-93-61.pool.digikabel.hu)
2022-03-16 03:48:52 +0000takuan(~takuan@178-116-218-225.access.telenet.be)
2022-03-16 03:50:16 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-16 03:50:46 +0000jao(~jao@45.134.142.199) (Ping timeout: 260 seconds)
2022-03-16 03:51:02 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-16 03:51:16 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 03:51:24 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-16 03:51:34 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 03:51:38 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 03:51:46 +0000lavaman(~lavaman@98.38.249.169) (Remote host closed the connection)
2022-03-16 03:52:53 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-16 03:54:17 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 03:58:49 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-16 04:00:55 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 04:00:55 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-03-16 04:02:23 +0000jrm(~jrm@156.34.173.250) (Quit: ciao)
2022-03-16 04:02:42 +0000jrm(~jrm@156.34.173.250)
2022-03-16 04:02:48 +0000Guest9165(~Guest91@198.13.48.162)
2022-03-16 04:07:33 +0000geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 256 seconds)
2022-03-16 04:07:34 +0000Henson(~kvirc@107-179-133-201.cpe.teksavvy.com) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2022-03-16 04:08:41 +0000 <Guest9165> hi, how to `nftMint :: TokenName -> TxOutRef -> PlutusScript PlutusScriptV1` ( source : https://github.com/jfischoff/plutus-nft/blob/main/src/Cardano/Plutus/Nft.hs). Without 'PlutusScriptV1' it is ok. But this additional 'PlutusScriptV1' puzzle me.
2022-03-16 04:13:34 +0000azimut(~azimut@gateway/tor-sasl/azimut)
2022-03-16 04:14:47 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 04:16:36 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 245 seconds)
2022-03-16 04:17:24 +0000zebrag(~chris@user/zebrag)
2022-03-16 04:17:45 +0000stefan-_(~cri@42dots.de) (Ping timeout: 256 seconds)
2022-03-16 04:18:33 +0000shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-03-16 04:18:46 +0000shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-16 04:18:57 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 252 seconds)
2022-03-16 04:22:20 +0000 <dsal> Guest9165: It's not likely many people here know those APIs or what's confusing to you out of context.
2022-03-16 04:22:31 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 04:25:06 +0000 <Guest9165> It is just about function declare syntax, how to read that declare. I'm not ask what the API does. In my mind, a function syntax `nftMint :: TokenName -> TxOutRef -> PlutusScript ` is understandable.
2022-03-16 04:25:41 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 04:26:03 +0000 <Guest9165> but as to `nftMint :: TokenName -> TxOutRef -> PlutusScript PlutusScriptV1`, what is the return value type ?
2022-03-16 04:26:04 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Read error: Connection reset by peer)
2022-03-16 04:26:26 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 04:26:55 +0000zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-03-16 04:27:00 +0000sammelweis(~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds)
2022-03-16 04:28:13 +0000 <dsal> The return type is `PlutusScript PlutusScriptV1`
2022-03-16 04:31:14 +0000 <dsal> It's hard to know more about this particular thing without knowing what a `PlutusScript` is, but it's presumably kinded `* -> *` like Maybe.
2022-03-16 04:31:16 +0000 <dsal> :t listToMaybe
2022-03-16 04:31:17 +0000 <lambdabot> [a] -> Maybe a
2022-03-16 04:33:09 +0000 <Guest9165> Thanks.  It soundable if 'PlutusScript' is akind to Maybe.
2022-03-16 04:34:51 +0000 <dsal> I assume it's meant to be used as some kind of monad.
2022-03-16 04:36:15 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 04:39:45 +0000k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-03-16 04:41:25 +0000 <jackdk> `PlutusScript` is probably indexed by the language version; I suppose certain constructs are only allowed in certain versions
2022-03-16 04:44:55 +0000zebrag(~chris@user/zebrag)
2022-03-16 04:46:51 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 04:47:33 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2022-03-16 04:48:24 +0000zebrag(~chris@user/zebrag) (Client Quit)
2022-03-16 04:49:12 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-16 04:49:26 +0000AndrewLibreBot
2022-03-16 04:49:36 +0000LibreBotGuest286
2022-03-16 04:50:01 +0000Guest286(Andrew@user/AndrewYu) (Changing host)
2022-03-16 04:50:01 +0000Guest286(Andrew@user/AndrewYu/bot/LibreBot)
2022-03-16 04:50:07 +0000Guest286LibreBot
2022-03-16 04:51:11 +0000stefan-_(~cri@42dots.de)
2022-03-16 04:51:23 +0000LibreBotAndrew
2022-03-16 04:51:43 +0000Andrew(Andrew@user/AndrewYu/bot/LibreBot) (Changing host)
2022-03-16 04:51:43 +0000Andrew(Andrew@user/AndrewYu)
2022-03-16 04:52:00 +0000k8yun(~k8yun@user/k8yun)
2022-03-16 04:52:50 +0000Guest3568(~tom@218.89.242.114)
2022-03-16 04:55:23 +0000Andrew(Andrew@user/AndrewYu) (Changing host)
2022-03-16 04:55:23 +0000Andrew(Andrew@user/AndrewYu/bot/LibreBot)
2022-03-16 04:55:33 +0000 <Guest3568> Is haskell-platform enough to leran haskell?
2022-03-16 04:55:54 +0000Andrew(Andrew@user/AndrewYu/bot/LibreBot) (Changing host)
2022-03-16 04:55:54 +0000Andrew(Andrew@user/AndrewYu)
2022-03-16 04:56:15 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 04:56:42 +0000 <jackdk> it is, but that's not really used any more. ghcup is the recommended way to get haskll, across the big 3 operating systems: Linux, Mac, Windows
2022-03-16 04:57:43 +0000Guest3568(~tom@218.89.242.114) (Quit: WeeChat 2.8)
2022-03-16 05:00:22 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 05:03:35 +0000Giovanni(~Giovanni@176.54.32.122) (Remote host closed the connection)
2022-03-16 05:04:15 +0000Giovanni(~Giovanni@176.54.32.122)
2022-03-16 05:04:46 +0000 <Andrew> I don't get it- why does 100/3 when represented in floats don't go off to infinity
2022-03-16 05:04:53 +0000 <Andrew> go off to infinity = have infinite digits
2022-03-16 05:05:15 +0000 <dsal> Depends on the types. Floats don't have infinite precision.
2022-03-16 05:05:25 +0000 <Andrew> well, of course you can use fractions
2022-03-16 05:05:40 +0000 <Andrew> but in a lazy language why not have it infinite?
2022-03-16 05:06:04 +0000 <ski> > showCReal 496 (100/3 :: CReal)
2022-03-16 05:06:06 +0000 <lambdabot> "33.333333333333333333333333333333333333333333333333333333333333333333333333...
2022-03-16 05:08:22 +0000Giovanni(~Giovanni@176.54.32.122) (Remote host closed the connection)
2022-03-16 05:09:52 +0000 <ski> `Float' and `Double' are supposed to follow the IEEE 854 "Standard for Radix-Independent Floating-Point Arithmetic"
2022-03-16 05:11:28 +0000ski. o O ( "What Every Programmer Should Know About Floating-Point Arithmetic" at <http://floating-point-gui.de/> and "What Every Computer Scientist Should Know About Floating-Point Arithmetic" by David Goldberg in 1991 at <https://docs.oracle.com/cd/E19957-01/806-3568/ncg_goldberg.html>,<https://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.244> ; <https://en.wikipedia.org/wiki/IEEE_854> )
2022-03-16 05:12:48 +0000 <ski> > let nan = 0/0 in nan == nan -- unfortunately specified (at least for signalling NANs) in the standard
2022-03-16 05:12:49 +0000 <lambdabot> False
2022-03-16 05:12:53 +0000 <jackdk> Andrew: have you seen `Data.Ratio`?
2022-03-16 05:13:08 +0000 <Andrew> i have
2022-03-16 05:13:13 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 05:13:18 +0000 <Andrew> i just think that should be default
2022-03-16 05:15:03 +0000son0p(~ff@181.136.122.143) (Ping timeout: 250 seconds)
2022-03-16 05:19:48 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-16 05:20:05 +0000 <nshepperd2> Data.Ratio is not a useful default
2022-03-16 05:21:30 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 05:25:06 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-16 05:26:43 +0000Giovanni(~Giovanni@176.67.166.45)
2022-03-16 05:27:31 +0000chenqisu1(~chenqisu1@183.217.201.47)
2022-03-16 05:27:32 +0000x_kuru(~xkuru@user/xkuru) (Read error: Connection reset by peer)
2022-03-16 05:29:10 +0000Axma96263(~Axman6@user/axman6)
2022-03-16 05:30:40 +0000Axman6(~Axman6@user/axman6) (Ping timeout: 250 seconds)
2022-03-16 05:31:17 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-16 05:31:27 +0000jakalx(~jakalx@base.jakalx.net)
2022-03-16 05:33:04 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-16 05:34:50 +0000worldhelloworld1(uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-16 05:35:09 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-16 05:35:15 +0000modnar(~modnar@shell.sonic.net)
2022-03-16 05:52:26 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 05:53:26 +0000nexus(~nexus@85-238-93-61.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-16 05:53:52 +0000Guest9165(~Guest91@198.13.48.162) (Quit: Client closed)
2022-03-16 05:54:39 +0000finsternis(~X@23.226.237.192) (Ping timeout: 256 seconds)
2022-03-16 05:54:39 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds)
2022-03-16 05:55:23 +0000nexus(~nexus@92-249-141-141.pool.digikabel.hu)
2022-03-16 05:55:47 +0000finsternis(~X@23.226.237.192)
2022-03-16 05:56:00 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-03-16 05:56:20 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-16 05:59:08 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 06:02:30 +0000HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
2022-03-16 06:03:38 +0000HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-03-16 06:05:19 +0000eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 06:06:16 +0000k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-03-16 06:07:24 +0000eggplantade(~Eggplanta@2600:1700:bef1:5e10:85fc:5466:5112:8a92) (Ping timeout: 240 seconds)
2022-03-16 06:20:12 +0000Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-03-16 06:21:50 +0000 <Maxdamantus> Andrew: if you're making use of laziness, you'll end up with things that you can't determine the true value of.
2022-03-16 06:22:08 +0000_xor(~xor@dsl-50-5-233-169.fuse.net) (Ping timeout: 252 seconds)
2022-03-16 06:22:15 +0000 <Andrew> Maxdamantus: The point is the nice feeling of mathematical purity.
2022-03-16 06:22:37 +0000 <Maxdamantus> Andrew: eg, in your 100/3 example, you won't be able to tell that it's actually 100/3, because all you can ever see is that it's "33.33333333something"
2022-03-16 06:22:48 +0000 <Andrew> Maxdamantus: I know
2022-03-16 06:22:48 +0000 <Maxdamantus> and then if you multiply it by 3, you get 99.9999999999something
2022-03-16 06:23:25 +0000 <Maxdamantus> Okay, well to a lot of people, that's not useful.
2022-03-16 06:23:43 +0000 <Maxdamantus> If you divide by 3 then multiply 3, you should get the same answer. That's what you get with rationals.
2022-03-16 06:25:38 +0000 <Maxdamantus> Indefinite precision of fractional values in general is not useful either, since you often do want to turn numbers into approximations for practical reasons.
2022-03-16 06:27:39 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 06:27:46 +0000 <Maxdamantus> eg, if you're modelling a game where friction is causing your character to lose 10% of their speed per frame, you don't want a number that uses 10,000 digits after 10,000 frames (which might take say 100 seconds).
2022-03-16 06:28:32 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2022-03-16 06:29:18 +0000 <Maxdamantus> You need to pick an appropriate number representation for the scenario.
2022-03-16 06:30:55 +0000 <Maxdamantus> Also, using representations with points (eg, "decimal") is often not suitable for representing fractions, because you can easily create numbers with very large periods, eg, 1/1234567 has a period of something like 830.
2022-03-16 06:31:06 +0000 <Maxdamantus> (in decimal)
2022-03-16 06:31:43 +0000_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-03-16 06:32:19 +0000vglfr(~vglfr@88.155.79.156)
2022-03-16 06:32:27 +0000 <Maxdamantus> actually, it has a period of 34,020.
2022-03-16 06:33:06 +0000 <Maxdamantus> > showCReal 1000 (1/1234567 :: CReal)
2022-03-16 06:33:07 +0000 <lambdabot> "0.0000008100005913004316493151040000259200189216138127780833280008294406054...
2022-03-16 06:33:26 +0000kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer)
2022-03-16 06:33:57 +0000aeka(~aeka@user/hiruji) (Ping timeout: 240 seconds)
2022-03-16 06:34:13 +0000echoreply(~echoreply@45.32.163.16) (Quit: WeeChat 2.8)
2022-03-16 06:35:39 +0000 <Maxdamantus> I was probably thinking of 1/12345, which has a period of 822.
2022-03-16 06:36:28 +0000coot(~coot@213.134.190.95)
2022-03-16 06:40:02 +0000turlando_(~turlando@93-42-250-112.ip89.fastwebnet.it)
2022-03-16 06:40:14 +0000turlando(~turlando@user/turlando) (Ping timeout: 250 seconds)
2022-03-16 06:41:28 +0000vglfr(~vglfr@88.155.79.156) (Read error: Connection reset by peer)
2022-03-16 06:42:30 +0000vglfr(~vglfr@88.155.79.156)
2022-03-16 06:46:45 +0000finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-03-16 06:46:45 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-03-16 06:46:45 +0000finn_elijaFinnElija
2022-03-16 06:51:18 +0000vglfr(~vglfr@88.155.79.156) (Read error: Connection reset by peer)
2022-03-16 06:52:14 +0000vglfr(~vglfr@88.155.79.156)
2022-03-16 06:56:37 +0000vglfr(~vglfr@88.155.79.156) (Read error: Connection reset by peer)
2022-03-16 06:57:20 +0000vglfr(~vglfr@88.155.79.156)
2022-03-16 06:57:24 +0000raym(~raym@user/raym) (Ping timeout: 240 seconds)
2022-03-16 06:58:56 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-16 06:59:09 +0000notzmv(~zmv@user/notzmv)
2022-03-16 06:59:21 +0000raym(~raym@user/raym)
2022-03-16 07:03:48 +0000namkeleser(~namkelese@125.7.37.86) (Ping timeout: 256 seconds)
2022-03-16 07:04:08 +0000aeka(~aeka@2606:6080:1001:12:257a:8b87:f80d:7579)
2022-03-16 07:06:48 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-03-16 07:06:52 +0000kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-16 07:06:58 +0000InstX1(~Liam@2601:6c4:4080:3f80:d42f:99b7:4e95:b08d)
2022-03-16 07:10:17 +0000Inst(~Liam@2601:6c4:4080:3f80:1cdf:18dd:42bc:97c4) (Ping timeout: 240 seconds)
2022-03-16 07:10:55 +0000FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-03-16 07:11:33 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 07:14:04 +0000acidjnk(~acidjnk@p200300d0c7049f97891f007ae5e331f4.dip0.t-ipconnect.de)
2022-03-16 07:20:00 +0000shriekingnoise(~shrieking@201.231.16.156) (Quit: Quit)
2022-03-16 07:20:01 +0000Pickchea(~private@user/pickchea)
2022-03-16 07:24:16 +0000hsw(~hsw@112-104-141-52.adsl.dynamic.seed.net.tw)
2022-03-16 07:25:50 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-16 07:27:21 +0000mmhat(~mmh@55d4baf8.access.ecotel.net)
2022-03-16 07:35:21 +0000cfricke(~cfricke@user/cfricke)
2022-03-16 07:35:31 +0000vglfr(~vglfr@88.155.79.156) (Ping timeout: 256 seconds)
2022-03-16 07:46:51 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-16 07:49:14 +0000machinedgod(~machinedg@24.105.81.50)
2022-03-16 07:51:23 +0000mc47(~mc47@xmonad/TheMC47)
2022-03-16 07:56:11 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 07:57:08 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 08:01:09 +0000chenqisu1(~chenqisu1@183.217.201.47) (Ping timeout: 252 seconds)
2022-03-16 08:01:55 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-16 08:04:17 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 08:05:01 +0000acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (Read error: Connection reset by peer)
2022-03-16 08:05:16 +0000michalz(~michalz@185.246.204.55)
2022-03-16 08:07:01 +0000ccntrq(~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com)
2022-03-16 08:08:09 +0000mncheck(~mncheck@193.224.205.254)
2022-03-16 08:11:35 +0000acowley(~acowley@c-68-83-22-43.hsd1.nj.comcast.net)
2022-03-16 08:11:48 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be)
2022-03-16 08:13:26 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-03-16 08:13:56 +0000ProfSimm(~ProfSimm@87.227.196.109)
2022-03-16 08:14:24 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 08:14:26 +0000zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi)
2022-03-16 08:15:27 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 08:16:38 +0000dextaa_(~dextaa@user/dextaa)
2022-03-16 08:19:42 +0000alp(~alp@user/alp)
2022-03-16 08:23:12 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-16 08:32:19 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-16 08:39:24 +0000nexus(~nexus@92-249-141-141.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-16 08:39:38 +0000kuribas(~user@188.189.143.32)
2022-03-16 08:40:11 +0000adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-03-16 08:40:36 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-03-16 08:41:08 +0000nexus(~nexus@92-249-185-194.pool.digikabel.hu)
2022-03-16 08:41:16 +0000wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-16 08:41:30 +0000xkuru(~xkuru@user/xkuru)
2022-03-16 08:43:25 +0000wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-16 08:44:36 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 250 seconds)
2022-03-16 08:45:38 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:6cd7:9cb3:8e61:d67f)
2022-03-16 08:45:53 +0000toulene(~toulene@user/toulene) (Remote host closed the connection)
2022-03-16 08:47:56 +0000adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 240 seconds)
2022-03-16 08:48:57 +0000chele(~chele@user/chele)
2022-03-16 08:49:44 +0000fendor(~fendor@91.141.70.76.wireless.dyn.drei.com)
2022-03-16 08:51:15 +0000MajorBiscuit(~MajorBisc@c-001-026-027.client.tudelft.eduvpn.nl)
2022-03-16 08:51:37 +0000adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-03-16 08:52:59 +0000MajorBiscuit(~MajorBisc@c-001-026-027.client.tudelft.eduvpn.nl) (Client Quit)
2022-03-16 08:53:16 +0000MajorBiscuit(~MajorBisc@c-001-026-027.client.tudelft.eduvpn.nl)
2022-03-16 08:55:37 +0000kuribas(~user@188.189.143.32) (Ping timeout: 240 seconds)
2022-03-16 08:57:05 +0000ProfSimm(~ProfSimm@87.227.196.109) (Remote host closed the connection)
2022-03-16 09:05:43 +0000jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-16 09:07:00 +0000dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-16 09:10:19 +0000x_kuru(xkuru@user/xkuru)
2022-03-16 09:14:07 +0000xkuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 09:19:44 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-16 09:21:49 +0000jakalx(~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection)
2022-03-16 09:21:50 +0000jakalx(~jakalx@base.jakalx.net)
2022-03-16 09:22:57 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 240 seconds)
2022-03-16 09:26:22 +0000DNH(~DNH@2a02:8108:1100:16d8:2015:9361:6306:3ac4)
2022-03-16 09:32:22 +0000jgeerds(~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 260 seconds)
2022-03-16 09:34:01 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-03-16 09:35:15 +0000tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-03-16 09:37:54 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-16 09:39:46 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 09:40:09 +0000bahamas(~lucian@86.120.77.115)
2022-03-16 09:42:46 +0000Giovanni(~Giovanni@176.67.166.45) (Remote host closed the connection)
2022-03-16 09:42:52 +0000Axman6(~Axman6@user/axman6)
2022-03-16 09:45:16 +0000Axma96263(~Axman6@user/axman6) (Ping timeout: 260 seconds)
2022-03-16 09:48:54 +0000briandaed(~root@109.95.142.93.r.toneticgroup.pl) (Remote host closed the connection)
2022-03-16 09:49:26 +0000eggplant_(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-16 09:50:53 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-16 09:52:38 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 09:53:10 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 09:58:05 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-16 09:58:51 +0000bahamas(~lucian@86.120.77.115) (Ping timeout: 252 seconds)
2022-03-16 09:59:35 +0000bahamas(~lucian@86.120.77.115)
2022-03-16 10:01:27 +0000__monty__(~toonn@user/toonn)
2022-03-16 10:03:03 +0000synthmeat(~synthmeat@user/synthmeat) (Quit: WeeChat 3.0)
2022-03-16 10:06:08 +0000econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-03-16 10:07:06 +0000gentauro(~gentauro@user/gentauro) (Ping timeout: 252 seconds)
2022-03-16 10:07:07 +0000ubert1(~Thunderbi@2a02:8109:9880:303c:31df:b3e1:641b:a10f)
2022-03-16 10:13:52 +0000gentauro(~gentauro@user/gentauro)
2022-03-16 10:19:42 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net)
2022-03-16 10:21:13 +0000bliminse(~bliminse@host86-156-84-211.range86-156.btcentralplus.com) (Quit: leaving)
2022-03-16 10:29:40 +0000bliminse(~bliminse@host86-156-84-211.range86-156.btcentralplus.com)
2022-03-16 10:32:40 +0000MasseR4(~MasseR@51.15.143.128) (Quit: The Lounge - https://thelounge.chat)
2022-03-16 10:33:09 +0000MasseR46(~MasseR@51.15.143.128)
2022-03-16 10:36:32 +0000bahamas(~lucian@86.120.77.115) (Ping timeout: 240 seconds)
2022-03-16 10:42:17 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 10:44:38 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-16 10:44:39 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 10:49:31 +0000nexus(~nexus@92-249-185-194.pool.digikabel.hu) (Ping timeout: 245 seconds)
2022-03-16 10:50:04 +0000shriekingnoise(~shrieking@201.231.16.156)
2022-03-16 10:50:31 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 10:51:15 +0000nexus(~nexus@80-95-69-200.pool.digikabel.hu)
2022-03-16 10:54:57 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds)
2022-03-16 11:07:16 +0000razetime(~quassel@117.254.34.2)
2022-03-16 11:11:41 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-16 11:13:49 +0000fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3)
2022-03-16 11:19:10 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 11:22:46 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-16 11:23:32 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-16 11:24:38 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 11:25:17 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-16 11:27:11 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Read error: Connection reset by peer)
2022-03-16 11:27:32 +0000acidjnk(~acidjnk@p200300d0c7049f97891f007ae5e331f4.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2022-03-16 11:33:39 +0000x_kuru_(~xkuru@user/xkuru)
2022-03-16 11:35:26 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2022-03-16 11:37:15 +0000x_kuru(xkuru@user/xkuru) (Ping timeout: 250 seconds)
2022-03-16 11:43:16 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 245 seconds)
2022-03-16 11:45:38 +0000fendor(~fendor@91.141.70.76.wireless.dyn.drei.com) (Remote host closed the connection)
2022-03-16 11:47:02 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-16 11:49:03 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 11:49:58 +0000Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813)
2022-03-16 11:51:32 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 11:52:04 +0000dschrempf(~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3)
2022-03-16 11:54:50 +0000geranim0(~geranim0@modemcable242.171-178-173.mc.videotron.ca)
2022-03-16 11:56:02 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-16 12:01:48 +0000ubert1(~Thunderbi@2a02:8109:9880:303c:31df:b3e1:641b:a10f) (Remote host closed the connection)
2022-03-16 12:02:37 +0000the_proffesor(~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (Remote host closed the connection)
2022-03-16 12:02:54 +0000the_proffesor(~theproffe@2601:282:847f:8010::7f59)
2022-03-16 12:08:38 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-16 12:09:45 +0000synthmeat(~synthmeat@user/synthmeat)
2022-03-16 12:20:25 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 12:20:58 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 12:25:32 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-16 12:25:58 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-16 12:31:45 +0000perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1)
2022-03-16 12:39:29 +0000x_kuru(xkuru@user/xkuru)
2022-03-16 12:43:13 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 12:44:12 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 240 seconds)
2022-03-16 12:45:36 +0000x_kuru_(~xkuru@user/xkuru)
2022-03-16 12:45:52 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 12:46:19 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-03-16 12:49:00 +0000x_kuru(xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 13:01:20 +0000crazazy(~user@130.89.171.62)
2022-03-16 13:02:30 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 13:03:04 +0000Midjak(~Midjak@82.66.147.146)
2022-03-16 13:06:08 +0000x_kuru(xkuru@user/xkuru)
2022-03-16 13:06:28 +0000CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-16 13:09:24 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 13:11:56 +0000lumberjack123(~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds)
2022-03-16 13:15:08 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 13:17:16 +0000Sgeo(~Sgeo@user/sgeo)
2022-03-16 13:17:30 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-03-16 13:23:11 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 13:24:07 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 13:24:32 +0000nexus(~nexus@80-95-69-200.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-16 13:25:42 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 260 seconds)
2022-03-16 13:26:42 +0000nexus(~nexus@92-249-179-83.pool.digikabel.hu)
2022-03-16 13:28:03 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 13:28:35 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 13:31:08 +0000son0p(~ff@181.136.122.143)
2022-03-16 13:32:06 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-16 13:33:55 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 13:39:30 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-16 13:41:43 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 13:43:02 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-16 13:47:15 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 13:48:21 +0000img(~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-16 13:49:17 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3))
2022-03-16 13:49:38 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 13:50:10 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 13:50:51 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 13:53:57 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be)
2022-03-16 13:54:14 +0000dextaa_(~dextaa@user/dextaa)
2022-03-16 13:57:06 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 13:58:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 13:58:43 +0000img(~img@user/img)
2022-03-16 14:00:06 +0000alMalsamo(~alMalsamo@gateway/tor-sasl/almalsamo)
2022-03-16 14:01:18 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:06:36 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 245 seconds)
2022-03-16 14:06:37 +0000aeka(~aeka@2606:6080:1001:12:257a:8b87:f80d:7579) (Ping timeout: 240 seconds)
2022-03-16 14:07:27 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-16 14:09:16 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:14:12 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 14:16:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:18:32 +0000razetime(~quassel@117.254.34.2) (Ping timeout: 240 seconds)
2022-03-16 14:21:48 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 14:23:49 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:25:32 +0000bah(~bah@l1.tel) (Quit: Reconnecting)
2022-03-16 14:25:40 +0000bah(~bah@l1.tel)
2022-03-16 14:26:25 +0000alMalsamolumberjack123
2022-03-16 14:26:33 +0000Guest78(~Guest78@200116b84657210029ba51991cbefa0b.dip.versatel-1u1.de)
2022-03-16 14:30:19 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 14:32:32 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Remote host closed the connection)
2022-03-16 14:32:42 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:33:24 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 14:34:56 +0000phma(phma@2001:5b0:211b:c418:9495:8cbf:af11:60bb) (Read error: Connection reset by peer)
2022-03-16 14:36:06 +0000phma(phma@2001:5b0:210f:7688:30ad:6c5c:35e4:9da)
2022-03-16 14:36:47 +0000jinsun__(~jinsun@user/jinsun)
2022-03-16 14:37:57 +0000yauhsien(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-16 14:39:26 +0000jinsun(~jinsun@user/jinsun) (Ping timeout: 260 seconds)
2022-03-16 14:43:50 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-16 14:44:31 +0000_ht(~quassel@231-169-21-31.ftth.glasoperator.nl)
2022-03-16 14:46:07 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:46:36 +0000Guest78(~Guest78@200116b84657210029ba51991cbefa0b.dip.versatel-1u1.de) (Quit: Client closed)
2022-03-16 14:48:03 +0000xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Quit: xff0x)
2022-03-16 14:48:16 +0000jinsun(~jinsun@user/jinsun)
2022-03-16 14:50:37 +0000jinsun__(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-03-16 14:51:22 +0000razetime(~quassel@117.254.35.116)
2022-03-16 14:53:10 +0000mc47(~mc47@xmonad/TheMC47)
2022-03-16 14:53:44 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 14:55:18 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 14:56:52 +0000cfricke(~cfricke@user/cfricke) (Quit: WeeChat 3.3)
2022-03-16 14:57:57 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 14:58:02 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds)
2022-03-16 15:02:48 +0000aeka(~aeka@user/hiruji)
2022-03-16 15:03:01 +0000aeka(~aeka@user/hiruji) (Remote host closed the connection)
2022-03-16 15:03:18 +0000nunggu(~q@user/nunggu) (Remote host closed the connection)
2022-03-16 15:03:19 +0000aeka(~aeka@user/hiruji)
2022-03-16 15:03:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 15:03:44 +0000nunggu(~q@user/nunggu)
2022-03-16 15:03:46 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 250 seconds)
2022-03-16 15:04:16 +0000zer0bitz(~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-16 15:04:27 +0000shapr`(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-16 15:05:30 +0000unit73e(~ecouto@2001:818:e8dd:7c00:c536:427e:7cd6:2df4)
2022-03-16 15:05:55 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:05:56 +0000shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-16 15:06:01 +0000razetime(~quassel@117.254.35.116) (Ping timeout: 256 seconds)
2022-03-16 15:07:09 +0000Guest|7(~Guest|7@tmo-100-54.customers.d1-online.com)
2022-03-16 15:07:34 +0000 <Guest|7> how do i use poweshell for downloading haskell?
2022-03-16 15:11:14 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 15:11:28 +0000 <geekosaur> see https://www.haskell.org/ghcup/
2022-03-16 15:11:57 +0000 <geekosaur> I suggest copy-paste; the command they show for windows is a bit hairy
2022-03-16 15:13:15 +0000 <maerwald> Guest|7: click on the copy button, open a powershell via start menu, right click into the powershell window
2022-03-16 15:13:53 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:13:57 +0000 <maerwald> here's a video: https://www.youtube.com/watch?v=bB4fmQiUYPw
2022-03-16 15:15:39 +0000xff0x(~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de)
2022-03-16 15:19:37 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 15:20:32 +0000hololeap(~hololeap@user/hololeap) (Excess Flood)
2022-03-16 15:21:32 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-16 15:21:45 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:21:53 +0000hololeap(~hololeap@user/hololeap)
2022-03-16 15:24:35 +0000Vajb(~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer)
2022-03-16 15:25:21 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-16 15:26:14 +0000tungki(~tungki@subs20-114-142-172-16.three.co.id)
2022-03-16 15:27:10 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-16 15:27:13 +0000 <Guest|7> @
2022-03-16 15:27:13 +0000 <Guest|7> maerwald thank you reaaly much
2022-03-16 15:29:08 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:30:58 +0000dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-16 15:31:12 +0000dextaa_(~dextaa@user/dextaa)
2022-03-16 15:32:57 +0000int-e(~noone@int-e.eu) (Remote host closed the connection)
2022-03-16 15:34:21 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 15:35:16 +0000int-e(~noone@int-e.eu)
2022-03-16 15:35:52 +0000lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2022-03-16 15:36:20 +0000lambdabot(~lambdabot@silicon.int-e.eu)
2022-03-16 15:36:20 +0000lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2022-03-16 15:36:20 +0000lambdabot(~lambdabot@haskell/bot/lambdabot)
2022-03-16 15:37:06 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:39:36 +0000pavonia(~user@user/siracusa) (Quit: Bye!)
2022-03-16 15:41:13 +0000razetime(~quassel@117.254.34.2)
2022-03-16 15:42:36 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 15:42:52 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 15:45:16 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 15:45:17 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 15:47:06 +0000nexus(~nexus@92-249-179-83.pool.digikabel.hu) (Ping timeout: 250 seconds)
2022-03-16 15:48:58 +0000nexus(~nexus@87-97-25-224.pool.digikabel.hu)
2022-03-16 15:50:41 +0000bahamas(~lucian@86.120.77.115)
2022-03-16 15:54:28 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-16 15:54:45 +0000pooryori1k(~pooryoric@87-119-174-173.tll.elisa.ee)
2022-03-16 15:55:24 +0000pooryorick(~pooryoric@87-119-174-173.tll.elisa.ee) (Ping timeout: 240 seconds)
2022-03-16 15:56:37 +0000ec(~ec@gateway/tor-sasl/ec)
2022-03-16 15:59:39 +0000dcoutts__(~duncan@host86-144-78-249.range86-144.btcentralplus.com) (Ping timeout: 252 seconds)
2022-03-16 16:02:42 +0000ph88(~ph88@89-220-184-245.cable.dynamic.v4.ziggo.nl)
2022-03-16 16:04:35 +0000Guest|7(~Guest|7@tmo-100-54.customers.d1-online.com) (Ping timeout: 252 seconds)
2022-03-16 16:05:04 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 16:07:52 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-16 16:10:04 +0000tungki(~tungki@subs20-114-142-172-16.three.co.id) (Ping timeout: 256 seconds)
2022-03-16 16:14:21 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-16 16:14:24 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds)
2022-03-16 16:17:23 +0000ccntrq(~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com) (Quit: ccntrq)
2022-03-16 16:20:54 +0000agumonkey(~user@88.163.231.79) (Ping timeout: 250 seconds)
2022-03-16 16:25:53 +0000shapr`shapr
2022-03-16 16:31:15 +0000polyphem_(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17)
2022-03-16 16:32:10 +0000lortabac(~lortabac@2a01:e0a:541:b8f0:6cd7:9cb3:8e61:d67f) (Quit: WeeChat 2.8)
2022-03-16 16:33:02 +0000polyphem(~rod@2a02:810d:840:8754:224e:f6ff:fe5e:bc17) (Ping timeout: 240 seconds)
2022-03-16 16:33:51 +0000DNH(~DNH@2a02:8108:1100:16d8:2015:9361:6306:3ac4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-16 16:35:02 +0000bahamas(~lucian@86.120.77.115) (Ping timeout: 240 seconds)
2022-03-16 16:35:24 +0000CiaoSen(~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-16 16:35:35 +0000marcia(~marcia@2600:6c5e:4c3f:394d:864a:fcf0:558:be67)
2022-03-16 16:36:02 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 16:37:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 16:41:27 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 16:44:00 +0000tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-03-16 16:44:23 +0000mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-16 16:44:31 +0000zebrag(~chris@user/zebrag)
2022-03-16 16:50:17 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 240 seconds)
2022-03-16 16:51:41 +0000DNH(~DNH@2a02:8108:1100:16d8:2015:9361:6306:3ac4)
2022-03-16 16:54:28 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 16:54:33 +0000Ash[m](~signal-wa@2001:470:69fc:105::1:2318) ()
2022-03-16 16:54:42 +0000joo-__(~joo-_@fsf/member/joo--) (Quit: Lost terminal)
2022-03-16 16:54:45 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 16:59:41 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 17:09:31 +0000SignalGarden(~ash@user/SignalWalker) (Ping timeout: 245 seconds)
2022-03-16 17:10:18 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 17:10:32 +0000jakalx(~jakalx@base.jakalx.net) ()
2022-03-16 17:11:44 +0000marcia(~marcia@2600:6c5e:4c3f:394d:864a:fcf0:558:be67) (Read error: Connection reset by peer)
2022-03-16 17:12:12 +0000dextaa_(~dextaa@user/dextaa) (Remote host closed the connection)
2022-03-16 17:12:41 +0000yauhsien(~Yau-Hsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 17:12:54 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 17:15:01 +0000SignalGarden(~ash@user/SignalWalker) (Ping timeout: 240 seconds)
2022-03-16 17:18:37 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 17:19:09 +0000jakalx(~jakalx@base.jakalx.net)
2022-03-16 17:20:52 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 17:21:12 +0000agumonkey(~user@88.163.231.79)
2022-03-16 17:23:21 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 17:25:12 +0000mncheck(~mncheck@193.224.205.254) (Ping timeout: 268 seconds)
2022-03-16 17:25:35 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 17:26:12 +0000razetime(~quassel@117.254.34.2) (Ping timeout: 240 seconds)
2022-03-16 17:26:53 +0000econo(uid147250@user/econo)
2022-03-16 17:27:13 +0000tungki(~tungki@subs30-116-206-14-34.three.co.id)
2022-03-16 17:30:21 +0000ski(~ski@remote12.chalmers.se) (Remote host closed the connection)
2022-03-16 17:30:32 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-16 17:31:19 +0000Everything(~Everythin@37.115.210.35)
2022-03-16 17:32:48 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 17:34:27 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 268 seconds)
2022-03-16 17:34:34 +0000Unicorn_Princess(~Unicorn_P@46-54-248-191.static.kate-wing.si)
2022-03-16 17:36:47 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 17:40:45 +0000mbuf(~Shakthi@110.225.253.73) (Quit: Leaving)
2022-03-16 17:40:58 +0000crazazy(~user@130.89.171.62) (Ping timeout: 260 seconds)
2022-03-16 17:42:02 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 17:53:12 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-16 17:54:03 +0000Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2022-03-16 17:54:23 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 17:54:59 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 17:55:13 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 17:56:52 +0000MajorBiscuit(~MajorBisc@c-001-026-027.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4)
2022-03-16 17:57:54 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds)
2022-03-16 17:58:33 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer)
2022-03-16 17:58:50 +0000SignalGarden(~ash@user/SignalWalker) (Ping timeout: 250 seconds)
2022-03-16 18:00:43 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 18:01:08 +0000tungki(~tungki@subs30-116-206-14-34.three.co.id) (Ping timeout: 256 seconds)
2022-03-16 18:01:26 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-16 18:01:32 +0000unyu(~pyon@user/pyon) (Ping timeout: 240 seconds)
2022-03-16 18:01:41 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds)
2022-03-16 18:03:25 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 18:03:35 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 18:08:32 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-16 18:08:37 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 18:10:00 +0000notzmv(~zmv@user/notzmv) (Ping timeout: 252 seconds)
2022-03-16 18:10:42 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 18:10:57 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 18:11:19 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 256 seconds)
2022-03-16 18:12:26 +0000SignalGarden(~ash@user/SignalWalker) (Read error: Connection reset by peer)
2022-03-16 18:12:52 +0000Akiva(~Akiva@user/Akiva)
2022-03-16 18:13:33 +0000jao(~jao@45.134.142.225)
2022-03-16 18:13:39 +0000ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection)
2022-03-16 18:13:48 +0000ix(~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe)
2022-03-16 18:16:50 +0000dcoutts__(~duncan@host86-167-206-34.range86-167.btcentralplus.com)
2022-03-16 18:17:11 +0000zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8)
2022-03-16 18:17:31 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 18:19:17 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 18:20:10 +0000joo-_(~joo-_@fsf/member/joo--) (Ping timeout: 256 seconds)
2022-03-16 18:21:55 +0000joo-_(~joo-_@87-49-44-159-mobile.dk.customer.tdc.net)
2022-03-16 18:21:55 +0000joo-_(~joo-_@87-49-44-159-mobile.dk.customer.tdc.net) (Changing host)
2022-03-16 18:21:55 +0000joo-_(~joo-_@fsf/member/joo--)
2022-03-16 18:22:04 +0000chele(~chele@user/chele) (Remote host closed the connection)
2022-03-16 18:25:10 +0000dyeplexer(~dyeplexer@user/dyeplexer) (Remote host closed the connection)
2022-03-16 18:26:23 +0000unyu(~pyon@user/pyon)
2022-03-16 18:30:16 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-16 18:30:16 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-16 18:30:16 +0000wroathe(~wroathe@user/wroathe)
2022-03-16 18:30:35 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 256 seconds)
2022-03-16 18:31:46 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 18:33:45 +0000hyiltiz(~quassel@31.220.5.250) (Ping timeout: 256 seconds)
2022-03-16 18:35:47 +0000crazazy(~user@130.89.171.62)
2022-03-16 18:35:57 +0000Akiva(~Akiva@user/Akiva) (Ping timeout: 240 seconds)
2022-03-16 18:36:24 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 252 seconds)
2022-03-16 18:36:32 +0000hyiltiz(~quassel@31.220.5.250)
2022-03-16 18:40:21 +0000jinsun__(~jinsun@user/jinsun)
2022-03-16 18:44:32 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds)
2022-03-16 18:44:32 +0000jinsun(~jinsun@user/jinsun) (Ping timeout: 240 seconds)
2022-03-16 18:44:56 +0000mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 245 seconds)
2022-03-16 18:46:43 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 18:46:49 +0000justAstache(~justache@user/justache) (Remote host closed the connection)
2022-03-16 18:46:55 +0000mikoto-chan(~mikoto-ch@213.177.151.239)
2022-03-16 18:47:48 +0000justAstache(~justache@user/justache)
2022-03-16 18:47:57 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 18:48:26 +0000kuribas(~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection)
2022-03-16 18:51:49 +0000nexus(~nexus@87-97-25-224.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-16 18:53:51 +0000nexus(~nexus@87-97-13-18.pool.digikabel.hu)
2022-03-16 18:58:20 +0000Guest|7(~Guest|7@tmo-100-62.customers.d1-online.com)
2022-03-16 18:58:52 +0000 <Guest|7> how can i transform prelude> to ghci> ?
2022-03-16 18:59:27 +0000Guest|7(~Guest|7@tmo-100-62.customers.d1-online.com) (Client Quit)
2022-03-16 18:59:41 +0000Guest|7(~Guest|7@tmo-100-62.customers.d1-online.com)
2022-03-16 18:59:49 +0000 <Guest|7> how can i ransform prelude> to ghci> ?
2022-03-16 18:59:54 +0000 <geekosaur> :set prompt ghci
2022-03-16 19:00:04 +0000Codaraxis(~Codaraxis@user/codaraxis)
2022-03-16 19:00:35 +0000Codaraxis_(~Codaraxis@user/codaraxis)
2022-03-16 19:01:10 +0000 <geekosaur> you can also put that in ~/.ghci (linux) or C:/Documents and Settings/user/Application Data/ghc/ghci.conf (windows)
2022-03-16 19:01:13 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 19:01:47 +0000 <Guest|7> thank you
2022-03-16 19:04:26 +0000Codaraxis(~Codaraxis@user/codaraxis) (Ping timeout: 252 seconds)
2022-03-16 19:04:35 +0000goner(~tw@user/goner)
2022-03-16 19:04:57 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 19:06:38 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 19:09:11 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 19:10:30 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 252 seconds)
2022-03-16 19:13:53 +0000fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr)
2022-03-16 19:14:14 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds)
2022-03-16 19:15:17 +0000goner(~tw@user/goner) (Quit: WeeChat 3.4.1)
2022-03-16 19:16:04 +0000mon_aaraj(~MonAaraj@user/mon-aaraj/x-4416475)
2022-03-16 19:17:16 +0000deadmarshal_(~deadmarsh@95.38.115.168) (Ping timeout: 250 seconds)
2022-03-16 19:18:37 +0000SignalGarden(~ash@user/SignalWalker) (Ping timeout: 240 seconds)
2022-03-16 19:18:45 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 256 seconds)
2022-03-16 19:18:54 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 19:19:38 +0000jgeerds(~jgeerds@55d4548e.access.ecotel.net)
2022-03-16 19:20:35 +0000Pickchea(~private@user/pickchea)
2022-03-16 19:22:44 +0000Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Remote host closed the connection)
2022-03-16 19:23:17 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 256 seconds)
2022-03-16 19:23:21 +0000Cale(~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com)
2022-03-16 19:25:14 +0000Guest|7(~Guest|7@tmo-100-62.customers.d1-online.com) (Quit: Connection closed)
2022-03-16 19:25:40 +0000k8yun(~k8yun@user/k8yun)
2022-03-16 19:27:16 +0000 <Zemyla> Okay, so Context is an indexed Comonad, but it's also an indexed Monad in the opposite direction.
2022-03-16 19:27:26 +0000 <Zemyla> :t \(Context f (Context g a)) -> Context (f . g) a
2022-03-16 19:27:27 +0000 <lambdabot> Context (Context a b1 b2) b2 t -> Context a b1 t
2022-03-16 19:27:34 +0000 <Zemyla> :t Context id
2022-03-16 19:27:35 +0000 <lambdabot> a -> Context a t t
2022-03-16 19:30:47 +0000fef(~thedawn@user/thedawn)
2022-03-16 19:32:16 +0000wroathe(~wroathe@user/wroathe) (Quit: Lost terminal)
2022-03-16 19:33:15 +0000ProfSimm(~ProfSimm@87.227.196.109)
2022-03-16 19:33:15 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2022-03-16 19:33:33 +0000eriol(~eriol@user/eriol) (If you know neither the enemy nor yourself, you will succumb in every battle.)
2022-03-16 19:33:49 +0000mixfix41(~sdenyninn@user/mixfix41) (Ping timeout: 256 seconds)
2022-03-16 19:37:30 +0000 <dminuoso> maerwald: By the way https://www.openssl.org/news/secadv/20220315.txt
2022-03-16 19:37:35 +0000 <dminuoso> OpenSSL strikes again.
2022-03-16 19:38:34 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4.1)
2022-03-16 19:39:00 +0000yuvii(~yuvrajnay@129-2-181-237.wireless.umd.edu)
2022-03-16 19:39:15 +0000yuvii(~yuvrajnay@129-2-181-237.wireless.umd.edu) (Client Quit)
2022-03-16 19:39:57 +0000tomsmedingupgrades my machines
2022-03-16 19:40:45 +0000mmhat(~mmh@55d4baf8.access.ecotel.net) (Ping timeout: 252 seconds)
2022-03-16 19:41:20 +0000yuvi(~yuvrajnay@129-2-181-237.wireless.umd.edu)
2022-03-16 19:41:45 +0000yuvi(~yuvrajnay@129-2-181-237.wireless.umd.edu) (Client Quit)
2022-03-16 19:42:04 +0000zincy_(~zincy@2a00:23c8:970c:4801:6945:2980:3f53:dff8) (Remote host closed the connection)
2022-03-16 19:45:04 +0000zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com)
2022-03-16 19:45:10 +0000zincy_(~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection)
2022-03-16 19:47:59 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 256 seconds)
2022-03-16 19:48:16 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2022-03-16 19:49:27 +0000 <Zemyla> :t let { mjoin :: Magma () i j (Magma u j k a) -> Magma u i k a; mjoin (Magma _ a) = a; mjoin (MagmaPure t) = MagmaPure t; mjoin (MagmaFmap f m) = MagmaFmap f (mjoin m); mjoin (MagmaAp mf ma) = MagmaAp (mjoin mf) (mjoin ma) } in mjoin
2022-03-16 19:49:28 +0000 <lambdabot> Magma () i j (Magma u j k a) -> Magma u i k a
2022-03-16 19:50:22 +0000x_kuru_(~xkuru@user/xkuru)
2022-03-16 19:52:18 +0000bahamas(~lucian@84.232.140.158)
2022-03-16 19:53:41 +0000 <maerwald[m]> dminuoso: looks just like DoS?
2022-03-16 19:53:53 +0000x_kuru(xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 19:54:24 +0000 <dminuoso> maerwald[m]: Yeah.
2022-03-16 19:54:30 +0000Midjak(~Midjak@82.66.147.146) (Quit: Leaving)
2022-03-16 19:54:30 +0000mmhat(~mmh@55d4baf8.access.ecotel.net)
2022-03-16 19:55:16 +0000 <dminuoso> stunnel users are particularly affected I guess
2022-03-16 19:55:42 +0000 <dminuoso> Im not quite sure how often an attacker has easy control over presented certificates
2022-03-16 19:55:47 +0000 <dminuoso> Other than stunnel
2022-03-16 19:56:25 +0000 <dminuoso> Prometheus users I guess if they properly secure their exporters. :)
2022-03-16 19:56:56 +0000jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds)
2022-03-16 19:58:20 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 19:58:51 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 19:59:44 +0000jpds(~jpds@gateway/tor-sasl/jpds)
2022-03-16 20:01:22 +0000Guest|15(~Guest|15@24.225.237.73)
2022-03-16 20:01:53 +0000Guest|15(~Guest|15@24.225.237.73) (Client Quit)
2022-03-16 20:01:56 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds)
2022-03-16 20:02:01 +0000Lord_of_Life_(~Lord@user/lord-of-life/x-2819915)
2022-03-16 20:03:18 +0000Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds)
2022-03-16 20:03:38 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 250 seconds)
2022-03-16 20:04:48 +0000Lord_of_Life_Lord_of_Life
2022-03-16 20:05:09 +0000bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-03-16 20:05:13 +0000wootehfoot(~wootehfoo@user/wootehfoot)
2022-03-16 20:05:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 20:05:50 +0000CiaoSen(~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de)
2022-03-16 20:06:30 +0000Pickchea(~private@user/pickchea) (Quit: Leaving)
2022-03-16 20:06:49 +0000timCF(~timCF@m91-129-108-222.cust.tele2.ee)
2022-03-16 20:08:57 +0000 <timCF> Hello! Is there any way to find the module where orphan instance is implemented? I do have a problem with incorrect `instance PersistFieldSql Integer` which is coming from *some* dependency. There is no such instance in Persistent itself, and I want to find incorect instance and fix it.
2022-03-16 20:10:17 +0000 <monochrom> The :info command can tell you which module defines an instance.
2022-03-16 20:10:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 20:10:57 +0000 <timCF> monochrom: in ghci?
2022-03-16 20:10:58 +0000 <monochrom> This of course predicates on a successful buiid/load, so you may have to comment out one conflicting instance temporarily.
2022-03-16 20:11:01 +0000 <monochrom> Yeah.
2022-03-16 20:11:02 +0000 <geekosaur> otherwise I could imagine a script which went through dependencies' archives looking for the definition of the instance dictionary, but it'd be pretty gnarly
2022-03-16 20:11:20 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 20:11:51 +0000 <monochrom> You can either ":info TheClass" or ":info TheType". Do expect lengthy outputs that you have to fish through.
2022-03-16 20:12:54 +0000 <timCF> monochrom: geekosaur: thanks a lot, I'll try it! I think you just saved me a day or two
2022-03-16 20:14:23 +0000 <geekosaur> monochrom's is much easier, and I'd have to look up how you convert a class+instance to a z-encoded instance dictionary symbol
2022-03-16 20:14:32 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-16 20:15:06 +0000jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-03-16 20:15:16 +0000fef(~thedawn@user/thedawn) (Ping timeout: 240 seconds)
2022-03-16 20:15:22 +0000jakalx(~jakalx@base.jakalx.net)
2022-03-16 20:15:35 +0000Midjak(~Midjak@82.66.147.146)
2022-03-16 20:15:45 +0000jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2022-03-16 20:16:27 +0000Pacoco(Pacoco@191.176.33.103)
2022-03-16 20:16:30 +0000bahamas(~lucian@84.232.140.158) (Ping timeout: 252 seconds)
2022-03-16 20:16:37 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 20:18:28 +0000notzmv(~zmv@user/notzmv)
2022-03-16 20:19:16 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 20:20:58 +0000son0p(~ff@181.136.122.143) (Ping timeout: 250 seconds)
2022-03-16 20:23:00 +0000kenran(~kenran@200116b82b1f7700d4eceb26990aed28.dip.versatel-1u1.de)
2022-03-16 20:24:32 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 240 seconds)
2022-03-16 20:27:14 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 20:27:42 +0000pavonia(~user@user/siracusa)
2022-03-16 20:28:02 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-16 20:30:36 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de) (Ping timeout: 240 seconds)
2022-03-16 20:32:27 +0000alx741(~alx741@host-181-198-243-130.netlife.ec) (Ping timeout: 252 seconds)
2022-03-16 20:33:23 +0000SignalGarden(~ash@user/SignalWalker)
2022-03-16 20:36:40 +0000gehmehgeh(~user@user/gehmehgeh)
2022-03-16 20:38:04 +0000ralu(~ralu@static.211.245.203.116.clients.your-server.de)
2022-03-16 20:39:49 +0000xkuru(xkuru@user/xkuru)
2022-03-16 20:40:06 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-16 20:41:39 +0000x_kuru(~xkuru@user/xkuru)
2022-03-16 20:43:24 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 20:44:47 +0000acidjnk(~acidjnk@p200300d0c7049f97891f007ae5e331f4.dip0.t-ipconnect.de)
2022-03-16 20:45:24 +0000xkuru(xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 20:45:35 +0000alx741(~alx741@host-181-198-243-130.netlife.ec)
2022-03-16 20:48:22 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-16 20:48:38 +0000Pacoco(Pacoco@191.176.33.103) ()
2022-03-16 20:52:20 +0000ircbrowse_tom(~ircbrowse@2a01:4f8:1c1c:9319::1)
2022-03-16 20:52:22 +0000Server+Cnt
2022-03-16 20:52:47 +0000tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in)
2022-03-16 20:53:26 +0000tomsmeding(~tomsmedin@2a01:4f8:c0c:5e5e::2)
2022-03-16 20:55:05 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds)
2022-03-16 21:01:46 +0000coot(~coot@213.134.190.95) (Quit: coot)
2022-03-16 21:03:04 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com)
2022-03-16 21:03:11 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 21:03:40 +0000rekahsoft(~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com)
2022-03-16 21:04:20 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-16 21:06:09 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-16 21:07:01 +0000machinedgod(~machinedg@24.105.81.50) (Ping timeout: 240 seconds)
2022-03-16 21:08:24 +0000_ht(~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection)
2022-03-16 21:11:29 +0000unit73e(~ecouto@2001:818:e8dd:7c00:c536:427e:7cd6:2df4) (Ping timeout: 252 seconds)
2022-03-16 21:13:35 +0000k8yun(~k8yun@user/k8yun) (Quit: Leaving)
2022-03-16 21:19:47 +0000x_kuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 21:20:32 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net)
2022-03-16 21:21:18 +0000 <dsal> Does anyone know generics well? It seems a little steep to get started with. I basically want to be able to extract named fields from a records. My long goal is to copy from one record type to another with a few patterns in how fields are named, field types are converted, etc...
2022-03-16 21:22:28 +0000 <hololeap> does anyone have ideas how this could happen? Module ‘Build_doctests’ does not export ‘pkgs’ -- does cabal-doctest not always have the same functions available?
2022-03-16 21:25:02 +0000yauhsien_(~yauhsien@61-231-56-96.dynamic-ip.hinet.net) (Ping timeout: 240 seconds)
2022-03-16 21:26:16 +0000pooryori1kpooryorick
2022-03-16 21:26:29 +0000 <hololeap> dsal: this does a good job of explaining it: https://markkarpov.com/tutorial/generics.html
2022-03-16 21:27:21 +0000 <hololeap> it also helps to look at the Rep of various types in ghci
2022-03-16 21:27:48 +0000 <dsal> Oh. I think the second part is the thing that was most confusing for me. :)
2022-03-16 21:29:03 +0000pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-16 21:30:06 +0000 <dsal> These aren't pretty to look at, but at least I can look at them now. Thanks.
2022-03-16 21:30:57 +0000lavaman(~lavaman@98.38.249.169)
2022-03-16 21:31:03 +0000 <hololeap> % import GHC.Generics qualified as G
2022-03-16 21:31:03 +0000 <yahb> hololeap:
2022-03-16 21:31:20 +0000 <hololeap> % G.from ((1,2) :: (Int,Int))
2022-03-16 21:31:20 +0000 <yahb> hololeap: M1 {unM1 = M1 {unM1 = M1 {unM1 = K1 {unK1 = 1}} :*: M1 {unM1 = K1 {unK1 = 2}}}}
2022-03-16 21:31:24 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-03-16 21:31:44 +0000 <hololeap> yeah, not pretty but that along with the tutorial should help you build up an intuition
2022-03-16 21:32:14 +0000 <hololeap> it's been too long since I last used generics for me to directly answer your question :)
2022-03-16 21:32:16 +0000_xor(~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer)
2022-03-16 21:33:54 +0000 <dsal> That's fine. I'll get somewhere...
2022-03-16 21:34:21 +0000boborygmy_(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net)
2022-03-16 21:34:27 +0000 <dsal> The weird thing is that it doesn't seem to structurally match what I'd expect. It's some kind of tree.
2022-03-16 21:35:06 +0000 <hololeap> % data Foo = Foo Int Int
2022-03-16 21:35:06 +0000 <yahb> hololeap:
2022-03-16 21:35:13 +0000 <hololeap> % G.from (Foo 1 2)
2022-03-16 21:35:13 +0000 <yahb> hololeap: ; <interactive>:91:1: error:; * No instance for (G.Generic Foo) arising from a use of `G.from'; * In the expression: G.from (Foo 1 2); In an equation for `it': it = G.from (Foo 1 2)
2022-03-16 21:35:46 +0000 <hololeap> % deriving instance G.Generic Foo
2022-03-16 21:35:46 +0000 <yahb> hololeap:
2022-03-16 21:35:49 +0000 <hololeap> % G.from (Foo 1 2)
2022-03-16 21:35:49 +0000 <yahb> hololeap: M1 {unM1 = M1 {unM1 = M1 {unM1 = K1 {unK1 = 1}} :*: M1 {unM1 = K1 {unK1 = 2}}}}
2022-03-16 21:36:14 +0000 <hololeap> see, the Reps of (1,2) and (Foo 1 2) are structurally the same
2022-03-16 21:36:48 +0000boborygmy(~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds)
2022-03-16 21:37:43 +0000xkuru(~xkuru@user/xkuru)
2022-03-16 21:37:57 +0000_xor(~xor@dsl-50-5-233-169.fuse.net)
2022-03-16 21:38:52 +0000 <tomsmeding> dsal: re "some kind of tree": (Int,Int,Int,Int) would be represented as a binary tree with four leafs
2022-03-16 21:39:01 +0000 <tomsmeding> leaves?
2022-03-16 21:39:04 +0000deadmarshal_(~deadmarsh@95.38.113.198)
2022-03-16 21:39:11 +0000 <geekosaur> the latter
2022-03-16 21:39:11 +0000x_kuru(~xkuru@user/xkuru)
2022-03-16 21:39:21 +0000 <hololeap> levis
2022-03-16 21:39:30 +0000 <tomsmeding> blad.
2022-03-16 21:39:35 +0000 <geekosaur> (don'task me, I just speak it)
2022-03-16 21:39:50 +0000 <monochrom> Every autumn, leaves leave their trees. >:)
2022-03-16 21:41:10 +0000 <maerwald> what are binary trees? xD
2022-03-16 21:41:27 +0000 <tomsmeding> trees in which all internal nodes have exactly two children
2022-03-16 21:41:38 +0000 <tomsmeding> (inb4 what is an internal node)
2022-03-16 21:42:29 +0000 <dsal> tomsmeding: it's just a bit unexpected. I don't make a record thinking of a tree, but generics sees it that way. Better than inventing something new for another product type.
2022-03-16 21:42:35 +0000wyrd(~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds)
2022-03-16 21:42:41 +0000xkuru(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 21:42:47 +0000x_kuru_(~xkuru@user/xkuru)
2022-03-16 21:43:32 +0000x_kuru(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 21:43:40 +0000 <tomsmeding> dsal: I agree, I guess it would have been nicer if it was some GADT indexed by a type-level list containing the fields or something
2022-03-16 21:43:49 +0000deadmarshal_(~deadmarsh@95.38.113.198) (Ping timeout: 256 seconds)
2022-03-16 21:44:36 +0000machinedgod(~machinedg@24.105.81.50)
2022-03-16 21:44:54 +0000 <monochrom> dsal: I wonder if my personal study notes help. I've uploaded them at https://www.vex.net/~trebla/tmp/generics-ghc/ . Start with 00-readme.md, then maybe explore what else I've got. I didn't complete it though, after a while I switched to learning something else.
2022-03-16 21:44:58 +0000 <tomsmeding> dsal: generics-sop also exists, never worked with it but read about it a little
2022-03-16 21:45:05 +0000xkuru(~xkuru@user/xkuru)
2022-03-16 21:45:29 +0000 <dsal> I saw another that was eot
2022-03-16 21:46:09 +0000 <dsal> monochrom: thanks. I've got a ton of boilerplate I'd like to boil off
2022-03-16 21:47:52 +0000wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-03-16 21:48:37 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 21:49:42 +0000wyrd(~wyrd@gateway/tor-sasl/wyrd)
2022-03-16 21:50:37 +0000ski(~ski@remote12.chalmers.se)
2022-03-16 21:50:57 +0000mikoto-chan(~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds)
2022-03-16 21:51:06 +0000tromp(~textual@dhcp-077-249-230-040.chello.nl)
2022-03-16 21:53:04 +0000 <dpratt> a friend of mine is attempting to compile a small bit of Haskell code I gave him on a Raspberry Pi (v3) and is encountering the following error: "selected processor does not support 'movwgt r3,#5' in ARM mode"; does anyone have a clue as to why this error might occur or even better, how to resolve it?
2022-03-16 21:54:01 +0000 <dpratt> fyi, the code uses the "numbers" package and that seems to be the ultimate source of the error
2022-03-16 21:54:37 +0000 <maerwald> dpratt: it could be that some primops don't work there
2022-03-16 21:54:41 +0000 <maerwald> which isn't that uncommon
2022-03-16 21:54:49 +0000DNH(~DNH@2a02:8108:1100:16d8:2015:9361:6306:3ac4) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2022-03-16 21:56:10 +0000 <maerwald> but I don't see any
2022-03-16 21:58:06 +0000 <sm> dpratt: sounds like a good question for #ghc:libera.chat too
2022-03-16 21:59:31 +0000 <dpratt> maerwald: this appears to be the source code for that package https://github.com/jwiegley/numbers and though I don't really know what I'm looking for, I don't see anything "weird" going on -- I guess that's what you meant by "but I don't see any"?
2022-03-16 21:59:36 +0000 <dpratt> thanks sm
2022-03-16 22:00:34 +0000 <geekosaur> this sounds like either it chose the wrong sub-architecture or the RPi has asymmetric cores for some reason. I'd sooner believe the former
2022-03-16 22:01:11 +0000 <tomsmeding> I would be very surprised if a processor in a consumer-facing programmable product has cores with differing supported instruction sets
2022-03-16 22:02:14 +0000 <hpc> counter-argument, i am frequently very surprised
2022-03-16 22:02:52 +0000 <hpc> nothing says something is possible like it being possible, so maybe just double-check that too
2022-03-16 22:04:26 +0000pretty_dumm_guy(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2022-03-16 22:06:02 +0000pretty_d1(trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds)
2022-03-16 22:08:12 +0000Guest86(~Guest86@207.248.198.65)
2022-03-16 22:13:47 +0000 <geekosaur> 4xCortex-P53 so that's not it. looks like it supports both armv7 and armv8-a (aarch64)
2022-03-16 22:15:17 +0000jao(~jao@45.134.142.225) (Ping timeout: 240 seconds)
2022-03-16 22:15:18 +0000lavaman(~lavaman@98.38.249.169) (Ping timeout: 252 seconds)
2022-03-16 22:15:48 +0000 <hololeap> is there any way to view auto-generated modules? I can't figure out why cabal-doctest isn't exporting Build_doctests (pkgs)
2022-03-16 22:16:02 +0000nexus(~nexus@87-97-13-18.pool.digikabel.hu) (Ping timeout: 240 seconds)
2022-03-16 22:17:32 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-16 22:18:01 +0000nexus(~nexus@fibhost-66-208-135.fibernet.hu)
2022-03-16 22:18:43 +0000michalz(~michalz@185.246.204.55) (Remote host closed the connection)
2022-03-16 22:18:47 +0000 <dminuoso> dsal: Did you read the haddock documentation on generics? I found it to be quite well to read
2022-03-16 22:19:06 +0000 <dminuoso> It explains the shape of generics and the meaning of all those constructors
2022-03-16 22:19:36 +0000 <tomsmeding> geekosaur: are you sure about -P53, not -A53?
2022-03-16 22:19:45 +0000 <hololeap> nvm, I found it inside dist-newstyle/
2022-03-16 22:20:07 +0000 <geekosaur> no, I'm not, actually. a53 probably right
2022-03-16 22:20:22 +0000InstX1Inst
2022-03-16 22:20:24 +0000 <geekosaur> (I can guess where "p53" came from though)
2022-03-16 22:20:49 +0000 <geekosaur> a53 it is from my browser history. sorry
2022-03-16 22:21:25 +0000 <dsal> dminuoso: Somewhat. There's no particularly confusing thing. It's just a bit too… generic, making the curve a bit steeper than they could be for other things.
2022-03-16 22:21:42 +0000gehmehgeh(~user@user/gehmehgeh) (Quit: Leaving)
2022-03-16 22:21:56 +0000 <dsal> Part of what makes it not "easy" is that records are kind of weird.
2022-03-16 22:23:14 +0000 <dminuoso> What part of it do you find weird?
2022-03-16 22:23:39 +0000 <[exa]> dsal: if you didn't read the SYB paper, I guess it's best to start there to gain some intuition
2022-03-16 22:24:28 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl)
2022-03-16 22:26:27 +0000 <dsal> [exa]: I thought that was more about plated stuff. I haven't looked in a while.
2022-03-16 22:26:48 +0000fockerized(~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 3.3)
2022-03-16 22:27:32 +0000 <dminuoso> dsal: If you, superficially, view ADTs as just `Int + (Char * String)`, you might recognize that this is representable as an ADT tree. Generics gives you exactly that representation
2022-03-16 22:27:46 +0000 <dsal> dminuoso: Mainly that it's a just a rather normal product type and not some kind of magic map of named fields.
2022-03-16 22:28:01 +0000 <dsal> Yeah, it's not exactly confusing, it's just not what I expected.
2022-03-16 22:28:59 +0000shailangsa(~shailangs@host165-120-169-51.range165-120.btcentralplus.com) ()
2022-03-16 22:31:42 +0000 <monochrom> My xkcd reference helps accepting "to unify all ADTs, let's define a few more ADTs to stand for all of the rest..." :)
2022-03-16 22:32:18 +0000takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-03-16 22:32:36 +0000 <dminuoso> dsal: I guess its just a natural consequence of representing the entire information at the type level
2022-03-16 22:32:57 +0000 <monochrom> But eventually it gets information overload because you also start using type-level strings to carry field names, for example.
2022-03-16 22:32:59 +0000 <tomsmeding> monochrom: not sure that's doing generics justice ;)
2022-03-16 22:34:00 +0000SignalGarden(~ash@user/SignalWalker) (Ping timeout: 250 seconds)
2022-03-16 22:34:06 +0000 <dminuoso> dsal: By the way, viewing them as just sums and products is really neat in another way. You can then do things like true sums of products on deeply nested data types.
2022-03-16 22:34:15 +0000 <dminuoso> In a very simple fashion
2022-03-16 22:34:33 +0000 <monochrom> Every field can have: field name, strictness, {-# UNPACK-#}, type. So whatever you do to stand for a field, it's got 4 parameters.
2022-03-16 22:36:18 +0000x_kuru(xkuru@user/xkuru)
2022-03-16 22:36:23 +0000 <dminuoso> dsal: Come to think of it... how would a "magic map of named fields" help really? How would that model sum types? Or a sum of products?
2022-03-16 22:37:12 +0000x_kuru_(xkuru@user/xkuru)
2022-03-16 22:38:25 +0000 <geekosaur> doesn't work if you access it "flat", anyway
2022-03-16 22:39:01 +0000 <monochrom> Dictionary from field position/name to field value can represent a product. DMap can do it in this context. But GHC.Generics was probably done long before DMap came about.
2022-03-16 22:39:42 +0000Guest86(~Guest86@207.248.198.65) (Quit: Client closed)
2022-03-16 22:39:54 +0000 <tomsmeding> though the dictionary form doesn't preserve order
2022-03-16 22:40:03 +0000xkuru(~xkuru@user/xkuru) (Ping timeout: 252 seconds)
2022-03-16 22:40:19 +0000 <dminuoso> At some point you have to encode that tree shape somewhere. :)
2022-03-16 22:40:20 +0000 <monochrom> (forall r. (Dictionary -> r) -> r) can do sums. But by this point you have lost your appetite. >:)
2022-03-16 22:40:32 +0000x_kuru(xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 22:40:42 +0000 <geekosaur> right, that's my point. you can still access a "record" as Constructor fld1 fld2 ...
2022-03-16 22:41:05 +0000 <tomsmeding> dminuoso: for 'Foo Int Char String Bool' there's no natural way to make that a tree, is I think the point -- it can be right-leaning, left-leaning, balanced
2022-03-16 22:41:07 +0000xkuru(xkuru@user/xkuru)
2022-03-16 22:41:24 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-16 22:41:31 +0000 <dminuoso> tomsmeding: What is 'Foo Int Char String Bool' supposed to denote?
2022-03-16 22:41:32 +0000x_kuru_(xkuru@user/xkuru) (Ping timeout: 240 seconds)
2022-03-16 22:42:00 +0000 <tomsmeding> dminuoso: data Foo = Foo Int Char String Bool
2022-03-16 22:42:04 +0000 <tomsmeding> ooh that aligns
2022-03-16 22:42:25 +0000 <tomsmeding> is that (((Int, Char), String), Bool), or (Int, (Char, (String, Bool))), or something else?
2022-03-16 22:42:46 +0000 <dminuoso> Im not quite sure what it is that you're trying to say
2022-03-16 22:42:57 +0000x_kuru(~xkuru@user/xkuru)
2022-03-16 22:43:23 +0000 <geekosaur> % data Foo = Foo Int Char String Bool deriving G.Generic
2022-03-16 22:43:23 +0000 <yahb> geekosaur:
2022-03-16 22:43:33 +0000jao(~jao@45.134.142.212)
2022-03-16 22:43:38 +0000 <tomsmeding> apparently, if I'm reading ghci's output right, GHC makes that (S1 Int :*: S1 Char) :*: (S1 String :*: S1 Bool), abbreviating the Rep data types somewhat
2022-03-16 22:43:47 +0000 <geekosaur> % G.from (Foo 1 'c' "s" False)
2022-03-16 22:43:47 +0000 <yahb> geekosaur: M1 {unM1 = M1 {unM1 = (M1 {unM1 = K1 {unK1 = 1}} :*: M1 {unM1 = K1 {unK1 = 'c'}}) :*: (M1 {unM1 = K1 {unK1 = "s"}} :*: M1 {unM1 = K1 {unK1 = False}})}}
2022-03-16 22:43:53 +0000 <dminuoso> Yes, generics will balance that tree if memory serves right
2022-03-16 22:44:03 +0000 <dminuoso> More or less.
2022-03-16 22:44:08 +0000x_kuru_(~xkuru@user/xkuru)
2022-03-16 22:44:10 +0000 <tomsmeding> dminuoso: right, but the choice to balance is not at all apparent from the definition of Foo
2022-03-16 22:44:23 +0000 <dminuoso> tomsmeding: sure, but thats not really relevant
2022-03-16 22:44:28 +0000 <dminuoso> all these are isomorphic to one another
2022-03-16 22:44:37 +0000 <monochrom> The docs promise "don't count on the balancing you happen to receive".
2022-03-16 22:44:42 +0000 <dminuoso> The choice to balance is just to reduce complexity from linear to logarithmic to get to a particular field
2022-03-16 22:44:55 +0000 <dminuoso> But the representation is still completely isomorphic
2022-03-16 22:44:56 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer)
2022-03-16 22:44:56 +0000 <tomsmeding> true, to some extent; I'm just contesting the point that there is a tree structure somewhere -- there is, but the natural tree structure is not necessarily a _binary_ tree
2022-03-16 22:45:04 +0000 <tomsmeding> though you can represent it with a binary tree very well of course
2022-03-16 22:45:09 +0000Vajb(~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi)
2022-03-16 22:45:26 +0000 <monochrom> Or at least, don't count on what happens to non powers of 2.
2022-03-16 22:45:35 +0000kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 256 seconds)
2022-03-16 22:46:04 +0000 <dminuoso> tomsmeding: If I wrote `1 + 2 + 3 + 4 + 5` there is a tree structure in there as well. Im really unsure what your point is
2022-03-16 22:46:27 +0000 <dminuoso> But
2022-03-16 22:46:29 +0000xkuru(xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 22:46:34 +0000 <dminuoso> I guess an alternate way to represent data types would be lists of lists.
2022-03-16 22:46:46 +0000 <dminuoso> The outer list for constructors, the inner list for fields
2022-03-16 22:46:52 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-03-16 22:47:00 +0000raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2022-03-16 22:47:08 +0000 <dminuoso> So yeah, perhaps it is not completely obvious that they would be represented as an algebraic tree
2022-03-16 22:47:13 +0000 <tomsmeding> I would find that more natural (disregarding how those lists would be represented -- not sure if more complex GADTs is a good thing here)
2022-03-16 22:47:52 +0000 <monochrom> If you shove the following two facts under the rug: 1. the type-level list we have is a very biased kind of tree; 2. accessing elements in that list is currently very cumbersome.
2022-03-16 22:47:52 +0000x_kuru(~xkuru@user/xkuru) (Ping timeout: 250 seconds)
2022-03-16 22:47:57 +0000 <dminuoso> tomsmeding: should I remind how lists are constructed?
2022-03-16 22:48:01 +0000jao(~jao@45.134.142.212) (Remote host closed the connection)
2022-03-16 22:48:03 +0000 <dminuoso> This would still be a tree in disguise.
2022-03-16 22:48:29 +0000 <tomsmeding> dminuoso: re `1 + 2 + 3 + 4 + 5`: in fact in an algebraic simplifier, it's usually better to represent that as a flat sum of 5 values, because that makes it easier to spot that you can simplify something in e.g. `1 + x + 2`
2022-03-16 22:48:59 +0000x_kuru_(~xkuru@user/xkuru) (Ping timeout: 256 seconds)
2022-03-16 22:49:04 +0000 <tomsmeding> dminuoso: a list is a tree that always leans right, i.e. there is no information in the shape of the tree
2022-03-16 22:49:17 +0000 <monochrom> In other words, currently, trying to actually use a type-level list exposes its tree-ness.
2022-03-16 22:49:17 +0000 <dminuoso> tomsmeding: a list of a list, which can contain lists of lists..
2022-03-16 22:49:21 +0000 <tomsmeding> the binary tree representation encodes _new_ information in the shape of the tree
2022-03-16 22:49:23 +0000 <dminuoso> tomsmeding: the tree is there.
2022-03-16 22:49:43 +0000 <tomsmeding> okay I give up :p
2022-03-16 22:49:45 +0000 <dminuoso> heh
2022-03-16 22:50:32 +0000 <dminuoso> tomsmeding: But I think I have an idea of what you're sayinig
2022-03-16 22:50:36 +0000jao(~jao@45.134.142.199)
2022-03-16 22:50:43 +0000 <tomsmeding> less normal forms is good
2022-03-16 22:50:50 +0000 <dminuoso> A tree would indicate some particular stucture, whereas a flat list would not.
2022-03-16 22:50:55 +0000shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net) (Remote host closed the connection)
2022-03-16 22:51:01 +0000 <tomsmeding> (I mean, more stuff that has the same canonical form)
2022-03-16 22:51:05 +0000 <tomsmeding> yes
2022-03-16 22:51:08 +0000shapr(~user@pool-173-73-44-186.washdc.fios.verizon.net)
2022-03-16 22:51:09 +0000 <tomsmeding> it invents structure out of thin air
2022-03-16 22:52:01 +0000 <tomsmeding> which is not _wrong_, because you can map it back, but it makes the representations non-isomorphic: [a,b,c,d] maps both to (((a,b),c),d) and to (a,(b,(c,d)))
2022-03-16 22:52:13 +0000 <tomsmeding> (of course in generics the choice is fixed by the Generic instance)
2022-03-16 22:52:28 +0000 <dminuoso> To be absolutely fair, this is documented and explained at the beginning of generics
2022-03-16 22:52:34 +0000 <tomsmeding> yes of course
2022-03-16 22:52:52 +0000 <tomsmeding> (in a list-based representation, I would consider [a,b,[c,d]] invalid -- it must be [a,b,c,d]
2022-03-16 22:52:55 +0000 <tomsmeding> )
2022-03-16 22:53:10 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds)
2022-03-16 22:53:35 +0000ec(~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds)
2022-03-16 22:53:40 +0000 <dminuoso> tomsmeding: well in a list-based representation you would still have `[Choice [a,b], Choice [c,d]]`
2022-03-16 22:53:44 +0000waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-03-16 22:53:55 +0000 <dminuoso> If we gloss over the made-up Choice newtype constructor, you're back to lists of lists.
2022-03-16 22:53:55 +0000 <monochrom> If there is a type level "map f xs", I would not mind this type-level list.
2022-03-16 22:53:56 +0000 <tomsmeding> which is not the same as [[a,b],[c,d]] :p
2022-03-16 22:54:21 +0000 <monochrom> At present, "handle Foo:*:Bar and let recursion do the rest" is way more convenient.
2022-03-16 22:54:34 +0000hololeap(~hololeap@user/hololeap) (Remote host closed the connection)
2022-03-16 22:54:39 +0000 <dminuoso> monochrom: Mmm, that would not change in a list based representation
2022-03-16 22:54:48 +0000 <dminuoso> You'd just do cons-style pattern matching instead
2022-03-16 22:54:55 +0000hololeap(~hololeap@user/hololeap)
2022-03-16 22:54:59 +0000acidjnk(~acidjnk@p200300d0c7049f97891f007ae5e331f4.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-03-16 22:56:05 +0000 <dminuoso> Arguably, decomposing lists is our bread and butter even!
2022-03-16 22:56:32 +0000crazazy(~user@130.89.171.62) (Ping timeout: 250 seconds)
2022-03-16 22:57:50 +0000 <monochrom> Perhaps they chose binary trees for performance after all.
2022-03-16 22:58:36 +0000merijn(~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds)
2022-03-16 23:01:52 +0000n8chan(~nate@98.45.167.61)
2022-03-16 23:02:06 +0000TonyStone(~TonyStone@2603-7080-8607-c36a-a0f7-4a6c-9396-dfff.res6.spectrum.com) (Remote host closed the connection)
2022-03-16 23:03:32 +0000HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato) (Remote host closed the connection)
2022-03-16 23:03:34 +0000 <dons> moin moni
2022-03-16 23:03:42 +0000TonyStone(~TonyStone@cpe-74-76-51-197.nycap.res.rr.com)
2022-03-16 23:05:19 +0000 <maerwald[m]> moinsen
2022-03-16 23:05:22 +0000HotblackDesiato(~HotblackD@gateway/tor-sasl/hotblackdesiato)
2022-03-16 23:09:00 +0000ski'd agree with tomsmeding that it'd be nicer to treat `1 + 2 + 3 + 4 + 5' as a "flat" structure (perhaps a quotient over different ways to associate the tree, if you prefer)
2022-03-16 23:09:40 +0000 <ski> (although i'm not sure what you mean by "algebraic simplifier")
2022-03-16 23:10:24 +0000Tuplanolla(~Tuplanoll@91-159-69-98.elisa-laajakaista.fi)
2022-03-16 23:10:53 +0000 <ski> (there is such a thing as unification in a theory, e.g. unification modulo associativity)
2022-03-16 23:11:01 +0000 <ski> (for `[Choice [a,b],Choice [c,d]]', i guess one could maybe require the elements to be a subtype (refinement type ?) not including `Choice' on top-level, if one wanted to)
2022-03-16 23:16:16 +0000eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-03-16 23:17:32 +0000n8chan(~nate@98.45.167.61) (Ping timeout: 240 seconds)
2022-03-16 23:20:24 +0000qhong(~qhong@rescomp-21-400677.stanford.edu) (Read error: Connection reset by peer)
2022-03-16 23:20:28 +0000__monty__(~toonn@user/toonn) (Quit: leaving)
2022-03-16 23:20:34 +0000qhong(~qhong@rescomp-21-400677.stanford.edu)
2022-03-16 23:20:47 +0000iteratee(~kyle@162.218.222.107) (Read error: Connection reset by peer)
2022-03-16 23:20:57 +0000iteratee(~kyle@162.218.222.107)
2022-03-16 23:24:27 +0000kaph(~kaph@net-109-116-124-149.cust.vodafonedsl.it)
2022-03-16 23:27:05 +0000DNH(~DNH@2a02:8108:1100:16d8:5cb2:5682:6969:c42)
2022-03-16 23:31:22 +0000romesrf(~romes@44.190.189.46.rev.vodafone.pt)
2022-03-16 23:33:47 +0000 <romesrf> o/
2022-03-16 23:36:32 +0000jao(~jao@45.134.142.199) (Ping timeout: 240 seconds)
2022-03-16 23:38:45 +0000jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-03-16 23:40:51 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-03-16 23:40:51 +0000wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-03-16 23:40:51 +0000wroathe(~wroathe@user/wroathe)
2022-03-16 23:42:51 +0000epolanski(uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-03-16 23:47:06 +0000mvk(~mvk@2607:fea8:5cc3:7e00::45ee)
2022-03-16 23:48:15 +0000chenqisu1(~chenqisu1@183.217.201.47)
2022-03-16 23:48:33 +0000mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-03-16 23:57:02 +0000CiaoSen(~Jura@p200300c957298b002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2022-03-16 23:58:31 +0000dhouthoo(~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4)
2022-03-16 23:59:05 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-03-16 23:59:21 +0000[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-03-16 23:59:48 +0000SignalGarden(~ash@user/SignalWalker)