| 2022-08-02 00:00:34 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 00:01:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 00:05:51 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 268 seconds) |
| 2022-08-02 00:07:58 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-02 00:09:00 +0200 | sandy_doo | (~sandydoo@2a03:1b20:6:f011::a07e) (Ping timeout: 268 seconds) |
| 2022-08-02 00:09:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 00:15:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-08-02 00:16:18 +0200 | JannisO | (~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de) |
| 2022-08-02 00:18:27 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-02 00:24:23 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-02 00:24:29 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-08-02 00:24:39 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-08-02 00:27:21 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2022-08-02 00:36:52 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-02 00:40:18 +0200 | mikoto-chan | (~mikoto-ch@85-76-107-45-nat.elisa-mobile.fi) |
| 2022-08-02 00:40:25 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 272 seconds) |
| 2022-08-02 00:41:14 +0200 | yaroot | (~yaroot@p3374048-ipngn8502souka.saitama.ocn.ne.jp) (Remote host closed the connection) |
| 2022-08-02 00:43:32 +0200 | yaroot | (~yaroot@2400:4052:ac0:d900:680e:dbff:fe1e:4953) |
| 2022-08-02 00:45:33 +0200 | tdkilus^ | (~tdkilus@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 00:48:47 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-02 00:49:29 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2022-08-02 00:49:46 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) |
| 2022-08-02 00:52:00 +0200 | Guest55 | (~Guest55@c-71-198-235-211.hsd1.ca.comcast.net) |
| 2022-08-02 00:52:33 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-02 00:53:11 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 00:55:47 +0200 | tdkilus^ | (~tdkilus@c-73-237-117-119.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-08-02 00:57:25 +0200 | jinsun__ | (~jinsun@user/jinsun) |
| 2022-08-02 00:57:25 +0200 | jinsun | (~jinsun@user/jinsun) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2022-08-02 00:57:25 +0200 | jinsun__ | jinsun |
| 2022-08-02 01:03:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 01:03:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 01:05:39 +0200 | Jon | (jon@dow.land) |
| 2022-08-02 01:06:07 +0200 | off^ | (~off@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 01:07:26 +0200 | JannisO | (~JannisO@dyndsl-089-166-213-108.ewe-ip-backbone.de) (Ping timeout: 268 seconds) |
| 2022-08-02 01:08:12 +0200 | micro | (~micro@user/micro) |
| 2022-08-02 01:09:40 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) |
| 2022-08-02 01:10:29 +0200 | Katarushisu7 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2022-08-02 01:10:30 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-08-02 01:10:30 +0200 | Katarushisu7 | Katarushisu |
| 2022-08-02 01:10:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 01:12:31 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-02 01:13:45 +0200 | micro | (~micro@user/micro) (Ping timeout: 268 seconds) |
| 2022-08-02 01:14:22 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-02 01:14:35 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2022-08-02 01:15:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-02 01:15:26 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2022-08-02 01:16:01 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 252 seconds) |
| 2022-08-02 01:17:33 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-02 01:18:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 01:18:33 +0200 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-08-02 01:19:15 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) |
| 2022-08-02 01:19:24 +0200 | micro | (~micro@user/micro) |
| 2022-08-02 01:21:09 +0200 | off^ | (~off@c-73-237-117-119.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-02 01:22:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 01:22:15 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-02 01:24:51 +0200 | mikoto-chan | (~mikoto-ch@85-76-107-45-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2022-08-02 01:25:20 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) (Remote host closed the connection) |
| 2022-08-02 01:25:34 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-02 01:25:41 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-08-02 01:28:49 +0200 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2022-08-02 01:29:07 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-09a8-af8b-6907-6e05.res6.spectrum.com) |
| 2022-08-02 01:29:55 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-02 01:30:49 +0200 | jackhill | (~jackhill@kalessin.dragonsnail.net) |
| 2022-08-02 01:31:03 +0200 | statusfailed | (~statusfai@statusfailed.com) (Ping timeout: 252 seconds) |
| 2022-08-02 01:31:15 +0200 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-08-02 01:33:49 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 01:37:38 +0200 | troydm | (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 2022-08-02 01:39:00 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-02 01:39:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-02 01:41:05 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-02 01:41:05 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2022-08-02 01:47:02 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-08-02 01:48:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-02 01:49:01 +0200 | jespada | (~jespada@45.162.228.190) (Ping timeout: 252 seconds) |
| 2022-08-02 01:49:15 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 01:50:51 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 01:52:28 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 01:53:59 +0200 | jespada | (~jespada@177.67.80.187) |
| 2022-08-02 01:54:37 +0200 | gurkenglas | (~gurkengla@p548ac71b.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2022-08-02 01:55:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 02:10:57 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 02:21:47 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 255 seconds) |
| 2022-08-02 02:23:17 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-02 02:36:19 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-02 02:38:01 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-02 02:40:41 +0200 | xff0x | (~xff0x@2405:6580:b080:900:66f:76f7:bef0:7fa2) (Ping timeout: 255 seconds) |
| 2022-08-02 02:49:07 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-08-02 02:49:58 +0200 | off^ | (~off@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 03:08:16 +0200 | Square2 | Square |
| 2022-08-02 03:12:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 03:17:38 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Read error: Connection reset by peer) |
| 2022-08-02 03:17:56 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2022-08-02 03:17:56 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-02 03:18:36 +0200 | <jero98772> | hellooo, i get this error https://imgur.com/a/YzMAM6t, when i try to use quickcheck in this code https://pastebin.com/LdKC5075 |
| 2022-08-02 03:18:40 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 244 seconds) |
| 2022-08-02 03:18:56 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2022-08-02 03:19:58 +0200 | <jackdk> | It doesn't know what arbitrary instance to select, probably because your factorial definitions have no type signature |
| 2022-08-02 03:20:38 +0200 | sd | (~sd@181.58.38.71) |
| 2022-08-02 03:20:56 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) |
| 2022-08-02 03:21:02 +0200 | sd | Guest4249 |
| 2022-08-02 03:22:47 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) (Client Quit) |
| 2022-08-02 03:25:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 03:31:25 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) (Ping timeout: 272 seconds) |
| 2022-08-02 03:33:31 +0200 | Guest4249 | (~sd@181.58.38.71) (Quit: Connection closed) |
| 2022-08-02 03:34:10 +0200 | pgib | (~textual@173.38.117.88) (Ping timeout: 260 seconds) |
| 2022-08-02 03:41:51 +0200 | anonymous | (~anonymous@cable200-116-173-90.epm.net.co) |
| 2022-08-02 03:42:02 +0200 | <anonymous> | h |
| 2022-08-02 03:42:20 +0200 | anonymous | (~anonymous@cable200-116-173-90.epm.net.co) (Client Quit) |
| 2022-08-02 03:43:15 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 03:44:02 +0200 | <nomagno> | Does GHC have any kind of plans for stability? |
| 2022-08-02 03:44:06 +0200 | <ski> | jero98772 : i think you're supposed to call `quickCheck' not on arbitrary functions, but on QuickCheck properties, which express some expected general law involving some operation(s), as a function taking parameters to a truth-value (a `Bool'ean, or possibly a richer QuickCheck-provided type, that gives some more stuff) |
| 2022-08-02 03:45:51 +0200 | <ski> | @check \xs ys -> reverse (xs ++ ys) == reverse ys ++ reverse (xs :: [Int]) |
| 2022-08-02 03:45:52 +0200 | <lambdabot> | +++ OK, passed 100 tests. |
| 2022-08-02 03:46:10 +0200 | <ski> | in a source file, you'd write that as |
| 2022-08-02 03:46:27 +0200 | <ski> | propReverseAppend xs ys = reverse (xs ++ ys) == reverse ys ++ reverse (xs :: [Int]) |
| 2022-08-02 03:46:39 +0200 | <ski> | and then call `quickCheck propReverseAppend' |
| 2022-08-02 03:48:12 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) |
| 2022-08-02 03:48:13 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) (Client Quit) |
| 2022-08-02 03:48:38 +0200 | jespada | (~jespada@177.67.80.187) (Ping timeout: 240 seconds) |
| 2022-08-02 03:48:52 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) |
| 2022-08-02 03:48:54 +0200 | dgxfsd | (~dgxfsd@181.58.38.71) (Client Quit) |
| 2022-08-02 03:50:19 +0200 | <ski> | (or putting a type signature on `propReverseAppend', like `propReverseAppend :: [Int] -> [Int] -> Bool', or `propReverseAppend :: [Int] -> [Int] -> Property', in place of the ascription `xs :: [Int]' there in the body, which was used to pin down the element type to use, to avoid the kind of ambiguity error you got that jackdk referred to) |
| 2022-08-02 03:51:00 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 268 seconds) |
| 2022-08-02 03:51:10 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-02 03:51:50 +0200 | JuanJr | (~JuanJr@190.66.24.114) |
| 2022-08-02 03:52:12 +0200 | JuanJr | (~JuanJr@190.66.24.114) (Client Quit) |
| 2022-08-02 03:52:36 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-02 03:52:48 +0200 | jespada | (~jespada@45.162.228.190) |
| 2022-08-02 03:54:50 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-08-02 03:56:05 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-08-02 03:57:43 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-02 03:58:52 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2022-08-02 04:01:45 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Read error: Connection reset by peer) |
| 2022-08-02 04:07:04 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.233) |
| 2022-08-02 04:07:59 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-02 04:15:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 04:17:24 +0200 | mikoto-chan | (~mikoto-ch@85-76-45-224-nat.elisa-mobile.fi) |
| 2022-08-02 04:20:27 +0200 | dolio | (~dolio@130.44.130.54) (Ping timeout: 245 seconds) |
| 2022-08-02 04:22:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-02 04:23:13 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-02 04:24:38 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-08-02 04:29:59 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-02 04:31:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 04:31:55 +0200 | yauhsien | (~yauhsien@118-167-41-184.dynamic-ip.hinet.net) |
| 2022-08-02 04:32:38 +0200 | gdd1 | (~gdd@2001:470:1f13:187:de72:d5cb:b676:c00) (Ping timeout: 240 seconds) |
| 2022-08-02 04:32:57 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) |
| 2022-08-02 04:34:43 +0200 | gdd1 | (~gdd@129.199.146.230) |
| 2022-08-02 04:35:26 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-08-02 04:39:06 +0200 | mikoto-chan | (~mikoto-ch@85-76-45-224-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2022-08-02 04:40:32 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-08-02 04:41:17 +0200 | td_ | (~td@muedsl-82-207-238-015.citykom.de) (Ping timeout: 245 seconds) |
| 2022-08-02 04:41:57 +0200 | yauhsien | (~yauhsien@118-167-41-184.dynamic-ip.hinet.net) (Quit: Leaving...) |
| 2022-08-02 04:43:03 +0200 | td_ | (~td@muedsl-82-207-238-045.citykom.de) |
| 2022-08-02 04:43:47 +0200 | danso_o | danso |
| 2022-08-02 04:46:00 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 04:49:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-02 04:50:35 +0200 | sts-q | (~sts-q@2a01:41e1:239e:8600:5ca9:a95b:5e06:aaf8) (Ping timeout: 272 seconds) |
| 2022-08-02 04:51:26 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-02 04:58:23 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) (Remote host closed the connection) |
| 2022-08-02 05:01:41 +0200 | <instantaphex> | /quit |
| 2022-08-02 05:01:59 +0200 | instantaphex | (~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Quit: leaving) |
| 2022-08-02 05:03:46 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-02 05:04:28 +0200 | hughjfchen | (~hughjfche@vmi556545.contaboserver.net) (Read error: Connection reset by peer) |
| 2022-08-02 05:11:28 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-08-02 05:17:20 +0200 | ski | (~ski@ext-1-213.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2022-08-02 05:25:03 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-08-02 05:26:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-02 05:29:55 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2022-08-02 05:29:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Read error: Connection reset by peer) |
| 2022-08-02 05:30:31 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-08-02 05:31:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 05:37:28 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-08-02 05:43:56 +0200 | <Axman6> | nomagno: that's a very broad question, what do you mean? Generally features which are to be deprecated will be retained for three major releases, and additional features are usually implemented as language extensions, so they are forwards compatible. The ABI is likely never to be stable though, and it doesn't really need to be |
| 2022-08-02 05:44:33 +0200 | <hippoid> | I'm trying to run the code in this blog post https://blog.ploeh.dk/2017/10/16/money-monoid/, and it has "MoneyPort.Sum" that is not defined elsewhere in the code, and hoogle comes up empty. I'm wondering if it's part of some deprecated package? |
| 2022-08-02 05:45:22 +0200 | kvakil | (6f76c3db2e@2604:bf00:561:2000::40a) () |
| 2022-08-02 05:45:31 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-02 05:45:48 +0200 | <Axman6> | MoneyPort looks like an import that has been imported qualified to me |
| 2022-08-02 05:45:48 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-02 05:46:32 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-02 05:46:41 +0200 | <Axman6> | Sum is one of the constructors of Expression, so MoneyPort will be whatever module Expression is defined in |
| 2022-08-02 05:47:32 +0200 | <monochrom> | So bloggers aren't doing any better than research paper authors. Code snippets that are totally incomplete and irreproducible. |
| 2022-08-02 05:47:53 +0200 | <Axman6> | tthat post looks like a much more unsafe way to implement what safe-money does - you should definitely take a look at that package if you need to deal with maths involving currency and exchange rates |
| 2022-08-02 05:48:20 +0200 | <Axman6> | monochrom: well, I thinkg it's reasonable that when you';re showing a GHCi session, the module you're talking about is imported |
| 2022-08-02 05:49:23 +0200 | <monochrom> | Except that no module was talked about in the first place. |
| 2022-08-02 05:49:29 +0200 | <Axman6> | hippoid: https://ren.zone/articles/safe-money this is well worth reading, it outlines the reasons for the design of safe-money |
| 2022-08-02 05:49:35 +0200 | <jackdk> | hippoid: I suspect the author has been working in `MoneyPort.hs` and imported it qualified at the repl |
| 2022-08-02 05:51:13 +0200 | <hippoid> | Axman6: the thing about a qualified import makes sense. It must be the Sum constructor for Expression |
| 2022-08-02 05:52:42 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-02 05:53:20 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 05:53:23 +0200 | <hippoid> | the post is from 2017, so I'd think a github link would not be too much to ask for. also makes me wonder if anyone has ever tried to run the code other than the author |
| 2022-08-02 05:53:25 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-02 05:53:31 +0200 | ski | (~ski@ext-1-213.eduroam.chalmers.se) |
| 2022-08-02 05:53:47 +0200 | <monochrom> | I don't even read blogs. |
| 2022-08-02 05:54:58 +0200 | <monochrom> | And if you s/blog/research paper/ then it's well known that few readers try to run code from research papers. |
| 2022-08-02 05:55:37 +0200 | <monochrom> | In fact we even wonder whether the authors themselves had run their published code in the first place. |
| 2022-08-02 05:57:06 +0200 | <hippoid> | in defense of the author, I am finding his prose to be illuminating |
| 2022-08-02 06:00:19 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 06:01:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 06:02:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-08-02 06:02:24 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) |
| 2022-08-02 06:03:05 +0200 | jargon | (~jargon@184.101.188.251) (Remote host closed the connection) |
| 2022-08-02 06:05:39 +0200 | <jackdk> | monochrom: all code in research papers should be buildable from nix expressions |
| 2022-08-02 06:05:48 +0200 | <monochrom> | haha |
| 2022-08-02 06:05:54 +0200 | <jackdk> | A man can dream |
| 2022-08-02 06:08:07 +0200 | ski | semi-recently typed in the (SML) code from Andrzej Filinski's "Representing Monads" and "Representing Layered Monads" |
| 2022-08-02 06:08:36 +0200 | off^ | (~off@c-73-237-117-119.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-08-02 06:11:32 +0200 | phma | (phma@2001:5b0:212a:9df8:d7c:fd9f:422b:bc91) (Read error: Connection reset by peer) |
| 2022-08-02 06:12:16 +0200 | Inst | (~Inst@2601:6c4:4080:3f80:e980:509e:df5:6868) (Ping timeout: 244 seconds) |
| 2022-08-02 06:14:04 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-02 06:14:09 +0200 | <qrpnxz> | hello |
| 2022-08-02 06:14:11 +0200 | <qrpnxz> | :) |
| 2022-08-02 06:14:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-02 06:14:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-02 06:19:26 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-08-02 06:25:11 +0200 | phma | (~phma@host-67-44-208-15.hnremote.net) |
| 2022-08-02 06:27:01 +0200 | <ski> | ehlo |
| 2022-08-02 06:27:36 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) () |
| 2022-08-02 06:31:54 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 06:33:00 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-02 06:33:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 06:35:46 +0200 | kazaf | (~kazaf@94.180.63.53) |
| 2022-08-02 06:36:55 +0200 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.233) (Remote host closed the connection) |
| 2022-08-02 06:38:44 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) (Ping timeout: 268 seconds) |
| 2022-08-02 06:39:37 +0200 | Guest3 | (~textual@2607:fb91:bd98:639c:7416:8bbe:b217:f425) |
| 2022-08-02 06:43:11 +0200 | Guest3 | (~textual@2607:fb91:bd98:639c:7416:8bbe:b217:f425) (Client Quit) |
| 2022-08-02 06:44:51 +0200 | kazaf | (~kazaf@94.180.63.53) (Remote host closed the connection) |
| 2022-08-02 06:46:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 06:46:45 +0200 | sts-q | (~sts-q@2a01:41e1:23db:f000:40da:6064:132b:999) |
| 2022-08-02 06:47:01 +0200 | sts-q | (~sts-q@2a01:41e1:23db:f000:40da:6064:132b:999) (Reform running sic irc client says bye for now.) |
| 2022-08-02 06:55:47 +0200 | <Axman6> | monochrom: I have a credit in one of Martin Kleppmann's papers from finding a bug in his code implementing x25519 because I translated the code to Haskell |
| 2022-08-02 07:01:21 +0200 | <Axman6> | Hmm, not the one on his website, but this version of it: https://www.cl.cam.ac.uk/teaching/2122/Crypto/curve25519.pdf |
| 2022-08-02 07:01:45 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Quit: _) |
| 2022-08-02 07:01:56 +0200 | califax | (~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-02 07:02:07 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-08-02 07:02:10 +0200 | califax | (~califax@user/califx) |
| 2022-08-02 07:13:07 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-02 07:16:43 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2022-08-02 07:20:13 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-02 07:20:45 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-02 07:23:57 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 07:30:47 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-08-02 07:30:57 +0200 | absentia | (~absentia@user/absentia) |
| 2022-08-02 07:36:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-02 07:41:16 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 07:42:44 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-02 07:46:31 +0200 | raym | (~raym@user/raym) (Ping timeout: 252 seconds) |
| 2022-08-02 07:47:31 +0200 | kadoban | (~kadoban@user/kadoban) |
| 2022-08-02 07:50:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 07:51:30 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-02 07:52:06 +0200 | raym | (~raym@user/raym) |
| 2022-08-02 07:54:37 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-02 08:02:50 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 244 seconds) |
| 2022-08-02 08:06:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 08:08:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-02 08:08:26 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 08:21:06 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-02 08:21:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 08:25:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 08:27:44 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 08:27:54 +0200 | acidjnk | (~acidjnk@p200300d6e70586745cd2a57a196d5e2d.dip0.t-ipconnect.de) |
| 2022-08-02 08:33:02 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-02 08:38:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 08:45:13 +0200 | michalz | (~michalz@185.246.204.75) (Remote host closed the connection) |
| 2022-08-02 08:47:07 +0200 | michalz | (~michalz@185.246.204.87) |
| 2022-08-02 08:47:48 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 08:50:45 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) |
| 2022-08-02 08:51:36 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-08-02 08:52:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1c6f:4a58:170a:5a9) |
| 2022-08-02 08:52:31 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-08-02 08:57:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 08:57:52 +0200 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-08-02 08:59:32 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Ping timeout: 252 seconds) |
| 2022-08-02 09:03:54 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) |
| 2022-08-02 09:06:05 +0200 | MajorBiscuit | (~MajorBisc@86-88-79-148.fixed.kpn.net) (Ping timeout: 252 seconds) |
| 2022-08-02 09:08:51 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-08-02 09:11:03 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-08-02 09:14:06 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-08-02 09:14:50 +0200 | noteness | (~noteness@user/noteness) |
| 2022-08-02 09:18:27 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) |
| 2022-08-02 09:27:12 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-02 09:27:48 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 09:29:11 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.a357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2022-08-02 09:29:33 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-08-02 09:40:12 +0200 | Hxdev | (~Hxdev@188.132.209.192) |
| 2022-08-02 09:40:22 +0200 | Hxdev | (~Hxdev@188.132.209.192) (Client Quit) |
| 2022-08-02 09:42:02 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 09:46:14 +0200 | acidjnk | (~acidjnk@p200300d6e70586745cd2a57a196d5e2d.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-02 09:46:54 +0200 | ccntrq | (~Thunderbi@2a01:c22:8960:f400:e422:10e8:fa71:ce3d) |
| 2022-08-02 09:48:06 +0200 | acidjnk | (~acidjnk@p200300d6e7058674447358c26e802d51.dip0.t-ipconnect.de) |
| 2022-08-02 09:48:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 09:48:40 +0200 | arahael | (~arahael@203.220.205.108) (Ping timeout: 268 seconds) |
| 2022-08-02 09:49:56 +0200 | noteness | (~noteness@user/noteness) (Remote host closed the connection) |
| 2022-08-02 09:50:29 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 09:51:07 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 09:51:17 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 09:51:52 +0200 | benin0 | (~benin@183.82.30.242) |
| 2022-08-02 09:52:11 +0200 | arahael | (~arahael@60-240-64-125.tpgi.com.au) |
| 2022-08-02 09:52:53 +0200 | noteness | (~noteness@user/noteness) |
| 2022-08-02 09:52:54 +0200 | ubert | (~Thunderbi@91.141.63.245.wireless.dyn.drei.com) |
| 2022-08-02 09:53:05 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 09:53:18 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 09:53:54 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-08-02 09:54:50 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-02 09:55:02 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-02 09:56:01 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-005.client.tudelft.eduvpn.nl) |
| 2022-08-02 09:56:55 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
| 2022-08-02 09:56:56 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-02 09:58:01 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-02 10:04:38 +0200 | ubert | (~Thunderbi@91.141.63.245.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2022-08-02 10:09:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 10:11:32 +0200 | serus | (~serus@65.red-83-53-31.dynamicip.rima-tde.net) |
| 2022-08-02 10:14:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 10:16:25 +0200 | chele | (~chele@user/chele) |
| 2022-08-02 10:16:56 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 10:17:14 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 10:18:25 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) (Remote host closed the connection) |
| 2022-08-02 10:18:37 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2022-08-02 10:18:44 +0200 | Psybur | (~Psybur@c-76-123-45-25.hsd1.va.comcast.net) |
| 2022-08-02 10:20:40 +0200 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-08-02 10:31:14 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 10:35:40 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) |
| 2022-08-02 10:43:21 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-08-02 10:46:32 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 10:48:00 +0200 | <qrpnxz> | neat! |
| 2022-08-02 10:56:09 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-08-02 11:02:06 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-02 11:03:12 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Remote host closed the connection) |
| 2022-08-02 11:04:25 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 11:08:13 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 2022-08-02 11:09:27 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-02 11:13:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 11:13:38 +0200 | johnw | (~johnw@76-234-69-149.lightspeed.frokca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2022-08-02 11:24:41 +0200 | gurkenglas | (~gurkengla@p57b8a60f.dip0.t-ipconnect.de) |
| 2022-08-02 11:28:39 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-02 11:29:27 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2022-08-02 11:30:40 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-02 11:30:52 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-08-02 11:31:00 +0200 | vglfr | (~vglfr@194.9.14.33) (Read error: Connection reset by peer) |
| 2022-08-02 11:31:02 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-08-02 11:31:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 11:33:10 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-02 11:35:44 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 11:40:05 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 252 seconds) |
| 2022-08-02 11:40:56 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-08-02 11:41:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-02 11:55:54 +0200 | __monty__ | (~toonn@user/toonn) |
| 2022-08-02 12:01:05 +0200 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-08-02 12:01:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 12:04:13 +0200 | Haskelytic | (~Haskelyti@118.179.211.17) (Quit: Client closed) |
| 2022-08-02 12:05:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 12:07:40 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-02 12:08:38 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2022-08-02 12:09:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 12:11:55 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 12:18:14 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2022-08-02 12:20:21 +0200 | cosimone | (~user@93-44-186-171.ip98.fastwebnet.it) |
| 2022-08-02 12:23:14 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-08-02 12:25:50 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 240 seconds) |
| 2022-08-02 12:25:50 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-08-02 12:26:33 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-08-02 12:27:13 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) |
| 2022-08-02 12:27:57 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-08-02 12:29:39 +0200 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-08-02 12:35:49 +0200 | VictorHugenay | (~jh@user/VictorHugenay) |
| 2022-08-02 12:36:13 +0200 | VictorHugenay | (~jh@user/VictorHugenay) (Client Quit) |
| 2022-08-02 12:40:43 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-005.client.tudelft.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-02 12:42:03 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 252 seconds) |
| 2022-08-02 12:42:21 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-08-02 12:43:14 +0200 | vglfr | (~vglfr@194.9.14.33) |
| 2022-08-02 12:48:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 12:49:18 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 12:52:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-02 12:53:58 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2022-08-02 12:54:12 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 245 seconds) |
| 2022-08-02 12:58:38 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-08-02 12:59:02 +0200 | mncheckm | (~mncheck@193.224.205.254) (Ping timeout: 240 seconds) |
| 2022-08-02 13:01:00 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-005.client.tudelft.eduvpn.nl) |
| 2022-08-02 13:04:25 +0200 | xff0x | (~xff0x@2405:6580:b080:900:abfc:fa80:23d8:6403) |
| 2022-08-02 13:06:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 13:07:41 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 13:10:27 +0200 | <sm> | postfix |
| 2022-08-02 13:11:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 13:12:17 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-08-02 13:12:18 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-08-02 13:13:40 +0200 | <ski> | mixfix |
| 2022-08-02 13:16:27 +0200 | Alex_test | (~al_test@178.34.150.131) (Quit: ;-) |
| 2022-08-02 13:16:56 +0200 | AlexZenon | (~alzenon@178.34.150.131) (Quit: ;-) |
| 2022-08-02 13:18:07 +0200 | AlexNoo | (~AlexNoo@178.34.150.131) (Quit: Leaving) |
| 2022-08-02 13:21:00 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 13:21:03 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-08-02 13:22:16 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-08-02 13:22:33 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-08-02 13:23:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-02 13:24:10 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 13:25:23 +0200 | califax | (~califax@user/califx) (Write error: Broken pipe) |
| 2022-08-02 13:25:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-08-02 13:25:44 +0200 | califax | (~califax@user/califx) |
| 2022-08-02 13:25:55 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-08-02 13:26:47 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) () |
| 2022-08-02 13:26:55 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 13:28:38 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-08-02 13:28:59 +0200 | califax | (~califax@user/califx) |
| 2022-08-02 13:30:40 +0200 | naso | (~naso@193-116-244-197.tpgi.com.au) (Ping timeout: 268 seconds) |
| 2022-08-02 13:31:42 +0200 | inversed | (~inversed@90.209.137.56) (Ping timeout: 245 seconds) |
| 2022-08-02 13:37:57 +0200 | zxx7529 | (~Thunderbi@user/zxx7529) (Quit: zxx7529) |
| 2022-08-02 13:40:27 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 13:43:10 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2022-08-02 13:43:26 +0200 | mbuf | (~Shakthi@122.165.55.71) (Ping timeout: 240 seconds) |
| 2022-08-02 13:45:09 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-02 13:49:55 +0200 | mbuf | (~Shakthi@122.165.55.71) (Remote host closed the connection) |
| 2022-08-02 13:50:21 +0200 | mbuf | (~Shakthi@122.165.55.71) |
| 2022-08-02 13:57:34 +0200 | inversed | (~inversed@90.209.137.56) |
| 2022-08-02 14:09:42 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (Quit: Leaving.) |
| 2022-08-02 14:11:50 +0200 | mncheck | (~mncheck@193.224.205.254) (Ping timeout: 268 seconds) |
| 2022-08-02 14:12:25 +0200 | shailangsa | (~shailangs@host86-185-98-81.range86-185.btcentralplus.com) |
| 2022-08-02 14:15:38 +0200 | coot | (~coot@213.134.190.95) |
| 2022-08-02 14:17:59 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-02 14:18:50 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 14:22:26 +0200 | Guest3 | (~textual@2607:fb91:bd0f:f08f:a832:3a1d:5b25:bf78) |
| 2022-08-02 14:28:38 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-08-02 14:28:49 +0200 | Guest55 | (~Guest55@c-71-198-235-211.hsd1.ca.comcast.net) (Quit: Client closed) |
| 2022-08-02 14:29:53 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-02 14:30:14 +0200 | CiaoSen | (~Jura@p200300c9570ffb002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-02 14:30:25 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 14:30:32 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 14:30:41 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 14:34:35 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
| 2022-08-02 14:34:57 +0200 | ncf | (~n@monade.li) |
| 2022-08-02 14:35:02 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2022-08-02 14:35:32 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 14:37:07 +0200 | Guest3 | (~textual@2607:fb91:bd0f:f08f:a832:3a1d:5b25:bf78) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-02 14:38:46 +0200 | Guest3 | (~textual@2607:fb91:bd0f:f08f:a832:3a1d:5b25:bf78) |
| 2022-08-02 14:42:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 14:44:46 +0200 | Guest3 | (~textual@2607:fb91:bd0f:f08f:a832:3a1d:5b25:bf78) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-08-02 14:48:55 +0200 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds) |
| 2022-08-02 14:49:41 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-08-02 14:50:13 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-08-02 14:56:07 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 15:01:24 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-02 15:01:31 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 15:04:24 +0200 | AlexZenon | (~alzenon@178.34.150.131) |
| 2022-08-02 15:04:31 +0200 | AlexNoo | (~AlexNoo@178.34.150.131) |
| 2022-08-02 15:06:29 +0200 | Alex_test | (~al_test@178.34.150.131) |
| 2022-08-02 15:06:57 +0200 | <hippoid> | for the monoid endomorphism, the elements of the set are of type a->a, and the binary op is compose? |
| 2022-08-02 15:08:13 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-02 15:08:59 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-08-02 15:12:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-02 15:15:46 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 15:16:19 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-02 15:16:26 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 15:28:17 +0200 | kawen_ | kawen |
| 2022-08-02 15:32:09 +0200 | jespada | (~jespada@45.162.228.190) (Ping timeout: 268 seconds) |
| 2022-08-02 15:37:26 +0200 | yin | (~yin@user/zero) (Ping timeout: 240 seconds) |
| 2022-08-02 15:39:10 +0200 | ccntrq1 | (~Thunderbi@2a01:c23:8dda:df00:69cf:57d6:e6b1:a73f) |
| 2022-08-02 15:39:11 +0200 | <geekosaur> | @tell int-e https://github.com/geekosaur/lambdabot/tree/command-doc/doc see commands.md |
| 2022-08-02 15:39:11 +0200 | <lambdabot> | Consider it noted. |
| 2022-08-02 15:39:23 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2022-08-02 15:39:48 +0200 | <geekosaur> | hippoid, that is the newtype `Endo`, yes |
| 2022-08-02 15:40:47 +0200 | ccntrq | (~Thunderbi@2a01:c22:8960:f400:e422:10e8:fa71:ce3d) (Ping timeout: 268 seconds) |
| 2022-08-02 15:40:47 +0200 | ccntrq1 | ccntrq |
| 2022-08-02 15:42:01 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2022-08-02 15:42:31 +0200 | <ski> | hippoid : i'd not say "monoid endomorphism", but perhaps "endomorphism monoid", though |
| 2022-08-02 15:43:25 +0200 | <ski> | ("monoid endomorphism" sounds like you're talking about a morphism (which happends to be an endomorphism) of monoids .. which is presumably not the case) |
| 2022-08-02 15:43:52 +0200 | <ski> | ("monoid of endomorphisms" would work, though) |
| 2022-08-02 15:44:04 +0200 | <hippoid> | that factoid makes the whole monad="monoid in the category of endofuctors" thing make sense to me! |
| 2022-08-02 15:44:28 +0200 | tomku | (~tomku@user/tomku) |
| 2022-08-02 15:46:37 +0200 | <ski> | fwiw, there's also a notion of "monad morphism". if `M' and `N' are monads, then `f :: forall a. M a -> N a' is a monad morphism iff `f . return = return' and `f . join = join . (f . fmap f) = join . (fmap f . f)' (the latter two must be equal, because `f' is a natural transformation, because it's polymorphic (with no class constraints), and Haskell enjoys the parametricity property) |
| 2022-08-02 15:46:40 +0200 | <merijn> | hippoid: Fun fact: factoid is not "a small fact" it is "a false/unprovable thing that sounds like a fact" |
| 2022-08-02 15:47:15 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-08-02 15:47:16 +0200 | <ski> | e.g. `reverse :: [a] -> [a]', `listToMaybe :: [a] -> Maybe a' are monad morphisms |
| 2022-08-02 15:47:20 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) |
| 2022-08-02 15:47:53 +0200 | <ski> | is "a factoid is a small fact" a factoid, then ? :b |
| 2022-08-02 15:49:58 +0200 | dsrt^ | (~dsrt@c-73-237-117-119.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 2022-08-02 15:49:58 +0200 | <ski> | hippoid : compare with a monoid morphism `f :: M -> N', which must satisfy `f mempty = mempty' and `f (x <> y) = f x <> f y' |
| 2022-08-02 15:50:12 +0200 | <hippoid> | merijn: until understanding the endormorphism monoid, i considered it a factoid :) |
| 2022-08-02 15:51:30 +0200 | [_] | [itchyjunk] |
| 2022-08-02 15:54:20 +0200 | ccntrq | (~Thunderbi@2a01:c23:8dda:df00:69cf:57d6:e6b1:a73f) (Remote host closed the connection) |
| 2022-08-02 15:54:38 +0200 | ccntrq | (~Thunderbi@2a01:c23:8dda:df00:69cf:57d6:e6b1:a73f) |
| 2022-08-02 15:55:03 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-02 15:55:54 +0200 | Milan | (~Milan@46.245.117.154) |
| 2022-08-02 15:56:08 +0200 | Milan | (~Milan@46.245.117.154) (Client Quit) |
| 2022-08-02 15:56:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 15:57:33 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-08-02 15:58:10 +0200 | <hippoid> | ski: I'll have to ponder that for a while. and I don't know what is the "parametricity property" |
| 2022-08-02 15:59:34 +0200 | <merijn> | hippoid: You wanna google "Theorems for Free!" |
| 2022-08-02 16:01:17 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 16:02:16 +0200 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-08-02 16:03:04 +0200 | <hippoid> | "from the type of a paremetric function, we can define a theorem that it satisfies". That's a good opening sentence to a paper |
| 2022-08-02 16:03:18 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 16:03:37 +0200 | <merijn> | hippoid: It basically boils down to: "id :: a -> a" can have only two implementations |
| 2022-08-02 16:03:45 +0200 | <merijn> | (namely id and bottom) |
| 2022-08-02 16:04:06 +0200 | <merijn> | Why? Because the parametric polymorphism won't let you write anything else |
| 2022-08-02 16:04:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-08-02 16:10:01 +0200 | <hippoid> | ok, that rings a bell. Now I remember reading this at some point https://www.well-typed.com/blog/2015/05/parametricity/ |
| 2022-08-02 16:11:20 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-08-02 16:12:55 +0200 | <hippoid> | ski: you wrote "monoid morphism f :: M -> N", should it be f :: M -> M? |
| 2022-08-02 16:13:33 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 16:14:57 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-02 16:17:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 16:20:05 +0200 | <ski> | no, `M' and `N' doesn't need to be the same monoid |
| 2022-08-02 16:20:58 +0200 | <ski> | e.g. `M' could be `Sum Integer', and `N' could be `Product Integer', and `f' could be `(2 ^)' (modulo `newtype' un/wrapping) |
| 2022-08-02 16:21:33 +0200 | <ski> | (that's why i said "morphism", rather than "endomorphism". "endo-" simply means that the domain and the codomain, the argument type and the result type, are the same) |
| 2022-08-02 16:21:59 +0200 | <ski> | @free reverse :: [a] -> [a] |
| 2022-08-02 16:21:59 +0200 | <lambdabot> | $map f . reverse = reverse . $map f |
| 2022-08-02 16:22:08 +0200 | <ski> | @free concat :: [[a]] -> [a] |
| 2022-08-02 16:22:09 +0200 | <lambdabot> | $map f . concat = concat . $map ($map f) |
| 2022-08-02 16:22:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2022-08-02 16:22:25 +0200 | <ski> | @free zip |
| 2022-08-02 16:22:26 +0200 | <lambdabot> | $map ($map_Pair f g) . zip xs = zip ($map f xs) . $map g |
| 2022-08-02 16:23:21 +0200 | <ski> | these are examples of "free theorems", derived solely from the (universal, iow `forall'-ed) type of the (therefore polymorphic) operations, not taking the particular operation into account (not knowing how it's implemented, or what it means/does) |
| 2022-08-02 16:24:42 +0200 | <ski> | such theorems are true, because a polymorphic operation is not allowed to inspect values (like parts of arguments) which have a type which is a type variable, being universally quantified over the type signature. like `a' for `reverse' and `concat' above, and `a',`b' for `zip :: forall a b. [a] -> [b] -> [(a,b)]' |
| 2022-08-02 16:26:07 +0200 | <ski> | because the operation is not allowed to inspect those values, we know that the only way it could interact with them is via callbacks provided by the caller, e.g. the callback for `filter',`map',`zipWith'. this can greatly help with refactoring and reasoning about code, e.g. using (polymorphic) library operations |
| 2022-08-02 16:28:06 +0200 | <ski> | (`@free' writes `$map' to indicate a given map function for lists, and `$map_T' for any other (covariant) type constructor `T'. e.g. `$map_Pair :: (a0 -> a1) -> (b0 -> b1) -> ((a0,b0) -> (a1,b1))' above) |
| 2022-08-02 16:28:12 +0200 | <ski> | @free map |
| 2022-08-02 16:28:14 +0200 | <lambdabot> | g . h = k . f => $map g . map h = map k . $map f |
| 2022-08-02 16:29:04 +0200 | <ski> | (so it needs to distinguish between the map function `$map', and the (to it) arbitrary operation identifier `map' that i happened to give it (that it looked up the type signature of)) |
| 2022-08-02 16:30:24 +0200 | <ski> | @type Product . (2 ^) . getSum :: Sum Integer -> Product Integer -- the monoid (homo)morphism i mentioned |
| 2022-08-02 16:30:25 +0200 | <lambdabot> | Sum Integer -> Product Integer |
| 2022-08-02 16:32:01 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-08-02 16:33:36 +0200 | <hippoid> | what does a $ before a term mean in the lambdabot output? |
| 2022-08-02 16:33:38 +0200 | <ski> | anyway, languages which have generics / parametric polymorphism, but which allows you to inspect arbitrary values/objects, or discover the type at runtime (like `instanceof', or a `typecase' thing) (like e.g. Java,C#,..,Mercury), doesn't enjoy the parametricity property |
| 2022-08-02 16:33:48 +0200 | <ski> | hippoid : i explained that above |
| 2022-08-02 16:33:57 +0200 | <hippoid> | yeah, I didn't follow that :> |
| 2022-08-02 16:34:20 +0200 | <ski> | it just means "built-in map function, that actually maps like you expect, rather than doing anything else" |
| 2022-08-02 16:34:34 +0200 | <ski> | it's particular to the `free' command |
| 2022-08-02 16:34:50 +0200 | <ski> | @help free |
| 2022-08-02 16:34:50 +0200 | <lambdabot> | free <ident>. Generate theorems for free |
| 2022-08-02 16:35:16 +0200 | <hippoid> | ok. thanks for the explanation. I'll have to slowly parse it and learn some things! |
| 2022-08-02 16:35:20 +0200 | <ski> | @free foo :: [Maybe a] -> [a] |
| 2022-08-02 16:35:20 +0200 | <lambdabot> | $map f . foo = foo . $map ($map_Maybe f) |
| 2022-08-02 16:35:34 +0200 | <ski> | (that's e.g. `catMaybes') |
| 2022-08-02 16:37:16 +0200 | <ski> | changing the `a's (to `b's, say, using some function `f :: a -> b', for particular types `a' and `b') inside the `Maybe's in the list before doing `catMaybes', is the same as first doing `catMaybes', and then changing the `a's to `b's |
| 2022-08-02 16:37:46 +0200 | <ski> | or, reversing and then mapping, is the same as mapping and then reversing |
| 2022-08-02 16:39:15 +0200 | jero98772 | (~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff) |
| 2022-08-02 16:41:13 +0200 | ccntrq | (~Thunderbi@2a01:c23:8dda:df00:69cf:57d6:e6b1:a73f) (Ping timeout: 268 seconds) |
| 2022-08-02 16:41:30 +0200 | ccntrq | (~Thunderbi@2a01:c22:8db2:e200:9023:5ebe:d852:4330) |
| 2022-08-02 16:43:45 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 2022-08-02 16:44:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 16:44:13 +0200 | ccntrq1 | (~Thunderbi@2a01:c22:9019:f500:fe63:6096:2ce0:f687) |
| 2022-08-02 16:45:29 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-02 16:46:04 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-02 16:46:09 +0200 | ccntrq | (~Thunderbi@2a01:c22:8db2:e200:9023:5ebe:d852:4330) (Ping timeout: 268 seconds) |
| 2022-08-02 16:46:09 +0200 | ccntrq1 | ccntrq |
| 2022-08-02 16:46:41 +0200 | <ski> | "Reverse Engineering Machines with the Yoneda Lemma" in 2006-11-12 <http://blog.sigfpe.com/2006/11/yoneda-lemma.html> and "A Yonedic Addendum" in 2006-12-02 at <http://blog.sigfpe.com/2006/12/yonedic-addendum.html>, both by dpiponi, is also related to this (and to Continuation-Passing Style, and then to `Codensity' monad) |
| 2022-08-02 16:48:20 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 16:49:49 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 16:50:48 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 16:51:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
| 2022-08-02 16:52:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 16:53:28 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 244 seconds) |
| 2022-08-02 16:54:20 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2022-08-02 16:56:01 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-08-02 16:56:33 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-08-02 16:59:10 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2022-08-02 17:00:45 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-08-02 17:01:49 +0200 | jinsun | (~jinsun@user/jinsun) |
| 2022-08-02 17:01:51 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:1c6f:4a58:170a:5a9) (Quit: WeeChat 2.8) |
| 2022-08-02 17:02:19 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 17:03:25 +0200 | <albet70> | ski , what that free come from? |
| 2022-08-02 17:04:29 +0200 | <albet70> | that free map is interesting |
| 2022-08-02 17:05:35 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2022-08-02 17:10:00 +0200 | <ski> | albet70 : "Theorems for free!" by Philip Wadler in 1990-06 at <https://homepages.inf.ed.ac.uk/wadler/topics/parametricity.html#free>. goes back to the Abstraction theorem of Reynolds |
| 2022-08-02 17:10:58 +0200 | <ski> | yea, `g . h = k . f => $map g . map h = map k . $map f' is actually pretty obvious, if you think about it, using that `map f . map g = map (f . g)' for all `f',`g' |
| 2022-08-02 17:11:34 +0200 | <ski> | (the higher-orderness of `map' corresponds to the presence of the implication in the free theorem for it) |
| 2022-08-02 17:11:45 +0200 | <albet70> | that's the lambda-man? |
| 2022-08-02 17:11:54 +0200 | <ski> | hm ? |
| 2022-08-02 17:12:27 +0200 | <ski> | it's not one author(s ?) of the "Lambda the Ultimate: ..." series of papers, if that's what you mean |
| 2022-08-02 17:12:29 +0200 | <albet70> | who introduced Monad into programming languages |
| 2022-08-02 17:12:37 +0200 | <ski> | well, yes. sortof |
| 2022-08-02 17:13:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 17:13:17 +0200 | <ski> | Eugenio Moggi introduced monads as ways to describe side-effects of imperative programming languages, in denotational semantics. so monads to reason *about* programming (languages) |
| 2022-08-02 17:13:20 +0200 | <albet70> | is this 'free' in current modules? |
| 2022-08-02 17:14:16 +0200 | <ski> | then Wadler turned that on its head, and (more or less) read the denotational semantics equations as a function program, explaining how to simulate/express effects, without actual side-effects in the language, in a functional language. so, using monads as a programming device/idiom/concept |
| 2022-08-02 17:15:03 +0200 | <ski> | the `free' package on Hackage is not really the same sort of thing, no |
| 2022-08-02 17:15:06 +0200 | <ski> | @hackage free |
| 2022-08-02 17:15:06 +0200 | <lambdabot> | https://hackage.haskell.org/package/free |
| 2022-08-02 17:16:49 +0200 | <albet70> | ski , why? |
| 2022-08-02 17:17:26 +0200 | <ski> | (that one is about "free monads", which are a special case of a more general idea of "free constructions", coming from category theory. you could have free monoids (of a type), free monoids (of a semigroup), free groups (over a type/set, or over a monoid), free abelian group (over a type, over a monoid, over a group, ..), free monads (of a type constructor), free comonads, ...) |
| 2022-08-02 17:17:31 +0200 | ccntrq | (~Thunderbi@2a01:c22:9019:f500:fe63:6096:2ce0:f687) (Remote host closed the connection) |
| 2022-08-02 17:17:34 +0200 | <ski> | why what ? |
| 2022-08-02 17:17:51 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-08-02 17:18:38 +0200 | raoul | (~raoul@95.179.203.88) (Quit: Ping timeout (120 seconds)) |
| 2022-08-02 17:19:00 +0200 | raoul | (~raoul@95.179.203.88) |
| 2022-08-02 17:19:06 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-02 17:19:19 +0200 | <albet70> | why that free is not on hackage? |
| 2022-08-02 17:20:46 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-08-02 17:22:43 +0200 | <albet70> | map f . map g = map (f . g) is interesting, if g is a binary function |
| 2022-08-02 17:22:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 17:23:05 +0200 | <albet70> | it could do something like for ... for in other langeuages |
| 2022-08-02 17:23:30 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Remote host closed the connection) |
| 2022-08-02 17:23:42 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2022-08-02 17:24:40 +0200 | <albet70> | there're two list, alist ["a","b","c"] and blist ["awe", "bword", "ces", "de"],print that blist's element which contain alist's element |
| 2022-08-02 17:24:58 +0200 | <albet70> | [ e | i <- lista, e <- listb, elem i e ] |
| 2022-08-02 17:25:47 +0200 | <albet70> | getSeq x y = if x isSubsequenceOf y then Just y else Nothing |
| 2022-08-02 17:26:18 +0200 | <albet70> | main = print $ foldl1 (<>) $ fmap (filter (/= Nothing)) $ fmap (\a -> fmap (\b -> getSeq a b) blist) alist |
| 2022-08-02 17:26:19 +0200 | <ski> | hm, looks like Pseudonym's page is not on the Web Archive |
| 2022-08-02 17:26:34 +0200 | <ski> | maybe it is on Hackage somewhere, though ? |
| 2022-08-02 17:27:07 +0200 | <albet70> | so this fmap (\a -> fmap (\b -> getSeq a b) blist) alist could turn to fmap ( f . g)? |
| 2022-08-02 17:27:11 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 17:27:15 +0200 | <ski> | i at least find |
| 2022-08-02 17:27:21 +0200 | <ski> | @hackage free-theorems |
| 2022-08-02 17:27:21 +0200 | <lambdabot> | https://hackage.haskell.org/package/free-theorems |
| 2022-08-02 17:27:23 +0200 | <ski> | @hackage free-theorems-seq |
| 2022-08-02 17:27:23 +0200 | <lambdabot> | https://hackage.haskell.org/package/free-theorems-seq |
| 2022-08-02 17:27:27 +0200 | <ski> | @hackage free-theorems-counterexamples |
| 2022-08-02 17:27:27 +0200 | <lambdabot> | https://hackage.haskell.org/package/free-theorems-counterexamples |
| 2022-08-02 17:27:39 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 17:27:56 +0200 | vglfr | (~vglfr@194.9.14.33) (Ping timeout: 268 seconds) |
| 2022-08-02 17:28:35 +0200 | <ski> | albet70 : hm, if `g :: A -> B -> C', then we must have something like `f :: (B -> C) -> D', for that law to make sense |
| 2022-08-02 17:30:00 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2022-08-02 17:31:13 +0200 | <albet70> | fmap (\a -> fmap (\b -> getSeq a b) blist) alist; this is fmap inside fmap, not fmap . fmap, right? ski |
| 2022-08-02 17:31:47 +0200 | <albet70> | so it do not obey fmap f . fmap g = fmap (f . g) |
| 2022-08-02 17:32:44 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 17:33:53 +0200 | aweinsto1k | aweinstock |
| 2022-08-02 17:34:25 +0200 | <c_wraith> | "doesn't obey" is a weird wording. I'd just describe it as "doesn't apply" |
| 2022-08-02 17:35:04 +0200 | <ski> | albet70 : rather than `(/= Nothing)', prefer `isJust' (which has no equality constraint on the element type). and `filter isJust' is `map Just . catMaybes', and it looks like you're not actually needing those `Just's (your `(<>)' is just list concatenation of the outer list level) |
| 2022-08-02 17:35:39 +0200 | Henson | (~kvirc@207.136.101.195) |
| 2022-08-02 17:35:43 +0200 | <ski> | fmap (\a -> fmap (\b -> getSeq a b) blist) alist |
| 2022-08-02 17:35:57 +0200 | <ski> | = fmap (\a -> fmap (getSeq a) blist) alist |
| 2022-08-02 17:36:18 +0200 | <ski> | = fmap (\a -> getSeq a `fmap` blist) alist |
| 2022-08-02 17:36:35 +0200 | <c_wraith> | also, that code just looks wrong. Unless blist is actually a function |
| 2022-08-02 17:36:35 +0200 | <ski> | = fmap ((`fmap` blist) . getSeq) alist |
| 2022-08-02 17:37:55 +0200 | <albet70> | c_wraith , blist is a list |
| 2022-08-02 17:38:08 +0200 | <ski> | i'd usually phrase `fmap (fmap (...))' as "`fmap' inside `fmap'". that is equal to `(fmap . fmap) (...)' |
| 2022-08-02 17:38:44 +0200 | <ski> | (you're write that what you wrote isn't a case of this) |
| 2022-08-02 17:38:49 +0200 | <ski> | (er, s/write/right/) |
| 2022-08-02 17:38:50 +0200 | <c_wraith> | albet70: then you've got a type error |
| 2022-08-02 17:39:32 +0200 | <ski> | looks like `blist' is a list, to me |
| 2022-08-02 17:39:36 +0200 | <c_wraith> | oh, nevermind. the whole thing is inside a lambda |
| 2022-08-02 17:39:45 +0200 | <c_wraith> | I'm so unused to seeing that. |
| 2022-08-02 17:39:56 +0200 | <ski> | yea, it's not the usual `fmap'-inside-`fmap' |
| 2022-08-02 17:40:26 +0200 | <ski> | occasionally i define `pamf = flip map', so i can write e.g. |
| 2022-08-02 17:40:46 +0200 | <ski> | foos `pamf` \foo -> bars `pamf` \bar -> ..foo..bar.. |
| 2022-08-02 17:41:59 +0200 | <albet70> | for a in alist: for b in blist: if a in b: print(b) it's usually in python |
| 2022-08-02 17:42:27 +0200 | <albet70> | but they use iterally, not recursive |
| 2022-08-02 17:42:55 +0200 | <ski> | it lookeded reasonable to me, as a list comprehension |
| 2022-08-02 17:43:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 17:43:44 +0200 | Henson | (~kvirc@207.136.101.195) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/) |
| 2022-08-02 17:43:48 +0200 | <albet70> | yeah, list comprehension is more natural here, but I wonder the fmap . fmap way |
| 2022-08-02 17:43:57 +0200 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-08-02 17:44:19 +0200 | <ski> | i'd rather use `(>>=)' or `(=<<)' (or `concatMap'), i think |
| 2022-08-02 17:44:37 +0200 | <ski> | @. do undo [ e | i <- lista, e <- listb, elem i e ] |
| 2022-08-02 17:44:37 +0200 | <lambdabot> | concatMap (\ i -> concatMap (\ e -> if elem i e then [e] else []) listb) lista |
| 2022-08-02 17:45:27 +0200 | <ski> | lista >>= \i -> listb >>= \e -> [e | i `elem` e] |
| 2022-08-02 17:45:28 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 17:46:35 +0200 | <albet70> | lambdabot , but this is same to fmap |
| 2022-08-02 17:46:57 +0200 | <ski> | concatenates your lists, as you go, rather than doing it at the end |
| 2022-08-02 17:49:34 +0200 | <albet70> | fmap ((`fmap` blist) . getSeq) alist is same to fmap (\a -> fmap (\b -> getSeq a b) blist) alist , just change it to point-free, right? |
| 2022-08-02 17:50:34 +0200 | benin0 | (~benin@183.82.30.242) (Quit: The Lounge - https://thelounge.chat) |
| 2022-08-02 17:50:38 +0200 | <ski> | let (| l0 | i |) = lista; (| l1 | e |) = listb; (| l2 | e' |) = [e | i `elem` e] in (| concat (| concat (| l0,l1 |),l2 |) | e' |) |
| 2022-08-02 17:50:45 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (Ping timeout: 268 seconds) |
| 2022-08-02 17:51:25 +0200 | <albet70> | I wonder it's possible turn that into one fmap? |
| 2022-08-02 17:51:38 +0200 | <ski> | (hm, nested `concat' looks ugly .. i wonder if there's a nice way to pass a list of list levels to such a transformation ?) |
| 2022-08-02 17:52:10 +0200 | <ski> | "... is same to ... , just change it to point-free, right?" -- yes |
| 2022-08-02 17:52:33 +0200 | <ski> | no, you need to traverse both lists |
| 2022-08-02 17:52:34 +0200 | <albet70> | fmap (\a -> fmap (\b -> getSeq a b) blist) alist = fmap f alist blist? |
| 2022-08-02 17:52:49 +0200 | <albet70> | fmap f alist $ blist? |
| 2022-08-02 17:53:26 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) |
| 2022-08-02 17:53:33 +0200 | <ski> | there is such a thing as `liftA2 f alist blist', but that does an extra `join'/`concat' at the end |
| 2022-08-02 17:53:37 +0200 | <albet70> | apply f on one of alist, and all of blist, it's like applicative? |
| 2022-08-02 17:53:44 +0200 | <ski> | (`liftA1' is called `fmap') |
| 2022-08-02 17:54:11 +0200 | <ski> | > liftA2 (+) [0,1,2] [300,400] |
| 2022-08-02 17:54:13 +0200 | <lambdabot> | [300,400,301,401,302,402] |
| 2022-08-02 17:54:16 +0200 | <albet70> | ski, but liftA2 would take one of alist and all of blist? |
| 2022-08-02 17:54:30 +0200 | <ski> | > getZipList (liftA2 (+) (ZipList [0,1,2]) (ZipList [300,400])) |
| 2022-08-02 17:54:31 +0200 | <lambdabot> | [300,401] |
| 2022-08-02 17:54:48 +0200 | <ski> | > zipWith (+) [0,1,2] [300,400] |
| 2022-08-02 17:54:49 +0200 | <lambdabot> | [300,401] |
| 2022-08-02 17:54:57 +0200 | <albet70> | yes, it seems liftA2 is a better than fmap inside fmap |
| 2022-08-02 17:55:52 +0200 | <albet70> | ski, so that fmap (\a -> fmap (\b -> getSeq a b) blist) alist == liftA2 getSeq alist blist? |
| 2022-08-02 17:55:55 +0200 | <ski> | on lists, it does cartesian product (all combinations). on `ZipList's, it does elementwise / "parallel" / "lockstep" combinations |
| 2022-08-02 17:56:00 +0200 | <ski> | no |
| 2022-08-02 17:56:12 +0200 | <albet70> | why? |
| 2022-08-02 17:56:19 +0200 | <Boarders__> | If I have an executable called 'my-app' what is the best way to pass a command line argument to it (via the `getArgs` function)? |
| 2022-08-02 17:56:25 +0200 | <ski> | liftA2 getSeq alist blist = join (fmap (\a -> fmap (\b -> getSeq a b) blist) alist) |
| 2022-08-02 17:56:42 +0200 | <ski> | you need the wrapping `join'/`concat', for the two `fmap's |
| 2022-08-02 17:58:21 +0200 | <albet70> | what about liftM2? is liftM2 == liftA2? |
| 2022-08-02 17:58:32 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-08-02 17:58:32 +0200 | <sm> | Boarders__: there's withArgs |
| 2022-08-02 17:58:39 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-08-02 17:58:41 +0200 | <albet70> | > liftM2 (+) [1..9] [2..12] |
| 2022-08-02 17:58:43 +0200 | <lambdabot> | [3,4,5,6,7,8,9,10,11,12,13,4,5,6,7,8,9,10,11,12,13,14,5,6,7,8,9,10,11,12,13,... |
| 2022-08-02 17:59:21 +0200 | <sm> | but the question is a slightly unclear |
| 2022-08-02 17:59:51 +0200 | <albet70> | > liftA2 (+) [1..3] [2..6] |
| 2022-08-02 17:59:53 +0200 | <lambdabot> | [3,4,5,6,7,4,5,6,7,8,5,6,7,8,9] |
| 2022-08-02 17:59:55 +0200 | <Boarders__> | could you just answer with your best interpretation? |
| 2022-08-02 18:00:01 +0200 | <Boarders__> | if you know the answer I can just try it out |
| 2022-08-02 18:00:06 +0200 | <ski> | Boarders__ : maybe `System.Process.callProcess' ? |
| 2022-08-02 18:00:21 +0200 | <Boarders__> | I mean on the command line how do I pass this argument to an executable with stack |
| 2022-08-02 18:00:27 +0200 | <Boarders__> | nothing about haskell |
| 2022-08-02 18:00:37 +0200 | <Boarders__> | I just don't use stack |
| 2022-08-02 18:02:18 +0200 | <ski> | albet70 : `liftM2' "ought to" be equal to `liftA2', when both are defined. however, there may be some differences with bottoms in some cases, iirc. also, there's examples of ones which can use parallel, or distributed, computation for `liftA2', but not for `liftM2' (since that one is defined in terms of `(>>=)', which has a data dependency of the second action on the result of the first one) |
| 2022-08-02 18:02:25 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 18:02:49 +0200 | ski | dunno about Stack |
| 2022-08-02 18:04:57 +0200 | <albet70> | liftA2 f g h = \x -> f (g x) (h x) this is an interesting function too |
| 2022-08-02 18:06:47 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 18:07:08 +0200 | <geekosaur> | stack run -- executable parameter … ? |
| 2022-08-02 18:07:28 +0200 | <geekosaur> | (the `--` stops stack from eating options intended for your executable) |
| 2022-08-02 18:07:49 +0200 | <ski> | S (K f) g h |
| 2022-08-02 18:08:07 +0200 | <ski> | er, rather |
| 2022-08-02 18:08:15 +0200 | <ski> | S (S (K f) g) h |
| 2022-08-02 18:08:18 +0200 | <ski> | which is |
| 2022-08-02 18:08:23 +0200 | <ski> | S (B f g) h |
| 2022-08-02 18:09:10 +0200 | <albet70> | I don't understand you expression |
| 2022-08-02 18:09:37 +0200 | <albet70> | liftA2 @((->)_) :: (a -> b -> c) -> (_ -> a) -> (_ -> b) -> _ -> c |
| 2022-08-02 18:10:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 18:13:59 +0200 | <ski> | S f g x = (f x) (g x) |
| 2022-08-02 18:14:06 +0200 | <ski> | K c x = c |
| 2022-08-02 18:14:09 +0200 | <ski> | I x = x |
| 2022-08-02 18:14:16 +0200 | <ski> | B f g x = f (g x) |
| 2022-08-02 18:14:35 +0200 | <ski> | C f x y = f y x |
| 2022-08-02 18:14:48 +0200 | <ski> | W f x = f x x |
| 2022-08-02 18:15:53 +0200 | <albet70> | ski, is ther a way I can get a function's lambda definition? |
| 2022-08-02 18:16:16 +0200 | <albet70> | like I'd like to get liftA2 when f is []'s lambda definition |
| 2022-08-02 18:16:49 +0200 | <ski> | this is standard <https://en.wikipedia.org/wiki/SKI_combinator>s. also see "To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction" by David C. Keenan in 1996-08-27 - 2014-04-01 at <https://dkeenan.com/Lambda/index.htm> |
| 2022-08-02 18:17:29 +0200 | <ski> | `W' is `join', btw |
| 2022-08-02 18:19:15 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-08-02 18:19:51 +0200 | <ski> | (and `(=<<)' is `B S C') |
| 2022-08-02 18:20:19 +0200 | <ski> | not sure what you mean by "when f is []'s lambda definition" |
| 2022-08-02 18:20:35 +0200 | <ski> | you can't get at the source which produced a value, at run-time |
| 2022-08-02 18:20:56 +0200 | <ski> | @src (->) (>>=) |
| 2022-08-02 18:20:56 +0200 | <lambdabot> | f >>= k = \ r -> k (f r) r |
| 2022-08-02 18:21:11 +0200 | canta | (~canta@user/canta) (Quit: WeeChat 2.8) |
| 2022-08-02 18:21:17 +0200 | <ski> | `src' is a small, curated, database of simple `Prelude'-like definitions |
| 2022-08-02 18:21:24 +0200 | canta | (~canta@user/canta) |
| 2022-08-02 18:21:30 +0200 | <ski> | @src (->) return |
| 2022-08-02 18:21:30 +0200 | <lambdabot> | return = const |
| 2022-08-02 18:21:37 +0200 | <ski> | which is `K' |
| 2022-08-02 18:22:52 +0200 | <albet70> | you're right, I can't ask a function definition who match the function type signature |
| 2022-08-02 18:23:05 +0200 | <albet70> | it may be many |
| 2022-08-02 18:24:31 +0200 | <ski> | @djinn (a -> Maybe b) -> Maybe a -> Maybe b |
| 2022-08-02 18:24:31 +0200 | <lambdabot> | f a b = |
| 2022-08-02 18:24:31 +0200 | <lambdabot> | case b of |
| 2022-08-02 18:24:31 +0200 | <lambdabot> | Nothing -> Nothing |
| 2022-08-02 18:24:31 +0200 | <lambdabot> | Just c -> a c |
| 2022-08-02 18:24:53 +0200 | <ski> | @hoogle (a -> Maybe b) -> Maybe a -> Maybe b |
| 2022-08-02 18:24:54 +0200 | <lambdabot> | Prelude (=<<) :: Monad m => (a -> m b) -> m a -> m b |
| 2022-08-02 18:24:54 +0200 | <lambdabot> | Control.Monad (=<<) :: Monad m => (a -> m b) -> m a -> m b |
| 2022-08-02 18:24:54 +0200 | <lambdabot> | GHC.Base (=<<) :: Monad m => (a -> m b) -> m a -> m b |
| 2022-08-02 18:24:59 +0200 | <ski> | @hoogle [Maybe a] -> [a] |
| 2022-08-02 18:25:00 +0200 | <lambdabot> | Data.Maybe catMaybes :: [Maybe a] -> [a] |
| 2022-08-02 18:25:00 +0200 | <lambdabot> | System.Directory.Internal.Prelude catMaybes :: () => [Maybe a] -> [a] |
| 2022-08-02 18:25:00 +0200 | <lambdabot> | Distribution.Compat.Prelude.Internal catMaybes :: [Maybe a] -> [a] |
| 2022-08-02 18:25:20 +0200 | <ski> | @hoogle+ |
| 2022-08-02 18:25:20 +0200 | <lambdabot> | Network.AWS.Prelude catMaybes :: () => [Maybe a] -> [a] |
| 2022-08-02 18:25:20 +0200 | <lambdabot> | Data.List.HT takeWhileJust :: [Maybe a] -> [a] |
| 2022-08-02 18:25:20 +0200 | <lambdabot> | Data.Strict.Maybe catMaybes :: [Maybe a] -> [a] |
| 2022-08-02 18:26:21 +0200 | <ski> | @where hoogle |
| 2022-08-02 18:26:21 +0200 | <lambdabot> | https://hoogle.haskell.org |
| 2022-08-02 18:26:22 +0200 | <ski> | @where hayoo |
| 2022-08-02 18:26:22 +0200 | <lambdabot> | http://hayoo.fh-wedel.de/ -- See also Hoogle: http://haskell.org/hoogle http://fpcomplete.com/hoogle |
| 2022-08-02 18:29:08 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) |
| 2022-08-02 18:29:23 +0200 | <hippoid> | I'm trying to define 'instance Monoid a => Applicative ((,) a) ...' for learning purposes, and I get a "duplicate instance error... Defined in GHC.Base". Is there a way to not import an instance, similar to "import Foo hiding (Bar)"? |
| 2022-08-02 18:29:45 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) (Ping timeout: 268 seconds) |
| 2022-08-02 18:29:47 +0200 | <albet70> | @djinn (a -> b -> c) -> [a] -> [b] -> [c] |
| 2022-08-02 18:29:47 +0200 | <lambdabot> | Error: Undefined type [] |
| 2022-08-02 18:30:20 +0200 | <ski> | use `newtype Pair a b = PairOf (a,b)' or `data Pair a b = MkPair a b' |
| 2022-08-02 18:30:25 +0200 | misterfish | (~misterfis@ip214-130-173-82.adsl2.static.versatel.nl) |
| 2022-08-02 18:30:46 +0200 | <ski> | Djinn doesn't understand recursion (including recursive types, like `[]') |
| 2022-08-02 18:30:48 +0200 | <albet70> | why [] is undefined... |
| 2022-08-02 18:30:55 +0200 | <ski> | @help djinn |
| 2022-08-02 18:30:55 +0200 | <lambdabot> | djinn <type>. |
| 2022-08-02 18:30:55 +0200 | <lambdabot> | Generates Haskell code from a type. |
| 2022-08-02 18:30:55 +0200 | <lambdabot> | https://github.com/augustss/djinn |
| 2022-08-02 18:31:24 +0200 | <absentia> | @djinn a -> a |
| 2022-08-02 18:31:24 +0200 | <lambdabot> | f a = a |
| 2022-08-02 18:31:34 +0200 | <absentia> | @djinn [a] -> [a] |
| 2022-08-02 18:31:34 +0200 | <lambdabot> | Error: Undefined type [] |
| 2022-08-02 18:31:35 +0200 | <ski> | (it also doesn't understand classes with polymorphic methods, like `Functor',`Monad'. `Eq' and the like is fine) |
| 2022-08-02 18:31:49 +0200 | <absentia> | @djin (Functor f) => f a -> f a |
| 2022-08-02 18:31:49 +0200 | <lambdabot> | Maybe you meant: djinn djinn-add djinn-clr djinn-del djinn-env djinn-names djinn-ver |
| 2022-08-02 18:31:57 +0200 | <absentia> | @djinn (Functor f) => f a -> f a |
| 2022-08-02 18:31:57 +0200 | <lambdabot> | Error: Class not found: Functor |
| 2022-08-02 18:32:02 +0200 | <ski> | @djinn Not (Either a b) -> (Not a,Not b) |
| 2022-08-02 18:32:02 +0200 | <lambdabot> | f a = (\ b -> a (Left b), \ c -> a (Right c)) |
| 2022-08-02 18:32:12 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-08-02 18:32:29 +0200 | <ski> | @djinn-add class Functor f where fmap :: (a -> b) -> (f a -> f b) |
| 2022-08-02 18:32:56 +0200 | <absentia> | @djinn (Functor f) => f a -> f a |
| 2022-08-02 18:32:56 +0200 | <lambdabot> | f a = a |
| 2022-08-02 18:33:04 +0200 | <geekosaur> | https://github.com/lspitzner/exference can handle more types but is not guaranteed to terminate |
| 2022-08-02 18:33:08 +0200 | <ski> | @djinn Functor f => Maybe (a -> b) -> (Maybe (f a) -> Maybe (f b)) |
| 2022-08-02 18:33:10 +0200 | <lambdabot> | f a b = |
| 2022-08-02 18:33:12 +0200 | <lambdabot> | case a of |
| 2022-08-02 18:33:14 +0200 | <lambdabot> | Nothing -> Nothing |
| 2022-08-02 18:33:16 +0200 | <lambdabot> | Just c -> case b of |
| 2022-08-02 18:33:18 +0200 | <lambdabot> | Nothing -> Nothing |
| 2022-08-02 18:33:20 +0200 | <lambdabot> | Just d -> Just (fmap c d) |
| 2022-08-02 18:33:25 +0200 | <ski> | @djinn Functor f => Maybe (b -> a) -> (Maybe (f b) -> Maybe (f a)) |
| 2022-08-02 18:33:25 +0200 | <lambdabot> | f _ _ = Nothing |
| 2022-08-02 18:33:56 +0200 | <ski> | @djinn Functor f => (b -> a) -> (f b -> (f a) |
| 2022-08-02 18:33:56 +0200 | <lambdabot> | Cannot parse command |
| 2022-08-02 18:34:01 +0200 | <ski> | @djinn Functor f => (b -> a) -> (f b -> f a) |
| 2022-08-02 18:34:01 +0200 | <lambdabot> | -- f cannot be realized. |
| 2022-08-02 18:34:09 +0200 | <albet70> | I wonder if that gpt-3 could help generate haskell code one day, I never saw AI things about haskell yet |
| 2022-08-02 18:34:11 +0200 | <ski> | @djinn Functor f => (a -> b) -> (f a -> f b) |
| 2022-08-02 18:34:11 +0200 | <lambdabot> | f = fmap |
| 2022-08-02 18:34:12 +0200 | <absentia> | ?? |
| 2022-08-02 18:34:38 +0200 | <ski> | it doesn't understand to instantiate the `a' and `b' in `fmap' to anything .. |
| 2022-08-02 18:34:39 +0200 | <absentia> | albet70: work has already been done to synthesize i think a lisp dialect using minikanren |
| 2022-08-02 18:34:51 +0200 | <absentia> | given a set of test cases / example input & outputs |
| 2022-08-02 18:34:59 +0200 | <absentia> | it will spit out code that satisfies that suite |
| 2022-08-02 18:35:21 +0200 | <absentia> | it's arguable whether this constitutes "AI" |
| 2022-08-02 18:35:30 +0200 | <absentia> | there is of course copilot |
| 2022-08-02 18:35:35 +0200 | <absentia> | aka gpl laundering as a service |
| 2022-08-02 18:35:44 +0200 | <ski> | absentia : sounds related to ILP .. i think i saw some talk about that (which you mentioned) |
| 2022-08-02 18:36:04 +0200 | <kuribas> | or idris: https://www.youtube.com/watch?v=brjFqXkUQv0 |
| 2022-08-02 18:36:42 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 18:36:51 +0200 | <absentia> | ski: maybe, i saw this at an in person talk |
| 2022-08-02 18:36:52 +0200 | <ski> | (Inductive Logic Programming, a form of machine learning where it's learning defining clauses of predicate(s), given positive and negative example facts, and background predicates it can use to build stuff with) |
| 2022-08-02 18:36:55 +0200 | <absentia> | i forget the actual details |
| 2022-08-02 18:37:04 +0200 | <absentia> | i just remember the demo |
| 2022-08-02 18:37:10 +0200 | <ski> | well, this was somw talk on YT (i think ?) i was thinking about |
| 2022-08-02 18:38:13 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-08-02 18:40:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 18:45:18 +0200 | kuribas | (~user@silversquare.silversquare.eu) (Remote host closed the connection) |
| 2022-08-02 18:48:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 18:48:47 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-08-02 18:50:29 +0200 | econo | (uid147250@user/econo) |
| 2022-08-02 18:51:02 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 18:54:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 18:55:06 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-08-02 18:58:22 +0200 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2022-08-02 19:00:36 +0200 | zer0bitz | (~zer0bitz@2001:2003:f748:2000:f402:7db0:5697:8cad) |
| 2022-08-02 19:05:09 +0200 | mbuf | (~Shakthi@122.165.55.71) (Quit: Leaving) |
| 2022-08-02 19:05:21 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-02 19:06:08 +0200 | td_ | (~td@muedsl-82-207-238-045.citykom.de) (Ping timeout: 268 seconds) |
| 2022-08-02 19:07:35 +0200 | gmg | (~user@user/gehmehgeh) |
| 2022-08-02 19:07:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-08-02 19:08:57 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-08-02 19:11:49 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 19:16:32 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 19:17:07 +0200 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
| 2022-08-02 19:17:40 +0200 | fef | (~thedawn@user/thedawn) |
| 2022-08-02 19:17:40 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-08-02 19:17:55 +0200 | yvan-sraka | (~yvan-srak@209.red-2-139-126.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-08-02 19:19:42 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 268 seconds) |
| 2022-08-02 19:22:38 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 2022-08-02 19:24:55 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 19:29:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 19:31:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-08-02 19:34:09 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 19:35:56 +0200 | pgib | (~textual@173.38.117.82) |
| 2022-08-02 19:38:03 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 268 seconds) |
| 2022-08-02 19:40:02 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-08-02 19:44:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 19:45:30 +0200 | machinedgod | (~machinedg@184.68.124.102) |
| 2022-08-02 19:45:38 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-08-02 19:52:31 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-02 19:52:38 +0200 | merijn | (~merijn@86-86-29-250.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2022-08-02 19:53:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 19:59:16 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-08-02 20:02:48 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 20:04:31 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-08-02 20:04:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2022-08-02 20:05:47 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-08-02 20:07:23 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 255 seconds) |
| 2022-08-02 20:11:35 +0200 | dcoutts__ | (~duncan@host86-151-44-186.range86-151.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2022-08-02 20:11:42 +0200 | dcoutts | (~duncan@host86-151-44-186.range86-151.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2022-08-02 20:12:19 +0200 | MajorBiscuit | (~MajorBisc@c-001-020-005.client.tudelft.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-02 20:12:38 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-08-02 20:15:00 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-08-02 20:18:52 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2022-08-02 20:19:01 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) |
| 2022-08-02 20:21:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-08-02 20:22:06 +0200 | coot | (~coot@213.134.190.95) (Client Quit) |
| 2022-08-02 20:22:46 +0200 | coot | (~coot@213.134.190.95) |
| 2022-08-02 20:31:02 +0200 | Vajb | (~Vajb@n1zigc3rgo9mpde2w-1.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
| 2022-08-02 20:31:50 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) |
| 2022-08-02 20:33:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 20:36:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 20:36:43 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 20:40:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 20:43:50 +0200 | michalz | (~michalz@185.246.204.87) (Ping timeout: 240 seconds) |
| 2022-08-02 20:46:37 +0200 | SamBellamy | (~SamBellam@cpc142034-slou6-2-0-cust488.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2022-08-02 20:49:14 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 20:49:48 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Remote host closed the connection) |
| 2022-08-02 20:51:35 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-08-02 20:51:41 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 20:53:02 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-08-02 20:54:05 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 20:56:21 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 20:58:38 +0200 | nate4 | (~nate@98.45.169.16) (Ping timeout: 240 seconds) |
| 2022-08-02 20:59:15 +0200 | vglfr | (~vglfr@91.192.47.10) (Ping timeout: 252 seconds) |
| 2022-08-02 20:59:28 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-08-02 20:59:51 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 21:00:57 +0200 | mrvdb | (~mrvdb@2001:19f0:5000:8582:5400:ff:fe07:3df5) |
| 2022-08-02 21:03:18 +0200 | machinedgod | (~machinedg@184.68.124.102) (Ping timeout: 268 seconds) |
| 2022-08-02 21:03:38 +0200 | michalz | (~michalz@185.246.204.75) |
| 2022-08-02 21:04:12 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2022-08-02 21:05:46 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
| 2022-08-02 21:10:41 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-08-02 21:11:59 +0200 | kenran | (~kenran@200116b82b1acd00796d07544f3a884b.dip.versatel-1u1.de) |
| 2022-08-02 21:13:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 21:15:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-08-02 21:15:58 +0200 | juh | (~jtreed@all.your.domain.are.belong.to.jtreed.org) |
| 2022-08-02 21:16:17 +0200 | <mrianbloom> | Was the Data.Constraints library made mostly obsolete by QuantifiedConstraints are are there situations where you would use one or the other? |
| 2022-08-02 21:16:37 +0200 | <mrianbloom> | *or |
| 2022-08-02 21:17:12 +0200 | juh | (~jtreed@all.your.domain.are.belong.to.jtreed.org) (departed) |
| 2022-08-02 21:19:20 +0200 | kenran | (~kenran@200116b82b1acd00796d07544f3a884b.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-02 21:19:27 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-08-02 21:19:34 +0200 | kenran | (~kenran@200116b82b1acd00796d07544f3a884b.dip.versatel-1u1.de) |
| 2022-08-02 21:26:26 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) |
| 2022-08-02 21:26:35 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 21:27:52 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 21:29:07 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) |
| 2022-08-02 21:30:52 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 245 seconds) |
| 2022-08-02 21:31:02 +0200 | mikoto-chan | (~mikoto-ch@85-76-19-170-nat.elisa-mobile.fi) |
| 2022-08-02 21:31:43 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-08-02 21:34:37 +0200 | kenran | (~kenran@200116b82b1acd00796d07544f3a884b.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-08-02 21:37:46 +0200 | fef | (~thedawn@user/thedawn) (Ping timeout: 268 seconds) |
| 2022-08-02 21:37:49 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-08-02 21:38:29 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 252 seconds) |
| 2022-08-02 21:41:23 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-08-02 21:41:29 +0200 | comerijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-02 21:42:05 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 2022-08-02 21:42:33 +0200 | vglfr | (~vglfr@91.192.47.10) |
| 2022-08-02 21:44:21 +0200 | mikoto-chan | (~mikoto-ch@85-76-19-170-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2022-08-02 21:44:21 +0200 | merijn | (~merijn@c-001-001-014.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-08-02 21:44:53 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 21:47:02 +0200 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 240 seconds) |
| 2022-08-02 21:47:57 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 245 seconds) |
| 2022-08-02 21:50:10 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 21:50:30 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-08-02 21:51:29 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-08-02 21:56:09 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-204.elisa-laajakaista.fi) |
| 2022-08-02 21:57:26 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 2022-08-02 21:57:47 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-08-02 21:58:19 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-08-02 21:59:30 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 22:02:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-08-02 22:03:11 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5f2) |
| 2022-08-02 22:05:46 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-08-02 22:06:34 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-08-02 22:07:31 +0200 | joo-_ | (~joo-_@87-49-45-115-mobile.dk.customer.tdc.net) |
| 2022-08-02 22:07:31 +0200 | joo-_ | (~joo-_@87-49-45-115-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-08-02 22:07:31 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-08-02 22:08:15 +0200 | mikoto-chan | (~mikoto-ch@85-76-119-223-nat.elisa-mobile.fi) |
| 2022-08-02 22:22:14 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 268 seconds) |
| 2022-08-02 22:23:24 +0200 | coco | (~coco@212-51-146-199.fiber7.init7.net) (Quit: WeeChat 3.5) |
| 2022-08-02 22:24:37 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-08-02 22:24:42 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-08-02 22:25:03 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-08-02 22:27:27 +0200 | John_Ivan | (~John_Ivan@user/john-ivan/x-1515935) (Quit: Leaving) |
| 2022-08-02 22:29:14 +0200 | pavonia | (~user@user/siracusa) |
| 2022-08-02 22:29:25 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-08-02 22:30:50 +0200 | jludwig | (~justin@li657-110.members.linode.com) (Quit: ZNC - https://znc.in) |
| 2022-08-02 22:31:50 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-08-02 22:31:54 +0200 | jludwig | (~justin@li657-110.members.linode.com) |
| 2022-08-02 22:32:09 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-08-02 22:32:33 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-08-02 22:35:02 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-08-02 22:36:41 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 22:37:27 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-08-02 22:37:28 +0200 | renzhi | (~xp@2607:fa49:6500:b100::47a5) |
| 2022-08-02 22:39:43 +0200 | mikoto-chan | (~mikoto-ch@85-76-119-223-nat.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2022-08-02 22:41:33 +0200 | mikoto-chan | (~mikoto-ch@85-76-2-182-nat.elisa-mobile.fi) |
| 2022-08-02 22:49:59 +0200 | renzhi | (~xp@2607:fa49:6500:b100::47a5) (Ping timeout: 268 seconds) |
| 2022-08-02 22:52:55 +0200 | comerijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 268 seconds) |
| 2022-08-02 22:53:18 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-08-02 22:59:16 +0200 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-08-02 23:01:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-08-02 23:01:54 +0200 | td_ | (~td@muedsl-82-207-238-045.citykom.de) |
| 2022-08-02 23:04:28 +0200 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-08-02 23:06:38 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 2022-08-02 23:07:57 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2022-08-02 23:09:02 +0200 | acidjnk | (~acidjnk@p200300d6e7058674447358c26e802d51.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-08-02 23:09:48 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) |
| 2022-08-02 23:10:29 +0200 | drlkf | (~drlkf@drlkf.net) (Quit: q=) |
| 2022-08-02 23:11:21 +0200 | drlkf | (~drlkf@drlkf.net) |
| 2022-08-02 23:12:11 +0200 | yin | (~yin@user/zero) (Ping timeout: 268 seconds) |
| 2022-08-02 23:12:32 +0200 | yin | (~yin@user/zero) |
| 2022-08-02 23:12:37 +0200 | heartbur1 | (~gass@2a00:d880:3:1::b1e4:b241) (Quit: Reconnecting) |
| 2022-08-02 23:13:05 +0200 | heartburn | (~gass@2a00:d880:3:1::b1e4:b241) |
| 2022-08-02 23:18:47 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) |
| 2022-08-02 23:23:21 +0200 | yin | (~yin@user/zero) (Ping timeout: 252 seconds) |
| 2022-08-02 23:28:35 +0200 | jonathanx__ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-08-02 23:29:02 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-193d-75d8-745d-e91e.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-08-02 23:29:53 +0200 | machinedgod | (~machinedg@d172-219-86-154.abhsia.telus.net) |
| 2022-08-02 23:30:14 +0200 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 240 seconds) |
| 2022-08-02 23:30:14 +0200 | Jon | (jon@dow.land) (Ping timeout: 240 seconds) |
| 2022-08-02 23:31:18 +0200 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Ping timeout: 268 seconds) |
| 2022-08-02 23:31:26 +0200 | statusfailed | (~statusfai@statusfailed.com) (Ping timeout: 240 seconds) |
| 2022-08-02 23:31:34 +0200 | drlkf | (~drlkf@drlkf.net) (Quit: drlkf) |
| 2022-08-02 23:31:49 +0200 | jocke-l | (jocke-l@a.x0.is) (Ping timeout: 244 seconds) |
| 2022-08-02 23:31:49 +0200 | dexter1 | (dexter@2a01:7e00::f03c:91ff:fe86:59ec) (Ping timeout: 244 seconds) |
| 2022-08-02 23:31:50 +0200 | micro | (~micro@user/micro) (Ping timeout: 240 seconds) |
| 2022-08-02 23:32:02 +0200 | drlkf | (~drlkf@drlkf.net) |
| 2022-08-02 23:32:25 +0200 | qrpnxz1 | (~qrpnxz@fsf/member/qrpnxz) |
| 2022-08-02 23:32:32 +0200 | mrmonday | (~robert@what.i.hope.is.not.a.tabernaevagant.es) (Ping timeout: 268 seconds) |
| 2022-08-02 23:32:32 +0200 | robertm | (robertm@lattice.rojoma.com) (Ping timeout: 268 seconds) |
| 2022-08-02 23:34:27 +0200 | dcoutts | (~duncan@host109-149-1-142.range109-149.btcentralplus.com) |
| 2022-08-02 23:36:14 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 268 seconds) |
| 2022-08-02 23:37:28 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (*.net *.split) |
| 2022-08-02 23:37:28 +0200 | arahael | (~arahael@60-240-64-125.tpgi.com.au) (*.net *.split) |
| 2022-08-02 23:37:28 +0200 | qrpnxz | (~qrpnxz@fsf/member/qrpnxz) (*.net *.split) |
| 2022-08-02 23:37:50 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-08-02 23:38:45 +0200 | tubogram44 | (~tubogram@user/tubogram) (*.net *.split) |
| 2022-08-02 23:38:45 +0200 | Axman6 | (~Axman6@user/axman6) (*.net *.split) |
| 2022-08-02 23:39:35 +0200 | tubogram44 | (~tubogram@user/tubogram) |
| 2022-08-02 23:39:35 +0200 | Axman6 | (~Axman6@user/axman6) |
| 2022-08-02 23:39:56 +0200 | mikoto-chan | (~mikoto-ch@85-76-2-182-nat.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2022-08-02 23:45:11 +0200 | arahael | (~arahael@60-240-64-125.tpgi.com.au) |
| 2022-08-02 23:45:25 +0200 | nate4 | (~nate@98.45.169.16) |
| 2022-08-02 23:47:13 +0200 | sonologico | (~raphael@dhcp-077-251-118-129.chello.nl) |
| 2022-08-02 23:48:04 +0200 | xal | (~quassel@S01063c7c3f334fd0.vw.shawcable.net) |
| 2022-08-02 23:53:02 +0200 | merijn | (~merijn@c-001-001-007.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-08-02 23:54:40 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds) |
| 2022-08-02 23:55:14 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |