Home liberachat/#haskell: Logs Calendar

Logs on 2022-03-16 (liberachat/#haskell)

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

All times are in UTC on 2022-03-16.