| 2024-07-07 00:28:29 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-07-07 00:29:08 +0000 | joeyadams | (~joeyadams@2603:6010:5100:2ed:e656:c92a:8e45:f003) (Quit: Leaving) |
| 2024-07-07 00:38:31 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-07 00:54:29 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-07 01:03:07 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 272 seconds) |
| 2024-07-07 01:06:45 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) (Remote host closed the connection) |
| 2024-07-07 01:13:01 +0000 | mhatta | (~mhatta@www21123ui.sakura.ne.jp) |
| 2024-07-07 01:14:38 +0000 | rvalue- | (~rvalue@user/rvalue) |
| 2024-07-07 01:15:13 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 2024-07-07 01:18:43 +0000 | rvalue- | rvalue |
| 2024-07-07 01:25:37 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-07 01:26:59 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-07-07 01:31:26 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-07-07 01:32:29 +0000 | ftzm9 | (~ftzm@085080243169.dynamic.telenor.dk) |
| 2024-07-07 01:33:31 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 01:34:05 +0000 | ftzm | (~ftzm@085080238199.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 2024-07-07 01:34:05 +0000 | ftzm9 | ftzm |
| 2024-07-07 01:38:03 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-07-07 01:48:13 +0000 | swamp_ | (~zmt00@user/zmt00) |
| 2024-07-07 01:48:46 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-07 01:48:48 +0000 | dagi78319 | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-07-07 01:49:36 +0000 | fluffyballoon_ | (45ce440a48@2a03:6000:1812:100::e2) |
| 2024-07-07 01:49:40 +0000 | lain`_ | (lain`@user/lain/x-9874679) |
| 2024-07-07 01:49:53 +0000 | erisco_ | (~erisco@d24-141-66-165.home.cgocable.net) |
| 2024-07-07 01:49:53 +0000 | pmk_ | (6afe4476a1@2a03:6000:1812:100::26d) |
| 2024-07-07 01:49:53 +0000 | eso_ | (a0662dfd5e@2a03:6000:1812:100::1266) |
| 2024-07-07 01:49:54 +0000 | kuruczgy_ | (55b66dd3ae@2a03:6000:1812:100::127f) |
| 2024-07-07 01:49:54 +0000 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) |
| 2024-07-07 01:49:54 +0000 | titibandit_ | (e33ffbab65@user/titibandit) |
| 2024-07-07 01:49:54 +0000 | jakzale_ | (6291399afa@user/jakzale) |
| 2024-07-07 01:49:54 +0000 | brettgilio_ | (a35ba67324@2a03:6000:1812:100::260) |
| 2024-07-07 01:49:54 +0000 | sm2n_ | (ae95cb1267@user/sm2n) |
| 2024-07-07 01:49:55 +0000 | ursa-major_ | (114efe6c39@2a03:6000:1812:100::11f3) |
| 2024-07-07 01:49:55 +0000 | b0o_ | (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 2024-07-07 01:49:55 +0000 | alethkit_ | (23bd17ddc6@sourcehut/user/alethkit) |
| 2024-07-07 01:49:55 +0000 | JoelMcCracken_ | (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 2024-07-07 01:49:57 +0000 | eso | (a0662dfd5e@2a03:6000:1812:100::1266) (Read error: Connection reset by peer) |
| 2024-07-07 01:49:58 +0000 | JoelMcCracken | (5ea8252fbb@2a03:6000:1812:100::10e3) (Read error: Connection reset by peer) |
| 2024-07-07 01:49:58 +0000 | jakzale | (6291399afa@user/jakzale) (Read error: Connection reset by peer) |
| 2024-07-07 01:49:58 +0000 | kuruczgy | (55b66dd3ae@2a03:6000:1812:100::127f) (Read error: Connection reset by peer) |
| 2024-07-07 01:49:58 +0000 | fluffyballoon | (45ce440a48@2a03:6000:1812:100::e2) (Read error: Connection reset by peer) |
| 2024-07-07 01:49:59 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) (Remote host closed the connection) |
| 2024-07-07 01:49:59 +0000 | tjbc | (~tjbc@user/fliife) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-07-07 01:50:00 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:00 +0000 | jakzale_ | jakzale |
| 2024-07-07 01:50:02 +0000 | brettgilio | (a35ba67324@2a03:6000:1812:100::260) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:02 +0000 | sm2n | (ae95cb1267@user/sm2n) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:02 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2024-07-07 01:50:02 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:03 +0000 | alethkit | (23bd17ddc6@sourcehut/user/alethkit) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:03 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:03 +0000 | xstill_ | (xstill@fimu/xstill) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:03 +0000 | fluffyballoon_ | fluffyballoon |
| 2024-07-07 01:50:03 +0000 | catties | (~catties@user/meow/catties) (Quit: n_n) |
| 2024-07-07 01:50:05 +0000 | eso_ | eso |
| 2024-07-07 01:50:05 +0000 | dumptruckman_ | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) |
| 2024-07-07 01:50:09 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (Ping timeout: 268 seconds) |
| 2024-07-07 01:50:18 +0000 | dumptruckman | (~dumptruck@69-164-210-35.ip.linodeusercontent.com) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:18 +0000 | dumptruckman_ | dumptruckman |
| 2024-07-07 01:50:20 +0000 | ursa-major | (114efe6c39@2a03:6000:1812:100::11f3) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:21 +0000 | pmk | (6afe4476a1@2a03:6000:1812:100::26d) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:21 +0000 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2024-07-07 01:50:22 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) (Remote host closed the connection) |
| 2024-07-07 01:50:22 +0000 | JoelMcCracken_ | JoelMcCracken |
| 2024-07-07 01:50:43 +0000 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2024-07-07 01:50:44 +0000 | catties | (~catties@user/meow/catties) |
| 2024-07-07 01:50:44 +0000 | titibandit | (e33ffbab65@user/titibandit) (Read error: Connection reset by peer) |
| 2024-07-07 01:50:44 +0000 | titibandit_ | titibandit |
| 2024-07-07 01:50:45 +0000 | flukiluke | (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 2024-07-07 01:50:45 +0000 | hololeap | (~quassel@user/hololeap) (Remote host closed the connection) |
| 2024-07-07 01:50:45 +0000 | kuruczgy_ | kuruczgy |
| 2024-07-07 01:50:46 +0000 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2024-07-07 01:50:46 +0000 | tjbc | (~tjbc@user/fliife) |
| 2024-07-07 01:50:46 +0000 | xerox | (~edi@user/edi) (Ping timeout: 268 seconds) |
| 2024-07-07 01:50:46 +0000 | Vajb | (~Vajb@n84f8idehd0ucclhxoj-1.v6.elisa-mobile.fi) (Ping timeout: 268 seconds) |
| 2024-07-07 01:50:46 +0000 | noctuks | (cnRVbgraeY@user/noctux) (Ping timeout: 268 seconds) |
| 2024-07-07 01:50:46 +0000 | xsarnik | (xsarnik@lounge.fi.muni.cz) |
| 2024-07-07 01:51:06 +0000 | b0o | (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Read error: Connection reset by peer) |
| 2024-07-07 01:51:07 +0000 | b0o_ | b0o |
| 2024-07-07 01:51:07 +0000 | xerox | (~edi@user/edi) |
| 2024-07-07 01:51:07 +0000 | noctuks | (IEHAXjvqp6@user/noctux) |
| 2024-07-07 01:51:12 +0000 | alethkit_ | alethkit |
| 2024-07-07 01:51:23 +0000 | lain` | (lain`@user/lain/x-9874679) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:24 +0000 | nullie | (~nullie@nuremberg.nullie.name) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:24 +0000 | Ekho | (~Ekho@user/ekho) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:24 +0000 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:25 +0000 | erisco | (~erisco@d24-141-66-165.home.cgocable.net) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:25 +0000 | dminuoso | (~weechat@user/dminuoso) (Ping timeout: 268 seconds) |
| 2024-07-07 01:51:25 +0000 | erisco_ | erisco |
| 2024-07-07 01:51:26 +0000 | lain`_ | lain` |
| 2024-07-07 01:51:49 +0000 | hololeap | (~quassel@user/hololeap) |
| 2024-07-07 01:51:49 +0000 | brettgilio_ | brettgilio |
| 2024-07-07 01:51:50 +0000 | weechat2 | (~weechat@user/dminuoso) |
| 2024-07-07 01:51:52 +0000 | Typedfern | (~Typedfern@182.red-83-37-43.dynamicip.rima-tde.net) |
| 2024-07-07 01:52:00 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 268 seconds) |
| 2024-07-07 01:52:00 +0000 | nullie | (~nullie@2a01:4f8:c2c:6177::1) |
| 2024-07-07 01:52:01 +0000 | xstill_ | (xstill@fimu/xstill) |
| 2024-07-07 01:53:02 +0000 | sm2n_ | sm2n |
| 2024-07-07 01:54:04 +0000 | ursa-major_ | ursa-major |
| 2024-07-07 01:59:02 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-07 01:59:35 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-07 02:05:03 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-07-07 02:05:33 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-07-07 02:06:45 +0000 | Ekho | (~Ekho@user/ekho) |
| 2024-07-07 02:15:14 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-07-07 02:26:35 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 2024-07-07 02:31:03 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 256 seconds) |
| 2024-07-07 02:33:41 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-07 02:34:50 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Ping timeout: 260 seconds) |
| 2024-07-07 02:35:43 +0000 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 246 seconds) |
| 2024-07-07 02:37:42 +0000 | td_ | (~td@i53870903.versanet.de) |
| 2024-07-07 02:42:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 02:42:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-07-07 02:48:45 +0000 | Abaddon | (~Apollyon@user/Apollyon) |
| 2024-07-07 02:52:29 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 240 seconds) |
| 2024-07-07 02:52:53 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 02:55:51 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 03:00:49 +0000 | tabaqui | (~root@87.200.123.114) (Quit: WeeChat 4.2.2) |
| 2024-07-07 03:03:45 +0000 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) |
| 2024-07-07 03:05:45 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-07 03:07:54 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-07 03:12:55 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc4:ed00:8551:e69c:b7dd:ec64) |
| 2024-07-07 03:13:17 +0000 | aforemny | (~aforemny@i59F516F8.versanet.de) (Ping timeout: 240 seconds) |
| 2024-07-07 03:23:15 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
| 2024-07-07 03:49:46 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-07 03:54:21 +0000 | harveypwca | (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 2024-07-07 03:58:35 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 03:59:30 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2024-07-07 04:13:10 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2024-07-07 04:15:57 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-07 04:25:56 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-07 04:26:27 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-07 04:40:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-07 04:44:55 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2024-07-07 04:46:39 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-07 04:52:40 +0000 | Abaddon | (~Apollyon@user/Apollyon) (Ping timeout: 268 seconds) |
| 2024-07-07 05:06:15 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 268 seconds) |
| 2024-07-07 05:07:01 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 05:11:27 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Read error: Connection reset by peer) |
| 2024-07-07 05:19:42 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 05:22:12 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
| 2024-07-07 05:23:34 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 05:24:58 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Quit: dysthesis) |
| 2024-07-07 05:28:44 +0000 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-07-07 05:44:57 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-07 05:45:19 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-07 05:45:52 +0000 | sefidel | (~sefidel@user/sefidel) (Remote host closed the connection) |
| 2024-07-07 05:46:43 +0000 | sefidel | (~sefidel@user/sefidel) |
| 2024-07-07 05:52:35 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 260 seconds) |
| 2024-07-07 05:53:39 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 264 seconds) |
| 2024-07-07 05:53:55 +0000 | xdminsy | (~xdminsy@117.147.70.231) |
| 2024-07-07 05:59:17 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-07 06:01:54 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 06:07:56 +0000 | phma | (~phma@host-67-44-208-74.hnremote.net) (Read error: Connection reset by peer) |
| 2024-07-07 06:09:00 +0000 | phma | (phma@2001:5b0:212a:e8b8:9807:a029:7b5e:a865) |
| 2024-07-07 06:16:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-07-07 06:18:26 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-07 06:19:25 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-07 06:23:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2024-07-07 06:28:07 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
| 2024-07-07 06:33:11 +0000 | sand-witch | (~m-mzmz6l@vmi833741.contaboserver.net) |
| 2024-07-07 06:38:10 +0000 | Umeaboy | (~Umeaboy@94-255-145-133.cust.bredband2.com) (Quit: Leaving) |
| 2024-07-07 06:56:49 +0000 | <tomsmeding> | hololeap: GHC.Generics has both `from` _and_ `to` ;) |
| 2024-07-07 06:58:05 +0000 | <tomsmeding> | essentially what it gives you is a normalised kind-of-sum-of-products (but not quite) representation of a data _type_, with some additional metadata on the type level; people typically induct on this type-level structure using a type class |
| 2024-07-07 06:58:31 +0000 | <tomsmeding> | whether you use this to take, transform, or produce data is up to you |
| 2024-07-07 07:00:07 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 2024-07-07 07:00:26 +0000 | <tomsmeding> | my favourite method for getting familiar with what GHC.Generics really does, is doing `:k! Rep T` on some data types T in ghci, and doing `from x` for some values x |
| 2024-07-07 07:00:29 +0000 | <tomsmeding> | and seeing what comes out |
| 2024-07-07 07:01:00 +0000 | <tomsmeding> | the structure is sufficiently simple, and the metadata is sufficiently wordy, that you probably almost need no documentation at all any more at that point (if you're conversant with -XDataKinds) |
| 2024-07-07 07:03:07 +0000 | tt123109783 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 2024-07-07 07:04:11 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) |
| 2024-07-07 07:04:45 +0000 | qqe | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-07-07 07:19:46 +0000 | lewisje | (~lewisje@74.215.19.22) (Read error: Connection reset by peer) |
| 2024-07-07 07:21:08 +0000 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) (Quit: Ping timeout (120 seconds)) |
| 2024-07-07 07:21:35 +0000 | lewisje | (~lewisje@74.215.19.22) |
| 2024-07-07 07:22:18 +0000 | rosco | (~rosco@175.136.155.137) |
| 2024-07-07 07:23:20 +0000 | _xor | (~xor@ip-208-102-243-175.dynamic.fuse.net) |
| 2024-07-07 07:25:34 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-07 07:25:52 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-07-07 07:29:15 +0000 | sprout | (~quassel@2a02-a448-3a80-0-6981-debe-91f4-8f74.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 2024-07-07 07:30:10 +0000 | sprout | (~quassel@2a02-a448-3a80-0-45f5-cd70-d2c3-af5d.fixed6.kpn.net) |
| 2024-07-07 08:09:53 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 08:09:53 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 08:09:53 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 08:20:12 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-07-07 08:24:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-07-07 08:25:31 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 08:30:14 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2024-07-07 08:30:58 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2024-07-07 08:33:45 +0000 | dysthesis | (~dysthesis@user/dysthesis) |
| 2024-07-07 08:35:05 +0000 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-07-07 08:35:14 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
| 2024-07-07 08:35:32 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-07 08:35:49 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 08:48:25 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 08:52:48 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 255 seconds) |
| 2024-07-07 08:57:29 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 268 seconds) |
| 2024-07-07 08:58:02 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) |
| 2024-07-07 09:04:17 +0000 | destituion | (~destituio@2a02:2121:6bc:1a95:cb10:e092:4032:88f5) (Ping timeout: 268 seconds) |
| 2024-07-07 09:04:53 +0000 | euleritian | (~euleritia@dynamic-176-007-154-089.176.7.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2024-07-07 09:07:11 +0000 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
| 2024-07-07 09:13:19 +0000 | mikess | (~mikess@user/mikess) (Ping timeout: 272 seconds) |
| 2024-07-07 09:16:14 +0000 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Remote host closed the connection) |
| 2024-07-07 09:16:22 +0000 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) |
| 2024-07-07 09:18:18 +0000 | rosco | (~rosco@175.136.155.137) (Remote host closed the connection) |
| 2024-07-07 09:26:56 +0000 | lol__ | jcarpenter2 |
| 2024-07-07 09:31:02 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-07-07 09:40:09 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 09:40:09 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 09:40:09 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 09:50:31 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-07 09:50:54 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 09:54:42 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 09:59:39 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 264 seconds) |
| 2024-07-07 10:01:14 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 10:08:03 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-07 10:12:04 +0000 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) |
| 2024-07-07 10:13:51 +0000 | Guest74 | (~Guest74@2001:569:fae8:6c00:c5eb:bd43:343:ea44) (Client Quit) |
| 2024-07-07 10:14:28 +0000 | dysthesis | (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 2024-07-07 10:33:00 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-07-07 10:34:10 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-07-07 10:37:07 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection) |
| 2024-07-07 10:37:23 +0000 | tcard_ | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 2024-07-07 10:45:58 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-07-07 10:46:02 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-07 10:58:40 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 11:02:16 +0000 | mrmr155334346 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
| 2024-07-07 11:07:14 +0000 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
| 2024-07-07 11:11:18 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 2024-07-07 11:13:03 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 11:17:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 11:19:37 +0000 | mrmr155334346 | (~mrmr@user/mrmr) |
| 2024-07-07 11:24:20 +0000 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Read error: Connection reset by peer) |
| 2024-07-07 11:28:41 +0000 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) |
| 2024-07-07 11:43:13 +0000 | hwpplayer1 | (~hwpplayer@user/hwpplayer1) (Quit: hwpplayer1) |
| 2024-07-07 12:09:33 +0000 | qqe | (~qqq@92.43.167.61) |
| 2024-07-07 12:28:42 +0000 | <hololeap> | tomsmeding: I took a look at Generics again last night, and it seems like it might actually be a good fit, although all the information I need seems to be at the type level and I'm not sure what the best way would be to bring it down to the value level |
| 2024-07-07 12:30:17 +0000 | <tomsmeding> | hololeap: if you want info that's in a type-level string (i.e. a Symbol), and you're doing the induction via type classes, I wouldn't be surprised if you can just assert KnownSymbol on those |
| 2024-07-07 12:30:29 +0000 | <tomsmeding> | (but I'm not sure I've tried that particular trick) |
| 2024-07-07 12:31:50 +0000 | <tomsmeding> | ah there is even e.g. the Constructor class that asserts some stuff |
| 2024-07-07 12:31:59 +0000 | <tomsmeding> | so yeah, KnownSymbol it is |
| 2024-07-07 12:33:50 +0000 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 2024-07-07 12:33:58 +0000 | puke | (~puke@user/puke) |
| 2024-07-07 12:34:58 +0000 | <hololeap> | this is what the Rep looks like: https://bpa.st/DE3Q |
| 2024-07-07 12:36:12 +0000 | op_4 | (~tslil@user/op-4/x-9116473) |
| 2024-07-07 12:36:17 +0000 | <hololeap> | so I need some way to determine that e.g. ReinstallAtomsMode is an decendant of Portage, but not of the other constructors of PkgManager |
| 2024-07-07 12:37:17 +0000 | <hololeap> | here's the ADT: https://bpa.st/FNXQ |
| 2024-07-07 12:37:27 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 264 seconds) |
| 2024-07-07 12:38:12 +0000 | <hololeap> | I want to use this structure to automatically say "--mode=reinstall-atoms is only supported by the Portage package manager" |
| 2024-07-07 12:38:50 +0000 | <hololeap> | (or at the very least, "--mode=reinstall-atoms is not supported by X") |
| 2024-07-07 12:42:51 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 12:43:53 +0000 | <hololeap> | maybe I can rig something up with TypeFamilies |
| 2024-07-07 12:46:03 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-07-07 12:58:29 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 12:58:29 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 12:58:29 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 13:01:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 13:05:49 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 13:10:56 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-07 13:12:57 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-07 13:13:32 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-07-07 13:23:47 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 13:29:34 +0000 | <tomsmeding> | hololeap: once you have this information (that ReinstallAtomsMode is only a descendant of Portage and not of other things), what are you going to do with that information? |
| 2024-07-07 13:29:57 +0000 | <tomsmeding> | is the idea that there is some partial function `ReinstallAtomsMode -> PkgManage` and you want to prevent it from failing? |
| 2024-07-07 13:30:08 +0000 | <tomsmeding> | because if so, that sounds like that function should just return a Maybe :p |
| 2024-07-07 13:30:33 +0000 | <tomsmeding> | thereby making this whole generics/whatever dance redundant |
| 2024-07-07 13:31:26 +0000 | <tomsmeding> | the moment you're asking for "does this field occur somewhere in this data type", it sounds to me like the data structures are the wrong way round |
| 2024-07-07 13:31:30 +0000 | <tomsmeding> | or something else is off |
| 2024-07-07 13:32:03 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-07-07 13:33:57 +0000 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2024-07-07 13:34:17 +0000 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) |
| 2024-07-07 13:37:14 +0000 | <hololeap> | tomsmeding: it's because the user is capable of doing --package-manager=paludis --mode=reinstall-atoms and they need to be told that it's unsupported |
| 2024-07-07 13:39:07 +0000 | <hololeap> | currently I have a big case statement that checks for any incompatible options, but it's big and annoying and error prone |
| 2024-07-07 13:40:33 +0000 | <tomsmeding> | hololeap: okay sure, but what would happen if you'd just remove that case statement? |
| 2024-07-07 13:40:39 +0000 | <tomsmeding> | would something crash? What would? |
| 2024-07-07 13:40:47 +0000 | <tomsmeding> | Can you do the check _there_ instead of crashing? |
| 2024-07-07 13:41:24 +0000 | <tomsmeding> | at the risk of cargo-culting, I'm trying to find out if this is a case where parse-don't-validate is applicable |
| 2024-07-07 13:42:29 +0000 | <hololeap> | that's actually what I was following. I have a model of all the possible command line combinations, and I'm trying to "parse" it into the ADT that encodes all the valid mode combinations |
| 2024-07-07 13:43:07 +0000 | <tomsmeding> | but then you need more than just the fact that ReinstallAtomsMode occurs within Portage, right? You also need a function that makes you a Portage given a ReinstallAtomsMode |
| 2024-07-07 13:44:46 +0000 | <hololeap> | https://github.com/gentoo-haskell/haskell-updater/blob/master/Distribution/Gentoo/CmdLine.hs#L37-L99 |
| 2024-07-07 13:45:06 +0000 | <hololeap> | https://github.com/gentoo-haskell/haskell-updater/blob/master/Distribution/Gentoo/Types/HUMode.hs |
| 2024-07-07 13:46:29 +0000 | <tomsmeding> | I see, so you're doing exactly what I was suggesting, in a way |
| 2024-07-07 13:46:51 +0000 | <hololeap> | the "reinstall-atoms" mode is something that only makes sense with the portage package manager, since it has the features to implement it. it's a special mode that I made with portage's features in mind |
| 2024-07-07 13:47:49 +0000 | <tomsmeding> | have I been unnecessarily hung up on the phrasing of your original question, where you asked for how to "check if" instead of how to make a data type given one of the fields? |
| 2024-07-07 13:48:00 +0000 | <tomsmeding> | s/make a/make a value of a/ |
| 2024-07-07 13:48:08 +0000 | <hololeap> | maybe :p |
| 2024-07-07 13:48:41 +0000 | <tomsmeding> | in any case this whole thing is only really relevant for ReinstallAtomsMode, right? The others are orthogonal |
| 2024-07-07 13:50:55 +0000 | <hololeap> | mostly, yes. however there is also a --target=... option which has a couple that are only valid with --mode=reinstall-atoms |
| 2024-07-07 13:51:01 +0000 | <tomsmeding> | right, I see |
| 2024-07-07 13:53:01 +0000 | <hololeap> | and I was planning on adding a couple more for that mode, so the case statement is getting unruley. I suppose the best thing to do would be to make reinstall-atoms mode a separate command with its own options |
| 2024-07-07 13:54:29 +0000 | <tomsmeding> | hololeap: am I correct that a "target" (whether it's a Target, a CustomTargets, or a ReinstallAtomsTarget) is always eventually a part of the "mode" (be it RunMode or ReinstallAtomsMode)? |
| 2024-07-07 13:55:10 +0000 | <tomsmeding> | if so, perhaps you can have a separate function first that tries to combine the cmdLineMode and the cmdLineTarget into `Either RunMode ReinstallAtomsMode` |
| 2024-07-07 13:55:34 +0000 | <tomsmeding> | then you cut down on the combinatorial explosion |
| 2024-07-07 13:57:03 +0000 | <hololeap> | yeah, that makes sense |
| 2024-07-07 13:57:37 +0000 | <tomsmeding> | to me that feels like a more appropriate solution here than trying to infer semantical structure from the data types |
| 2024-07-07 13:58:15 +0000 | <tomsmeding> | it's just a feeling that I have, but I suspect that the equivalence here (that ReinstallAtomsMode is a field of Portage precisely because it's valid with Portage) is somewhat accidental |
| 2024-07-07 13:58:26 +0000 | <tomsmeding> | what if there's another data type in between? |
| 2024-07-07 13:58:47 +0000 | <tomsmeding> | then suddenly the generics/Data/whatever magic would have to do inter-datatype analysis |
| 2024-07-07 13:58:59 +0000 | <tomsmeding> | even though semantically, nothing really changed |
| 2024-07-07 14:00:05 +0000 | poscat | (~poscat@user/poscat) (Quit: Bye) |
| 2024-07-07 14:00:15 +0000 | <hololeap> | I kinda want to try the magical solution, just for the challenge, but you make good points :) |
| 2024-07-07 14:00:21 +0000 | poscat | (~poscat@user/poscat) |
| 2024-07-07 14:00:30 +0000 | <tomsmeding> | there's sensibility, and then there's fun :p |
| 2024-07-07 14:02:23 +0000 | <tomsmeding> | still, what would the magical solution even do, precisely? |
| 2024-07-07 14:02:43 +0000 | <tomsmeding> | you'd still need to provide a mapping from PkgManager to the constructors of Mode.PkgManager |
| 2024-07-07 14:03:41 +0000 | <tomsmeding> | one could write a function that creates a D from some T if there's only one constructor of D that has a field of type T (possibly nested in Either), and furthermore that constructor of D has no other fields |
| 2024-07-07 14:03:51 +0000 | <tomsmeding> | that's a bit of Generics magic there |
| 2024-07-07 14:04:17 +0000 | <tomsmeding> | but that really only replaces a very marginal bit of your code :p |
| 2024-07-07 14:12:37 +0000 | wlhn | (~wlhn@dl46fx8hbfttwvhb-h1ly-3.rev.dnainternet.fi) (Quit: Leaving) |
| 2024-07-07 14:35:14 +0000 | qqe | (~qqq@92.43.167.61) (Quit: leaving) |
| 2024-07-07 14:35:33 +0000 | leah2 | (~leah@vuxu.org) |
| 2024-07-07 14:37:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-07-07 14:45:11 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 2024-07-07 14:45:36 +0000 | __monty__ | (~toonn@user/toonn) |
| 2024-07-07 15:15:25 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 15:15:25 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 15:15:25 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 15:16:31 +0000 | ubert1 | (~Thunderbi@p200300ecdf008f0dcbf843fa6f22da0d.dip0.t-ipconnect.de) |
| 2024-07-07 15:17:22 +0000 | ubert | (~Thunderbi@p200300ecdf008f0f0a6872e022c3958c.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-07 15:17:22 +0000 | ubert1 | ubert |
| 2024-07-07 15:19:03 +0000 | Square | (~Square@user/square) |
| 2024-07-07 15:40:54 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-07 15:42:39 +0000 | mikess | (~mikess@user/mikess) |
| 2024-07-07 15:57:38 +0000 | euleritian | (~euleritia@dynamic-176-001-139-117.176.1.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-07-07 15:59:50 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 16:01:35 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
| 2024-07-07 16:03:04 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 16:03:05 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 16:03:05 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 16:16:10 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-07-07 16:17:12 +0000 | raghavgururajan_ | (ea769b8000@2a03:6000:1812:100::242) (Changing host) |
| 2024-07-07 16:17:12 +0000 | raghavgururajan_ | (ea769b8000@user/raghavgururajan) |
| 2024-07-07 16:17:19 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-07-07 16:17:48 +0000 | raghavgururajan_ | raghavgururajan |
| 2024-07-07 16:18:21 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-07-07 16:20:13 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 2024-07-07 16:20:22 +0000 | raghavgururajan | (ea769b8000@user/raghavgururajan) |
| 2024-07-07 16:21:34 +0000 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) |
| 2024-07-07 16:23:36 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 16:28:39 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2024-07-07 16:28:40 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-07-07 16:29:24 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 2024-07-07 16:31:14 +0000 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-07-07 16:31:47 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) (Ping timeout: 264 seconds) |
| 2024-07-07 16:32:04 +0000 | barthandelous01 | (barth@triton.blinkenshell.org) |
| 2024-07-07 16:41:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 16:43:20 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 16:44:15 +0000 | mud | (~mud@user/kadoban) (Ping timeout: 272 seconds) |
| 2024-07-07 16:46:50 +0000 | mud | (~mud@user/kadoban) |
| 2024-07-07 16:50:58 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-07-07 16:56:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 16:58:50 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-07-07 16:59:43 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 17:10:58 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 17:32:56 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Quit: Leaving) |
| 2024-07-07 17:37:53 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-07-07 17:37:58 +0000 | <hololeap> | tomsmeding: this is a lot cleaner and I feel better about maintaining it: https://github.com/hololeap/haskell-updater/commit/b9147e65149c2dcc7e52126a60a4bc6b0c02201a |
| 2024-07-07 17:41:32 +0000 | <hololeap> | it makes sense that the best structure for building the type mimics the shape of the type itself |
| 2024-07-07 17:42:42 +0000 | <hololeap> | I still want to get my hands dirty with some generics, but maybe some other time :p |
| 2024-07-07 17:49:44 +0000 | <monochrom> | Conversely, I should learn Data.Data properly too. :) |
| 2024-07-07 17:50:10 +0000 | <hololeap> | I couldn't figure out the bit I was stuck on with Data.Data, btw |
| 2024-07-07 17:56:21 +0000 | yobson | (~yobson@cpc91230-cmbg18-2-0-cust906.5-4.cable.virginm.net) (Remote host closed the connection) |
| 2024-07-07 18:03:46 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 18:04:46 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 264 seconds) |
| 2024-07-07 18:10:20 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-07 18:10:58 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 18:19:01 +0000 | <[exa]> | kinda wondering-- there are some reasonable tools for manipulating monad stacks nowadays. Is there anything cool to somehow manipulate the "compose stacks" of functors that are glued into higher-kinded data? |
| 2024-07-07 18:20:15 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-07-07 18:20:56 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-07-07 18:22:58 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 268 seconds) |
| 2024-07-07 18:27:43 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-07-07 18:31:39 +0000 | <tomsmeding> | hololeap: looks great! Building mimicing the structure of the output type makes some sense, but not necessarily always; it's nice when it does, though :) |
| 2024-07-07 18:35:46 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 18:35:46 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 18:35:46 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 18:40:47 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
| 2024-07-07 18:45:59 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 18:47:56 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 18:47:56 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 18:47:56 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 18:49:43 +0000 | kuribas | (~user@ptr-17d51emtzrmz5rsjtv0.18120a2.ip6.access.telenet.be) |
| 2024-07-07 18:50:04 +0000 | [exa] | finds a package with Barbies |
| 2024-07-07 18:51:36 +0000 | <kuribas> | I am interested in joining Munihac. I could use my hasqlator library as a talk of project. |
| 2024-07-07 18:51:49 +0000 | <kuribas> | I wonder what is eligible for projects? |
| 2024-07-07 18:52:08 +0000 | <kuribas> | Would porting my library to postgresql qualify? |
| 2024-07-07 19:05:36 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 19:06:45 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-07 19:08:13 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) |
| 2024-07-07 19:10:46 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 246 seconds) |
| 2024-07-07 19:13:15 +0000 | <[exa]> | kuribas: there's a normal CfC here https://munihac.de/2024.html#cfc I guess you can just submit a proposa and you'll see |
| 2024-07-07 19:16:22 +0000 | <[exa]> | afaik the most crucial eligibility criterium for the projects is how accessible they are for a random haskell person around. That usually comprises sensible docs and a clear motivation for a usecase that people can easily accept as their own. |
| 2024-07-07 19:16:48 +0000 | <kuribas> | hmm, I might need to update my documentation before I submit then... |
| 2024-07-07 19:17:20 +0000 | <kuribas> | I think it would be a nice project, because it's fairly easy, and a good exercise in composability. |
| 2024-07-07 19:17:59 +0000 | kuribas | (~user@ptr-17d51emtzrmz5rsjtv0.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2024-07-07 19:21:28 +0000 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 2024-07-07 19:26:43 +0000 | migas977 | (~migas@static.140.65.63.178.clients.your-server.de) |
| 2024-07-07 19:28:27 +0000 | migas97 | (~migas@static.140.65.63.178.clients.your-server.de) (Ping timeout: 252 seconds) |
| 2024-07-07 19:28:27 +0000 | migas977 | migas97 |
| 2024-07-07 19:29:33 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Ping timeout: 255 seconds) |
| 2024-07-07 19:29:57 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-07-07 19:31:19 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-07-07 19:31:19 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-07-07 19:31:19 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-07-07 19:31:27 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 2024-07-07 19:32:05 +0000 | euleritian | (~euleritia@dynamic-176-003-015-111.176.3.pool.telefonica.de) |
| 2024-07-07 19:34:41 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 19:38:03 +0000 | corona4 | (~corona4@2a01:14:123:fc60:95be:9605:ef34:c900) |
| 2024-07-07 19:39:45 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
| 2024-07-07 19:39:50 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-07-07 19:40:19 +0000 | rvalue | (~rvalue@user/rvalue) |
| 2024-07-07 19:42:49 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Quit: Leaving) |
| 2024-07-07 19:46:14 +0000 | corona4 | (~corona4@2a01:14:123:fc60:95be:9605:ef34:c900) (Quit: Client closed) |
| 2024-07-07 19:49:48 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-07-07 20:04:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 20:17:34 +0000 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 256 seconds) |
| 2024-07-07 20:19:55 +0000 | iteratee | (~kyle@162.218.222.207) |
| 2024-07-07 20:21:12 +0000 | soverysour | (~soverysou@81.196.150.219) |
| 2024-07-07 20:21:12 +0000 | soverysour | (~soverysou@81.196.150.219) (Changing host) |
| 2024-07-07 20:21:12 +0000 | soverysour | (~soverysou@user/soverysour) |
| 2024-07-07 20:25:39 +0000 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
| 2024-07-07 20:39:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-07-07 20:46:04 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-07 20:49:09 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Quit: Leaving) |
| 2024-07-07 20:50:51 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) |
| 2024-07-07 20:54:34 +0000 | Inst | (~Inst@user/Inst) (Ping timeout: 264 seconds) |
| 2024-07-07 20:55:32 +0000 | nhar | (~noah@c-73-237-54-185.hsd1.ga.comcast.net) (Ping timeout: 256 seconds) |
| 2024-07-07 20:58:26 +0000 | zmt00 | (~zmt00@user/zmt00) |
| 2024-07-07 21:00:29 +0000 | swamp_ | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2024-07-07 21:03:12 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2024-07-07 21:05:19 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2024-07-07 21:18:10 +0000 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 2024-07-07 21:22:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-07-07 21:29:50 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2024-07-07 21:39:20 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-07-07 21:41:17 +0000 | emm | (~emm@user/edmeme) |
| 2024-07-07 21:44:51 +0000 | pavonia | (~user@user/siracusa) |
| 2024-07-07 21:50:21 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-07-07 22:08:30 +0000 | kraftwerk28 | (~kraftwerk@164.92.219.160) |
| 2024-07-07 22:08:37 +0000 | kraftwerk28 | (~kraftwerk@164.92.219.160) (Remote host closed the connection) |
| 2024-07-07 22:10:31 +0000 | acidjnk_new3 | (~acidjnk@p200300d6e72cfb1245269f140bd925b3.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-07-07 22:16:58 +0000 | xdminsy | (~xdminsy@117.147.70.231) (Ping timeout: 246 seconds) |
| 2024-07-07 22:21:37 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-07-07 22:22:27 +0000 | oo_miguel | (~Thunderbi@78.10.207.46) (Ping timeout: 272 seconds) |
| 2024-07-07 22:23:03 +0000 | emm | (~emm@user/edmeme) (Quit: WeeChat 4.3.3) |
| 2024-07-07 22:28:15 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-07-07 22:29:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-07-07 22:33:57 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-07-07 22:34:50 +0000 | xdminsy | (~xdminsy@117.147.70.227) |
| 2024-07-07 22:43:34 +0000 | mreh | (~matthew@host86-160-168-12.range86-160.btcentralplus.com) (Ping timeout: 246 seconds) |
| 2024-07-07 22:50:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-07-07 22:59:39 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-07-07 23:11:24 +0000 | hueso | (~root@user/hueso) (Ping timeout: 255 seconds) |
| 2024-07-07 23:39:05 +0000 | Guest42 | (~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net) |
| 2024-07-07 23:46:52 +0000 | Guest42 | (~Guest42@2a02-a46b-aaa5-1-b5e3-73be-4d72-a25c.fixed6.kpn.net) (Quit: Client closed) |