| 2021-09-26 00:01:37 +0200 | xff0x | (~xff0x@2001:1a81:52a2:cc00:e316:3cc6:4da2:e9d8) (Ping timeout: 252 seconds) |
| 2021-09-26 00:02:33 +0200 | xff0x | (~xff0x@2001:1a81:52a2:cc00:a2d5:fa6a:c964:7cba) |
| 2021-09-26 00:07:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-09-26 00:13:13 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-09-26 00:14:46 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) |
| 2021-09-26 00:15:13 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) |
| 2021-09-26 00:17:06 +0200 | Null_A | (~null_a@2601:645:8700:2290:91f2:4a69:be9c:a77e) (Remote host closed the connection) |
| 2021-09-26 00:19:20 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-09-26 00:21:09 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-09-26 00:23:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 00:23:32 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 00:23:32 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 00:25:40 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-09-26 00:28:05 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-09-26 00:42:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 00:46:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 00:47:23 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-09-26 00:48:26 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2021-09-26 00:53:45 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-09-26 00:55:49 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 00:56:23 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 00:57:05 +0200 | vysn | (~vysn@user/vysn) (Quit: WeeChat 3.2) |
| 2021-09-26 01:00:58 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-26 01:02:19 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-09-26 01:05:19 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-09-26 01:05:22 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 01:08:53 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 01:09:01 +0200 | CiaoSen | (~Jura@p2e5c6ba6.dip0.t-ipconnect.de) |
| 2021-09-26 01:09:41 +0200 | CiaoSen | (~Jura@p2e5c6ba6.dip0.t-ipconnect.de) (Quit: #haskell-de) |
| 2021-09-26 01:10:00 +0200 | CiaoSen | (~Jura@p2e5c6ba6.dip0.t-ipconnect.de) |
| 2021-09-26 01:10:45 +0200 | <sm> | how do you disable `--` being converted to em's when converting from org with pandoc ? |
| 2021-09-26 01:12:59 +0200 | nrl^ | (~nrl@68.101.50.106) |
| 2021-09-26 01:13:50 +0200 | max22- | (~maxime@2a01cb0883359800cacb285e285b0a86.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-09-26 01:16:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-09-26 01:22:39 +0200 | rtjure | (~rtjure@bras-79-132-17-74.comnet.bg) (Ping timeout: 265 seconds) |
| 2021-09-26 01:33:22 +0200 | CiaoSen | (~Jura@p2e5c6ba6.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-09-26 01:40:07 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb4660ece33f9b2036c6.dip0.t-ipconnect.de) |
| 2021-09-26 01:42:30 +0200 | pavonia | (~user@user/siracusa) |
| 2021-09-26 01:42:53 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb723ce418ea93e3eeac.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 01:46:44 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-09-26 01:47:17 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-09-26 01:50:34 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:1537:591d:7e85:d718) |
| 2021-09-26 01:52:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 01:52:33 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 01:52:33 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 01:53:07 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-09-26 01:53:16 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) (Ping timeout: 252 seconds) |
| 2021-09-26 01:54:13 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-09-26 01:56:37 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 01:58:43 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-09-26 02:02:12 +0200 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
| 2021-09-26 02:02:44 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) |
| 2021-09-26 02:03:43 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:f1aa:cb1f:b2aa:34a9) (Ping timeout: 252 seconds) |
| 2021-09-26 02:03:45 +0200 | sneedsfeed27 | (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) |
| 2021-09-26 02:04:49 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:6daf:7cb1:25f6:bef8) |
| 2021-09-26 02:06:28 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb4660ece33f9b2036c6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-09-26 02:13:34 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-26 02:16:29 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) |
| 2021-09-26 02:20:22 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-26 02:20:41 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 02:20:43 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 02:21:27 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 02:26:27 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds) |
| 2021-09-26 02:26:57 +0200 | _xor | (~xor@74.215.232.67) (Ping timeout: 265 seconds) |
| 2021-09-26 02:28:28 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-09-26 02:35:11 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) |
| 2021-09-26 02:38:12 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-26 02:41:38 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::588) |
| 2021-09-26 02:44:56 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 02:45:30 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) |
| 2021-09-26 02:46:05 +0200 | sneedsfeed27 | (~sneedsfee@rrcs-173-95-122-169.midsouth.biz.rr.com) (Quit: Client closed) |
| 2021-09-26 02:52:51 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 276 seconds) |
| 2021-09-26 02:56:03 +0200 | koz- | koz |
| 2021-09-26 03:13:23 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 03:15:54 +0200 | brettgilio | (~brettgili@x-node.gq) (Quit: Leaving...) |
| 2021-09-26 03:17:00 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2021-09-26 03:17:50 +0200 | brettgilio | (~brettgili@x-node.gq) |
| 2021-09-26 03:19:25 +0200 | brettgilio | (~brettgili@x-node.gq) (Client Quit) |
| 2021-09-26 03:22:50 +0200 | brettgilio | (~brettgili@x-node.gq) |
| 2021-09-26 03:27:19 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 252 seconds) |
| 2021-09-26 03:31:14 +0200 | alx741 | (~alx741@181.196.68.94) (Ping timeout: 252 seconds) |
| 2021-09-26 03:34:05 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:2435:ba7:e573:bc26) (Quit: Leaving) |
| 2021-09-26 03:34:28 +0200 | nofx | (~nofx@62-210-99-18.rev.poneytelecom.eu) |
| 2021-09-26 03:36:28 +0200 | nofx | (~nofx@62-210-99-18.rev.poneytelecom.eu) (K-Lined) |
| 2021-09-26 03:38:41 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 03:38:45 +0200 | chris | Guest4825 |
| 2021-09-26 03:41:39 +0200 | zebrag | (~chris@user/zebrag) |
| 2021-09-26 03:42:15 +0200 | hammock | (~Hammock@2600:1700:19a1:3330::588) (Quit: WeeChat 3.2) |
| 2021-09-26 03:42:18 +0200 | yauhsien_ | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 03:43:15 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2021-09-26 03:43:17 +0200 | yauhsien_ | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 03:43:20 +0200 | Guest4825 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-09-26 03:43:50 +0200 | yauhsien_ | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 03:43:53 +0200 | yauhsien | (~yauhsien@118-167-47-211.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 03:44:03 +0200 | alx741 | (~alx741@186.178.109.140) |
| 2021-09-26 03:44:06 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2021-09-26 03:44:22 +0200 | boxscape_ | (~boxscape_@i577BCB22.versanet.de) (Quit: Connection closed) |
| 2021-09-26 03:46:01 +0200 | xff0x | (~xff0x@2001:1a81:52a2:cc00:a2d5:fa6a:c964:7cba) (Ping timeout: 252 seconds) |
| 2021-09-26 03:47:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-09-26 03:47:45 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:62d0:9acd:c6eb:bc13) |
| 2021-09-26 03:52:59 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-09-26 03:53:33 +0200 | yauhsien_ | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 03:53:43 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-09-26 03:54:07 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 03:55:49 +0200 | neurocyte01328 | (~neurocyte@212.232.84.178) |
| 2021-09-26 03:55:49 +0200 | neurocyte01328 | (~neurocyte@212.232.84.178) (Changing host) |
| 2021-09-26 03:55:49 +0200 | neurocyte01328 | (~neurocyte@user/neurocyte) |
| 2021-09-26 03:58:04 +0200 | neurocyte0132 | (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 2021-09-26 03:58:04 +0200 | neurocyte01328 | neurocyte0132 |
| 2021-09-26 03:58:04 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-09-26 03:58:33 +0200 | fef | (~thedawn@user/thedawn) |
| 2021-09-26 03:59:12 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-09-26 04:00:07 +0200 | __xor | (~xor@74.215.232.67) |
| 2021-09-26 04:00:16 +0200 | _xor | (~xor@74.215.232.67) (Ping timeout: 252 seconds) |
| 2021-09-26 04:00:54 +0200 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
| 2021-09-26 04:03:01 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 04:03:01 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-09-26 04:03:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 04:03:41 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2021-09-26 04:07:58 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-26 04:08:39 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-09-26 04:11:16 +0200 | td_ | (~td@muedsl-82-207-238-146.citykom.de) (Ping timeout: 252 seconds) |
| 2021-09-26 04:12:59 +0200 | td_ | (~td@94.134.91.109) |
| 2021-09-26 04:14:15 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) |
| 2021-09-26 04:14:23 +0200 | Phantastes | (~Phantaste@c-67-173-229-120.hsd1.co.comcast.net) (Client Quit) |
| 2021-09-26 04:14:50 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 04:16:31 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 04:16:41 +0200 | _xor | (~xor@74.215.232.67) |
| 2021-09-26 04:16:53 +0200 | __xor | (~xor@74.215.232.67) (Ping timeout: 252 seconds) |
| 2021-09-26 04:21:10 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 04:41:38 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 04:41:38 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 252 seconds) |
| 2021-09-26 04:41:42 +0200 | chris | Guest957 |
| 2021-09-26 04:42:15 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2021-09-26 04:43:13 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-09-26 04:45:15 +0200 | phma | (~phma@host-67-44-208-122.hnremote.net) (Remote host closed the connection) |
| 2021-09-26 04:45:39 +0200 | phma | (~phma@host-67-44-208-122.hnremote.net) |
| 2021-09-26 04:46:02 +0200 | Guest957 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-09-26 04:47:04 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:62d0:9acd:c6eb:bc13) (Ping timeout: 252 seconds) |
| 2021-09-26 04:47:58 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:9455:9dce:c41f:b6e7) |
| 2021-09-26 04:48:29 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 04:58:57 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2021-09-26 04:59:22 +0200 | hendursaga | (~weechat@user/hendursaga) (Quit: hendursaga) |
| 2021-09-26 04:59:48 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-09-26 05:09:37 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:9455:9dce:c41f:b6e7) (Ping timeout: 252 seconds) |
| 2021-09-26 05:10:08 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:6eef:7ca3:1a38:24c9) |
| 2021-09-26 05:19:07 +0200 | ksqsf | (~user@2001:da8:d800:114:1cbd:6c51:383d:83bc) |
| 2021-09-26 05:28:32 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 05:34:18 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.247) |
| 2021-09-26 05:36:57 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 05:38:43 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-09-26 05:40:58 +0200 | ksqsf | (~user@2001:da8:d800:114:1cbd:6c51:383d:83bc) (Ping timeout: 252 seconds) |
| 2021-09-26 05:41:43 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-09-26 05:44:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 05:48:08 +0200 | Eoco | (~ian@x-160-94-179-157.acm.umn.edu) |
| 2021-09-26 06:00:44 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 06:04:50 +0200 | alx741 | (~alx741@186.178.109.140) (Quit: alx741) |
| 2021-09-26 06:05:14 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 06:06:54 +0200 | ksqsf | (~user@222.195.68.197) |
| 2021-09-26 06:11:50 +0200 | ksqsf | (~user@222.195.68.197) (Ping timeout: 252 seconds) |
| 2021-09-26 06:12:20 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-09-26 06:16:42 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 06:17:04 +0200 | zebrag | (~chris@user/zebrag) (Remote host closed the connection) |
| 2021-09-26 06:17:58 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-26 06:18:54 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 276 seconds) |
| 2021-09-26 06:18:54 +0200 | nicbk | (~nicbk@user/nicbk) (Ping timeout: 276 seconds) |
| 2021-09-26 06:21:11 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-26 06:21:18 +0200 | ksqsf | (~user@222.195.68.197) |
| 2021-09-26 06:22:50 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 06:23:49 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 06:33:36 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 06:36:39 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 06:39:40 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) |
| 2021-09-26 06:40:43 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-09-26 06:41:33 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 06:43:24 +0200 | ksqsf | (~user@222.195.68.197) (Remote host closed the connection) |
| 2021-09-26 06:46:22 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 06:55:33 +0200 | <hololeap> | type instance forall key. BPMKeyConstraint (MapCompose map f) key = BPMKeyConstraint map key |
| 2021-09-26 06:55:42 +0200 | <hololeap> | does the "forall key." here do anything special? |
| 2021-09-26 06:58:15 +0200 | <hololeap> | or is it just making it explicit without changing the behavior? |
| 2021-09-26 06:58:36 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 06:58:37 +0200 | chris | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-09-26 06:58:49 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 06:58:53 +0200 | chris | Guest3100 |
| 2021-09-26 07:02:54 +0200 | nicbk | (~nicbk@user/nicbk) |
| 2021-09-26 07:07:29 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 07:07:30 +0200 | nicbk | (~nicbk@user/nicbk) (Remote host closed the connection) |
| 2021-09-26 07:07:55 +0200 | <Cajun> | well what is in the body of the function? it could be using ScopedTypeVariables, and in that case it needs the explicit forall |
| 2021-09-26 07:08:03 +0200 | <Cajun> | hololeap: ^ |
| 2021-09-26 07:08:47 +0200 | <hololeap> | it's not a function |
| 2021-09-26 07:08:54 +0200 | <Cajun> | ah yeah didnt see that |
| 2021-09-26 07:09:05 +0200 | <Cajun> | its also useful to sometimes put it in because when using TypeApplications, it will apply to the first type variable, so in that case `key` will be applied first |
| 2021-09-26 07:10:17 +0200 | <hololeap> | yeah, I just wasn't sure if it was going to have any other side effects. I put it there to a) see if it worked that way b) remind me that `key` isn't bound somewhere else |
| 2021-09-26 07:11:47 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 2021-09-26 07:12:48 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-09-26 07:13:56 +0200 | Guest3100 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-09-26 07:19:06 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 07:19:10 +0200 | chris | Guest2878 |
| 2021-09-26 07:23:46 +0200 | Guest2878 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-09-26 07:25:55 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 07:27:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Client Quit) |
| 2021-09-26 07:29:59 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-09-26 07:31:31 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2021-09-26 07:37:06 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 07:39:15 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-09-26 07:39:28 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 07:39:43 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 07:39:49 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-09-26 07:44:20 +0200 | chomwitt | (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) |
| 2021-09-26 07:45:26 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.247) (Read error: Connection reset by peer) |
| 2021-09-26 07:46:44 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 07:48:40 +0200 | ziman | (~ziman@user/ziman) (Ping timeout: 252 seconds) |
| 2021-09-26 07:49:04 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-09-26 07:50:15 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-26 07:50:43 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-09-26 07:51:50 +0200 | severen | (~severen@202.36.179.72) |
| 2021-09-26 07:53:15 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 07:56:40 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 07:59:36 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 07:59:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 07:59:37 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 08:01:43 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 08:04:47 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-09-26 08:10:36 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 08:13:58 +0200 | marmayr | (~marmayr@193-154-203-202.adsl.highway.telekom.at) (Quit: Leaving) |
| 2021-09-26 08:14:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 08:15:25 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-26 08:17:04 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-09-26 08:17:26 +0200 | yushyin | (1GanGy3aFa@karif.server-speed.net) (Quit: WeeChat 3.1) |
| 2021-09-26 08:17:36 +0200 | yushyin | (zYaB0OiS15@karif.server-speed.net) |
| 2021-09-26 08:24:03 +0200 | dajoer | (~david@user/gvx) |
| 2021-09-26 08:25:05 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2021-09-26 08:25:35 +0200 | falafel | (~falafel@2603-8000-d800-688c-e083-0044-884d-8fb7.res6.spectrum.com) |
| 2021-09-26 08:28:41 +0200 | falafel_ | (~falafel@2603-8000-d800-688c-894d-87cb-92d4-ed90.res6.spectrum.com) |
| 2021-09-26 08:29:26 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 08:29:30 +0200 | chris | Guest1473 |
| 2021-09-26 08:32:26 +0200 | falafel | (~falafel@2603-8000-d800-688c-e083-0044-884d-8fb7.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-26 08:34:16 +0200 | Guest1473 | (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 2021-09-26 08:34:45 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 265 seconds) |
| 2021-09-26 08:34:49 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 08:34:53 +0200 | chris | Guest8374 |
| 2021-09-26 08:36:12 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-09-26 08:39:14 +0200 | Guest8374 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-09-26 08:41:15 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 276 seconds) |
| 2021-09-26 08:42:29 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 08:47:19 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-09-26 08:49:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-26 08:59:31 +0200 | oxide | (~lambda@user/oxide) |
| 2021-09-26 09:09:18 +0200 | falafel_ | (~falafel@2603-8000-d800-688c-894d-87cb-92d4-ed90.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-26 09:11:27 +0200 | jjhoo | (~jahakala@dsl-trebng21-58c18f-56.dhcp.inet.fi) (Changing host) |
| 2021-09-26 09:11:27 +0200 | jjhoo | (~jahakala@user/jjhoo) |
| 2021-09-26 09:14:05 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 09:23:14 +0200 | nrl^ | (~nrl@68.101.50.106) (Ping timeout: 252 seconds) |
| 2021-09-26 09:24:15 +0200 | CnnibisIndica | CannabisIndica |
| 2021-09-26 09:34:32 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-09-26 09:39:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 09:40:57 +0200 | falafel | (~falafel@2603-8000-d800-688c-09e7-c002-f7c4-b460.res6.spectrum.com) |
| 2021-09-26 09:42:39 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-09-26 09:49:56 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-09-26 09:50:35 +0200 | nrl^ | (~nrl@68.101.50.106) |
| 2021-09-26 09:51:16 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 09:51:20 +0200 | ubert | (~Thunderbi@178.115.71.159.wireless.dyn.drei.com) |
| 2021-09-26 10:00:20 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-09-26 10:01:00 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 10:01:00 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 10:01:00 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 10:05:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-09-26 10:08:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Remote host closed the connection) |
| 2021-09-26 10:21:47 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 10:26:24 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-09-26 10:28:37 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-09-26 10:41:38 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2021-09-26 10:45:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 10:46:56 +0200 | alzgh | (~alzgh@user/alzgh) |
| 2021-09-26 10:50:23 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) |
| 2021-09-26 10:53:15 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-09-26 11:00:14 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-09-26 11:11:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) |
| 2021-09-26 11:14:33 +0200 | jacks2 | (~bc8165b6@217.29.117.252) |
| 2021-09-26 11:15:13 +0200 | qwedfg | (~qwedfg@user/qwedfg) (Ping timeout: 265 seconds) |
| 2021-09-26 11:15:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Ping timeout: 250 seconds) |
| 2021-09-26 11:19:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-09-26 11:22:48 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 11:23:09 +0200 | qwedfg | (~qwedfg@user/qwedfg) |
| 2021-09-26 11:24:38 +0200 | jacks2 | (~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/ (EOF)) |
| 2021-09-26 11:24:41 +0200 | xsperry | (~as@user/xsperry) (Read error: Connection reset by peer) |
| 2021-09-26 11:25:42 +0200 | nfd | (~nfd@user/nfd) |
| 2021-09-26 11:27:18 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
| 2021-09-26 11:30:29 +0200 | Megant | (megant@user/megant) (Ping timeout: 250 seconds) |
| 2021-09-26 11:31:59 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-09-26 11:32:25 +0200 | Megant | (megant@user/megant) |
| 2021-09-26 11:33:35 +0200 | xsperry | (~xs@user/xsperry) |
| 2021-09-26 11:33:43 +0200 | severen | (~severen@202.36.179.72) (Quit: WeeChat 3.2.1) |
| 2021-09-26 11:34:57 +0200 | xsperry | (~xs@user/xsperry) (Read error: Connection reset by peer) |
| 2021-09-26 11:37:27 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 265 seconds) |
| 2021-09-26 11:40:40 +0200 | xsperry | (~xs@user/xsperry) |
| 2021-09-26 11:41:26 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:6eef:7ca3:1a38:24c9) (Ping timeout: 260 seconds) |
| 2021-09-26 11:42:18 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:f838:bea4:9f6c:73cb) |
| 2021-09-26 11:43:39 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-09-26 11:43:54 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-09-26 11:50:51 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 11:51:30 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 11:53:21 +0200 | jacks2 | (~bc8165b6@217.29.117.252) |
| 2021-09-26 11:54:25 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) |
| 2021-09-26 11:57:58 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 11:59:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Ping timeout: 260 seconds) |
| 2021-09-26 12:00:31 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 12:01:34 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 12:16:54 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 12:17:34 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 12:19:07 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) |
| 2021-09-26 12:22:32 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 12:23:40 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Ping timeout: 250 seconds) |
| 2021-09-26 12:27:54 +0200 | xsperry | (~xs@user/xsperry) (Read error: Connection reset by peer) |
| 2021-09-26 12:28:06 +0200 | falafel | (~falafel@2603-8000-d800-688c-09e7-c002-f7c4-b460.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-09-26 12:28:22 +0200 | xsperry | (~xs@user/xsperry) |
| 2021-09-26 12:33:46 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) |
| 2021-09-26 12:35:33 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) (Quit: Leaving) |
| 2021-09-26 12:36:39 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-09-26 12:40:52 +0200 | tcard | (~tcard@p2307053-ipngn17101hodogaya.kanagawa.ocn.ne.jp) |
| 2021-09-26 12:48:31 +0200 | JeSCaLis23-F | (~rizon@188.119.22.206) |
| 2021-09-26 12:50:50 +0200 | JeSCaLis23-F | (~rizon@188.119.22.206) (Client Quit) |
| 2021-09-26 12:51:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 13:00:47 +0200 | alx741 | (~alx741@186.178.109.140) |
| 2021-09-26 13:03:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) |
| 2021-09-26 13:05:17 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2021-09-26 13:05:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 13:06:24 +0200 | tfeb | (~tfb@88.98.95.237) (Client Quit) |
| 2021-09-26 13:07:07 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Ping timeout: 250 seconds) |
| 2021-09-26 13:07:14 +0200 | idnar | (sid12240@debian/mithrandi) () |
| 2021-09-26 13:07:25 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2021-09-26 13:11:17 +0200 | AlexNoo_ | (~AlexNoo@178.34.161.193) |
| 2021-09-26 13:11:27 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:f838:bea4:9f6c:73cb) (Ping timeout: 250 seconds) |
| 2021-09-26 13:12:29 +0200 | xff0x | (~xff0x@2001:1a81:52da:9800:f593:2afb:aa0a:4d64) |
| 2021-09-26 13:13:01 +0200 | AlexZenon | (~alzenon@94.233.241.29) (Ping timeout: 252 seconds) |
| 2021-09-26 13:13:11 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 13:14:23 +0200 | Alex_test | (~al_test@94.233.241.29) (Ping timeout: 246 seconds) |
| 2021-09-26 13:14:44 +0200 | AlexNoo | (~AlexNoo@94.233.241.29) (Ping timeout: 246 seconds) |
| 2021-09-26 13:17:00 +0200 | AlexZenon | (~alzenon@178.34.161.193) |
| 2021-09-26 13:18:13 +0200 | Alex_test | (~al_test@178.34.161.193) |
| 2021-09-26 13:18:50 +0200 | Alex_test_ | (~al_test@178.34.161.193) |
| 2021-09-26 13:20:49 +0200 | AlexZenon_2 | (~alzenon@178.34.161.193) |
| 2021-09-26 13:33:14 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) |
| 2021-09-26 13:39:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) |
| 2021-09-26 13:40:15 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 13:41:11 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2021-09-26 13:44:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:c98f:a9cd:e1ea:d69a) (Ping timeout: 260 seconds) |
| 2021-09-26 13:50:04 +0200 | phma | (~phma@host-67-44-208-122.hnremote.net) (Read error: Connection reset by peer) |
| 2021-09-26 13:50:10 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 13:51:03 +0200 | phma | (~phma@host-67-44-208-197.hnremote.net) |
| 2021-09-26 13:52:42 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-09-26 13:54:07 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-09-26 13:55:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 268 seconds) |
| 2021-09-26 13:55:57 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
| 2021-09-26 13:56:10 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 2021-09-26 13:56:31 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-09-26 14:01:42 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Ping timeout: 276 seconds) |
| 2021-09-26 14:02:20 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2021-09-26 14:03:56 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-09-26 14:06:21 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2021-09-26 14:08:13 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 14:09:12 +0200 | xsperry | (~xs@user/xsperry) (Quit: quit) |
| 2021-09-26 14:11:17 +0200 | xiongxin | (~quassel@113.116.32.187) |
| 2021-09-26 14:11:31 +0200 | kuribas | (~user@ptr-25vy0i70h84gschr3z1.18120a2.ip6.access.telenet.be) |
| 2021-09-26 14:12:58 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 14:16:12 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 14:16:16 +0200 | chris | Guest260 |
| 2021-09-26 14:19:00 +0200 | xsperry | (~xs@user/xsperry) |
| 2021-09-26 14:31:01 +0200 | Guest260 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-09-26 14:31:20 +0200 | jushur | (~human@user/jushur) |
| 2021-09-26 14:32:04 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-09-26 14:35:51 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 14:35:55 +0200 | chris | Guest4156 |
| 2021-09-26 14:39:18 +0200 | AlexZenon_2 | (~alzenon@178.34.161.193) (Quit: ;-) |
| 2021-09-26 14:39:22 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2021-09-26 14:40:25 +0200 | AlexZenon | (~alzenon@178.34.161.193) (Quit: ;-) |
| 2021-09-26 14:40:28 +0200 | Guest4156 | (~chris@81.96.113.213) (Ping timeout: 252 seconds) |
| 2021-09-26 14:40:53 +0200 | Alex_test | (~al_test@178.34.161.193) (Quit: ;-) |
| 2021-09-26 14:41:32 +0200 | Alex_test_ | (~al_test@178.34.161.193) (Quit: ;-) |
| 2021-09-26 14:42:51 +0200 | AlexZenon | (~alzenon@178.34.161.193) |
| 2021-09-26 14:45:02 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 14:45:47 +0200 | AlexNoo_ | AlexNoo |
| 2021-09-26 14:46:24 +0200 | arpl | (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) |
| 2021-09-26 14:46:27 +0200 | Alex_test | (~al_test@178.34.161.193) |
| 2021-09-26 14:47:49 +0200 | arpl | (~arpl@84-107-171-239.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2021-09-26 14:49:19 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 252 seconds) |
| 2021-09-26 14:51:03 +0200 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
| 2021-09-26 14:54:54 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 15:02:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-09-26 15:04:13 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 15:09:34 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-09-26 15:09:49 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 15:10:17 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) |
| 2021-09-26 15:14:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-26 15:15:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-26 15:15:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 15:16:29 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 15:21:01 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 250 seconds) |
| 2021-09-26 15:22:23 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-09-26 15:23:03 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-09-26 15:31:11 +0200 | jespada | (~jespada@2803:9800:9842:7a62:8558:368:788c:6dc6) |
| 2021-09-26 15:43:27 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 15:43:31 +0200 | chris | Guest489 |
| 2021-09-26 15:51:57 +0200 | lbseale | (~lbseale@user/ep1ctetus) |
| 2021-09-26 15:57:37 +0200 | max22- | (~maxime@2a01cb0883359800493cb2ff7652c33a.ipv6.abo.wanadoo.fr) |
| 2021-09-26 15:57:38 +0200 | madjestic | (~madjestic@88-159-247-120.fixed.kpn.net) (Ping timeout: 260 seconds) |
| 2021-09-26 16:00:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 16:04:38 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 260 seconds) |
| 2021-09-26 16:09:01 +0200 | ubert | (~Thunderbi@178.115.71.159.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-09-26 16:10:19 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-09-26 16:14:44 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:1537:591d:7e85:d718) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-26 16:19:00 +0200 | spruit11 | (~quassel@2a02:a467:ccd6:1:1568:8cd5:25bd:6e4e) |
| 2021-09-26 16:23:58 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 16:28:30 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2021-09-26 16:33:06 +0200 | xiongxin | (~quassel@113.116.32.187) (Ping timeout: 260 seconds) |
| 2021-09-26 16:33:58 +0200 | xiongxin | (~quassel@113.116.34.58) |
| 2021-09-26 16:37:06 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-26 16:38:27 +0200 | Guest489 | (~chris@81.96.113.213) (Remote host closed the connection) |
| 2021-09-26 16:41:28 +0200 | nrl^ | (~nrl@68.101.50.106) (Ping timeout: 265 seconds) |
| 2021-09-26 16:43:21 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 16:43:22 +0200 | chris | Guest4810 |
| 2021-09-26 16:47:41 +0200 | Guest4810 | (~chris@81.96.113.213) (Ping timeout: 250 seconds) |
| 2021-09-26 16:48:22 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-09-26 16:49:13 +0200 | Null_A | (~null_a@2601:645:8700:2290:91f2:4a69:be9c:a77e) |
| 2021-09-26 16:51:59 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 16:55:53 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-09-26 16:56:26 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 260 seconds) |
| 2021-09-26 16:57:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-26 17:00:50 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 17:01:31 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-09-26 17:01:50 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-26 17:03:41 +0200 | lbseale | (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2021-09-26 17:06:58 +0200 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) |
| 2021-09-26 17:07:27 +0200 | <timCF> | Hello! Is there some standard integral type similar to `Natural` but which excludes zero? |
| 2021-09-26 17:07:32 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 17:07:32 +0200 | <janus> | what is this instance useful for? instance Semigroup a => Semigroup (M a) where |
| 2021-09-26 17:07:51 +0200 | <[exa]> | janus: depending on what's M |
| 2021-09-26 17:08:06 +0200 | <merijn> | timCF: Probably not |
| 2021-09-26 17:08:21 +0200 | <janus> | aaah so it's just saying that the M is whatever type is being defined, the actual code is not like that |
| 2021-09-26 17:08:26 +0200 | <timCF> | merijn: thanks for reply anyway! |
| 2021-09-26 17:08:47 +0200 | <merijn> | timCF: Seems fairly obscure, so wouldn't expect a "standard" type for that |
| 2021-09-26 17:08:54 +0200 | <hpc> | you can always newtype ZPlus = PlusOne {minusOne :: Natural} and define all the instances |
| 2021-09-26 17:09:04 +0200 | <hpc> | might be a lot of work though |
| 2021-09-26 17:09:28 +0200 | <[exa]> | janus: it says that you can make Semigroup functionality for M (probably a container of) a if `a` is already a semigroup (i.e. supports <> ) |
| 2021-09-26 17:09:29 +0200 | <merijn> | janus: What it is saying is that "M a" is an instance of Semigroup *iff* 'a' is an instance of Semigroup |
| 2021-09-26 17:10:03 +0200 | nrl^ | (~nrl@68.101.50.106) |
| 2021-09-26 17:10:11 +0200 | nrl^ | (~nrl@68.101.50.106) (Remote host closed the connection) |
| 2021-09-26 17:10:15 +0200 | <[exa]> | janus: if substituing M for Maybe, you'd automatically have `Just x <> Just y` working if `x<>y` would be working |
| 2021-09-26 17:10:43 +0200 | <merijn> | > (Sum 1, Any True) <> (Sum 3, Any False) |
| 2021-09-26 17:10:44 +0200 | <lambdabot> | (Sum {getSum = 4},Any {getAny = True}) |
| 2021-09-26 17:11:21 +0200 | <merijn> | janus: This works because "instance (Semigroup a, Semigroup b) => Semigroup (a, b)" (i.e. "if both elements of a tuple are instances of Semigroup, the tuple is also an instance of Semigroup) |
| 2021-09-26 17:13:32 +0200 | <janus> | it's from a thread with Gabriella Gonzalez where they talk about preferring that over basing on Alternative: https://twitter.com/GabriellaG439/status/1436722080502849539 |
| 2021-09-26 17:14:32 +0200 | <janus> | i am trying to understand the different directions one might go , e.g. Brian McKenna argues for not defining it since one can use Ap |
| 2021-09-26 17:14:50 +0200 | <janus> | i never used Ap, i always find people golfing with it |
| 2021-09-26 17:16:39 +0200 | <merijn> | janus: Ah, ok, yeah, I see what you're getting at (and I think Brian is wrong) |
| 2021-09-26 17:16:58 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-09-26 17:17:19 +0200 | <merijn> | janus: Ok, so in theory, defining a universal "instance (Semigroup a, Applicative f) => Semigroup (f a)" is perfectly fine |
| 2021-09-26 17:17:28 +0200 | <merijn> | That is a lawful instance |
| 2021-09-26 17:17:43 +0200 | <merijn> | However, it has the downside that some Applicatives might want *different* monoidal behaviour |
| 2021-09-26 17:18:18 +0200 | <merijn> | And that generic instance overlaps (and thus makes impossible) any custom instances for specific applicatives. Which is why it doesn't exist |
| 2021-09-26 17:18:42 +0200 | kuribas | (~user@ptr-25vy0i70h84gschr3z1.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-09-26 17:19:03 +0200 | <merijn> | The Ap newtype exists to implement that generic instance, without overlapping any (future/possible) custom instances for specific 'f' |
| 2021-09-26 17:19:24 +0200 | <merijn> | But, as Gabriella says, that's super verbose and annoying to use |
| 2021-09-26 17:19:52 +0200 | <merijn> | the only real reason *not* to define the "liftA2 (<>)" instance is "if another one makes more sense: |
| 2021-09-26 17:20:52 +0200 | <merijn> | "because it's much more convenient and pleasant to use" seems a pretty solid argument to rebuke Brian's "why reimplement the generic case" |
| 2021-09-26 17:23:46 +0200 | <janus> | ok, that does seem sensible |
| 2021-09-26 17:24:11 +0200 | <janus> | the reason we have to reason with ergonomics, is it because Alt/Alternative are underspecified like phadej argues? |
| 2021-09-26 17:24:53 +0200 | <janus> | visible in this thread: https://twitter.com/chrislpenner/status/1437113257920274440 |
| 2021-09-26 17:26:00 +0200 | <merijn> | janus: Alternative and Monoid don't always correspond |
| 2021-09-26 17:26:42 +0200 | <merijn> | Simple example where lawful Alternative and Monoid do the different thing: Parsers (I think attoparsec has these instances?) |
| 2021-09-26 17:27:03 +0200 | <merijn> | "parser1 <> parser2" -> parse both and <> their results |
| 2021-09-26 17:27:20 +0200 | <merijn> | vs "parser1 <|> parser2" -> parse left, if it fails, try right |
| 2021-09-26 17:28:53 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 17:29:19 +0200 | juhp | (~juhp@bb42-60-204-249.singnet.com.sg) (Ping timeout: 265 seconds) |
| 2021-09-26 17:30:42 +0200 | <maerwald> | question is whether <|> backtracks or not |
| 2021-09-26 17:31:41 +0200 | <janus> | so that is the 'underspecification' applied to parsers? |
| 2021-09-26 17:32:29 +0200 | juhp | (~juhp@118.200.109.69) |
| 2021-09-26 17:32:45 +0200 | <maerwald> | sometimes it may be better to roll your own combinators |
| 2021-09-26 17:33:12 +0200 | <janus> | right, that is the argument "I believe some other people think that these Semigroup/Monoid instances should not be added (to avoid potentially confusing errors)" mentioned by Gabriella |
| 2021-09-26 17:33:13 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 252 seconds) |
| 2021-09-26 17:34:19 +0200 | <timCF> | I'm having a difficult time trying to give a name for this function.. `Integral b => (a -> b) -> Ratio a -> Ratio b` |
| 2021-09-26 17:34:30 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-09-26 17:37:37 +0200 | <janus> | merijn: i gather you mention that Alternative and Monoid do not correspond because you think that situation is all right, rigght? it is a demonstration that when choosing whether the Semigroup should match Monoid or Alternative, better choose Monoid. correct? |
| 2021-09-26 17:38:03 +0200 | <[exa]> | timCF: ratioMap ? |
| 2021-09-26 17:39:11 +0200 | <timCF> | [exa]: thanks) Or `fromRatio` maybe |
| 2021-09-26 17:39:35 +0200 | <[exa]> | fromX sound a bit like auto-conversions always, this is not autoconversion |
| 2021-09-26 17:40:10 +0200 | <[exa]> | (like, I'd expect fromRatio to also produce floats) |
| 2021-09-26 17:42:11 +0200 | <janus> | i wonder if this whole discussion is very different in purescript since they have so much more granular type classes :P but that is off-topic for here :P |
| 2021-09-26 17:42:58 +0200 | <merijn> | janus: The thing is, there are many valid (as in lawful) Alternatives/Monoids for most types |
| 2021-09-26 17:43:35 +0200 | <merijn> | janus: Specifically, "Monoid a => Monoid (f a)" says something about 'f a' values |
| 2021-09-26 17:43:50 +0200 | <merijn> | Whereas "instance Alternative f" says something about type 'f' |
| 2021-09-26 17:44:39 +0200 | <merijn> | Alternative and Monoid have the same laws, but they are statements/properties of different things and so the only reason why they are sometimes the same as coincidence flowing from the fact that the laws are the same |
| 2021-09-26 17:45:07 +0200 | brettgilio | (~brettgili@x-node.gq) (Quit: Leaving...) |
| 2021-09-26 17:45:50 +0200 | <merijn> | Note that With "instance (Applicative f, Monoid a) => Monoid (f a) where mempty = pure mempty" we need the Monoid on 'a' to have a "default" value to lift via pure |
| 2021-09-26 17:45:57 +0200 | <merijn> | :t empty |
| 2021-09-26 17:45:58 +0200 | <lambdabot> | Alternative f => f a |
| 2021-09-26 17:46:18 +0200 | <merijn> | Whereas alternative says "I can create an empty, regardless of whether 'a' has some kinda monoidal operation" |
| 2021-09-26 17:46:27 +0200 | <merijn> | (i.e. something like Nothing) |
| 2021-09-26 17:46:51 +0200 | brettgilio | (~brettgili@x-node.gq) |
| 2021-09-26 17:47:43 +0200 | <janus> | right, so just the fact that they have the same laws but different names rub people the wrong way if they take the 'lawless classes are bad' religion to its extreme |
| 2021-09-26 17:48:30 +0200 | <janus> | but how does that interact with having smaller type classes, which i think phadej shows wouldn't make sense? the smaller type classes do not change the amount of laws, right? |
| 2021-09-26 17:48:57 +0200 | <merijn> | I didn't see phadej's comment about that? |
| 2021-09-26 17:49:59 +0200 | Guest71 | (~Guest71@217.155.92.24) |
| 2021-09-26 17:50:35 +0200 | <janus> | if you scroll down on the last 'chrislpenner' link that i posted, it shows e.g. this tweet "That paves a road to adding [...] CommotativeMonoid" https://twitter.com/phadej/status/1440004818098065410 |
| 2021-09-26 17:50:57 +0200 | <janus> | *Commutative |
| 2021-09-26 17:52:11 +0200 | <merijn> | It's not that they make sense, but adding infinitely many tiny classes makes it a pain in the ass to define custom datatypes since you need to define 50 billion instances |
| 2021-09-26 17:52:39 +0200 | <merijn> | So there is a cost-benefit relation to "have useful is a class" vs "the hassle of making everyone implement it" |
| 2021-09-26 17:53:00 +0200 | Brumaire | (~quassel@81-64-14-121.rev.numericable.fr) (Ping timeout: 265 seconds) |
| 2021-09-26 17:53:03 +0200 | <merijn> | purescript certainly moves into the direction of "more finegrained classes", but I'm not sure that's necessarily better for users |
| 2021-09-26 17:53:14 +0200 | <merijn> | More classes to learn, more classes to implement |
| 2021-09-26 17:56:11 +0200 | xiongxin | (~quassel@113.116.34.58) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-26 17:56:16 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 17:56:18 +0200 | <janus> | yeah, i need to just write more purescript to find out, i guess (heathen!). not intuitively clear to me how e.g. "Apply for Maps" is useful like chrislpenner mentions |
| 2021-09-26 17:57:44 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 17:58:35 +0200 | timCF | (~timCF@m91-129-108-244.cust.tele2.ee) (Quit: leaving) |
| 2021-09-26 17:59:48 +0200 | Null_A | (~null_a@2601:645:8700:2290:91f2:4a69:be9c:a77e) (Remote host closed the connection) |
| 2021-09-26 18:00:44 +0200 | Guest71 | (~Guest71@217.155.92.24) () |
| 2021-09-26 18:05:42 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-09-26 18:08:09 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 18:08:29 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-09-26 18:09:35 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-09-26 18:12:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 252 seconds) |
| 2021-09-26 18:13:58 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 18:18:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 18:18:23 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 18:18:23 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 18:18:25 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 18:33:53 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-09-26 18:34:37 +0200 | <sshine> | I think that if many more classes were the better option, those alternative mathy preludes would've prevailed more. |
| 2021-09-26 18:41:28 +0200 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
| 2021-09-26 18:44:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 18:48:54 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-09-26 18:56:18 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-09-26 18:58:32 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 18:58:56 +0200 | jespada | (~jespada@2803:9800:9842:7a62:8558:368:788c:6dc6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-09-26 18:59:29 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:ee5c:b46b:b0a5:5579) |
| 2021-09-26 19:01:31 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 19:01:44 +0200 | hnOsmium0001 | (uid453710@id-453710.hampstead.irccloud.com) |
| 2021-09-26 19:03:00 +0200 | Lorra | (~lorenzo@2001:a61:be4:201:e803:654f:a1be:f3b5) |
| 2021-09-26 19:04:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2021-09-26 19:06:03 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) |
| 2021-09-26 19:06:39 +0200 | econo | (uid147250@user/econo) |
| 2021-09-26 19:10:31 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-09-26 19:10:38 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 2021-09-26 19:12:53 +0200 | gioyik | (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.1) |
| 2021-09-26 19:12:53 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-09-26 19:13:28 +0200 | jacks2 | (~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-09-26 19:13:32 +0200 | xsperry | (~xs@user/xsperry) () |
| 2021-09-26 19:17:54 +0200 | ryantrinkle | (~ryan@66.152.129.6) |
| 2021-09-26 19:19:46 +0200 | <ryantrinkle> | does anyone know how to get cabal to produce a plan.json file? |
| 2021-09-26 19:20:03 +0200 | <sclv> | i think it always does with v2 build?? |
| 2021-09-26 19:20:46 +0200 | <sclv> | https://cabal.readthedocs.io/en/latest/nix-local-build.html#caching |
| 2021-09-26 19:21:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 19:21:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 19:21:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 19:21:28 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 19:22:00 +0200 | <ryantrinkle> | nvm looks like --dry-run does it |
| 2021-09-26 19:22:05 +0200 | <ryantrinkle> | thanks :) |
| 2021-09-26 19:24:13 +0200 | <[exa]> | any users of llvm-hs-pure? is there any good way to construct complicated phi nodes without totally abusing `mdo`? Problem: I need to construct a `phi` instruction in the beginning of a block, but the Operand I need gets only created by the last instruction. |
| 2021-09-26 19:25:27 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2021-09-26 19:25:51 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) (Ping timeout: 250 seconds) |
| 2021-09-26 19:27:30 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-09-26 19:29:50 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 19:33:12 +0200 | <[exa]> | hm this might be IRBuilder specific |
| 2021-09-26 19:35:58 +0200 | <c_wraith> | that's... not abusing mdo |
| 2021-09-26 19:36:06 +0200 | <c_wraith> | that's what it exists to do |
| 2021-09-26 19:37:02 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-09-26 19:39:46 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-09-26 19:40:02 +0200 | nschoe | (~quassel@2a01:e0a:8e:a190:ee5c:b46b:b0a5:5579) (Ping timeout: 250 seconds) |
| 2021-09-26 19:45:16 +0200 | <[exa]> | so something like |
| 2021-09-26 19:45:48 +0200 | <[exa]> | metadata <- traverse (buildBlockWithMetadata metadata) blockDescriptions |
| 2021-09-26 19:45:56 +0200 | <[exa]> | ... should just work™ within a mdo ? |
| 2021-09-26 19:46:59 +0200 | <c_wraith> | depending on strictness, yes |
| 2021-09-26 19:47:01 +0200 | <davean> | Thats the point |
| 2021-09-26 19:47:12 +0200 | <davean> | But yes, strictness |
| 2021-09-26 19:47:51 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-09-26 19:48:04 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-09-26 19:48:20 +0200 | <[exa]> | it's mostly for phi nodes so the result will mainly contain the autoincrement values of some variable counters |
| 2021-09-26 19:48:44 +0200 | <[exa]> | and they won't be really needed until much later the thing gets chewed by LLVM |
| 2021-09-26 19:48:52 +0200 | <[exa]> | so I guess this is safe? |
| 2021-09-26 19:49:40 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-09-26 19:52:50 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-09-26 19:53:59 +0200 | yinghua | (~yinghua@2800:2121:1400:1db:dd9a:21db:bfa:2483) |
| 2021-09-26 19:55:29 +0200 | xsperry | (~xs@user/xsperry) |
| 2021-09-26 19:55:35 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 20:03:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-09-26 20:08:14 +0200 | teddyc | (theodorc@cassarossa.samfundet.no) (Ping timeout: 260 seconds) |
| 2021-09-26 20:15:35 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 20:16:54 +0200 | joeyh_ | (~joeyh@kitenet.net) (Remote host closed the connection) |
| 2021-09-26 20:17:13 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
| 2021-09-26 20:18:59 +0200 | joeyh | (~joeyh@kitenet.net) |
| 2021-09-26 20:19:56 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2021-09-26 20:20:57 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) (Remote host closed the connection) |
| 2021-09-26 20:23:10 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) (Ping timeout: 252 seconds) |
| 2021-09-26 20:24:04 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) |
| 2021-09-26 20:26:57 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:75e5:da2f:c054:6c5d) |
| 2021-09-26 20:30:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 20:32:56 +0200 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2021-09-26 20:33:17 +0200 | obfusk | (~quassel@a82-161-150-56.adsl.xs4all.nl) |
| 2021-09-26 20:37:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 20:45:09 +0200 | CiaoSen | (~Jura@p2e5c6ba6.dip0.t-ipconnect.de) |
| 2021-09-26 20:47:55 +0200 | TranquilEcho | (~grom@user/tranquilecho) |
| 2021-09-26 20:49:55 +0200 | quantum | (~quantum@user/quantum/x-8556232) (Quit: Reconnecting) |
| 2021-09-26 20:50:13 +0200 | quantum | (~quantum@user/quantum/x-8556232) |
| 2021-09-26 20:50:49 +0200 | ph88 | (~ph88@2a02:8109:9e00:7e5c:7cb7:e630:89c:9583) (Quit: Leaving) |
| 2021-09-26 21:05:35 +0200 | chris | (~chris@81.96.113.213) |
| 2021-09-26 21:05:39 +0200 | chris | Guest6489 |
| 2021-09-26 21:09:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-26 21:09:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-26 21:15:07 +0200 | asgas | (~asgas@c-24-30-27-91.hsd1.ga.comcast.net) |
| 2021-09-26 21:16:29 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-09-26 21:17:09 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) |
| 2021-09-26 21:18:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-09-26 21:23:07 +0200 | yauhsien | (~yauhsien@118-167-48-21.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2021-09-26 21:25:50 +0200 | asgas | (~asgas@c-24-30-27-91.hsd1.ga.comcast.net) (Quit: Leaving) |
| 2021-09-26 21:28:31 +0200 | ubert | (~Thunderbi@77.119.164.7.wireless.dyn.drei.com) |
| 2021-09-26 21:31:11 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2021-09-26 21:33:31 +0200 | nfd | (~nfd@user/nfd) (Ping timeout: 252 seconds) |
| 2021-09-26 21:39:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 21:41:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 21:47:01 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) |
| 2021-09-26 21:57:59 +0200 | hendursaga | (~weechat@user/hendursaga) (Remote host closed the connection) |
| 2021-09-26 21:58:25 +0200 | hendursaga | (~weechat@user/hendursaga) |
| 2021-09-26 22:03:24 +0200 | hexfive | (~eric@50.35.83.177) |
| 2021-09-26 22:07:02 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2021-09-26 22:08:21 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 250 seconds) |
| 2021-09-26 22:10:41 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-09-26 22:10:48 +0200 | hexfive | (~eric@50.35.83.177) (Quit: WeeChat 3.0.1) |
| 2021-09-26 22:13:02 +0200 | acidjnk | (~acidjnk@p200300d0c703cb46dd7f255b3d79135e.dip0.t-ipconnect.de) |
| 2021-09-26 22:15:36 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb462da086313ccdebff.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 22:16:21 +0200 | nfd | (~nfd@user/nfd) |
| 2021-09-26 22:22:11 +0200 | Lorra | (~lorenzo@2001:a61:be4:201:e803:654f:a1be:f3b5) (Quit: Konversation terminated!) |
| 2021-09-26 22:22:29 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2021-09-26 22:23:10 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2021-09-26 22:23:38 +0200 | <unit73e> | hello. my pet project of porting of lazyfoo SDL2 is on-going. lesson 21 done: https://gitlab.com/unit73e/lazyfoo-examples |
| 2021-09-26 22:24:09 +0200 | <unit73e> | unfortunately it seems like haskell SDL2 doesn't support force feedback so I skipped that one, for now |
| 2021-09-26 22:24:26 +0200 | <unit73e> | I do have a dualshock 4 so I can contribute to that later |
| 2021-09-26 22:25:55 +0200 | <shapr> | unit73e: neato! |
| 2021-09-26 22:27:21 +0200 | nabaiste^ | (~nabaiste@68.101.50.106) |
| 2021-09-26 22:27:45 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-09-26 22:29:44 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-09-26 22:31:34 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.244) |
| 2021-09-26 22:31:57 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2021-09-26 22:33:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-09-26 22:33:20 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-09-26 22:33:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-09-26 22:34:41 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2021-09-26 22:41:14 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
| 2021-09-26 22:42:10 +0200 | ubert | (~Thunderbi@77.119.164.7.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-09-26 22:59:19 +0200 | mikoto-chan | (~mikoto-ch@83.137.2.244) (Read error: Connection reset by peer) |
| 2021-09-26 23:06:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-09-26 23:06:49 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-09-26 23:11:05 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2021-09-26 23:12:06 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2021-09-26 23:13:53 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2021-09-26 23:29:47 +0200 | TranquilEcho | (~grom@user/tranquilecho) (Quit: WeeChat 2.8) |
| 2021-09-26 23:38:25 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-09-26 23:38:46 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2021-09-26 23:39:37 +0200 | falafel | (~falafel@2603-8000-d800-688c-09e7-c002-f7c4-b460.res6.spectrum.com) |
| 2021-09-26 23:41:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-09-26 23:42:26 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2021-09-26 23:43:47 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-09-26 23:44:01 +0200 | <maerwald> | is there an optparse trick to make a distinction between `foo bar baz -- --flag1 --flag2`? Afais, bar, baz and --flag1 --flag2 would have to be of the same parser if bar and baz are |
| 2021-09-26 23:47:54 +0200 | acidjnk_new | (~acidjnk@pd9e0b933.dip0.t-ipconnect.de) |
| 2021-09-26 23:51:03 +0200 | acidjnk | (~acidjnk@p200300d0c703cb46dd7f255b3d79135e.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-09-26 23:52:14 +0200 | <hpc> | wouldn't those just be positional arguments? |
| 2021-09-26 23:55:02 +0200 | chomwitt | (~chomwitt@2a02:587:dc0a:5800:12c3:7bff:fe6d:d374) (Ping timeout: 260 seconds) |
| 2021-09-26 23:55:14 +0200 | <maerwald> | bar and baz is some/many |
| 2021-09-26 23:55:22 +0200 | <maerwald> | so it will expand to the others |