| 2023-07-19 00:07:37 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-19 00:08:13 +0200 | mechap | (~mechap@user/mechap) |
| 2023-07-19 00:09:11 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-07-19 00:09:29 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-19 00:10:53 +0200 | azy | (~azy@77-234-92-243.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-19 00:12:37 +0200 | azy | (~azy@84-236-122-149.pool.digikabel.hu) |
| 2023-07-19 00:15:59 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 246 seconds) |
| 2023-07-19 00:17:48 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-19 00:19:23 +0200 | ft | (~ft@p3e9bc856.dip0.t-ipconnect.de) |
| 2023-07-19 00:22:08 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-07-19 00:22:33 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-19 00:23:52 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-19 00:32:08 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-243-208.2.247.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-07-19 00:33:52 +0200 | nick4 | (~nick@2600:8807:9084:7800:7d9d:fc42:d20d:9e35) (Ping timeout: 240 seconds) |
| 2023-07-19 00:36:38 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-07-19 00:36:41 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-19 00:37:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f560cf848d8868092f6.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-07-19 00:43:23 +0200 | pickleju1ce | (~root@172.56.220.124) |
| 2023-07-19 00:46:12 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-19 00:47:34 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-07-19 00:48:16 +0200 | Everything | (~Everythin@static.208.206.21.65.clients.your-server.de) |
| 2023-07-19 00:59:12 +0200 | Guest8732 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-07-19 01:07:13 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 01:07:13 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 01:07:13 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 01:07:13 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Read error: Connection reset by peer) |
| 2023-07-19 01:07:38 +0200 | dobblego | dibblego |
| 2023-07-19 01:10:50 +0200 | <maerwald[m]> | https://github.com/jtdaugherty/vty/issues/260 |
| 2023-07-19 01:10:51 +0200 | <maerwald[m]> | Woo |
| 2023-07-19 01:11:15 +0200 | <glguy> | glirc for all ;-) |
| 2023-07-19 01:13:08 +0200 | azy | (~azy@84-236-122-149.pool.digikabel.hu) (Ping timeout: 272 seconds) |
| 2023-07-19 01:14:14 +0200 | azy | (~azy@94-21-82-1.pool.digikabel.hu) |
| 2023-07-19 01:15:55 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 240 seconds) |
| 2023-07-19 01:22:18 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 01:23:16 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2023-07-19 01:25:03 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-19 01:26:33 +0200 | son0p | (~ff@181.136.122.143) |
| 2023-07-19 01:27:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-19 01:29:30 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 252 seconds) |
| 2023-07-19 01:30:28 +0200 | bontaq | (~user@ool-45779b84.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2023-07-19 01:32:01 +0200 | mud | (~mud@user/kadoban) |
| 2023-07-19 01:35:09 +0200 | hdggxin | (~hdggxin@122.175.41.19) (Read error: Connection reset by peer) |
| 2023-07-19 01:35:31 +0200 | infinity0 | Guest6325 |
| 2023-07-19 01:35:45 +0200 | infinity0 | (~infinity0@pwned.gg) |
| 2023-07-19 01:36:34 +0200 | Guest6325 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2023-07-19 01:36:36 +0200 | hdggxin | (~hdggxin@122.175.41.19) |
| 2023-07-19 01:37:58 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-07-19 01:39:13 +0200 | infinity0_ | (~infinity0@pwned.gg) |
| 2023-07-19 01:39:13 +0200 | infinity0 | Guest4083 |
| 2023-07-19 01:39:13 +0200 | infinity0_ | infinity0 |
| 2023-07-19 01:39:34 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 250 seconds) |
| 2023-07-19 01:39:34 +0200 | mauke_ | mauke |
| 2023-07-19 01:40:22 +0200 | Guest4083 | (~infinity0@pwned.gg) (Ping timeout: 272 seconds) |
| 2023-07-19 01:45:22 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) (Read error: Connection reset by peer) |
| 2023-07-19 01:45:52 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-07-19 01:46:12 +0200 | pavonia | (~user@user/siracusa) |
| 2023-07-19 01:54:22 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Remote host closed the connection) |
| 2023-07-19 02:02:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-07-19 02:03:07 +0200 | mechap | (~mechap@user/mechap) (Quit: WeeChat 4.0.2) |
| 2023-07-19 02:11:34 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 260 seconds) |
| 2023-07-19 02:12:12 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) |
| 2023-07-19 02:13:12 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-07-19 02:13:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-19 02:17:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) (Ping timeout: 272 seconds) |
| 2023-07-19 02:19:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 2023-07-19 02:19:42 +0200 | nick4 | (~nick@2600:100d:b126:fbd5:d417:881b:5303:ec95) |
| 2023-07-19 02:22:17 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Read error: Connection reset by peer) |
| 2023-07-19 02:22:32 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-07-19 02:23:48 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-19 02:25:40 +0200 | arahael_ | (~arahael@1.145.4.62) |
| 2023-07-19 02:32:18 +0200 | nick4 | (~nick@2600:100d:b126:fbd5:d417:881b:5303:ec95) (Ping timeout: 272 seconds) |
| 2023-07-19 02:42:02 +0200 | pickleju1ce | (~root@172.56.220.124) (Ping timeout: 245 seconds) |
| 2023-07-19 02:45:01 +0200 | picklejuice | (~root@172.56.28.32) |
| 2023-07-19 02:45:08 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-19 02:47:08 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-07-19 02:53:56 +0200 | arahael_ | (~arahael@1.145.4.62) (Read error: Connection reset by peer) |
| 2023-07-19 02:54:50 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 03:03:20 +0200 | picklejuice | (~root@172.56.28.32) (Ping timeout: 272 seconds) |
| 2023-07-19 03:03:29 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-19 03:05:23 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2023-07-19 03:06:56 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-19 03:07:47 +0200 | mei | (~mei@user/mei) |
| 2023-07-19 03:08:07 +0200 | razetime | (~quassel@117.193.1.176) |
| 2023-07-19 03:10:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-07-19 03:11:52 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-19 03:12:17 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) |
| 2023-07-19 03:15:09 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:c4b5:12e2:b43e:28d1) |
| 2023-07-19 03:17:06 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-07-19 03:19:48 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:c4b5:12e2:b43e:28d1) (Ping timeout: 272 seconds) |
| 2023-07-19 03:52:27 +0200 | <feetwind> | is there any good way to automatically populate exposed-modules in a "vanilla" (not haskell.nix) nix flake setup? |
| 2023-07-19 03:52:50 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 260 seconds) |
| 2023-07-19 03:52:56 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) (Read error: Connection reset by peer) |
| 2023-07-19 03:53:20 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) |
| 2023-07-19 03:56:28 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-07-19 03:58:26 +0200 | ddellacosta | (~ddellacos@143.244.47.81) (Ping timeout: 272 seconds) |
| 2023-07-19 03:59:57 +0200 | ddellacosta | (~ddellacos@146.70.165.10) |
| 2023-07-19 04:15:27 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 04:22:30 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2023-07-19 04:24:01 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) (Read error: Connection reset by peer) |
| 2023-07-19 04:24:26 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-07-19 04:24:37 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-07-19 04:24:37 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-07-19 04:24:37 +0200 | finn_elija | FinnElija |
| 2023-07-19 04:27:34 +0200 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 272 seconds) |
| 2023-07-19 04:28:46 +0200 | td_ | (~td@i5387092E.versanet.de) |
| 2023-07-19 04:28:59 +0200 | wroathe | (~wroathe@user/wroathe) (Quit: leaving) |
| 2023-07-19 04:31:32 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) |
| 2023-07-19 04:32:02 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2023-07-19 04:35:00 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 04:35:01 +0200 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 04:35:01 +0200 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 04:35:04 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 250 seconds) |
| 2023-07-19 04:35:17 +0200 | Katarushisu | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-07-19 04:35:25 +0200 | dobblego | dibblego |
| 2023-07-19 04:36:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-07-19 04:36:10 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-07-19 04:36:10 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-07-19 04:37:11 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 264 seconds) |
| 2023-07-19 04:38:00 +0200 | <jackdk> | You mean in the `.cabal` file? I don't see how nix would influence that. `cabal-fmt` supports a magic comment to do this: https://github.com/phadej/cabal-fmt/blob/8fb86f4ae701e54eb28fa300230f98f88091ebc4/cabal-fmt.cabal#… |
| 2023-07-19 04:38:36 +0200 | tessier | (~treed@ip72-197-145-89.sd.sd.cox.net) |
| 2023-07-19 04:38:45 +0200 | <jackdk> | You could use something like https://github.com/cachix/pre-commit-hooks.nix to turn on cabal-fmt in a precommit hook, if you like. |
| 2023-07-19 04:42:14 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2023-07-19 04:42:20 +0200 | mixfix41 | (~sdeny9ee@user/mixfix41) (Ping timeout: 246 seconds) |
| 2023-07-19 04:43:47 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-19 04:44:01 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2023-07-19 04:45:51 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-19 04:50:01 +0200 | tessier | (~treed@ip72-197-145-89.sd.sd.cox.net) (Ping timeout: 245 seconds) |
| 2023-07-19 04:50:24 +0200 | tessier | (~treed@ec2-184-72-149-67.compute-1.amazonaws.com) |
| 2023-07-19 04:56:51 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-19 04:57:15 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) |
| 2023-07-19 04:57:54 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) |
| 2023-07-19 05:02:22 +0200 | nick4 | (~nick@ip98-162-147-230.pn.at.cox.net) (Ping timeout: 250 seconds) |
| 2023-07-19 05:10:40 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-19 05:18:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-19 05:25:35 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) (Read error: Connection reset by peer) |
| 2023-07-19 05:25:58 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) |
| 2023-07-19 05:33:10 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-07-19 05:33:26 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-07-19 05:34:02 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-07-19 05:34:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 05:34:18 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 05:34:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 05:36:29 +0200 | arahael_ | (~arahael@1.145.34.158) |
| 2023-07-19 05:41:23 +0200 | arahael_ | (~arahael@1.145.34.158) (Ping timeout: 264 seconds) |
| 2023-07-19 05:44:57 +0200 | phma | (phma@2001:5b0:210b:e378:a2bb:6ce4:5380:526f) (Read error: Connection reset by peer) |
| 2023-07-19 05:45:21 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) |
| 2023-07-19 05:58:43 +0200 | aforemny_ | (~aforemny@2001:9e8:6cd7:3300:7d61:ca1a:b553:5487) |
| 2023-07-19 05:59:36 +0200 | aforemny | (~aforemny@i59F516E9.versanet.de) (Ping timeout: 245 seconds) |
| 2023-07-19 06:08:31 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-19 06:10:36 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-19 06:12:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-07-19 06:14:03 +0200 | travisb_ | (~travisb@2600:1700:7990:24e0:524b:7df:eb5a:5cc5) |
| 2023-07-19 06:14:15 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2023-07-19 06:14:36 +0200 | razetime | (~quassel@117.193.1.176) (Ping timeout: 272 seconds) |
| 2023-07-19 06:14:51 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-07-19 06:15:05 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 2023-07-19 06:15:05 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-07-19 06:15:22 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) (Ping timeout: 245 seconds) |
| 2023-07-19 06:15:26 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:5306:cf38:acd1:737c) (Ping timeout: 246 seconds) |
| 2023-07-19 06:15:26 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) (Ping timeout: 246 seconds) |
| 2023-07-19 06:15:26 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) (Ping timeout: 246 seconds) |
| 2023-07-19 06:18:52 +0200 | chessai | (sid225296@id-225296.lymington.irccloud.com) |
| 2023-07-19 06:18:53 +0200 | kristjansson_ | (sid126207@id-126207.tinside.irccloud.com) |
| 2023-07-19 06:18:59 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2023-07-19 06:19:21 +0200 | geekosaur[c] | (sid609282@xmonad/geekosaur) |
| 2023-07-19 06:19:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2023-07-19 06:19:47 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2023-07-19 06:20:16 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 06:20:16 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 06:20:16 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 06:26:16 +0200 | azy | (~azy@94-21-82-1.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-19 06:28:01 +0200 | azy | (~azy@94-21-108-24.pool.digikabel.hu) |
| 2023-07-19 06:38:02 +0200 | trev | (~trev@user/trev) |
| 2023-07-19 07:04:05 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-19 07:05:06 +0200 | razetime | (~quassel@117.193.1.176) |
| 2023-07-19 07:08:53 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-243-004.2.247.pool.telefonica.de) |
| 2023-07-19 07:13:07 +0200 | bilegeek | (~bilegeek@87.sub-174-239-122.myvzw.com) |
| 2023-07-19 07:15:44 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 07:20:08 +0200 | jbalint | (~jbalint@071-090-119-177.res.spectrum.com) (Remote host closed the connection) |
| 2023-07-19 07:20:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-19 07:20:19 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-07-19 07:20:22 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-19 07:25:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 07:25:29 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 07:25:29 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 07:27:22 +0200 | ddellacosta | (~ddellacos@146.70.165.10) (Ping timeout: 252 seconds) |
| 2023-07-19 07:28:42 +0200 | shapr | (~user@2600:1700:c640:3100:7ba2:ae9a:8376:1284) (Ping timeout: 272 seconds) |
| 2023-07-19 07:34:17 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-19 07:38:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-07-19 07:38:23 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-19 07:39:06 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-07-19 07:40:11 +0200 | fiddlerwoaroof | (~fiddlerwo@user/fiddlerwoaroof) (Ping timeout: 264 seconds) |
| 2023-07-19 07:40:11 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2023-07-19 07:40:29 +0200 | fiddlerw- | (~fiddlerwo@user/fiddlerwoaroof) |
| 2023-07-19 07:40:34 +0200 | Typedfern | (~Typedfern@60.red-83-37-32.dynamicip.rima-tde.net) |
| 2023-07-19 07:40:37 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-07-19 07:46:30 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-19 07:46:30 +0200 | marienz | (~marienz@libera/staff/marienz) (Ping timeout: 615 seconds) |
| 2023-07-19 07:46:47 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 246 seconds) |
| 2023-07-19 07:47:06 +0200 | mei | (~mei@user/mei) (Ping timeout: 245 seconds) |
| 2023-07-19 07:48:34 +0200 | marienz | (~marienz@libera/staff/marienz) |
| 2023-07-19 07:49:57 +0200 | mei | (~mei@user/mei) |
| 2023-07-19 07:55:56 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-19 07:58:41 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 246 seconds) |
| 2023-07-19 08:01:16 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-07-19 08:08:36 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-19 08:09:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-07-19 08:15:47 +0200 | mncheck | (~mncheck@193.224.205.254) |
| 2023-07-19 08:25:56 +0200 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-07-19 08:30:01 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-07-19 08:30:21 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-19 08:32:42 +0200 | Guest8732 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-19 08:35:42 +0200 | michalz | (~michalz@185.246.207.217) |
| 2023-07-19 08:40:46 +0200 | Guest8732 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-19 08:41:06 +0200 | jargon | (~jargon@184.101.73.95) |
| 2023-07-19 08:41:36 +0200 | acidjnk | (~acidjnk@p200300d6e7072f41b9755ad897703bec.dip0.t-ipconnect.de) |
| 2023-07-19 08:42:52 +0200 | azy | (~azy@94-21-108-24.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-19 08:43:34 +0200 | gurkenglas | (~gurkengla@dynamic-002-247-243-004.2.247.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2023-07-19 08:44:20 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-07-19 08:44:49 +0200 | azy | (~azy@94-21-233-126.pool.digikabel.hu) |
| 2023-07-19 08:46:17 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-19 08:59:51 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 09:03:36 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 09:08:18 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-19 09:09:01 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 09:16:43 +0200 | aforemny_ | aforemny |
| 2023-07-19 09:20:29 +0200 | gmg | (~user@user/gehmehgeh) |
| 2023-07-19 09:20:40 +0200 | mbuf | (~Shakthi@49.207.178.186) |
| 2023-07-19 09:29:55 +0200 | acidjnk | (~acidjnk@p200300d6e7072f41b9755ad897703bec.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-07-19 09:30:15 +0200 | azy | (~azy@94-21-233-126.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-19 09:31:02 +0200 | acidjnk | (~acidjnk@p200300d6e7072f4144ad9ffde27bd696.dip0.t-ipconnect.de) |
| 2023-07-19 09:31:13 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) (Remote host closed the connection) |
| 2023-07-19 09:31:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Remote host closed the connection) |
| 2023-07-19 09:31:36 +0200 | kuribas | (~user@ptr-17d51epq9ajkqw08dcr.18120a2.ip6.access.telenet.be) |
| 2023-07-19 09:32:12 +0200 | azy | (~azy@fibhost-66-106-116.fibernet.hu) |
| 2023-07-19 09:33:46 +0200 | Guest8732 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-19 09:34:03 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-07-19 09:34:47 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-19 09:38:09 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 09:41:01 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Remote host closed the connection) |
| 2023-07-19 09:48:04 +0200 | CiaoSen | (~Jura@2a05:5800:294:8000:664b:f0ff:fe37:9ef) |
| 2023-07-19 09:50:36 +0200 | zzz | (~z@user/zero) () |
| 2023-07-19 09:50:52 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) |
| 2023-07-19 09:58:01 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-19 09:58:03 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) |
| 2023-07-19 10:00:35 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2023-07-19 10:12:41 +0200 | vicfred | (~vicfred@user/vicfred) (Read error: Connection reset by peer) |
| 2023-07-19 10:12:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-07-19 10:15:17 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2023-07-19 10:19:25 +0200 | ubert | (~Thunderbi@178.165.184.55.wireless.dyn.drei.com) |
| 2023-07-19 10:21:36 +0200 | Guest8732 | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-07-19 10:22:18 +0200 | <aforemny> | hi who could i contact to approve my gitlab.haskell.org account? |
| 2023-07-19 10:23:00 +0200 | dhil | (~dhil@78.45.150.83.ewm.ftth.as8758.net) (Remote host closed the connection) |
| 2023-07-19 10:23:54 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2023-07-19 10:25:47 +0200 | azy | (~azy@fibhost-66-106-116.fibernet.hu) (Ping timeout: 245 seconds) |
| 2023-07-19 10:27:42 +0200 | azy | (~azy@80-95-69-244.pool.digikabel.hu) |
| 2023-07-19 10:28:28 +0200 | danse-nr3 | (~francesco@151.57.169.114) |
| 2023-07-19 10:29:51 +0200 | arahael_ | (~arahael@1.145.119.219) |
| 2023-07-19 10:30:13 +0200 | <probie> | aforemny: Probably best to ping chreekat in #ghc |
| 2023-07-19 10:30:51 +0200 | <aforemny> | probie: thanks! |
| 2023-07-19 10:31:41 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) |
| 2023-07-19 10:33:00 +0200 | <arahael_> | ghc doesn't yet have bindists for the wasm or js output, does it? |
| 2023-07-19 10:35:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:9801:f948:f484:2fb0) (Ping timeout: 246 seconds) |
| 2023-07-19 10:37:57 +0200 | bilegeek | (~bilegeek@87.sub-174-239-122.myvzw.com) (Quit: Leaving) |
| 2023-07-19 10:44:17 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-07-19 10:44:17 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 10:50:51 +0200 | razetime | (~quassel@117.193.1.176) (Ping timeout: 245 seconds) |
| 2023-07-19 10:50:59 +0200 | danse-nr3 | (~francesco@151.57.169.114) (Ping timeout: 264 seconds) |
| 2023-07-19 10:54:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 260 seconds) |
| 2023-07-19 10:55:23 +0200 | <comerijn> | arahael_: Don't think so? I think that's going mainline in 9.8, no? |
| 2023-07-19 10:55:33 +0200 | <comerijn> | Or were they already in 9.6...I forget |
| 2023-07-19 10:56:11 +0200 | <arahael_> | comerijn: Ah, very nice, yeah I have a feeling it's already in 9.6, but not in bindists, so you have to build it yourself and all that. |
| 2023-07-19 10:56:24 +0200 | <arahael_> | I'm a sucker for convenience, as you probably know already. ;) |
| 2023-07-19 10:56:38 +0200 | <Hecate> | arahael_: did you see the discourse post about it? |
| 2023-07-19 10:56:38 +0200 | ft | (~ft@p3e9bc856.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-07-19 10:56:44 +0200 | <arahael_> | I did not! |
| 2023-07-19 10:57:59 +0200 | <Hecate> | arahael_: https://discourse.haskell.org/t/ann-ghcup-0-1-19-5-release-candidate-ghc-js-cross-support/6995 |
| 2023-07-19 10:58:06 +0200 | <Hecate> | JS & WASM instructions inside |
| 2023-07-19 10:58:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-07-19 10:58:44 +0200 | <arahael_> | Oooh, very nice! Thanks for that Hecate! |
| 2023-07-19 10:58:54 +0200 | <Hecate> | yer welcome |
| 2023-07-19 11:01:05 +0200 | danse-nr3 | (~francesco@151.57.169.114) |
| 2023-07-19 11:02:46 +0200 | <comerijn> | Whoo, report bug, go on vacation, come back, bug fixed. Now I just need to wait longer than my patience allows for it to actually hit release :p |
| 2023-07-19 11:03:15 +0200 | <int-e> | time for another vacation? |
| 2023-07-19 11:03:17 +0200 | <arahael_> | Yeah, wasm and js stuff is exciting. |
| 2023-07-19 11:03:44 +0200 | <comerijn> | int-e: It's always time for vacation :p |
| 2023-07-19 11:08:17 +0200 | Guest8732 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-19 11:08:21 +0200 | azy | (~azy@80-95-69-244.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2023-07-19 11:10:01 +0200 | azy | (~azy@85-238-77-68.pool.digikabel.hu) |
| 2023-07-19 11:10:42 +0200 | razetime | (~quassel@117.193.1.176) |
| 2023-07-19 11:16:55 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 11:19:35 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 11:20:12 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 252 seconds) |
| 2023-07-19 11:21:24 +0200 | __monty__ | (~toonn@user/toonn) |
| 2023-07-19 11:21:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-07-19 11:22:10 +0200 | mstksg | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-07-19 11:24:19 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 11:28:41 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 246 seconds) |
| 2023-07-19 11:30:16 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-07-19 11:35:13 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-19 11:36:36 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 2023-07-19 11:37:44 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-07-19 11:38:10 +0200 | azy | (~azy@85-238-77-68.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2023-07-19 11:40:07 +0200 | azy | (~azy@fibhost-67-47-63.fibernet.hu) |
| 2023-07-19 11:40:07 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Remote host closed the connection) |
| 2023-07-19 11:40:41 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 11:40:47 +0200 | arahael_ | (~arahael@1.145.119.219) (Ping timeout: 264 seconds) |
| 2023-07-19 11:45:22 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Ping timeout: 258 seconds) |
| 2023-07-19 11:50:53 +0200 | kuribas | (~user@ptr-17d51epq9ajkqw08dcr.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2023-07-19 12:02:51 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-19 12:03:25 +0200 | CiaoSen | (~Jura@2a05:5800:294:8000:664b:f0ff:fe37:9ef) (Ping timeout: 240 seconds) |
| 2023-07-19 12:07:26 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) |
| 2023-07-19 12:08:53 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) () |
| 2023-07-19 12:10:56 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) |
| 2023-07-19 12:12:40 +0200 | Guest8732 | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-19 12:14:18 +0200 | <Guest309304> | In the page: https://www.yesodweb.com/book/persistent |
| 2023-07-19 12:14:24 +0200 | <Guest309304> | "..... Haskell specific data stores that allow one to easily store any strongly typed ....." |
| 2023-07-19 12:14:31 +0200 | <Guest309304> | What haskell specific data store are they talking about? Can you provide me with an example of a haskell specific data store? |
| 2023-07-19 12:14:51 +0200 | <comerijn> | Probably acid-state? |
| 2023-07-19 12:16:11 +0200 | azy | (~azy@fibhost-67-47-63.fibernet.hu) (Ping timeout: 264 seconds) |
| 2023-07-19 12:17:22 +0200 | azy | (~azy@92-249-193-117.pool.digikabel.hu) |
| 2023-07-19 12:18:43 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) (Leaving) |
| 2023-07-19 12:18:54 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-07-19 12:19:06 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) |
| 2023-07-19 12:21:35 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 2023-07-19 12:24:54 +0200 | underlap | (~underlap@14.46.99.195.dyn.plus.net) |
| 2023-07-19 12:25:56 +0200 | <__monty__> | Project M36? : ) |
| 2023-07-19 12:26:37 +0200 | <Hecate> | Guest309304: they don't exist, should not exist, and are mostly useless anyway |
| 2023-07-19 12:26:59 +0200 | <Hecate> | what you want is a little conversion layer (sometimes as simple as a function) for the storage engine that you use, be it FoundationDB or PostgreSQL |
| 2023-07-19 12:31:33 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-19 12:33:09 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-07-19 12:33:54 +0200 | <comerijn> | Hecate: I strongly disagree with "should not exist" and the "mostly useless" is hard to state about as-yet non-existent things :p |
| 2023-07-19 12:34:06 +0200 | <comerijn> | but yes, don't use acid-state :p |
| 2023-07-19 12:34:24 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 12:37:33 +0200 | <underlap> | I get the impression (circa 2015 from e.g. https://stackoverflow.com/questions/33320107/create-a-type-that-is-a-subset-of-an-other-type) that it isn't possible to define a subset of a type without stepping into refinement types in LiquidHaskell. For example, in https://paste.tomsmeding.com/yIPvCvq7 I'd like to define a subset of Comparable that excludes CmpPath. Is that still the case? |
| 2023-07-19 12:38:24 +0200 | <comerijn> | underlap: Yes |
| 2023-07-19 12:38:40 +0200 | <comerijn> | Well, "It Depends (TM)" |
| 2023-07-19 12:38:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Ping timeout: 245 seconds) |
| 2023-07-19 12:39:14 +0200 | <comerijn> | You could probably enforce that distinction with, like, GADTs and type tagging but that might force you to write *a lot* of boilerplate |
| 2023-07-19 12:41:12 +0200 | <Hecate> | comerijn: yes I'm exagerating, although acid-state is mostly useless for real usage |
| 2023-07-19 12:43:16 +0200 | <underlap> | comerijn: ok, thanks. I'd prefer to keep the code relatively basic because of the audience (potentially it could become a reference implementation of an IETF spec). |
| 2023-07-19 12:44:06 +0200 | zzz | (~z@user/zero) |
| 2023-07-19 12:44:24 +0200 | <comerijn> | underlap: you might wanna split Comparable into "SimpleComparable" and "CompoundComparable" and then "data Comparable = Simple SimpleComparable | Compound CompoundComparable" |
| 2023-07-19 12:44:44 +0200 | <comerijn> | underlap: that's a bit more verbose, but easy enough to work with |
| 2023-07-19 12:44:57 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 12:45:23 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-07-19 12:45:42 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) |
| 2023-07-19 12:45:45 +0200 | <underlap> | comerijn: Yeah, that might be worth it and you're right that it's easy to read in spite of the increased verbosity. |
| 2023-07-19 12:48:29 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 246 seconds) |
| 2023-07-19 12:48:38 +0200 | cheater_ | cheater |
| 2023-07-19 12:49:03 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 12:51:03 +0200 | Guest309304 | (~fedora@2409:408d:3e11:8559:6512:750a:e702:5cb1) (Leaving) |
| 2023-07-19 12:52:13 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 12:52:58 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-07-19 12:53:23 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-07-19 12:56:32 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Ping timeout: 246 seconds) |
| 2023-07-19 12:56:37 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 245 seconds) |
| 2023-07-19 12:56:39 +0200 | cheater_ | cheater |
| 2023-07-19 12:59:23 +0200 | jonathan | (~jonathan@c83-252-3-92.bredband.tele2.se) (Ping timeout: 264 seconds) |
| 2023-07-19 13:00:16 +0200 | <Lears> | underlap: In practice, comerijn's suggestion is simpler and more idiomatic. In principle, you can do it like this: https://paste.tomsmeding.com/Ae8xPsm4 |
| 2023-07-19 13:01:22 +0200 | cheater_ | (~Username@user/cheater) |
| 2023-07-19 13:01:39 +0200 | <Hecate> | (interactive version: https://play.haskell.org/saved/bxghoM90 ) |
| 2023-07-19 13:02:25 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 258 seconds) |
| 2023-07-19 13:04:47 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2023-07-19 13:04:49 +0200 | cheater_ | cheater |
| 2023-07-19 13:10:07 +0200 | tv | (~tv@user/tv) (Quit: derp) |
| 2023-07-19 13:13:36 +0200 | tv | (~tv@user/tv) |
| 2023-07-19 13:15:03 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 13:15:24 +0200 | jonathan__ | (~jonathan@c83-252-3-92.bredband.tele2.se) |
| 2023-07-19 13:17:10 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-07-19 13:18:35 +0200 | danse-nr3 | (~francesco@151.57.169.114) (Ping timeout: 246 seconds) |
| 2023-07-19 13:19:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Ping timeout: 240 seconds) |
| 2023-07-19 13:19:24 +0200 | azy | (~azy@92-249-193-117.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-19 13:19:49 +0200 | Firedancer | (sid336191@id-336191.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-19 13:19:50 +0200 | xff0x | (~xff0x@ai086045.d.east.v6connect.net) |
| 2023-07-19 13:20:58 +0200 | azy | (~azy@176-241-45-182.pool.digikabel.hu) |
| 2023-07-19 13:22:40 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 2023-07-19 13:24:00 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 272 seconds) |
| 2023-07-19 13:25:06 +0200 | arahael | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 13:26:26 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) |
| 2023-07-19 13:28:38 +0200 | danse-nr3 | (~francesco@151.57.169.114) |
| 2023-07-19 13:32:57 +0200 | <underlap> | Thanks Lears and Hecate. Very interesting (and the first time I've come across DataKinds! Must learn...). Meanwhile, comerijn's suggestion worked out quite nicely. If anyone wants the gory details, please see https://github.com/akshaymankar/jsonpath-hs/pull/39/commits/85f19e4bbc6f58f62e2e218076568774db24b7… |
| 2023-07-19 13:33:56 +0200 | <feetwind> | is there a way to make :kind! less noisy? in particular suppress kind applications, show typelevel lists as lists, etc |
| 2023-07-19 13:34:10 +0200 | <feetwind> | with ghci 9.2.8. iirc it used to be a lot less noisy |
| 2023-07-19 13:36:47 +0200 | <Athas> | What is the most efficient way to convert a Text to a ByteString containing the text contents in UTF-8? |
| 2023-07-19 13:37:09 +0200 | <Athas> | I hear that newer versions of Text use UTF-8 as their representation, so there should be some very efficient way to do it. |
| 2023-07-19 13:37:57 +0200 | <Athas> | Reading the code, it seems that Data.Text.Encoding.encodeUtf8 really does just do a straight up copy. Is that correct? |
| 2023-07-19 13:53:48 +0200 | <[exa]> | Athas: I wouldn't be surprised. If you want a lot of efficiency you might also like the lazy variants |
| 2023-07-19 13:54:08 +0200 | <Athas> | Mediocre efficiency is enough for me! |
| 2023-07-19 13:54:30 +0200 | <[exa]> | profile first |
| 2023-07-19 13:59:12 +0200 | danse-nr3 | (~francesco@151.57.169.114) (Read error: Connection reset by peer) |
| 2023-07-19 13:59:37 +0200 | danse-nr3 | (~francesco@151.57.166.83) |
| 2023-07-19 14:00:22 +0200 | absence_ | absence |
| 2023-07-19 14:01:57 +0200 | comerijn | merijn |
| 2023-07-19 14:03:46 +0200 | CiaoSen | (~Jura@2a05:5800:294:8000:664b:f0ff:fe37:9ef) |
| 2023-07-19 14:11:30 +0200 | tv1 | (~tv@user/tv) |
| 2023-07-19 14:11:32 +0200 | tv | (~tv@user/tv) (Ping timeout: 240 seconds) |
| 2023-07-19 14:12:02 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-07-19 14:16:28 +0200 | underlap | (~underlap@14.46.99.195.dyn.plus.net) (Quit: Leaving) |
| 2023-07-19 14:17:41 +0200 | <zzz> | ask questions later |
| 2023-07-19 14:19:59 +0200 | jonathan__ | (~jonathan@c83-252-3-92.bredband.tele2.se) (Remote host closed the connection) |
| 2023-07-19 14:22:40 +0200 | azy | (~azy@176-241-45-182.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-19 14:24:38 +0200 | azy | (~azy@92-249-182-104.pool.digikabel.hu) |
| 2023-07-19 14:30:21 +0200 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-19 14:30:35 +0200 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2023-07-19 14:35:24 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-07-19 14:35:34 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 258 seconds) |
| 2023-07-19 14:36:52 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 14:41:55 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:c949:b3e0:9b04:3345) (Remote host closed the connection) |
| 2023-07-19 14:42:30 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:c949:b3e0:9b04:3345) |
| 2023-07-19 14:42:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-07-19 14:52:29 +0200 | michalz | (~michalz@185.246.207.201) |
| 2023-07-19 14:58:03 +0200 | alexbieh_ | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 14:59:01 +0200 | azy | (~azy@92-249-182-104.pool.digikabel.hu) (Read error: Connection reset by peer) |
| 2023-07-19 14:59:33 +0200 | Buggys | (Buggys@Buggy.shelltalk.net) |
| 2023-07-19 15:01:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:811d:39f7:56ab:adb3) (Ping timeout: 260 seconds) |
| 2023-07-19 15:09:13 +0200 | azy | (~azy@84-236-122-127.pool.digikabel.hu) |
| 2023-07-19 15:17:06 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-07-19 15:18:27 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 15:23:20 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 250 seconds) |
| 2023-07-19 15:25:27 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-07-19 15:30:02 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-19 15:30:59 +0200 | Guest72 | (~Guest3@p200300ef9729acc6ab2ed0874f0bfde9.dip0.t-ipconnect.de) |
| 2023-07-19 15:33:51 +0200 | ripspin | (~chatzilla@1.145.137.126) |
| 2023-07-19 15:37:17 +0200 | <Guest72> | Is text-builder the goto library for repeatedly appending left-associated unicode Strings? |
| 2023-07-19 15:37:49 +0200 | tv3n | (~stiv3n@2601:647:8580:f2b0:1481:73f3:db97:7cdf) |
| 2023-07-19 15:38:09 +0200 | <merijn> | Guest72: No |
| 2023-07-19 15:38:17 +0200 | <merijn> | Guest72: The goto would just be "text" |
| 2023-07-19 15:38:30 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 15:38:57 +0200 | <merijn> | i.e. the lazy builder in text is probably the goto except for people with specific requirements |
| 2023-07-19 15:38:59 +0200 | Guest72 | (~Guest3@p200300ef9729acc6ab2ed0874f0bfde9.dip0.t-ipconnect.de) (Quit: Ping timeout (120 seconds)) |
| 2023-07-19 15:39:54 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-19 15:39:59 +0200 | Guest3 | (~Guest3@p200300ef9729acc6c18f0f209cd4add2.dip0.t-ipconnect.de) |
| 2023-07-19 15:41:11 +0200 | Guest3 | Guest72 |
| 2023-07-19 15:41:15 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-19 15:42:27 +0200 | <Guest72> | merjin: I can combine strict text and the lazy builder? |
| 2023-07-19 15:43:17 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 15:43:24 +0200 | <merijn> | Guest72: Trivially |
| 2023-07-19 15:43:26 +0200 | <merijn> | Guest72: https://hackage.haskell.org/package/text-2.0.2/docs/Data-Text-Lazy-Builder.html#v:fromText |
| 2023-07-19 15:43:38 +0200 | <merijn> | Guest72: Lazy Text is (effectivelly) a lazy list of strict Text chunks |
| 2023-07-19 15:43:52 +0200 | <merijn> | So inserting strict Text chunks into a builder is trivial |
| 2023-07-19 15:44:21 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Ping timeout: 246 seconds) |
| 2023-07-19 15:44:22 +0200 | <Guest72> | Alright! Thank you. |
| 2023-07-19 15:46:03 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 15:49:25 +0200 | ddellacosta | (~ddellacos@146.70.165.154) |
| 2023-07-19 15:51:12 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 15:59:14 +0200 | razetime | (~quassel@117.193.1.176) (Ping timeout: 246 seconds) |
| 2023-07-19 16:07:58 +0200 | alexbieh_ | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Remote host closed the connection) |
| 2023-07-19 16:10:18 +0200 | ystael | (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 2023-07-19 16:10:38 +0200 | razetime | (~quassel@117.193.1.176) |
| 2023-07-19 16:12:40 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 16:13:13 +0200 | ystael | (~ystael@user/ystael) |
| 2023-07-19 16:13:46 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 16:17:26 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-19 16:18:34 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Ping timeout: 260 seconds) |
| 2023-07-19 16:18:45 +0200 | shapr | (~user@2600:1700:c640:3100:5fb0:4fe5:2af0:8aa4) |
| 2023-07-19 16:21:53 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2023-07-19 16:27:54 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-19 16:33:22 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 272 seconds) |
| 2023-07-19 16:33:33 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-07-19 16:34:23 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 16:40:28 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-19 16:43:03 +0200 | mauke | (~mauke@user/mauke) |
| 2023-07-19 16:49:51 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:c949:b3e0:9b04:3345) (Remote host closed the connection) |
| 2023-07-19 16:50:13 +0200 | Inst | (~Inst@2601:6c4:4081:2fc0:a599:7af4:6931:f494) |
| 2023-07-19 16:50:55 +0200 | Alex_test | (~al_test@178.34.162.202) (Ping timeout: 240 seconds) |
| 2023-07-19 16:51:25 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Ping timeout: 240 seconds) |
| 2023-07-19 16:51:41 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Ping timeout: 245 seconds) |
| 2023-07-19 16:53:37 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 16:54:23 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 16:57:19 +0200 | <hellwolf> | Not gonna troll/spam https://discourse.haskell.org/t/behavior-driven-development-in-haskell/7037/6 |
| 2023-07-19 16:57:19 +0200 | <hellwolf> | I am having a tongue-in-cheek term coming to my mind: Behaviour-Driven Types |
| 2023-07-19 16:57:19 +0200 | <hellwolf> | is there such thing? Maybe time to start a money grabbing consulting company for advocating |
| 2023-07-19 16:57:19 +0200 | <hellwolf> | dependently-typed programming for all? |
| 2023-07-19 16:58:07 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-19 16:58:16 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-19 16:58:19 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-19 16:59:02 +0200 | <Rembane> | hellwolf: Just do it! :D |
| 2023-07-19 16:59:20 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-19 16:59:28 +0200 | <Rembane> | hellwolf: The Iris guy coined the term Type Driven Development, there might even be a talk about it. |
| 2023-07-19 17:00:06 +0200 | <hellwolf> | Yea, I know of that one. |
| 2023-07-19 17:00:59 +0200 | <hellwolf> | That will be like management new wet dream: I will write spec in types, now please build an application that can compile, here is the deadline |
| 2023-07-19 17:01:52 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 272 seconds) |
| 2023-07-19 17:01:55 +0200 | <hellwolf> | type BusinessPlan = When MarketIsGood (Make Money) :| Otherwise (Make Less Money) |
| 2023-07-19 17:02:11 +0200 | <hellwolf> | please make a program : main :: BusinessPlan |
| 2023-07-19 17:02:27 +0200 | <Rembane> | The manager can push the auto-button and get the code. No pesky developers needed! |
| 2023-07-19 17:03:04 +0200 | <hellwolf> | only if he has all the funding for runninng LLM, if not he will hire you to save some cost and blame everything onto you. |
| 2023-07-19 17:03:46 +0200 | <hellwolf> | or to the GHC where unsaveCoerce is actually unsafe |
| 2023-07-19 17:04:41 +0200 | <Rembane> | Seems legit, I can provide scapegoat services. |
| 2023-07-19 17:06:53 +0200 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) |
| 2023-07-19 17:08:21 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-07-19 17:09:03 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-07-19 17:09:35 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-07-19 17:12:16 +0200 | Square2 | (~Square@user/square) |
| 2023-07-19 17:16:11 +0200 | CiaoSen | (~Jura@2a05:5800:294:8000:664b:f0ff:fe37:9ef) (Ping timeout: 258 seconds) |
| 2023-07-19 17:17:51 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-07-19 17:18:07 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-07-19 17:21:44 +0200 | Guest72 | (~Guest3@p200300ef9729acc6c18f0f209cd4add2.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-07-19 17:22:30 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) (Ping timeout: 250 seconds) |
| 2023-07-19 17:23:24 +0200 | AlexZenon | (~alzenon@178.34.162.202) (Ping timeout: 272 seconds) |
| 2023-07-19 17:23:24 +0200 | Alex_test | (~al_test@178.34.162.202) (Ping timeout: 272 seconds) |
| 2023-07-19 17:23:42 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 17:25:18 +0200 | azy | (~azy@84-236-122-127.pool.digikabel.hu) (Ping timeout: 260 seconds) |
| 2023-07-19 17:25:31 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 17:26:36 +0200 | <zzz> | main = provideSolution . createProblem |
| 2023-07-19 17:27:06 +0200 | azy | (~azy@84-236-1-50.pool.digikabel.hu) |
| 2023-07-19 17:29:06 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 17:30:01 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 17:31:15 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 17:32:16 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2023-07-19 17:33:55 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-19 17:40:03 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-07-19 17:41:54 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 17:43:37 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-19 17:44:50 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-19 17:46:47 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 264 seconds) |
| 2023-07-19 17:47:04 +0200 | Tlsx | (~rscastilh@187.40.124.54) (Read error: Connection reset by peer) |
| 2023-07-19 17:49:17 +0200 | Tlsx | (~rscastilh@187.40.124.54) |
| 2023-07-19 17:51:06 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-07-19 17:54:31 +0200 | Tlsx | (~rscastilh@187.40.124.54) () |
| 2023-07-19 17:58:41 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 17:58:45 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-07-19 17:59:37 +0200 | danse-nr3_ | (~francesco@151.57.136.237) |
| 2023-07-19 18:02:02 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-07-19 18:02:05 +0200 | danse-nr3 | (~francesco@151.57.166.83) (Ping timeout: 246 seconds) |
| 2023-07-19 18:02:35 +0200 | slack1256 | (~slack1256@186.11.102.225) |
| 2023-07-19 18:02:40 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Ping timeout: 272 seconds) |
| 2023-07-19 18:03:54 +0200 | ars23 | (~ars23@free214.cs.upt.ro) |
| 2023-07-19 18:03:56 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-19 18:06:31 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Remote host closed the connection) |
| 2023-07-19 18:07:43 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2023-07-19 18:09:00 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2023-07-19 18:09:16 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-19 18:09:26 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 18:10:10 +0200 | mango | (~finn@rul16-h01-176-151-21-224.dsl.sta.abo.bbox.fr) (Ping timeout: 250 seconds) |
| 2023-07-19 18:11:51 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Remote host closed the connection) |
| 2023-07-19 18:13:44 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-19 18:16:31 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-07-19 18:17:28 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-19 18:17:44 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) |
| 2023-07-19 18:18:48 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 18:23:17 +0200 | mbuf | (~Shakthi@49.207.178.186) (Quit: Leaving) |
| 2023-07-19 18:25:13 +0200 | nick2 | (~nick@2600:100d:b159:949f:2407:7f86:9926:9874) |
| 2023-07-19 18:25:53 +0200 | nick4 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Read error: Connection reset by peer) |
| 2023-07-19 18:26:44 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 18:27:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Remote host closed the connection) |
| 2023-07-19 18:27:25 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 18:31:24 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-19 18:31:44 +0200 | danse-nr3_ | (~francesco@151.57.136.237) (Remote host closed the connection) |
| 2023-07-19 18:32:07 +0200 | danse-nr3_ | (~francesco@151.57.136.237) |
| 2023-07-19 18:35:36 +0200 | ars23 | (~ars23@free214.cs.upt.ro) (Ping timeout: 272 seconds) |
| 2023-07-19 18:36:07 +0200 | ars23 | (~ars23@86.120.205.92) |
| 2023-07-19 18:37:14 +0200 | nick2 | (~nick@2600:100d:b159:949f:2407:7f86:9926:9874) (Ping timeout: 246 seconds) |
| 2023-07-19 18:38:24 +0200 | nick2 | (~nick@wsip-174-78-110-18.pn.at.cox.net) |
| 2023-07-19 18:40:58 +0200 | <monochrom> | Management wants to write in English, not types. |
| 2023-07-19 18:41:38 +0200 | <monochrom> | Bah, late to the conversation. |
| 2023-07-19 18:42:04 +0200 | <Rembane> | We need an english to types compiler |
| 2023-07-19 18:43:39 +0200 | <Rembane> | In classic BDD libraries that's handled by regexes. |
| 2023-07-19 18:44:14 +0200 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2023-07-19 18:44:18 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 240 seconds) |
| 2023-07-19 18:46:49 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-07-19 18:47:24 +0200 | <Athas> | Why does Data.ByteString.Lazy require an Int64, while Data.ByteString requires an Int? |
| 2023-07-19 18:47:26 +0200 | azy | (~azy@84-236-1-50.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-19 18:48:57 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 258 seconds) |
| 2023-07-19 18:48:57 +0200 | <mauke> | require where? |
| 2023-07-19 18:49:08 +0200 | <Athas> | In its type: https://hackage.haskell.org/package/bytestring-0.12.0.0/docs/Data-ByteString-Lazy.html#v:take |
| 2023-07-19 18:49:28 +0200 | <mauke> | that's the type of take, not ByteString |
| 2023-07-19 18:49:37 +0200 | <Athas> | Oh right, I forgot the last part. |
| 2023-07-19 18:49:52 +0200 | <mauke> | presumably because laziness lets you make longer strings (?) |
| 2023-07-19 18:49:55 +0200 | <Athas> | But it does seem to be consistent for all the take/drop-ish functions, so I figure there must be a good reason. |
| 2023-07-19 18:50:01 +0200 | <mauke> | because they can be generated on demand |
| 2023-07-19 18:50:21 +0200 | <mauke> | and Int is only guaranteed to be like 29 bits wide |
| 2023-07-19 18:50:51 +0200 | <Athas> | I suppose... but on 64-bit platforms, Int must be what... 61 bits? |
| 2023-07-19 18:51:11 +0200 | <Athas> | It seems an edge case to have a 1GiB bytestring on a 32 bit platform. |
| 2023-07-19 18:51:40 +0200 | <mauke> | the bits requirement is not platform dependent |
| 2023-07-19 18:51:54 +0200 | <mauke> | but then, everyone uses ghc anyway, so it's a bit of a theoretical point |
| 2023-07-19 18:52:06 +0200 | <Athas> | Yeah, does bytestring even work with arbitrary Haskell 98/2010 implementations? |
| 2023-07-19 18:52:12 +0200 | <Athas> | It looks full of low-level hackery. |
| 2023-07-19 18:52:49 +0200 | <Athas> | Anyway, today was a good day of hacking to speed up my lexer and parser. |
| 2023-07-19 18:52:54 +0200 | <Athas> | Turns out there's not much lexer code left now. |
| 2023-07-19 18:53:56 +0200 | razetime | (~quassel@117.193.1.176) (Remote host closed the connection) |
| 2023-07-19 18:55:26 +0200 | danse-nr3_ | (~francesco@151.57.136.237) (Ping timeout: 245 seconds) |
| 2023-07-19 18:55:40 +0200 | ripspin | (~chatzilla@1.145.137.126) (Read error: Connection reset by peer) |
| 2023-07-19 19:00:26 +0200 | ars23 | (~ars23@86.120.205.92) (Ping timeout: 250 seconds) |
| 2023-07-19 19:00:55 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 19:01:08 +0200 | ars23 | (~ars23@free214.cs.upt.ro) |
| 2023-07-19 19:05:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) (Remote host closed the connection) |
| 2023-07-19 19:05:59 +0200 | danse-nr3_ | (~francesco@151.57.136.237) |
| 2023-07-19 19:06:00 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-19 19:09:17 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-19 19:10:47 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds) |
| 2023-07-19 19:12:44 +0200 | tng | (~tng@4133220a.cst.lightpath.net) |
| 2023-07-19 19:13:12 +0200 | tng | (~tng@4133220a.cst.lightpath.net) (Client Quit) |
| 2023-07-19 19:15:43 +0200 | ripspin | (~chatzilla@1.145.185.45) |
| 2023-07-19 19:16:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-07-19 19:16:25 +0200 | tng | (~tng@4133220a.cst.lightpath.net) |
| 2023-07-19 19:16:45 +0200 | tng | (~tng@4133220a.cst.lightpath.net) (Client Quit) |
| 2023-07-19 19:16:54 +0200 | tng | (~tng@4133220a.cst.lightpath.net) |
| 2023-07-19 19:19:01 +0200 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-07-19 19:19:58 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 19:21:03 +0200 | ars23 | (~ars23@free214.cs.upt.ro) (Ping timeout: 246 seconds) |
| 2023-07-19 19:21:12 +0200 | ars23 | (~ars23@86.120.205.92) |
| 2023-07-19 19:22:19 +0200 | hgolden2 | (~hgolden2@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-07-19 19:23:43 +0200 | hgolden2 | (~hgolden2@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Client Quit) |
| 2023-07-19 19:24:57 +0200 | danse-nr3_ | (~francesco@151.57.136.237) (Ping timeout: 245 seconds) |
| 2023-07-19 19:25:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds) |
| 2023-07-19 19:26:17 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Remote host closed the connection) |
| 2023-07-19 19:26:29 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) |
| 2023-07-19 19:26:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:f9dd:1277:9152:5f8c) |
| 2023-07-19 19:27:20 +0200 | ripspin | (~chatzilla@1.145.185.45) (Remote host closed the connection) |
| 2023-07-19 19:28:58 +0200 | Axma64160 | (~Axman6@user/axman6) |
| 2023-07-19 19:30:08 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-19 19:30:10 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 264 seconds) |
| 2023-07-19 19:33:06 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 19:33:57 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-19 19:37:47 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 246 seconds) |
| 2023-07-19 19:40:05 +0200 | ars23 | (~ars23@86.120.205.92) (Quit: Leaving) |
| 2023-07-19 19:42:10 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 19:49:53 +0200 | irrgit | (~irrgit@89.47.234.26) |
| 2023-07-19 19:52:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-07-19 19:55:38 +0200 | cross | (~cross@spitfire.i.gajendra.net) (Remote host closed the connection) |
| 2023-07-19 19:56:31 +0200 | AlexNoo | (~AlexNoo@178.34.162.202) |
| 2023-07-19 19:56:50 +0200 | AlexZenon | (~alzenon@178.34.162.202) |
| 2023-07-19 19:56:59 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-07-19 19:59:02 +0200 | Alex_test | (~al_test@178.34.162.202) |
| 2023-07-19 19:59:55 +0200 | azy | (~azy@178-164-208-111.pool.digikabel.hu) (Ping timeout: 240 seconds) |
| 2023-07-19 20:02:05 +0200 | azy | (~azy@178-164-207-97.pool.digikabel.hu) |
| 2023-07-19 20:02:43 +0200 | scrungus | (~scrungus@70.24.87.181) |
| 2023-07-19 20:04:36 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 20:07:46 +0200 | scrungus | (~scrungus@70.24.87.181) (Quit: WeeChat 4.0.2) |
| 2023-07-19 20:09:47 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2023-07-19 20:09:55 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 240 seconds) |
| 2023-07-19 20:10:32 +0200 | mizlan | (~mizlan@c-174-62-68-33.hsd1.ca.comcast.net) |
| 2023-07-19 20:12:54 +0200 | scrungus | (~scrungus@70.24.87.181) |
| 2023-07-19 20:15:40 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 2023-07-19 20:17:25 +0200 | pickleju1ce | (~root@172.56.217.108) |
| 2023-07-19 20:17:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2023-07-19 20:17:46 +0200 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2023-07-19 20:17:49 +0200 | allbery_b | geekosaur |
| 2023-07-19 20:18:42 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-07-19 20:20:20 +0200 | picklejuice | (~root@c-73-196-164-60.hsd1.nj.comcast.net) (Ping timeout: 246 seconds) |
| 2023-07-19 20:23:38 +0200 | azy | (~azy@178-164-207-97.pool.digikabel.hu) (Ping timeout: 250 seconds) |
| 2023-07-19 20:23:49 +0200 | dibblego | (~dibblego@116.255.1.151) |
| 2023-07-19 20:23:49 +0200 | dibblego | (~dibblego@116.255.1.151) (Changing host) |
| 2023-07-19 20:23:49 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 20:25:12 +0200 | azy | (~azy@77-234-80-178.pool.digikabel.hu) |
| 2023-07-19 20:31:04 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-07-19 20:36:39 +0200 | scrungus | (~scrungus@70.24.87.181) (Quit: WeeChat 4.0.2) |
| 2023-07-19 20:36:47 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 20:39:36 +0200 | <dolio> | monochrom: That's why there would still be 'programming' jobs even if the program part could be completely synthesized from specifications. |
| 2023-07-19 20:41:09 +0200 | <c_wraith> | https://xkcd.com/568/ "You'll never find a programming language that frees you from the burden of clarifying your ideas." |
| 2023-07-19 20:42:16 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-19 20:43:39 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-07-19 20:48:19 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-07-19 20:48:36 +0200 | tng | (~tng@4133220a.cst.lightpath.net) (Quit: Client closed) |
| 2023-07-19 20:51:27 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:f07a:70c:c677:2223) (Remote host closed the connection) |
| 2023-07-19 21:04:21 +0200 | BuddyOtter | (~BuddyOtte@80-42-146-183.dynamic.dsl.as9105.com) |
| 2023-07-19 21:04:49 +0200 | <mniip> | if I have a functor F that's isomorphic to a product with some context: F a <-> (Ctx, a) , but where I don't want to name the Ctx type |
| 2023-07-19 21:05:08 +0200 | <mniip> | this is essentially captured by having a polymorphic lens (forall a b. Lens (F a) (F b) a b) |
| 2023-07-19 21:06:17 +0200 | <mniip> | in a certain yoneda sense you could say `Ctx = forall b. b -> F b` |
| 2023-07-19 21:06:40 +0200 | <mniip> | and lens has a similar notion: the first field of a Context, and also the thing returned by partially applying `set` |
| 2023-07-19 21:07:10 +0200 | <mniip> | but there's a crucial difference: I can split `F a` into an `a` and `Ctx` before choosing what `b` is, and a lens does not let me do that |
| 2023-07-19 21:08:17 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 21:09:42 +0200 | <mniip> | I could literally have `F a -> (a, forall b. b -> F b)` via `\x -> (view l x, \y -> set l y x)`, but what that would do is repeat the work of taking apart an x when I make different choices for b |
| 2023-07-19 21:09:57 +0200 | <mniip> | any ideas how this can be avoided? |
| 2023-07-19 21:10:08 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-19 21:10:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-07-19 21:10:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-07-19 21:10:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-07-19 21:12:19 +0200 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-07-19 21:13:21 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 21:15:20 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) |
| 2023-07-19 21:17:40 +0200 | BuddyOtter | (~BuddyOtte@80-42-146-183.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2023-07-19 21:18:02 +0200 | <dolio> | One specification of lenses is (for your case) `F a -> (a , b -> F b)` |
| 2023-07-19 21:18:37 +0200 | <dolio> | g l x = let open = l x in (fst open, snd open) |
| 2023-07-19 21:18:58 +0200 | <dolio> | If you enable impredicative types, then `snd open` can be polymorphic. |
| 2023-07-19 21:19:23 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Quit: λ) |
| 2023-07-19 21:19:33 +0200 | <dolio> | So `g l :: forall a. F a -> (a, forall b. b -> F b)` |
| 2023-07-19 21:22:09 +0200 | azy | (~azy@77-234-80-178.pool.digikabel.hu) (Ping timeout: 246 seconds) |
| 2023-07-19 21:23:55 +0200 | azy | (~azy@178-164-208-209.pool.digikabel.hu) |
| 2023-07-19 21:24:29 +0200 | <mniip> | dolio, but the computation of `open` will not be shared |
| 2023-07-19 21:24:39 +0200 | <dolio> | Yes, it will. |
| 2023-07-19 21:24:40 +0200 | <mniip> | because it starts with a big lambda |
| 2023-07-19 21:24:48 +0200 | <dolio> | Types don't exist at runtime. |
| 2023-07-19 21:25:03 +0200 | <mniip> | they exist in core which is where floating in and out happens |
| 2023-07-19 21:25:15 +0200 | biberu | (~biberu@user/biberu) |
| 2023-07-19 21:26:36 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 21:31:57 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-07-19 21:34:26 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 21:34:50 +0200 | mango | (~finn@176-151-21-224.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 2023-07-19 21:37:22 +0200 | <dolio> | https://paste.tomsmeding.com/MNmTQK0E |
| 2023-07-19 21:37:23 +0200 | <ncf> | mniip: how about "left adjoint"? |
| 2023-07-19 21:37:32 +0200 | <mniip> | that's exactly what this is yes |
| 2023-07-19 21:37:53 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-19 21:40:25 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-07-19 21:40:53 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 21:41:23 +0200 | <mniip> | dolio, that's surprising |
| 2023-07-19 21:41:36 +0200 | <dolio> | It's not surprising to me. |
| 2023-07-19 21:42:02 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 245 seconds) |
| 2023-07-19 21:43:29 +0200 | phma | (~phma@host-67-44-208-43.hnremote.net) (Read error: Connection reset by peer) |
| 2023-07-19 21:43:55 +0200 | phma | (phma@2001:5b0:210b:e378:e5fc:261c:d0b:f79d) |
| 2023-07-19 21:46:14 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-19 21:46:30 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-07-19 21:47:06 +0200 | <dolio> | This is why the monomorphism restriction only applies when type classes are involved. |
| 2023-07-19 21:48:18 +0200 | kimiamania6 | (~681cf57f@user/kimiamania) (Ping timeout: 252 seconds) |
| 2023-07-19 21:48:57 +0200 | <c_wraith> | https://twitter.com/lolennui/status/1681427740434767872 |
| 2023-07-19 21:49:25 +0200 | <c_wraith> | err. wrong channel, sorry |
| 2023-07-19 21:49:44 +0200 | <c_wraith> | (at least that's not *too* embarassing to drop in the wrong channel) |
| 2023-07-19 21:51:02 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-19 21:54:17 +0200 | <sm> | could have been worse :) |
| 2023-07-19 21:55:25 +0200 | <sm> | so twitter is still working eh |
| 2023-07-19 21:56:29 +0200 | <c_wraith> | sort of. for varying degrees for various people |
| 2023-07-19 21:56:46 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-07-19 21:59:52 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 240 seconds) |
| 2023-07-19 22:01:46 +0200 | azy | (~azy@178-164-208-209.pool.digikabel.hu) (Ping timeout: 258 seconds) |
| 2023-07-19 22:03:18 +0200 | azy | (~azy@80-95-82-208.pool.digikabel.hu) |
| 2023-07-19 22:09:11 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-07-19 22:11:11 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: pillow time) |
| 2023-07-19 22:13:46 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 22:17:30 +0200 | kimiamania6 | (~681cf57f@user/kimiamania) |
| 2023-07-19 22:18:15 +0200 | Guest8732 | (~finn@176-151-21-224.abo.bbox.fr) |
| 2023-07-19 22:18:35 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-07-19 22:18:50 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 260 seconds) |
| 2023-07-19 22:22:11 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-19 22:22:20 +0200 | prite | (~pritam@user/pritambaral) |
| 2023-07-19 22:28:02 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) (Remote host closed the connection) |
| 2023-07-19 22:29:29 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 246 seconds) |
| 2023-07-19 22:34:57 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.1) |
| 2023-07-19 22:36:08 +0200 | hgolden | (~hgolden@2603-8000-9d00-3ed1-fc05-5499-f77c-fbe5.res6.spectrum.com) |
| 2023-07-19 22:38:21 +0200 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-07-19 22:45:37 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 22:50:22 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 22:54:57 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-19 22:56:52 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-19 22:58:20 +0200 | azy | (~azy@80-95-82-208.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2023-07-19 22:59:23 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 246 seconds) |
| 2023-07-19 22:59:38 +0200 | nick2 | (~nick@wsip-174-78-110-18.pn.at.cox.net) (Ping timeout: 250 seconds) |
| 2023-07-19 23:00:01 +0200 | azy | (~azy@176-241-62-254.pool.digikabel.hu) |
| 2023-07-19 23:04:47 +0200 | jinsun_ | (~jinsun@user/jinsun) |
| 2023-07-19 23:04:47 +0200 | jinsun | Guest1460 |
| 2023-07-19 23:04:47 +0200 | jinsun_ | jinsun |
| 2023-07-19 23:08:20 +0200 | Guest1460 | (~jinsun@user/jinsun) (Ping timeout: 246 seconds) |
| 2023-07-19 23:09:46 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 23:14:48 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 250 seconds) |
| 2023-07-19 23:16:10 +0200 | hugo | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-07-19 23:18:48 +0200 | thegeekinside | (~thegeekin@189.217.90.138) |
| 2023-07-19 23:19:40 +0200 | ft | (~ft@p3e9bc856.dip0.t-ipconnect.de) |
| 2023-07-19 23:20:55 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 23:21:28 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-07-19 23:22:11 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-07-19 23:26:12 +0200 | michalz | (~michalz@185.246.207.201) (Remote host closed the connection) |
| 2023-07-19 23:26:29 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 258 seconds) |
| 2023-07-19 23:26:56 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-07-19 23:27:21 +0200 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-07-19 23:28:19 +0200 | elkcl | (~elkcl@broadband-95-84-226-240.ip.moscow.rt.ru) (Remote host closed the connection) |
| 2023-07-19 23:28:54 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 23:31:42 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) |
| 2023-07-19 23:33:42 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 245 seconds) |
| 2023-07-19 23:34:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 245 seconds) |
| 2023-07-19 23:34:23 +0200 | ubert | (~Thunderbi@178.165.184.55.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-07-19 23:36:12 +0200 | alexbiehl | (~alexbiehl@2a02:8108:323f:ca14:21d2:6a32:ba24:37d0) (Ping timeout: 245 seconds) |
| 2023-07-19 23:37:52 +0200 | thegeekinside | (~thegeekin@189.217.90.138) (Read error: Connection reset by peer) |
| 2023-07-19 23:39:44 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-07-19 23:43:41 +0200 | prite | (~pritam@user/pritambaral) (Ping timeout: 246 seconds) |
| 2023-07-19 23:47:30 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) |
| 2023-07-19 23:48:39 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-07-19 23:50:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-07-19 23:50:16 +0200 | Guest97 | (~Guest97@66.41.144.131) |
| 2023-07-19 23:50:23 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-07-19 23:54:49 +0200 | Guest97 | (~Guest97@66.41.144.131) (Client Quit) |
| 2023-07-19 23:55:26 +0200 | Xe | (~cadey@tailscale/xe) (Ping timeout: 245 seconds) |
| 2023-07-19 23:56:04 +0200 | arahael_ | (~arahael@115-64-199-191.tpgi.com.au) (Ping timeout: 272 seconds) |
| 2023-07-19 23:57:42 +0200 | Xe | (~cadey@tailscale/xe) |