Newest at the top
2024-11-12 11:59:59 +0100 | longlongdouble | (~longlongd@117.234.59.239) |
2024-11-12 11:59:21 +0100 | longlongdouble | (~longlongd@117.234.59.239) (Read error: Connection reset by peer) |
2024-11-12 11:53:34 +0100 | longlongdouble | (~longlongd@117.234.59.239) |
2024-11-12 11:53:16 +0100 | longlongdouble | (~longlongd@117.234.59.239) (Remote host closed the connection) |
2024-11-12 11:44:36 +0100 | youthlic | (~Thunderbi@user/youthlic) youthlic |
2024-11-12 11:44:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-11-12 11:43:11 +0100 | youthlic | (~Thunderbi@user/youthlic) (Ping timeout: 255 seconds) |
2024-11-12 11:42:53 +0100 | longlongdouble | (~longlongd@117.234.59.239) |
2024-11-12 11:42:02 +0100 | petrichor | (~znc-user@user/petrichor) petrichor |
2024-11-12 11:31:51 +0100 | longlongdouble | (~longlongd@49.36.234.128) (Read error: Connection reset by peer) |
2024-11-12 11:25:37 +0100 | longlongdouble | (~longlongd@49.36.234.128) |
2024-11-12 11:25:13 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) (Read error: Connection reset by peer) |
2024-11-12 11:24:42 +0100 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2024-11-12 11:23:06 +0100 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
2024-11-12 11:22:09 +0100 | chele | (~chele@user/chele) chele |
2024-11-12 11:21:50 +0100 | longlongdouble | (~longlongd@2405:201:5c16:135:1989:242:cab1:419a) |
2024-11-12 11:21:37 +0100 | longlongdouble | (~longlongd@49.36.234.128) (Remote host closed the connection) |
2024-11-12 11:18:48 +0100 | mari-estel | (~mari-este@user/mari-estel) mari-estel |
2024-11-12 11:15:14 +0100 | longlongdouble | (~longlongd@49.36.234.128) |
2024-11-12 11:07:54 +0100 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
2024-11-12 11:05:10 +0100 | hgolden | (~hgolden@2603:8000:9d00:3ed1:6c70:1ac0:d127:74dd) hgolden |
2024-11-12 11:00:26 +0100 | hgolden_ | (~hgolden@syn-172-251-233-141.res.spectrum.com) (Ping timeout: 255 seconds) |
2024-11-12 10:36:14 +0100 | kuribas | (~user@2a02:1808:8c:1878:f2e0:c7f8:cbdc:6f5d) kuribas |
2024-11-12 10:31:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-11-12 10:30:27 +0100 | ubert | (~Thunderbi@178.165.164.236.wireless.dyn.drei.com) ubert |
2024-11-12 10:29:47 +0100 | longlongdouble | (~longlongd@49.36.234.128) (Remote host closed the connection) |
2024-11-12 10:19:55 +0100 | gorignak | (~gorignak@user/gorignak) gorignak |
2024-11-12 10:18:22 +0100 | <hellwolf> | Fair enough. It is probably very specific to the use cases, which I happen to be in those. |
2024-11-12 10:17:13 +0100 | <Leary> | hellwolf: Large tuples are unidiomatic; I don't know who's going to be using enough of them to want such a thing. |
2024-11-12 10:16:57 +0100 | hellwolf | (~user@2001:1530:70:545:ac66:99b5:ab1c:ca1) hellwolf |
2024-11-12 10:16:49 +0100 | misterfish | (~misterfis@31-161-39-137.biz.kpn.net) misterfish |
2024-11-12 10:16:35 +0100 | hellwolf | (~user@2001:1530:70:545:ac66:99b5:ab1c:ca1) (Quit: rcirc on GNU Emacs 29.4) |
2024-11-12 10:16:20 +0100 | sawilagar | (~sawilagar@user/sawilagar) sawilagar |
2024-11-12 10:13:24 +0100 | misterfish | (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 252 seconds) |
2024-11-12 10:11:53 +0100 | <haskellbridge> | I am asking because I built something for my project lately, and I have find the lack of better tuple (lest NP) friendly curry leads to my rebuilding wheels. |
2024-11-12 10:11:51 +0100 | <haskellbridge> | <hellwolf> How much appeal would there be to make curry function n-ary friendly? Adding to that, having some sort of N-ary friendly type class that one can extend over? |
2024-11-12 10:07:14 +0100 | agent314 | (~quassel@static-198-44-129-53.cust.tzulo.com) (Ping timeout: 260 seconds) |
2024-11-12 10:05:48 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e7283f33dd403172660d4408.dip0.t-ipconnect.de) |
2024-11-12 10:04:04 +0100 | gorignak | (~gorignak@user/gorignak) (Read error: Connection reset by peer) |
2024-11-12 10:03:49 +0100 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
2024-11-12 10:02:41 +0100 | <hellwolf> | testing: back to irc. |
2024-11-12 10:02:04 +0100 | hellwolf | (~user@2001:1530:70:545:ac66:99b5:ab1c:ca1) hellwolf |
2024-11-12 09:57:47 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2024-11-12 09:54:39 +0100 | housemate | (~housemate@146.70.66.228) housemate |
2024-11-12 09:47:57 +0100 | housemate | (~housemate@146.70.66.228) (Client Quit) |
2024-11-12 09:45:10 +0100 | poscat | (~poscat@user/poscat) poscat |
2024-11-12 09:43:54 +0100 | poscat0x04 | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2024-11-12 09:43:18 +0100 | housemate | (~housemate@146.70.66.228) housemate |
2024-11-12 09:41:02 +0100 | housemate | (~housemate@146.70.66.228) (Quit: "I saw it in a tiktok video and thought that it was the most smartest answer ever." ~ AnonOps Radio [some time some place] | I AM THE DERIVATIVE I AM GOING TANGENT TO THE CURVE!) |
2024-11-12 09:37:45 +0100 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |