| 2023-08-02 00:01:50 +0000 | libertyprime | (~libertypr@203.96.203.44) (Remote host closed the connection) |
| 2023-08-02 00:02:59 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-02 00:09:23 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-02 00:11:08 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 00:12:09 +0000 | zeenk | (~zeenk@2a02:2f04:a007:fb00::7fe) (Quit: Konversation terminated!) |
| 2023-08-02 00:16:22 +0000 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2023-08-02 00:17:00 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-02 00:17:00 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-02 00:17:23 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 00:17:44 +0000 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-02 00:19:24 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-08-02 00:19:45 +0000 | AWizzArd | (~code@gehrels.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-08-02 00:19:52 +0000 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2023-08-02 00:20:12 +0000 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-02 00:20:37 +0000 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 00:22:06 +0000 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-08-02 00:23:58 +0000 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) |
| 2023-08-02 00:24:23 +0000 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) () |
| 2023-08-02 00:25:10 +0000 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-08-02 00:32:35 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 00:35:10 +0000 | Square | (~Square@user/square) |
| 2023-08-02 00:41:03 +0000 | forell | (~forell@user/forell) |
| 2023-08-02 00:44:17 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 00:44:18 +0000 | adeptangel | (cren@tilde.team) (Ping timeout: 246 seconds) |
| 2023-08-02 00:44:26 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 00:44:49 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-08-02 00:45:19 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 00:46:07 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-02 00:47:17 +0000 | ft | (~ft@p3e9bceb5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-08-02 00:49:09 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f30112eefabde49cc58.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-02 00:52:03 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-02 00:52:44 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-02 00:53:32 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 00:53:41 +0000 | ft | (~ft@p4fc2a803.dip0.t-ipconnect.de) |
| 2023-08-02 00:54:58 +0000 | yangby | (~secret@115.220.173.23) (Ping timeout: 252 seconds) |
| 2023-08-02 00:56:47 +0000 | yangby | (~secret@115.220.173.23) |
| 2023-08-02 00:59:19 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-02 00:59:20 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-02 00:59:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-02 01:03:00 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-08-02 01:10:51 +0000 | ft | (~ft@p4fc2a803.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 01:11:14 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-02 01:12:38 +0000 | ft | (~ft@p4fc2a720.dip0.t-ipconnect.de) |
| 2023-08-02 01:16:30 +0000 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 01:17:21 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-02 01:18:28 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-08-02 01:19:56 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 01:27:29 +0000 | xff0x | (~xff0x@2405:6580:b080:900:7141:4235:591:867b) (Ping timeout: 260 seconds) |
| 2023-08-02 01:31:36 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-02 01:33:36 +0000 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-02 01:33:54 +0000 | <jackdk> | Does anyone have any resources (libraries, blog posts, articles) for writing parser combinators that work with a zipper or tree cursor (common in XML libs, for example) as opposed to a token stream? |
| 2023-08-02 01:35:42 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2023-08-02 01:40:47 +0000 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 01:46:37 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 01:57:21 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-02 01:59:20 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 01:59:57 +0000 | mima | (~mmh@aftr-82-135-83-244.dynamic.mnet-online.de) (Ping timeout: 245 seconds) |
| 2023-08-02 02:00:49 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 02:01:11 +0000 | shapr | (~user@2600:1700:c640:3100:a7bb:34f3:1406:fc8e) (Ping timeout: 264 seconds) |
| 2023-08-02 02:05:18 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-02 02:05:58 +0000 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) (Read error: Connection reset by peer) |
| 2023-08-02 02:06:12 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 2023-08-02 02:06:23 +0000 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 02:08:36 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 02:09:52 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-02 02:13:00 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-02 02:13:02 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-08-02 02:13:17 +0000 | ft | (~ft@p4fc2a720.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 02:13:17 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-02 02:15:00 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 02:15:17 +0000 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) |
| 2023-08-02 02:16:35 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 02:19:27 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-02 02:20:11 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 02:20:11 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 02:20:11 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 02:20:25 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 02:21:32 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-02 02:21:47 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-02 02:22:08 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 02:22:36 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 02:26:39 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-08-02 02:29:48 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 02:31:25 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 02:32:32 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-02 02:33:12 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-08-02 02:35:22 +0000 | img | (~img@user/img) (Ping timeout: 245 seconds) |
| 2023-08-02 02:38:43 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 02:38:43 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 02:38:43 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 02:39:51 +0000 | img | (~img@user/img) |
| 2023-08-02 02:43:19 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-02 02:49:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 02:49:55 +0000 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 02:49:55 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 02:54:13 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 02:54:18 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-02 02:57:07 +0000 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-02 02:59:01 +0000 | td_ | (~td@i53870913.versanet.de) |
| 2023-08-02 02:59:56 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-02 02:59:56 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-02 02:59:57 +0000 | finn_elija | FinnElija |
| 2023-08-02 03:00:55 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-02 03:03:45 +0000 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-02 03:04:27 +0000 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-08-02 03:04:32 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-08-02 03:05:30 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 03:07:14 +0000 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 260 seconds) |
| 2023-08-02 03:09:27 +0000 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) |
| 2023-08-02 03:14:22 +0000 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-02 03:14:43 +0000 | berberman | (~berberman@user/berberman) |
| 2023-08-02 03:15:05 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-02 03:16:06 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-02 03:18:48 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 03:29:27 +0000 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2023-08-02 03:33:09 +0000 | img | (~img@user/img) (Ping timeout: 246 seconds) |
| 2023-08-02 03:38:19 +0000 | img | (~img@user/img) |
| 2023-08-02 03:49:56 +0000 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) (Read error: Connection reset by peer) |
| 2023-08-02 03:50:18 +0000 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2023-08-02 03:51:17 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 03:53:44 +0000 | img | (~img@user/img) (Ping timeout: 246 seconds) |
| 2023-08-02 03:55:26 +0000 | img | (~img@user/img) |
| 2023-08-02 03:55:38 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 03:57:09 +0000 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2023-08-02 03:57:35 +0000 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-02 03:58:26 +0000 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-02 04:00:17 +0000 | robertm | (robertm@lattice.rojoma.com) |
| 2023-08-02 04:01:39 +0000 | aforemny | (~aforemny@2001:9e8:6cc5:4d00:b3a7:e4fb:416c:e46c) (Ping timeout: 246 seconds) |
| 2023-08-02 04:01:44 +0000 | aforemny_ | (~aforemny@2001:9e8:6cee:8c00:a343:dfed:b4a9:34ef) |
| 2023-08-02 04:05:04 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-02 04:06:25 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2023-08-02 04:09:18 +0000 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 04:13:45 +0000 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) (Ping timeout: 246 seconds) |
| 2023-08-02 04:15:12 +0000 | trev | (~trev@user/trev) |
| 2023-08-02 04:16:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-02 04:22:18 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 04:24:36 +0000 | razetime | (~quassel@117.254.37.137) (Ping timeout: 244 seconds) |
| 2023-08-02 04:29:11 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-02 04:32:27 +0000 | ProtoDot | (~david.dee@71.212.158.225) |
| 2023-08-02 04:32:30 +0000 | ProtoDot | (~david.dee@71.212.158.225) () |
| 2023-08-02 04:45:21 +0000 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 04:46:17 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 04:49:51 +0000 | ProtoDot | (~david.dee@71.212.158.225) |
| 2023-08-02 04:51:04 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 04:54:03 +0000 | img | (~img@user/img) (Ping timeout: 244 seconds) |
| 2023-08-02 04:56:59 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-08-02 04:59:21 +0000 | razetime | (~quassel@117.254.37.137) (Remote host closed the connection) |
| 2023-08-02 05:00:52 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-02 05:03:21 +0000 | ProtoDot | (~david.dee@71.212.158.225) (Remote host closed the connection) |
| 2023-08-02 05:16:24 +0000 | michalz | (~michalz@185.246.207.205) |
| 2023-08-02 05:30:16 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-02 05:30:18 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-02 05:35:07 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 05:40:11 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-02 05:43:18 +0000 | img | (~img@user/img) |
| 2023-08-02 05:44:31 +0000 | img | (~img@user/img) (Client Quit) |
| 2023-08-02 05:46:20 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 05:47:39 +0000 | img | (~img@user/img) |
| 2023-08-02 05:47:44 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-02 05:51:55 +0000 | ddellacosta | (~ddellacos@146.70.165.100) (Ping timeout: 244 seconds) |
| 2023-08-02 05:55:36 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-08-02 05:56:01 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 06:00:32 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 06:02:22 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 06:07:15 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 06:10:40 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-02 06:11:49 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Client Quit) |
| 2023-08-02 06:13:34 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 06:15:53 +0000 | kenran | (~user@user/kenran) |
| 2023-08-02 06:18:01 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 06:20:27 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-02 06:25:56 +0000 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2023-08-02 06:27:37 +0000 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-02 06:28:02 +0000 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 06:38:56 +0000 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-08-02 06:41:47 +0000 | chromoblob | (~user@37.113.180.79) |
| 2023-08-02 06:42:00 +0000 | <chromoblob> | > (+) 5 if True then 0 else 0 |
| 2023-08-02 06:42:01 +0000 | <lambdabot> | error: |
| 2023-08-02 06:42:02 +0000 | <lambdabot> | Unexpected if expression in function application: |
| 2023-08-02 06:42:02 +0000 | <lambdabot> | if True then 0 else 0 |
| 2023-08-02 06:42:09 +0000 | <chromoblob> | > 5 + if True then 0 else 0 |
| 2023-08-02 06:42:10 +0000 | <lambdabot> | 5 |
| 2023-08-02 06:42:17 +0000 | chromoblob | (~user@37.113.180.79) () |
| 2023-08-02 06:42:23 +0000 | chromoblob | (~user@37.113.180.79) |
| 2023-08-02 06:42:31 +0000 | <arahael> | > (+) 5 (if True then 0 else 0) |
| 2023-08-02 06:42:32 +0000 | <lambdabot> | 5 |
| 2023-08-02 06:43:17 +0000 | <chromoblob> | just as i thought, it's very fine that if doesn't work in function application |
| 2023-08-02 06:44:04 +0000 | <chromoblob> | but if it had endif, maybe it should |
| 2023-08-02 06:44:25 +0000 | <arahael> | > (+) 5 $ if True then 0 else 0 |
| 2023-08-02 06:44:26 +0000 | <lambdabot> | 5 |
| 2023-08-02 06:44:59 +0000 | <[Leary]> | % (+) 5 if True then 0 else 0 |
| 2023-08-02 06:44:59 +0000 | <yahb2> | 5 |
| 2023-08-02 06:45:07 +0000 | <[Leary]> | It works with BlockArguments. |
| 2023-08-02 06:45:25 +0000 | <chromoblob> | oh |
| 2023-08-02 06:46:08 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-02 06:46:15 +0000 | <chromoblob> | nah i like it without BlockArguments better >:) |
| 2023-08-02 06:46:18 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-02 06:48:14 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 06:50:12 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-08-02 06:53:43 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: TschĂĽss) |
| 2023-08-02 06:53:57 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-08-02 06:56:30 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-02 06:57:34 +0000 | lortabac | (~lortabac@2a01:e0a:50d:8d40:423f:2c12:f89a:530d) |
| 2023-08-02 06:58:18 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 07:05:31 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 07:09:44 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 07:10:42 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 07:11:05 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-02 07:16:11 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 07:18:05 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 07:20:47 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-08-02 07:22:45 +0000 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 2023-08-02 07:26:15 +0000 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) |
| 2023-08-02 07:38:32 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-02 07:43:29 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-08-02 07:46:38 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 07:47:21 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 07:48:36 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 07:54:21 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f33f4e02106a3530d09.dip0.t-ipconnect.de) |
| 2023-08-02 07:59:26 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-02 08:02:45 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 08:04:47 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 260 seconds) |
| 2023-08-02 08:05:52 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-02 08:06:45 +0000 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-08-02 08:11:48 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-094-168.46.114.pool.telefonica.de) |
| 2023-08-02 08:14:08 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 08:14:51 +0000 | danse-nr3_ | (~francesco@151.19.252.218) |
| 2023-08-02 08:16:25 +0000 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 08:17:38 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-02 08:20:00 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 08:23:54 +0000 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 08:24:01 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 08:24:46 +0000 | miho | (~miho@78.2.247.177) |
| 2023-08-02 08:25:13 +0000 | miho | Domitar |
| 2023-08-02 08:26:01 +0000 | Domitar | (~miho@78.2.247.177) (Client Quit) |
| 2023-08-02 08:29:57 +0000 | danse-nr3 | (~francesco@151.19.252.218) |
| 2023-08-02 08:30:24 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-08-02 08:31:42 +0000 | danse-nr3_ | (~francesco@151.19.252.218) (Ping timeout: 246 seconds) |
| 2023-08-02 08:32:38 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-02 08:34:53 +0000 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 08:35:06 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 08:36:40 +0000 | chele | (~chele@user/chele) |
| 2023-08-02 08:43:17 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 08:46:24 +0000 | danse-nr3 | (~francesco@151.19.252.218) (Ping timeout: 246 seconds) |
| 2023-08-02 08:49:52 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 250 seconds) |
| 2023-08-02 08:53:06 +0000 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-08-02 08:57:12 +0000 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 08:58:15 +0000 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 09:03:46 +0000 | danse-nr3 | (~francesco@151.19.252.218) |
| 2023-08-02 09:06:23 +0000 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 09:10:26 +0000 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-02 09:15:00 +0000 | sm[i] | (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
| 2023-08-02 09:15:35 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 09:20:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 09:20:47 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 09:25:14 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 260 seconds) |
| 2023-08-02 09:25:24 +0000 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-08-02 09:28:49 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 09:30:12 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 09:33:14 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-02 09:33:28 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 09:37:24 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-02 09:42:52 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-08-02 09:46:32 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-02 09:47:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-08-02 09:48:00 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 09:49:24 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-02 09:50:55 +0000 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-02 09:59:28 +0000 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 10:00:05 +0000 | danse-nr3 | (~francesco@151.19.252.218) (Read error: Connection reset by peer) |
| 2023-08-02 10:03:22 +0000 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) |
| 2023-08-02 10:06:12 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 245 seconds) |
| 2023-08-02 10:07:06 +0000 | lortabac | (~lortabac@2a01:e0a:50d:8d40:423f:2c12:f89a:530d) (Ping timeout: 258 seconds) |
| 2023-08-02 10:07:12 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-08-02 10:08:18 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 10:09:51 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-08-02 10:13:00 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 10:13:05 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-02 10:13:50 +0000 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) (Ping timeout: 246 seconds) |
| 2023-08-02 10:17:21 +0000 | sagax | (~sagax_nb@user/sagax) |
| 2023-08-02 10:20:52 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 10:24:29 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 10:25:05 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 10:29:15 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 10:38:41 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-02 10:43:30 +0000 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-02 10:48:27 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 10:53:49 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 10:59:10 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-02 10:59:11 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 11:08:18 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 11:09:36 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) |
| 2023-08-02 11:12:02 +0000 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-08-02 11:16:33 +0000 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2023-08-02 11:17:41 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 11:19:18 +0000 | lortabac | (~lortabac@2a01:e0a:50d:8d40:df24:2d87:5dba:cac5) |
| 2023-08-02 11:22:30 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 11:22:38 +0000 | Victor_ | (~Username@179.152.251.228) |
| 2023-08-02 11:28:52 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 11:31:34 +0000 | Victor_ | (~Username@179.152.251.228) (Closing Window) |
| 2023-08-02 11:33:57 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 11:38:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 11:47:14 +0000 | tired- | (~tired@user/tired) |
| 2023-08-02 11:48:14 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 11:48:41 +0000 | MajorBiscuit | (~MajorBisc@145.94.40.195) |
| 2023-08-02 11:49:42 +0000 | tired | (~tired@user/tired) (Ping timeout: 250 seconds) |
| 2023-08-02 11:53:25 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-02 11:59:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 11:59:47 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 12:06:12 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-08-02 12:07:18 +0000 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-02 12:09:09 +0000 | td_ | (~td@i53870902.versanet.de) |
| 2023-08-02 12:10:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 12:11:47 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 12:11:59 +0000 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-02 12:20:36 +0000 | Guest2340 | (~G@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 12:22:44 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-02 12:26:35 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 12:28:50 +0000 | danse-nr3_ | (~francesco@151.37.230.241) (Ping timeout: 245 seconds) |
| 2023-08-02 12:31:12 +0000 | danza_ | (~francesco@151.37.230.241) |
| 2023-08-02 12:33:07 +0000 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-02 12:34:45 +0000 | kristaXL | (~krista3XL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 12:34:46 +0000 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2023-08-02 12:35:05 +0000 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 12:36:34 +0000 | danza_ | (~francesco@151.37.230.241) (Ping timeout: 260 seconds) |
| 2023-08-02 12:40:45 +0000 | Guest2340 | (~G@user-5-173-131-124.play-internet.pl) (Quit: Client closed) |
| 2023-08-02 12:42:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 12:43:36 +0000 | kristaXL | (~krista3XL@user-5-173-131-124.play-internet.pl) (Quit: Leaving) |
| 2023-08-02 12:46:32 +0000 | Alex_test | (~al_test@94.233.240.229) (Quit: ;-) |
| 2023-08-02 12:46:50 +0000 | AlexZenon | (~alzenon@94.233.240.229) (Quit: ;-) |
| 2023-08-02 12:47:42 +0000 | AlexNoo | (~AlexNoo@94.233.240.229) (Quit: Leaving) |
| 2023-08-02 12:48:10 +0000 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2023-08-02 12:48:15 +0000 | AlexNoo | (~AlexNoo@94.233.240.229) (Client Quit) |
| 2023-08-02 12:49:38 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 12:50:37 +0000 | kristaL3 | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 12:53:23 +0000 | kristaL3 | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 12:53:43 +0000 | chromoblob | (~user@37.113.180.79) () |
| 2023-08-02 12:53:47 +0000 | kristaL53 | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 12:55:39 +0000 | Square | (~Square@user/square) |
| 2023-08-02 12:58:47 +0000 | <kristaL53> | Hello, does someone know an alternative for `taking` and `dropping` traversals from _lens_ library in the _optics_ library? Tried looking in hoogle, _optics_ documentation and their bug tracker without success |
| 2023-08-02 13:01:06 +0000 | kristaL | (~krista3XL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 13:09:14 +0000 | danse-nr3_ | (~francesco@151.37.230.241) (Remote host closed the connection) |
| 2023-08-02 13:09:37 +0000 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 13:10:02 +0000 | <dminuoso> | Looking the definition of `taking`.. that's some mighty fine alien implementation. |
| 2023-08-02 13:10:24 +0000 | <dminuoso> | \ afb s -> let b = inline l sell s in outs b <$> traverse afb (take n $ ins b) |
| 2023-08-02 13:10:33 +0000 | <dminuoso> | Can't get much more dense than that. |
| 2023-08-02 13:12:16 +0000 | <dminuoso> | outs = evalState `rmap` bazaar (parr (state . unconsWithDefault)) |
| 2023-08-02 13:16:16 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 13:17:36 +0000 | tired- | (~tired@user/tired) (Quit: /) |
| 2023-08-02 13:18:31 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 13:18:49 +0000 | kristaL | (~krista3XL@user-5-173-131-124.play-internet.pl) (Quit: Leaving) |
| 2023-08-02 13:20:22 +0000 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2023-08-02 13:23:27 +0000 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2023-08-02 13:24:31 +0000 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2023-08-02 13:25:02 +0000 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-08-02 13:25:15 +0000 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-08-02 13:25:17 +0000 | markasoftware | (~quassel@107.161.26.124) (Remote host closed the connection) |
| 2023-08-02 13:25:34 +0000 | andjjj23 | (~irc@107.170.228.47) (Ping timeout: 252 seconds) |
| 2023-08-02 13:25:56 +0000 | lilata | (~lilata@137.184.4.49) (Ping timeout: 252 seconds) |
| 2023-08-02 13:26:05 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 13:26:06 +0000 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) |
| 2023-08-02 13:26:06 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 13:26:07 +0000 | lilata4 | (~lilata@137.184.4.49) |
| 2023-08-02 13:26:10 +0000 | lilata4 | lilata |
| 2023-08-02 13:26:21 +0000 | AlexZenon | (~alzenon@94.233.240.229) |
| 2023-08-02 13:26:28 +0000 | andjjj23 | (~irc@107.170.228.47) |
| 2023-08-02 13:26:34 +0000 | markasoftware | (~quassel@107.161.26.124) |
| 2023-08-02 13:26:51 +0000 | forell | (~forell@user/forell) |
| 2023-08-02 13:27:27 +0000 | remmie | (ianremsen@tilde.team) |
| 2023-08-02 13:27:38 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 13:28:39 +0000 | tired | (~tired@user/tired) |
| 2023-08-02 13:30:41 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 13:33:02 +0000 | Alex_test | (~al_test@94.233.240.229) |
| 2023-08-02 13:33:04 +0000 | <kristaL53> | Thanks, dminuoso. I don't see a way to make it work considering that `sell` is some mysterious method of an inner `Sellable` class. Thought there was some handy and unknown-to-me function to define such optic ad hoc |
| 2023-08-02 13:33:34 +0000 | <dminuoso> | Some years ago I had some rough understanding of `sell`. |
| 2023-08-02 13:34:20 +0000 | <dminuoso> | kristaL53: The real crux here is `ins` and `outs`. |
| 2023-08-02 13:35:00 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 13:38:44 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 13:42:03 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-08-02 13:42:14 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 13:46:21 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-08-02 13:46:45 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-08-02 13:47:08 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-02 13:47:51 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-02 13:48:03 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-08-02 13:48:46 +0000 | <ncf> | it seems like Optics.Traversal already has most of the machinery needed to define taking though (it has partsOf and singular) |
| 2023-08-02 13:52:37 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 13:54:10 +0000 | <dminuoso> | ncf: singular is very manual in that it unpacks via headOf directly |
| 2023-08-02 13:54:22 +0000 | <dminuoso> | And partsOf internally uses toListOf too. |
| 2023-08-02 13:54:46 +0000 | <dminuoso> | So Im not sure abuot "has most of the machinery". But I mean sure, you can just go via toListOf just like partsOf |
| 2023-08-02 13:55:00 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 13:56:02 +0000 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2023-08-02 13:57:46 +0000 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-08-02 13:59:39 +0000 | danse-nr3__ | (~francesco@151.19.250.85) |
| 2023-08-02 13:59:58 +0000 | danse-nr3_ | (~francesco@151.37.230.241) (Read error: Connection reset by peer) |
| 2023-08-02 14:10:10 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-02 14:17:02 +0000 | <feetwind> | is there any way to get a list of exported names of a module in TH? |
| 2023-08-02 14:23:43 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 14:23:45 +0000 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 14:24:35 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-02 14:25:01 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 14:27:27 +0000 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 260 seconds) |
| 2023-08-02 14:28:16 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 14:28:23 +0000 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) |
| 2023-08-02 14:29:44 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 260 seconds) |
| 2023-08-02 14:31:11 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-02 14:34:59 +0000 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) (Ping timeout: 260 seconds) |
| 2023-08-02 14:35:10 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-08-02 14:35:52 +0000 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-02 14:36:51 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 14:43:41 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-02 14:44:39 +0000 | ripspin | (~chatzilla@1.145.157.43) |
| 2023-08-02 14:46:17 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-08-02 14:55:49 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 14:57:41 +0000 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) |
| 2023-08-02 14:58:35 +0000 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-02 15:00:34 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-02 15:03:23 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 15:04:49 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 15:06:47 +0000 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) (Ping timeout: 246 seconds) |
| 2023-08-02 15:07:22 +0000 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-08-02 15:07:29 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 15:09:35 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 15:10:30 +0000 | lortabac | (~lortabac@2a01:e0a:50d:8d40:df24:2d87:5dba:cac5) (Quit: WeeChat 2.8) |
| 2023-08-02 15:12:04 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-08-02 15:13:04 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-02 15:13:30 +0000 | MajorBiscuit | (~MajorBisc@145.94.40.195) (Ping timeout: 246 seconds) |
| 2023-08-02 15:19:14 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 15:24:02 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-02 15:25:35 +0000 | kristaL53 | (~kristaL@user-5-173-131-124.play-internet.pl) (Ping timeout: 246 seconds) |
| 2023-08-02 15:32:17 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 15:33:14 +0000 | danse-nr3__ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 15:33:47 +0000 | yangby | (~secret@115.220.173.23) (Quit: Go out for a walk and buy a drink.) |
| 2023-08-02 15:34:04 +0000 | danse-nr3__ | (~francesco@151.19.250.85) |
| 2023-08-02 15:34:07 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-02 15:34:45 +0000 | danse-nr3__ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 15:36:35 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 15:37:09 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 2023-08-02 15:39:36 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-02 15:41:58 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-02 15:42:10 +0000 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 15:43:15 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-02 15:43:23 +0000 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 15:43:48 +0000 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 15:44:54 +0000 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 15:45:26 +0000 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 2023-08-02 15:45:42 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 15:53:54 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-02 15:53:55 +0000 | Guest74 | (~Guest74@ip-176-198-200-032.um43.pools.vodafone-ip.de) |
| 2023-08-02 15:55:24 +0000 | Lycurgus | (~juan@user/Lycurgus) (Quit: TschĂĽss) |
| 2023-08-02 15:55:51 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 15:55:54 +0000 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 15:57:33 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-02 16:01:03 +0000 | Guest74 | (~Guest74@ip-176-198-200-032.um43.pools.vodafone-ip.de) (Quit: Client closed) |
| 2023-08-02 16:01:57 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 16:04:16 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 16:05:22 +0000 | bliminse | (~bliminse@user/bliminse) |
| 2023-08-02 16:05:24 +0000 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Quit: leaving) |
| 2023-08-02 16:09:30 +0000 | ddellacosta | (~ddellacos@146.70.168.10) (Ping timeout: 246 seconds) |
| 2023-08-02 16:10:00 +0000 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-08-02 16:13:09 +0000 | zebug | (~zebug@2a09:bac5:328e:14dc::214:2a) |
| 2023-08-02 16:15:10 +0000 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: You have been kicked for being idle) |
| 2023-08-02 16:17:20 +0000 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 16:18:09 +0000 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 16:18:46 +0000 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 16:20:34 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 16:21:20 +0000 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-02 16:21:26 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-02 16:22:31 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-02 16:23:08 +0000 | <zebug> | Hello, I created an account on gitlab to report a bug, I'm now waiting to get approved. |
| 2023-08-02 16:23:41 +0000 | <geekosaur> | ask in #ghc, most of the ghc devs and gitlab admins don't hang out here |
| 2023-08-02 16:23:55 +0000 | <zebug> | ok, thanks for the advice |
| 2023-08-02 16:25:42 +0000 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 16:26:58 +0000 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 16:27:42 +0000 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 2023-08-02 16:28:57 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 16:29:00 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-02 16:30:00 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-02 16:32:05 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 16:33:09 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 16:36:56 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 16:37:31 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 16:41:54 +0000 | shapr | (~user@2600:1700:c640:3100:d83:ce07:81bf:d3e2) |
| 2023-08-02 16:43:05 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-02 16:45:50 +0000 | Square | (~Square@user/square) |
| 2023-08-02 16:46:05 +0000 | <shapr> | jackdk: did you get any replies for zipper parser combinators? That's a cool idea |
| 2023-08-02 16:46:18 +0000 | ripspin | (~chatzilla@1.145.157.43) (Remote host closed the connection) |
| 2023-08-02 16:46:26 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 16:50:48 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 16:54:23 +0000 | shapr | (~user@2600:1700:c640:3100:d83:ce07:81bf:d3e2) (Remote host closed the connection) |
| 2023-08-02 16:54:37 +0000 | shapr | (~user@2600:1700:c640:3100:5b35:c1ff:c0fb:3f9c) |
| 2023-08-02 16:55:06 +0000 | shapr | (~user@2600:1700:c640:3100:5b35:c1ff:c0fb:3f9c) (Remote host closed the connection) |
| 2023-08-02 16:56:03 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 16:57:35 +0000 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 17:00:28 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 17:00:32 +0000 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-08-02 17:01:35 +0000 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-08-02 17:01:47 +0000 | thegeekinside | (~thegeekin@189.141.65.87) (Remote host closed the connection) |
| 2023-08-02 17:07:12 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-02 17:07:39 +0000 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 17:19:29 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 17:25:32 +0000 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-08-02 17:25:57 +0000 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-02 17:30:06 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-02 17:35:32 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-02 17:37:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 17:37:56 +0000 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 17:39:28 +0000 | danza_ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:39:53 +0000 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 17:40:56 +0000 | danza_ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:41:16 +0000 | flounders | (~flounders@24.246.133.1) (Ping timeout: 245 seconds) |
| 2023-08-02 17:41:47 +0000 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 17:42:12 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-02 17:42:31 +0000 | danza_ | (~francesco@151.19.250.85) (Read error: Connection reset by peer) |
| 2023-08-02 17:52:41 +0000 | razetime | (~quassel@117.254.37.137) (Ping timeout: 246 seconds) |
| 2023-08-02 17:53:26 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 17:58:13 +0000 | <justsomeguy> | Can someone reccomend me a docker/OCI container that is set up for Haskell development? |
| 2023-08-02 17:58:37 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-08-02 17:59:24 +0000 | <justsomeguy> | I set one up myself, but am getting weird compilation errors when I try to install hspec. |
| 2023-08-02 18:00:33 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 18:00:49 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 18:01:52 +0000 | <[exa]> | justsomeguy: there are some (semi?)official haskell dockers that so far worked for me |
| 2023-08-02 18:02:08 +0000 | <[exa]> | perhaps what is the error? may be a docker weirdness |
| 2023-08-02 18:02:11 +0000 | <dsal> | I've never developed in docker before. Sounds annoying. I use nix with direnv and stuff, so when I cd into various dev directories, they're set up for me. |
| 2023-08-02 18:02:35 +0000 | <[exa]> | (if I don't explicitly need isolation I'm just using podman for everything nowadays, saves a ton of effort) |
| 2023-08-02 18:03:37 +0000 | <justsomeguy> | I found an unofficial Dockerfile here that seems like a good basis for further modification ... https://github.com/vzarytovskii/haskell-dev-env/blob/master/.devcontainer/Dockerfile. I haven't tried Nix, and want to try it, but I'm running on fedora Silverblue, which means I'd have to figure out how to use Nix in a container... |
| 2023-08-02 18:05:11 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
| 2023-08-02 18:09:23 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-02 18:11:31 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 18:13:50 +0000 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2023-08-02 18:14:22 +0000 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 18:15:37 +0000 | <jade[m]> | looks like the new plumbed room is working (for now) :D |
| 2023-08-02 18:15:59 +0000 | <jade[m]> | aa that's an issue indeed, but progress |
| 2023-08-02 18:16:46 +0000 | <jade[m]> | but that was from #haskell:libera.chat right? |
| 2023-08-02 18:17:00 +0000 | <ncf> | is the issue that we can't see who you're talking to right now? |
| 2023-08-02 18:17:31 +0000 | <geekosaur> | yes |
| 2023-08-02 18:17:34 +0000 | Axma50742 | (~Axman6@user/axman6) |
| 2023-08-02 18:17:37 +0000 | <jade[m]> | ah, I see |
| 2023-08-02 18:17:39 +0000 | <geekosaur> | the bridge is very spotty |
| 2023-08-02 18:18:08 +0000 | <geekosaur> | jade's messages are making ot across, mine aren't, jean-paul's aren't |
| 2023-08-02 18:18:46 +0000 | <ncf> | try pressing the keys harder? |
| 2023-08-02 18:19:17 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2023-08-02 18:19:20 +0000 | <geekosaur> | @tell justsomeguy summarizing from matrix: nix itself is a normal program, it's nixos that would need a container |
| 2023-08-02 18:19:21 +0000 | <lambdabot> | Consider it noted. |
| 2023-08-02 18:20:03 +0000 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) (Ping timeout: 246 seconds) |
| 2023-08-02 18:25:02 +0000 | <geekosaur> | the bridge is pretty fouled up right now and has been since the outage a day or so ago |
| 2023-08-02 18:29:05 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 18:30:26 +0000 | trev | (~trev@user/trev) |
| 2023-08-02 18:32:16 +0000 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-02 18:32:47 +0000 | Techcable | (~Techcable@user/Techcable) |
| 2023-08-02 18:36:53 +0000 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-02 18:38:58 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 18:39:32 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 18:41:32 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-08-02 18:42:09 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 18:43:23 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 18:44:16 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 18:45:53 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-08-02 18:47:14 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 18:49:27 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-02 18:49:28 +0000 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) |
| 2023-08-02 18:51:09 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-02 18:51:29 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 18:54:39 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 19:01:04 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-02 19:05:05 +0000 | zebug | (~zebug@2a09:bac5:328e:14dc::214:2a) (Quit: Leaving) |
| 2023-08-02 19:05:54 +0000 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 19:06:43 +0000 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) |
| 2023-08-02 19:07:06 +0000 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 19:07:10 +0000 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2023-08-02 19:08:29 +0000 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 19:08:48 +0000 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 19:08:50 +0000 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 19:09:09 +0000 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-08-02 19:09:31 +0000 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Client Quit) |
| 2023-08-02 19:14:57 +0000 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-02 19:18:24 +0000 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 19:20:45 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 19:22:28 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-08-02 19:25:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-02 19:27:34 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-02 19:27:47 +0000 | flounders | (~flounders@24.246.133.1) |
| 2023-08-02 19:30:51 +0000 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-02 19:39:07 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 19:42:58 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 19:43:26 +0000 | briandaed | (~briandaed@185.234.210.211) |
| 2023-08-02 19:47:47 +0000 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) |
| 2023-08-02 19:49:13 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 19:49:18 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 19:52:12 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::f8d5) |
| 2023-08-02 19:53:30 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 2023-08-02 19:54:34 +0000 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::f8d5) (Client Quit) |
| 2023-08-02 19:54:55 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 19:55:22 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 19:56:24 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2023-08-02 19:56:35 +0000 | Buliarous | (~gypsydang@46.232.210.139) |
| 2023-08-02 19:56:58 +0000 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-02 19:58:53 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 19:59:28 +0000 | mima | (~mmh@aftr-82-135-83-22.dynamic.mnet-online.de) |
| 2023-08-02 20:04:01 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 20:07:04 +0000 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-08-02 20:07:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 20:07:39 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-02 20:10:28 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 20:15:30 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 20:17:06 +0000 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 2023-08-02 20:21:31 +0000 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-02 20:26:17 +0000 | pavonia | (~user@user/siracusa) |
| 2023-08-02 20:29:43 +0000 | cheater | (~Username@user/cheater) |
| 2023-08-02 20:33:30 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-02 20:35:42 +0000 | shapr | (~user@2600:1700:c640:3100:3ee3:4baf:9e91:b42d) |
| 2023-08-02 20:53:55 +0000 | gatekempt_ | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-08-02 20:54:54 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-02 20:58:37 +0000 | gatekempt_ | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) (Client Quit) |
| 2023-08-02 21:06:26 +0000 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-02 21:08:04 +0000 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-02 21:11:04 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-02 21:15:31 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-08-02 21:17:30 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 21:17:36 +0000 | Square2 | (~Square@user/square) |
| 2023-08-02 21:22:39 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
| 2023-08-02 21:34:05 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 21:34:50 +0000 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-02 21:39:53 +0000 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) |
| 2023-08-02 21:40:49 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-02 21:41:46 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-08-02 21:44:18 +0000 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-02 21:45:40 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 21:51:27 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 21:53:01 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 21:53:30 +0000 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-08-02 21:56:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e7072f33f4e02106a3530d09.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 21:57:06 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-08-02 21:57:39 +0000 | danza | (~francesco@151.19.231.128) |
| 2023-08-02 21:59:03 +0000 | danza | (~francesco@151.19.231.128) (Read error: Connection reset by peer) |
| 2023-08-02 21:59:21 +0000 | danza | (~francesco@151.43.234.196) |
| 2023-08-02 22:03:31 +0000 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2023-08-02 22:04:29 +0000 | mud | (~mud@user/kadoban) |
| 2023-08-02 22:05:59 +0000 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-02 22:06:51 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 22:08:36 +0000 | michalz | (~michalz@185.246.207.205) (Ping timeout: 246 seconds) |
| 2023-08-02 22:09:28 +0000 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-08-02 22:16:01 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:c692:9cde:8ac4:59a8) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2023-08-02 22:16:22 +0000 | dtman34 | (~dtman34@2601:447:d000:93c9:7bdd:68ce:a7a:9e71) |
| 2023-08-02 22:19:50 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 22:20:30 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 2023-08-02 22:21:40 +0000 | ub | (~Thunderbi@178.115.75.231.wireless.dyn.drei.com) |
| 2023-08-02 22:22:52 +0000 | ubert | (~Thunderbi@77.119.203.55.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-08-02 22:22:52 +0000 | ub | ubert |
| 2023-08-02 22:30:40 +0000 | nick2 | (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) |
| 2023-08-02 22:32:59 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-02 22:33:24 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-02 22:34:57 +0000 | nick2 | (~nick@2600:8807:9084:7800:4dd8:8c25:a0b9:d846) (Ping timeout: 245 seconds) |
| 2023-08-02 22:41:13 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-02 22:42:50 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 246 seconds) |
| 2023-08-02 22:43:19 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-02 22:45:02 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 260 seconds) |
| 2023-08-02 22:45:08 +0000 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-08-02 22:45:46 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 250 seconds) |
| 2023-08-02 22:49:11 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 22:49:12 +0000 | danza | (~francesco@151.43.234.196) (Ping timeout: 246 seconds) |
| 2023-08-02 22:52:02 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 22:54:02 +0000 | Buggys | (Buggys@Buggy.shelltalk.net) (Ping timeout: 246 seconds) |
| 2023-08-02 22:54:45 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 22:56:09 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
| 2023-08-02 23:01:47 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-02 23:02:01 +0000 | Buggys | (Buggys@buggy.shelltalk.net) |
| 2023-08-02 23:03:00 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) (Ping timeout: 245 seconds) |
| 2023-08-02 23:04:26 +0000 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 23:05:04 +0000 | xff0x | (~xff0x@178.255.149.135) |
| 2023-08-02 23:07:40 +0000 | pavonia_ | (~user@user/siracusa) |
| 2023-08-02 23:07:41 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 23:07:44 +0000 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2023-08-02 23:08:10 +0000 | pavonia_ | pavonia |
| 2023-08-02 23:09:12 +0000 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 240 seconds) |
| 2023-08-02 23:10:04 +0000 | Ranhir | (~Ranhir@157.97.53.139) (Ping timeout: 260 seconds) |
| 2023-08-02 23:11:17 +0000 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) |
| 2023-08-02 23:12:35 +0000 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 264 seconds) |
| 2023-08-02 23:18:56 +0000 | mauke_ | (~mauke@user/mauke) |
| 2023-08-02 23:20:22 +0000 | mauke | (~mauke@user/mauke) (Ping timeout: 245 seconds) |
| 2023-08-02 23:20:22 +0000 | mauke_ | mauke |
| 2023-08-02 23:20:35 +0000 | Axma50742 | Axman6 |
| 2023-08-02 23:20:35 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-02 23:21:10 +0000 | <jackdk> | shapr: no I didn't. I'm fumbling around with this at work at the moment, was hoping to hit some prior art. (for those who missed it, given a zipper Z and error type E, write a parser combinator library over `StateT Z (ExceptT E)` -- does prior art for this idea exist?) |
| 2023-08-02 23:21:11 +0000 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) (Ping timeout: 260 seconds) |
| 2023-08-02 23:22:15 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 23:24:25 +0000 | johnw_ | johnw |
| 2023-08-02 23:27:00 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 23:30:09 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2023-08-02 23:34:13 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 23:39:12 +0000 | gurkenglas | (~gurkengla@dynamic-046-114-094-168.46.114.pool.telefonica.de) (Ping timeout: 240 seconds) |
| 2023-08-02 23:39:39 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 23:39:39 +0000 | dobblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 23:39:39 +0000 | dobblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 23:39:53 +0000 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 23:39:57 +0000 | dobblego | dibblego |
| 2023-08-02 23:40:39 +0000 | <jackdk> | Also, for those on the matrix side of things, how is the bridge going? I need to plumb a room to a channel I'm responsible for |
| 2023-08-02 23:40:45 +0000 | jargon | (~jargon@52.sub-174-238-227.myvzw.com) |
| 2023-08-02 23:41:42 +0000 | <geekosaur> | b0rked |
| 2023-08-02 23:42:42 +0000 | <geekosaur> | plumbing "works" right now but the result is highly unreliable. #haskell-irc:matrix.org has received 1 message total from here, but a fair number of joins/parts |
| 2023-08-02 23:43:03 +0000 | <geekosaur> | unfortunately that seems representative of matrix<->irc in general right now |
| 2023-08-02 23:51:13 +0000 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-02 23:52:23 +0000 | jargon | (~jargon@52.sub-174-238-227.myvzw.com) (Remote host closed the connection) |
| 2023-08-02 23:52:24 +0000 | jmorris | (uid604645@id-604645.hampstead.irccloud.com) |
| 2023-08-02 23:52:53 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-02 23:52:53 +0000 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-02 23:52:53 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-02 23:53:52 +0000 | jero98772 | (~jero98772@2800:484:1d84:300::7) (Ping timeout: 240 seconds) |