| 2023-08-02 00:01:01 +0200 | danza_ | (~francesco@151.43.248.88) (Ping timeout: 260 seconds) |
| 2023-08-02 00:01:02 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 00:01:58 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-02 00:02:03 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 00:02:31 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 00:03:07 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-02 00:03:57 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 00:06:24 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 244 seconds) |
| 2023-08-02 00:08:53 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-02 00:10:11 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 264 seconds) |
| 2023-08-02 00:10:22 +0200 | gdown | (~gavin@h69-11-148-35.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2023-08-02 00:10:33 +0200 | ChanServ | +o geekosaur |
| 2023-08-02 00:11:18 +0200 | matrixbridge1 | (~matrixbri@2001:470:69fc:105::3:8e25) |
| 2023-08-02 00:11:19 +0200 | matrixbridge1 | (~matrixbri@2001:470:69fc:105::3:8e25) () |
| 2023-08-02 00:12:08 +0200 | matrixbridge1 | (~matrixbri@2001:470:69fc:105::3:8e25) |
| 2023-08-02 00:12:09 +0200 | matrixbridge1 | (~matrixbri@2001:470:69fc:105::3:8e25) () |
| 2023-08-02 00:13:52 +0200 | accord | (uid568320@id-568320.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 00:17:52 +0200 | <geekosaur> | test |
| 2023-08-02 00:18:03 +0200 | geekosaur | -o geekosaur |
| 2023-08-02 00:20:54 +0200 | ub | (~Thunderbi@77.119.203.55.wireless.dyn.drei.com) |
| 2023-08-02 00:22:22 +0200 | ubert1 | (~Thunderbi@77.119.204.241.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 2023-08-02 00:22:37 +0200 | ubert | (~Thunderbi@77.119.204.241.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2023-08-02 00:22:37 +0200 | ub | ubert |
| 2023-08-02 00:27:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-02 00:27:58 +0200 | michalz | (~michalz@185.246.207.221) (Ping timeout: 246 seconds) |
| 2023-08-02 00:29:05 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-02 00:34:08 +0200 | zeenk | (~zeenk@2a02:2f04:a007:fb00::7fe) |
| 2023-08-02 00:36:52 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 240 seconds) |
| 2023-08-02 00:37:03 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-08-02 00:37:20 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 00:38:26 +0200 | johnw | (~johnw@69.62.242.138) (Ping timeout: 244 seconds) |
| 2023-08-02 00:39:30 +0200 | darchitect | (~darchitec@2a00:23c6:3584:df01:eb12:93bf:8333:4511) (Quit: WeeChat 3.8) |
| 2023-08-02 00:40:51 +0200 | johnw | (~johnw@2601:204:dc00:b0c0:3ca9:24ed:bf85:c0a9) |
| 2023-08-02 00:51:12 +0200 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2023-08-02 00:53:35 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 00:56:00 +0200 | gurkengl1s | (~gurkengla@dynamic-046-114-089-159.46.114.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2023-08-02 00:57:02 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-08-02 00:57:04 +0200 | forell | (~forell@user/forell) |
| 2023-08-02 01:00:27 +0200 | shapr | (~user@2600:1700:c640:3100:a7bb:34f3:1406:fc8e) |
| 2023-08-02 01:06:13 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-02 01:06:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-08-02 01:07:02 +0200 | johnw_ | (~johnw@69.62.242.138) |
| 2023-08-02 01:07:51 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-08-02 01:08:42 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 245 seconds) |
| 2023-08-02 01:09:14 +0200 | johnw | (~johnw@2601:204:dc00:b0c0:3ca9:24ed:bf85:c0a9) (Ping timeout: 260 seconds) |
| 2023-08-02 01:11:59 +0200 | m5zs7k | (aquares@web10.mydevil.net) (Quit: m5zs7k) |
| 2023-08-02 01:14:36 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-08-02 01:15:32 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2023-08-02 01:16:41 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 01:17:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 01:19:15 +0200 | byte | (~byte@user/byte) (Ping timeout: 244 seconds) |
| 2023-08-02 01:19:38 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 01:19:38 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 01:19:38 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 01:20:09 +0200 | mauke_ | (~mauke@user/mauke) |
| 2023-08-02 01:21:10 +0200 | <geekosaur[c]> | Test 2 |
| 2023-08-02 01:21:49 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-02 01:21:52 +0200 | mauke | (~mauke@user/mauke) (Ping timeout: 246 seconds) |
| 2023-08-02 01:21:52 +0200 | mauke_ | mauke |
| 2023-08-02 01:22:27 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 01:24:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-02 01:25:24 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-02 01:26:42 +0200 | <EvanR> | didn't see either of those tests, test failed |
| 2023-08-02 01:26:57 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-02 01:26:57 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Remote host closed the connection) |
| 2023-08-02 01:27:00 +0200 | <geekosaur> | yes, the bridge is being annoying |
| 2023-08-02 01:27:22 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) |
| 2023-08-02 01:27:36 +0200 | <geekosaur> | and it's bidirectional: it never reconnected me (or johnw or several others) when it came back from last night's outage |
| 2023-08-02 01:27:45 +0200 | <geekosaur> | I presume it needs a full restart |
| 2023-08-02 01:28:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 01:28:19 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 01:28:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 01:28:32 +0200 | <lisbeths> | if you like lambda calculus please check out the Lambda calculus IRC channel. It has two active daily users. me and the legendary John tromp who is an expert on making the smallest possible executables |
| 2023-08-02 01:28:47 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 01:29:45 +0200 | wroathe | (~wroathe@user/wroathe) (Read error: Connection reset by peer) |
| 2023-08-02 01:30:03 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) |
| 2023-08-02 01:30:08 +0200 | mvk | (~mvk@2607:fea8:5c9a:a600::1c6d) (Client Quit) |
| 2023-08-02 01:32:52 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 245 seconds) |
| 2023-08-02 01:37:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 01:37:53 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 01:37:53 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 01:42:30 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 244 seconds) |
| 2023-08-02 01:43:42 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-08-02 01:48:57 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 01:48:57 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 01:48:57 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 02:01:50 +0200 | libertyprime | (~libertypr@203.96.203.44) (Remote host closed the connection) |
| 2023-08-02 02:02:59 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) |
| 2023-08-02 02:09:23 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-08-02 02:11:08 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 02:12:09 +0200 | zeenk | (~zeenk@2a02:2f04:a007:fb00::7fe) (Quit: Konversation terminated!) |
| 2023-08-02 02:16:22 +0200 | forell | (~forell@user/forell) (Ping timeout: 260 seconds) |
| 2023-08-02 02:17:00 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2023-08-02 02:17:00 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 2023-08-02 02:17:23 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 02:17:44 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) |
| 2023-08-02 02:19:24 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-08-02 02:19:45 +0200 | AWizzArd | (~code@gehrels.uberspace.de) (Ping timeout: 246 seconds) |
| 2023-08-02 02:19:52 +0200 | AWizzArd | (~code@gehrels.uberspace.de) |
| 2023-08-02 02:20:12 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-02 02:20:37 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 02:22:06 +0200 | mjacob | (~mjacob@adrastea.uberspace.de) |
| 2023-08-02 02:23:58 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) |
| 2023-08-02 02:24:23 +0200 | jsomedon | (uid606872@id-606872.hampstead.irccloud.com) () |
| 2023-08-02 02:25:10 +0200 | Noinia | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2023-08-02 02:32:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 02:35:10 +0200 | Square | (~Square@user/square) |
| 2023-08-02 02:41:03 +0200 | forell | (~forell@user/forell) |
| 2023-08-02 02:44:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 02:44:18 +0200 | adeptangel | (cren@tilde.team) (Ping timeout: 246 seconds) |
| 2023-08-02 02:44:26 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 02:44:49 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 246 seconds) |
| 2023-08-02 02:45:19 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 02:46:07 +0200 | libertyprime | (~libertypr@203.96.203.44) |
| 2023-08-02 02:47:17 +0200 | ft | (~ft@p3e9bceb5.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-08-02 02:49:09 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f30112eefabde49cc58.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-02 02:52:03 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-02 02:52:44 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-08-02 02:53:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 02:53:41 +0200 | ft | (~ft@p4fc2a803.dip0.t-ipconnect.de) |
| 2023-08-02 02:54:58 +0200 | yangby | (~secret@115.220.173.23) (Ping timeout: 252 seconds) |
| 2023-08-02 02:56:47 +0200 | yangby | (~secret@115.220.173.23) |
| 2023-08-02 02:59:19 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-08-02 02:59:20 +0200 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-08-02 02:59:20 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2023-08-02 03:03:00 +0200 | billchenchina | (~billchenc@2a0c:b641:7a2:320:ee3e:47ca:6070:d71a) (Remote host closed the connection) |
| 2023-08-02 03:10:51 +0200 | ft | (~ft@p4fc2a803.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 03:11:14 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-08-02 03:12:38 +0200 | ft | (~ft@p4fc2a720.dip0.t-ipconnect.de) |
| 2023-08-02 03:16:30 +0200 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 03:17:21 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-08-02 03:18:28 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2023-08-02 03:19:56 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 03:27:29 +0200 | xff0x | (~xff0x@2405:6580:b080:900:7141:4235:591:867b) (Ping timeout: 260 seconds) |
| 2023-08-02 03:31:36 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-02 03:33:36 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2023-08-02 03:33:54 +0200 | <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 03:35:42 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 252 seconds) |
| 2023-08-02 03:40:47 +0200 | falafel | (~falafel@216.68.6.51.dyn.plus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 03:46:37 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 03:57:21 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2023-08-02 03:59:20 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 03:59:57 +0200 | mima | (~mmh@aftr-82-135-83-244.dynamic.mnet-online.de) (Ping timeout: 245 seconds) |
| 2023-08-02 04:00:49 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 04:01:11 +0200 | shapr | (~user@2600:1700:c640:3100:a7bb:34f3:1406:fc8e) (Ping timeout: 264 seconds) |
| 2023-08-02 04:05:18 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 246 seconds) |
| 2023-08-02 04:05:58 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) (Read error: Connection reset by peer) |
| 2023-08-02 04:06:12 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 245 seconds) |
| 2023-08-02 04:06:23 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 04:08:36 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 04:09:52 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) |
| 2023-08-02 04:13:00 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-08-02 04:13:02 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-08-02 04:13:17 +0200 | ft | (~ft@p4fc2a720.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 04:13:17 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 245 seconds) |
| 2023-08-02 04:15:00 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 04:15:17 +0200 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) |
| 2023-08-02 04:16:35 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 04:19:27 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-02 04:20:11 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 04:20:11 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 04:20:11 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 04:20:25 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 04:21:32 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-02 04:21:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-02 04:22:08 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 04:22:36 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 04:26:39 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 246 seconds) |
| 2023-08-02 04:29:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 04:31:25 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 04:32:32 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-08-02 04:33:12 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 240 seconds) |
| 2023-08-02 04:35:22 +0200 | img | (~img@user/img) (Ping timeout: 245 seconds) |
| 2023-08-02 04:38:43 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 04:38:43 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 04:38:43 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 04:39:51 +0200 | img | (~img@user/img) |
| 2023-08-02 04:43:19 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 260 seconds) |
| 2023-08-02 04:49:55 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) |
| 2023-08-02 04:49:55 +0200 | dibblego | (~dibblego@116-255-1-151.ip4.superloop.au) (Changing host) |
| 2023-08-02 04:49:55 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-08-02 04:54:13 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 04:54:18 +0200 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 2023-08-02 04:57:07 +0200 | td_ | (~td@i53870908.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-02 04:59:01 +0200 | td_ | (~td@i53870913.versanet.de) |
| 2023-08-02 04:59:56 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-08-02 04:59:56 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-08-02 04:59:57 +0200 | finn_elija | FinnElija |
| 2023-08-02 05:00:55 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) |
| 2023-08-02 05:03:45 +0200 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2023-08-02 05:04:27 +0200 | codaraxis | (~codaraxis@user/codaraxis) (Ping timeout: 246 seconds) |
| 2023-08-02 05:04:32 +0200 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2023-08-02 05:05:30 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 05:07:14 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 260 seconds) |
| 2023-08-02 05:09:27 +0200 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) |
| 2023-08-02 05:14:22 +0200 | berberman | (~berberman@user/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-08-02 05:14:43 +0200 | berberman | (~berberman@user/berberman) |
| 2023-08-02 05:15:05 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-08-02 05:16:06 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-08-02 05:18:48 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 05:29:27 +0200 | codaraxis__ | (~codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 2023-08-02 05:33:09 +0200 | img | (~img@user/img) (Ping timeout: 246 seconds) |
| 2023-08-02 05:38:19 +0200 | img | (~img@user/img) |
| 2023-08-02 05:49:56 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) (Read error: Connection reset by peer) |
| 2023-08-02 05:50:18 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) |
| 2023-08-02 05:51:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 05:53:44 +0200 | img | (~img@user/img) (Ping timeout: 246 seconds) |
| 2023-08-02 05:55:26 +0200 | img | (~img@user/img) |
| 2023-08-02 05:55:38 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 05:57:09 +0200 | robertm | (robertm@lattice.rojoma.com) (Quit: ...) |
| 2023-08-02 05:57:35 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Remote host closed the connection) |
| 2023-08-02 05:58:26 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-02 06:00:17 +0200 | robertm | (robertm@lattice.rojoma.com) |
| 2023-08-02 06:01:39 +0200 | aforemny | (~aforemny@2001:9e8:6cc5:4d00:b3a7:e4fb:416c:e46c) (Ping timeout: 246 seconds) |
| 2023-08-02 06:01:44 +0200 | aforemny_ | (~aforemny@2001:9e8:6cee:8c00:a343:dfed:b4a9:34ef) |
| 2023-08-02 06:05:04 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-02 06:06:25 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2023-08-02 06:09:18 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 06:13:45 +0200 | bilegeek | (~bilegeek@2600:1008:b073:806f:a47e:fa70:ee19:f642) (Ping timeout: 246 seconds) |
| 2023-08-02 06:15:12 +0200 | trev | (~trev@user/trev) |
| 2023-08-02 06:16:42 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2023-08-02 06:22:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 06:24:36 +0200 | razetime | (~quassel@117.254.37.137) (Ping timeout: 244 seconds) |
| 2023-08-02 06:29:11 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
| 2023-08-02 06:32:27 +0200 | ProtoDot | (~david.dee@71.212.158.225) |
| 2023-08-02 06:32:30 +0200 | ProtoDot | (~david.dee@71.212.158.225) () |
| 2023-08-02 06:45:21 +0200 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 06:46:17 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 06:49:51 +0200 | ProtoDot | (~david.dee@71.212.158.225) |
| 2023-08-02 06:51:04 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 06:54:03 +0200 | img | (~img@user/img) (Ping timeout: 244 seconds) |
| 2023-08-02 06:56:59 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 264 seconds) |
| 2023-08-02 06:59:21 +0200 | razetime | (~quassel@117.254.37.137) (Remote host closed the connection) |
| 2023-08-02 07:00:52 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-02 07:03:21 +0200 | ProtoDot | (~david.dee@71.212.158.225) (Remote host closed the connection) |
| 2023-08-02 07:16:24 +0200 | michalz | (~michalz@185.246.207.205) |
| 2023-08-02 07:30:16 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-02 07:30:18 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-02 07:35:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 07:40:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-08-02 07:43:18 +0200 | img | (~img@user/img) |
| 2023-08-02 07:44:31 +0200 | img | (~img@user/img) (Client Quit) |
| 2023-08-02 07:46:20 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 07:47:39 +0200 | img | (~img@user/img) |
| 2023-08-02 07:47:44 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-02 07:51:55 +0200 | ddellacosta | (~ddellacos@146.70.165.100) (Ping timeout: 244 seconds) |
| 2023-08-02 07:55:36 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-08-02 07:56:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 08:00:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 08:02:22 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 08:07:15 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 08:10:40 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) |
| 2023-08-02 08:11:49 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Client Quit) |
| 2023-08-02 08:13:34 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 08:15:53 +0200 | kenran | (~user@user/kenran) |
| 2023-08-02 08:18:01 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 08:20:27 +0200 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-08-02 08:25:56 +0200 | mncheck | (~mncheck@193.224.205.254) (Remote host closed the connection) |
| 2023-08-02 08:27:37 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2023-08-02 08:28:02 +0200 | phma | (phma@2001:5b0:211c:3428:5de8:9713:6f88:93ce) |
| 2023-08-02 08:38:56 +0200 | Guest4879 | (~finn@81-67-22-3.rev.numericable.fr) (Ping timeout: 246 seconds) |
| 2023-08-02 08:41:47 +0200 | chromoblob | (~user@37.113.180.79) |
| 2023-08-02 08:42:00 +0200 | <chromoblob> | > (+) 5 if True then 0 else 0 |
| 2023-08-02 08:42:01 +0200 | <lambdabot> | error: |
| 2023-08-02 08:42:02 +0200 | <lambdabot> | Unexpected if expression in function application: |
| 2023-08-02 08:42:02 +0200 | <lambdabot> | if True then 0 else 0 |
| 2023-08-02 08:42:09 +0200 | <chromoblob> | > 5 + if True then 0 else 0 |
| 2023-08-02 08:42:10 +0200 | <lambdabot> | 5 |
| 2023-08-02 08:42:17 +0200 | chromoblob | (~user@37.113.180.79) () |
| 2023-08-02 08:42:23 +0200 | chromoblob | (~user@37.113.180.79) |
| 2023-08-02 08:42:31 +0200 | <arahael> | > (+) 5 (if True then 0 else 0) |
| 2023-08-02 08:42:32 +0200 | <lambdabot> | 5 |
| 2023-08-02 08:43:17 +0200 | <chromoblob> | just as i thought, it's very fine that if doesn't work in function application |
| 2023-08-02 08:44:04 +0200 | <chromoblob> | but if it had endif, maybe it should |
| 2023-08-02 08:44:25 +0200 | <arahael> | > (+) 5 $ if True then 0 else 0 |
| 2023-08-02 08:44:26 +0200 | <lambdabot> | 5 |
| 2023-08-02 08:44:59 +0200 | <[Leary]> | % (+) 5 if True then 0 else 0 |
| 2023-08-02 08:44:59 +0200 | <yahb2> | 5 |
| 2023-08-02 08:45:07 +0200 | <[Leary]> | It works with BlockArguments. |
| 2023-08-02 08:45:25 +0200 | <chromoblob> | oh |
| 2023-08-02 08:46:08 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-02 08:46:15 +0200 | <chromoblob> | nah i like it without BlockArguments better >:) |
| 2023-08-02 08:46:18 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-02 08:48:14 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 08:50:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-08-02 08:53:43 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: TschĂĽss) |
| 2023-08-02 08:53:57 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-08-02 08:56:30 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-08-02 08:57:34 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:423f:2c12:f89a:530d) |
| 2023-08-02 08:58:18 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 09:05:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 09:09:44 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 09:10:42 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 09:11:05 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-02 09:16:11 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 09:18:05 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 09:20:47 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 244 seconds) |
| 2023-08-02 09:22:45 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 2023-08-02 09:26:15 +0200 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) |
| 2023-08-02 09:38:32 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-02 09:43:29 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Remote host closed the connection) |
| 2023-08-02 09:46:38 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 09:47:21 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 09:48:36 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 09:54:21 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f33f4e02106a3530d09.dip0.t-ipconnect.de) |
| 2023-08-02 09:59:26 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-08-02 10:02:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 10:04:47 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) (Ping timeout: 260 seconds) |
| 2023-08-02 10:05:52 +0200 | titibandit | (~titibandi@user/titibandit) |
| 2023-08-02 10:06:45 +0200 | m1dnight | (~christoph@78-22-4-67.access.telenet.be) |
| 2023-08-02 10:11:48 +0200 | gurkenglas | (~gurkengla@dynamic-046-114-094-168.46.114.pool.telefonica.de) |
| 2023-08-02 10:14:08 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 10:14:51 +0200 | danse-nr3_ | (~francesco@151.19.252.218) |
| 2023-08-02 10:16:25 +0200 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 10:17:38 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-08-02 10:20:00 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 10:23:54 +0200 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 10:24:01 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2023-08-02 10:24:46 +0200 | miho | (~miho@78.2.247.177) |
| 2023-08-02 10:25:13 +0200 | miho | Domitar |
| 2023-08-02 10:26:01 +0200 | Domitar | (~miho@78.2.247.177) (Client Quit) |
| 2023-08-02 10:29:57 +0200 | danse-nr3 | (~francesco@151.19.252.218) |
| 2023-08-02 10:30:24 +0200 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 260 seconds) |
| 2023-08-02 10:31:42 +0200 | danse-nr3_ | (~francesco@151.19.252.218) (Ping timeout: 246 seconds) |
| 2023-08-02 10:32:38 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2023-08-02 10:34:53 +0200 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 10:35:06 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-08-02 10:36:40 +0200 | chele | (~chele@user/chele) |
| 2023-08-02 10:43:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 10:46:24 +0200 | danse-nr3 | (~francesco@151.19.252.218) (Ping timeout: 246 seconds) |
| 2023-08-02 10:49:52 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 250 seconds) |
| 2023-08-02 10:53:06 +0200 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-08-02 10:57:12 +0200 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 10:58:15 +0200 | Domitar | (~Domitar@78.2.247.177) |
| 2023-08-02 11:03:46 +0200 | danse-nr3 | (~francesco@151.19.252.218) |
| 2023-08-02 11:06:23 +0200 | Domitar | (~Domitar@78.2.247.177) (Remote host closed the connection) |
| 2023-08-02 11:10:26 +0200 | sm[i] | (~sm@plaintextaccounting/sm) |
| 2023-08-02 11:15:00 +0200 | sm[i] | (~sm@plaintextaccounting/sm) (Ping timeout: 250 seconds) |
| 2023-08-02 11:15:35 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 11:20:31 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 11:20:47 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-08-02 11:25:14 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 260 seconds) |
| 2023-08-02 11:25:24 +0200 | jmd_ | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2023-08-02 11:28:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 11:30:12 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 11:33:14 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-02 11:33:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 11:37:24 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2023-08-02 11:42:52 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-08-02 11:46:32 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-08-02 11:47:04 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2023-08-02 11:48:00 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 11:49:24 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2023-08-02 11:50:55 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2023-08-02 11:59:28 +0200 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 12:00:05 +0200 | danse-nr3 | (~francesco@151.19.252.218) (Read error: Connection reset by peer) |
| 2023-08-02 12:03:22 +0200 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) |
| 2023-08-02 12:06:12 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Ping timeout: 245 seconds) |
| 2023-08-02 12:07:06 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:423f:2c12:f89a:530d) (Ping timeout: 258 seconds) |
| 2023-08-02 12:07:12 +0200 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 240 seconds) |
| 2023-08-02 12:08:18 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 12:09:51 +0200 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2023-08-02 12:13:00 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 12:13:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2023-08-02 12:13:50 +0200 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) (Ping timeout: 246 seconds) |
| 2023-08-02 12:17:21 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2023-08-02 12:20:52 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 12:24:29 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 12:25:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 12:29:15 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 245 seconds) |
| 2023-08-02 12:38:41 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 246 seconds) |
| 2023-08-02 12:43:30 +0200 | libertyprime | (~libertypr@203.96.203.44) (Quit: leaving) |
| 2023-08-02 12:48:27 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 12:53:49 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 12:59:10 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-02 12:59:11 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 13:08:18 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 13:09:36 +0200 | xff0x | (~xff0x@2405:6580:b080:900:2834:8e1:175:69e4) |
| 2023-08-02 13:12:02 +0200 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-08-02 13:16:33 +0200 | mima | (~mmh@aftr-82-135-83-40.dynamic.mnet-online.de) (Ping timeout: 246 seconds) |
| 2023-08-02 13:17:41 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 13:19:18 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:df24:2d87:5dba:cac5) |
| 2023-08-02 13:22:30 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 13:22:38 +0200 | Victor_ | (~Username@179.152.251.228) |
| 2023-08-02 13:28:52 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 13:31:34 +0200 | Victor_ | (~Username@179.152.251.228) (Closing Window) |
| 2023-08-02 13:33:57 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 13:38:23 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 13:47:14 +0200 | tired- | (~tired@user/tired) |
| 2023-08-02 13:48:14 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 13:48:41 +0200 | MajorBiscuit | (~MajorBisc@145.94.40.195) |
| 2023-08-02 13:49:42 +0200 | tired | (~tired@user/tired) (Ping timeout: 250 seconds) |
| 2023-08-02 13:53:25 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 245 seconds) |
| 2023-08-02 13:59:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 13:59:47 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 14:06:12 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-08-02 14:07:18 +0200 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 246 seconds) |
| 2023-08-02 14:09:09 +0200 | td_ | (~td@i53870902.versanet.de) |
| 2023-08-02 14:10:05 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 14:11:47 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 14:11:59 +0200 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2023-08-02 14:20:36 +0200 | Guest2340 | (~G@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 14:22:44 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2023-08-02 14:26:35 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 14:28:50 +0200 | danse-nr3_ | (~francesco@151.37.230.241) (Ping timeout: 245 seconds) |
| 2023-08-02 14:31:12 +0200 | danza_ | (~francesco@151.37.230.241) |
| 2023-08-02 14:33:07 +0200 | YuutaW | (~YuutaW@mail.yuuta.moe) (Ping timeout: 260 seconds) |
| 2023-08-02 14:34:45 +0200 | kristaXL | (~krista3XL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 14:34:46 +0200 | YuutaW | (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 2023-08-02 14:35:05 +0200 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 14:36:34 +0200 | danza_ | (~francesco@151.37.230.241) (Ping timeout: 260 seconds) |
| 2023-08-02 14:40:45 +0200 | Guest2340 | (~G@user-5-173-131-124.play-internet.pl) (Quit: Client closed) |
| 2023-08-02 14:42:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 14:43:36 +0200 | kristaXL | (~krista3XL@user-5-173-131-124.play-internet.pl) (Quit: Leaving) |
| 2023-08-02 14:46:32 +0200 | Alex_test | (~al_test@94.233.240.229) (Quit: ;-) |
| 2023-08-02 14:46:50 +0200 | AlexZenon | (~alzenon@94.233.240.229) (Quit: ;-) |
| 2023-08-02 14:47:42 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) (Quit: Leaving) |
| 2023-08-02 14:48:10 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2023-08-02 14:48:15 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) (Client Quit) |
| 2023-08-02 14:49:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 14:50:37 +0200 | kristaL3 | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 14:53:23 +0200 | kristaL3 | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 14:53:43 +0200 | chromoblob | (~user@37.113.180.79) () |
| 2023-08-02 14:53:47 +0200 | kristaL53 | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 14:55:39 +0200 | Square | (~Square@user/square) |
| 2023-08-02 14:58:47 +0200 | <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 15:01:06 +0200 | kristaL | (~krista3XL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 15:09:14 +0200 | danse-nr3_ | (~francesco@151.37.230.241) (Remote host closed the connection) |
| 2023-08-02 15:09:37 +0200 | danse-nr3_ | (~francesco@151.37.230.241) |
| 2023-08-02 15:10:02 +0200 | <dminuoso> | Looking the definition of `taking`.. that's some mighty fine alien implementation. |
| 2023-08-02 15:10:24 +0200 | <dminuoso> | \ afb s -> let b = inline l sell s in outs b <$> traverse afb (take n $ ins b) |
| 2023-08-02 15:10:33 +0200 | <dminuoso> | Can't get much more dense than that. |
| 2023-08-02 15:12:16 +0200 | <dminuoso> | outs = evalState `rmap` bazaar (parr (state . unconsWithDefault)) |
| 2023-08-02 15:16:16 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 15:17:36 +0200 | tired- | (~tired@user/tired) (Quit: /) |
| 2023-08-02 15:18:31 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) |
| 2023-08-02 15:18:49 +0200 | kristaL | (~krista3XL@user-5-173-131-124.play-internet.pl) (Quit: Leaving) |
| 2023-08-02 15:20:22 +0200 | AlexNoo | (~AlexNoo@94.233.240.229) |
| 2023-08-02 15:23:27 +0200 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2023-08-02 15:24:31 +0200 | remmie | (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 2023-08-02 15:25:02 +0200 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-08-02 15:25:15 +0200 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2023-08-02 15:25:17 +0200 | markasoftware | (~quassel@107.161.26.124) (Remote host closed the connection) |
| 2023-08-02 15:25:34 +0200 | andjjj23 | (~irc@107.170.228.47) (Ping timeout: 252 seconds) |
| 2023-08-02 15:25:56 +0200 | lilata | (~lilata@137.184.4.49) (Ping timeout: 252 seconds) |
| 2023-08-02 15:26:05 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 15:26:06 +0200 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) |
| 2023-08-02 15:26:06 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 15:26:07 +0200 | lilata4 | (~lilata@137.184.4.49) |
| 2023-08-02 15:26:10 +0200 | lilata4 | lilata |
| 2023-08-02 15:26:21 +0200 | AlexZenon | (~alzenon@94.233.240.229) |
| 2023-08-02 15:26:28 +0200 | andjjj23 | (~irc@107.170.228.47) |
| 2023-08-02 15:26:34 +0200 | markasoftware | (~quassel@107.161.26.124) |
| 2023-08-02 15:26:51 +0200 | forell | (~forell@user/forell) |
| 2023-08-02 15:27:27 +0200 | remmie | (ianremsen@tilde.team) |
| 2023-08-02 15:27:38 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 15:28:39 +0200 | tired | (~tired@user/tired) |
| 2023-08-02 15:30:41 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 15:33:02 +0200 | Alex_test | (~al_test@94.233.240.229) |
| 2023-08-02 15:33:04 +0200 | <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 15:33:34 +0200 | <dminuoso> | Some years ago I had some rough understanding of `sell`. |
| 2023-08-02 15:34:20 +0200 | <dminuoso> | kristaL53: The real crux here is `ins` and `outs`. |
| 2023-08-02 15:35:00 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2023-08-02 15:38:44 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 15:42:03 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) (Remote host closed the connection) |
| 2023-08-02 15:42:14 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 15:46:21 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-08-02 15:46:45 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-08-02 15:47:08 +0200 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-08-02 15:47:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-08-02 15:48:03 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) |
| 2023-08-02 15:48:46 +0200 | <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 15:52:37 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 15:54:10 +0200 | <dminuoso> | ncf: singular is very manual in that it unpacks via headOf directly |
| 2023-08-02 15:54:22 +0200 | <dminuoso> | And partsOf internally uses toListOf too. |
| 2023-08-02 15:54:46 +0200 | <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 15:55:00 +0200 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-08-02 15:56:02 +0200 | Square | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2023-08-02 15:57:46 +0200 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2023-08-02 15:59:39 +0200 | danse-nr3__ | (~francesco@151.19.250.85) |
| 2023-08-02 15:59:58 +0200 | danse-nr3_ | (~francesco@151.37.230.241) (Read error: Connection reset by peer) |
| 2023-08-02 16:10:10 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2023-08-02 16:17:02 +0200 | <feetwind> | is there any way to get a list of exported names of a module in TH? |
| 2023-08-02 16:23:43 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 16:23:45 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 16:24:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-02 16:25:01 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 16:27:27 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) (Ping timeout: 260 seconds) |
| 2023-08-02 16:28:16 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2023-08-02 16:28:23 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) |
| 2023-08-02 16:29:44 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Ping timeout: 260 seconds) |
| 2023-08-02 16:31:11 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-08-02 16:34:59 +0200 | vglfr | (~vglfr@2a0d:3344:1450:5d00:ec71:c881:af37:28e4) (Ping timeout: 260 seconds) |
| 2023-08-02 16:35:10 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-08-02 16:35:52 +0200 | vglfr | (~vglfr@cli-188-239-209-89.bbn.slav.dn.ua) |
| 2023-08-02 16:36:51 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 16:43:41 +0200 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-08-02 16:44:39 +0200 | ripspin | (~chatzilla@1.145.157.43) |
| 2023-08-02 16:46:17 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-08-02 16:55:49 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 16:57:41 +0200 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) |
| 2023-08-02 16:58:35 +0200 | titibandit | (~titibandi@user/titibandit) (Remote host closed the connection) |
| 2023-08-02 17:00:34 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2023-08-02 17:03:23 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 17:04:49 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 17:06:47 +0200 | nick2 | (~nick@2600:8807:9084:7800:9d26:91c1:bd87:e9e5) (Ping timeout: 246 seconds) |
| 2023-08-02 17:07:22 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-212.fiber.dynamic.sonic.net) (Quit: segfaultfizzbuzz) |
| 2023-08-02 17:07:29 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 17:09:35 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 17:10:30 +0200 | lortabac | (~lortabac@2a01:e0a:50d:8d40:df24:2d87:5dba:cac5) (Quit: WeeChat 2.8) |
| 2023-08-02 17:12:04 +0200 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2023-08-02 17:13:04 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-02 17:13:30 +0200 | MajorBiscuit | (~MajorBisc@145.94.40.195) (Ping timeout: 246 seconds) |
| 2023-08-02 17:19:14 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 17:24:02 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-02 17:25:35 +0200 | kristaL53 | (~kristaL@user-5-173-131-124.play-internet.pl) (Ping timeout: 246 seconds) |
| 2023-08-02 17:32:17 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 17:33:14 +0200 | danse-nr3__ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:33:47 +0200 | yangby | (~secret@115.220.173.23) (Quit: Go out for a walk and buy a drink.) |
| 2023-08-02 17:34:04 +0200 | danse-nr3__ | (~francesco@151.19.250.85) |
| 2023-08-02 17:34:07 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-08-02 17:34:45 +0200 | danse-nr3__ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:36:35 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 17:37:09 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 258 seconds) |
| 2023-08-02 17:39:36 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-08-02 17:41:58 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-08-02 17:42:10 +0200 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 17:43:15 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-08-02 17:43:23 +0200 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:43:48 +0200 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 17:44:54 +0200 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 17:45:26 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 245 seconds) |
| 2023-08-02 17:45:42 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 17:53:54 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-08-02 17:53:55 +0200 | Guest74 | (~Guest74@ip-176-198-200-032.um43.pools.vodafone-ip.de) |
| 2023-08-02 17:55:24 +0200 | Lycurgus | (~juan@user/Lycurgus) (Quit: TschĂĽss) |
| 2023-08-02 17:55:51 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 17:55:54 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 17:57:33 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2023-08-02 18:01:03 +0200 | Guest74 | (~Guest74@ip-176-198-200-032.um43.pools.vodafone-ip.de) (Quit: Client closed) |
| 2023-08-02 18:01:57 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 18:04:16 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 18:05:22 +0200 | bliminse | (~bliminse@user/bliminse) |
| 2023-08-02 18:05:24 +0200 | ru0mad | (~ru0mad@82-64-17-144.subs.proxad.net) (Quit: leaving) |
| 2023-08-02 18:09:30 +0200 | ddellacosta | (~ddellacos@146.70.168.10) (Ping timeout: 246 seconds) |
| 2023-08-02 18:10:00 +0200 | ddellacosta | (~ddellacos@146.70.168.10) |
| 2023-08-02 18:13:09 +0200 | zebug | (~zebug@2a09:bac5:328e:14dc::214:2a) |
| 2023-08-02 18:15:10 +0200 | jaror[m] | (~jaror@2001:470:69fc:105::265) (Quit: You have been kicked for being idle) |
| 2023-08-02 18:17:20 +0200 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 18:18:09 +0200 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 18:18:46 +0200 | razetime | (~quassel@117.254.37.137) |
| 2023-08-02 18:20:34 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 18:21:20 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2023-08-02 18:21:26 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-08-02 18:22:31 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-02 18:23:08 +0200 | <zebug> | Hello, I created an account on gitlab to report a bug, I'm now waiting to get approved. |
| 2023-08-02 18:23:41 +0200 | <geekosaur> | ask in #ghc, most of the ghc devs and gitlab admins don't hang out here |
| 2023-08-02 18:23:55 +0200 | <zebug> | ok, thanks for the advice |
| 2023-08-02 18:25:42 +0200 | danse-nr3 | (~francesco@151.19.250.85) |
| 2023-08-02 18:26:58 +0200 | danse-nr3 | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 18:27:42 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Ping timeout: 246 seconds) |
| 2023-08-02 18:28:57 +0200 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.2) |
| 2023-08-02 18:29:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-08-02 18:30:00 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-02 18:32:05 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 18:33:09 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 18:36:56 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 18:37:31 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 18:41:54 +0200 | shapr | (~user@2600:1700:c640:3100:d83:ce07:81bf:d3e2) |
| 2023-08-02 18:43:05 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Quit: Leaving) |
| 2023-08-02 18:45:50 +0200 | Square | (~Square@user/square) |
| 2023-08-02 18:46:05 +0200 | <shapr> | jackdk: did you get any replies for zipper parser combinators? That's a cool idea |
| 2023-08-02 18:46:18 +0200 | ripspin | (~chatzilla@1.145.157.43) (Remote host closed the connection) |
| 2023-08-02 18:46:26 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 18:50:48 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 18:54:23 +0200 | shapr | (~user@2600:1700:c640:3100:d83:ce07:81bf:d3e2) (Remote host closed the connection) |
| 2023-08-02 18:54:37 +0200 | shapr | (~user@2600:1700:c640:3100:5b35:c1ff:c0fb:3f9c) |
| 2023-08-02 18:55:06 +0200 | shapr | (~user@2600:1700:c640:3100:5b35:c1ff:c0fb:3f9c) (Remote host closed the connection) |
| 2023-08-02 18:56:03 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 18:57:35 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 19:00:28 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 19:00:32 +0200 | cheater | (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2023-08-02 19:01:35 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2023-08-02 19:01:47 +0200 | thegeekinside | (~thegeekin@189.141.65.87) (Remote host closed the connection) |
| 2023-08-02 19:07:12 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2023-08-02 19:07:39 +0200 | thegeekinside | (~thegeekin@189.141.65.87) |
| 2023-08-02 19:19:29 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) |
| 2023-08-02 19:25:32 +0200 | ai5lk | (~ai5lk@209-188-121-236.taosnet.com) (Quit: WeeChat 3.8) |
| 2023-08-02 19:25:57 +0200 | CiaoSen | (~Jura@2a05:5800:297:3300:664b:f0ff:fe37:9ef) (Ping timeout: 260 seconds) |
| 2023-08-02 19:30:06 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-02 19:35:32 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-08-02 19:37:33 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 19:37:56 +0200 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 19:39:28 +0200 | danza_ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 19:39:53 +0200 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 19:40:56 +0200 | danza_ | (~francesco@151.19.250.85) (Remote host closed the connection) |
| 2023-08-02 19:41:16 +0200 | flounders | (~flounders@24.246.133.1) (Ping timeout: 245 seconds) |
| 2023-08-02 19:41:47 +0200 | danza_ | (~francesco@151.19.250.85) |
| 2023-08-02 19:42:12 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-08-02 19:42:31 +0200 | danza_ | (~francesco@151.19.250.85) (Read error: Connection reset by peer) |
| 2023-08-02 19:52:41 +0200 | razetime | (~quassel@117.254.37.137) (Ping timeout: 246 seconds) |
| 2023-08-02 19:53:26 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 19:58:13 +0200 | <justsomeguy> | Can someone reccomend me a docker/OCI container that is set up for Haskell development? |
| 2023-08-02 19:58:37 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 260 seconds) |
| 2023-08-02 19:59:24 +0200 | <justsomeguy> | I set one up myself, but am getting weird compilation errors when I try to install hspec. |
| 2023-08-02 20:00:33 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 20:00:49 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 20:01:52 +0200 | <[exa]> | justsomeguy: there are some (semi?)official haskell dockers that so far worked for me |
| 2023-08-02 20:02:08 +0200 | <[exa]> | perhaps what is the error? may be a docker weirdness |
| 2023-08-02 20:02:11 +0200 | <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 20:02:35 +0200 | <[exa]> | (if I don't explicitly need isolation I'm just using podman for everything nowadays, saves a ton of effort) |
| 2023-08-02 20:03:37 +0200 | <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 20:05:11 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Client Quit) |
| 2023-08-02 20:09:23 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) |
| 2023-08-02 20:11:31 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-08-02 20:13:50 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 245 seconds) |
| 2023-08-02 20:14:22 +0200 | merijn | (~merijn@088-129-128-083.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 2023-08-02 20:15:37 +0200 | <jade[m]> | looks like the new plumbed room is working (for now) :D |
| 2023-08-02 20:15:59 +0200 | <jade[m]> | aa that's an issue indeed, but progress |
| 2023-08-02 20:16:46 +0200 | <jade[m]> | but that was from #haskell:libera.chat right? |
| 2023-08-02 20:17:00 +0200 | <ncf> | is the issue that we can't see who you're talking to right now? |
| 2023-08-02 20:17:31 +0200 | <geekosaur> | yes |
| 2023-08-02 20:17:34 +0200 | Axma50742 | (~Axman6@user/axman6) |
| 2023-08-02 20:17:37 +0200 | <jade[m]> | ah, I see |
| 2023-08-02 20:17:39 +0200 | <geekosaur> | the bridge is very spotty |
| 2023-08-02 20:18:08 +0200 | <geekosaur> | jade's messages are making ot across, mine aren't, jean-paul's aren't |
| 2023-08-02 20:18:46 +0200 | <ncf> | try pressing the keys harder? |
| 2023-08-02 20:19:17 +0200 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 250 seconds) |
| 2023-08-02 20:19:20 +0200 | <geekosaur> | @tell justsomeguy summarizing from matrix: nix itself is a normal program, it's nixos that would need a container |
| 2023-08-02 20:19:21 +0200 | <lambdabot> | Consider it noted. |
| 2023-08-02 20:20:03 +0200 | mima | (~mmh@dhcp-138-246-3-191.dynamic.eduroam.mwn.de) (Ping timeout: 246 seconds) |
| 2023-08-02 20:25:02 +0200 | <geekosaur> | the bridge is pretty fouled up right now and has been since the outage a day or so ago |
| 2023-08-02 20:29:05 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 20:30:26 +0200 | trev | (~trev@user/trev) |
| 2023-08-02 20:32:16 +0200 | codaraxis | (~codaraxis@user/codaraxis) |
| 2023-08-02 20:32:47 +0200 | Techcable | (~Techcable@user/Techcable) |
| 2023-08-02 20:36:53 +0200 | simikando | (~simikando@adsl-dyn-104.95-102-88.t-com.sk) (Remote host closed the connection) |
| 2023-08-02 20:38:58 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 20:39:32 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 245 seconds) |
| 2023-08-02 20:41:32 +0200 | Pickchea | (~private@user/pickchea) |
| 2023-08-02 20:42:09 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 20:43:23 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2023-08-02 20:44:16 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Quit: WeeChat 4.0.2) |
| 2023-08-02 20:45:53 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Client Quit) |
| 2023-08-02 20:47:14 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-08-02 20:49:27 +0200 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-08-02 20:49:28 +0200 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) |
| 2023-08-02 20:51:09 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-08-02 20:51:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-08-02 20:54:39 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 21:01:04 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-08-02 21:05:05 +0200 | zebug | (~zebug@2a09:bac5:328e:14dc::214:2a) (Quit: Leaving) |
| 2023-08-02 21:05:54 +0200 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) (Ping timeout: 246 seconds) |
| 2023-08-02 21:06:43 +0200 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) |
| 2023-08-02 21:07:06 +0200 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 21:07:10 +0200 | notzmv | (~zmv@user/notzmv) (Read error: Connection reset by peer) |
| 2023-08-02 21:08:29 +0200 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 21:08:48 +0200 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) |
| 2023-08-02 21:08:50 +0200 | kristaL | (~kristaL@user-5-173-131-124.play-internet.pl) (Client Quit) |
| 2023-08-02 21:09:09 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-08-02 21:09:31 +0200 | elain4 | (~textual@static-71-251-226-194.rcmdva.fios.verizon.net) (Client Quit) |
| 2023-08-02 21:14:57 +0200 | ph88 | (~ph88@ip5b403cd4.dynamic.kabel-deutschland.de) |
| 2023-08-02 21:18:24 +0200 | anselmschueler | (~anselmsch@user/schuelermine) |
| 2023-08-02 21:20:45 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-08-02 21:22:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2023-08-02 21:25:32 +0200 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-08-02 21:27:34 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.1) |
| 2023-08-02 21:27:47 +0200 | flounders | (~flounders@24.246.133.1) |
| 2023-08-02 21:30:51 +0200 | cptaffe | (~cptaffe@c-98-50-224-200.hsd1.ar.comcast.net) (Ping timeout: 245 seconds) |
| 2023-08-02 21:39:07 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 21:42:58 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 21:43:26 +0200 | briandaed | (~briandaed@185.234.210.211) |
| 2023-08-02 21:47:47 +0200 | ft | (~ft@p3e9bccf3.dip0.t-ipconnect.de) |
| 2023-08-02 21:49:13 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 21:49:18 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2023-08-02 21:52:12 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::f8d5) |
| 2023-08-02 21:53:30 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 252 seconds) |
| 2023-08-02 21:54:34 +0200 | Kuttenbrunzer | (~Kuttenbru@2a02:8108:8b80:1d48::f8d5) (Client Quit) |
| 2023-08-02 21:54:55 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 21:55:22 +0200 | cptaffe | (~cptaffe@99-47-99-155.lightspeed.ltrkar.sbcglobal.net) |
| 2023-08-02 21:56:24 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Quit: leaving) |
| 2023-08-02 21:56:35 +0200 | Buliarous | (~gypsydang@46.232.210.139) |
| 2023-08-02 21:56:58 +0200 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-08-02 21:58:53 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 21:59:28 +0200 | mima | (~mmh@aftr-82-135-83-22.dynamic.mnet-online.de) |
| 2023-08-02 22:04:01 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2023-08-02 22:07:04 +0200 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-08-02 22:07:06 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) (Remote host closed the connection) |
| 2023-08-02 22:07:39 +0200 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-08-02 22:10:28 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-08-02 22:15:30 +0200 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:1c8b:d3c2:7cf7:a248) |
| 2023-08-02 22:17:06 +0200 | anselmschueler | (~anselmsch@user/schuelermine) (Ping timeout: 245 seconds) |
| 2023-08-02 22:21:31 +0200 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) |
| 2023-08-02 22:26:17 +0200 | pavonia | (~user@user/siracusa) |
| 2023-08-02 22:29:43 +0200 | cheater | (~Username@user/cheater) |
| 2023-08-02 22:33:30 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-08-02 22:35:42 +0200 | shapr | (~user@2600:1700:c640:3100:3ee3:4baf:9e91:b42d) |
| 2023-08-02 22:53:55 +0200 | gatekempt_ | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) |
| 2023-08-02 22:54:54 +0200 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2023-08-02 22:58:37 +0200 | gatekempt_ | (~gatekempt@static-71-251-226-194.rcmdva.fios.verizon.net) (Client Quit) |
| 2023-08-02 23:06:26 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-08-02 23:08:04 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2023-08-02 23:11:04 +0200 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 244 seconds) |
| 2023-08-02 23:15:31 +0200 | fendor | (~fendor@2a02:8388:1640:be00:1f28:32b1:54ac:a932) |
| 2023-08-02 23:17:30 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 23:17:36 +0200 | Square2 | (~Square@user/square) |
| 2023-08-02 23:22:39 +0200 | jero98772 | (~jero98772@2800:484:1d84:300::7) |
| 2023-08-02 23:34:05 +0200 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-08-02 23:34:50 +0200 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-08-02 23:39:53 +0200 | dcoutts | (~duncan@2a00:23c7:7c08:b01:5d7a:5461:52c8:fe33) |
| 2023-08-02 23:40:49 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-08-02 23:41:46 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2023-08-02 23:44:18 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2023-08-02 23:45:40 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) |
| 2023-08-02 23:51:27 +0200 | merijn | (~merijn@c-001-001-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2023-08-02 23:53:01 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) |
| 2023-08-02 23:53:30 +0200 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-08-02 23:56:12 +0200 | acidjnk_new | (~acidjnk@p200300d6e7072f33f4e02106a3530d09.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2023-08-02 23:57:06 +0200 | arahael | (~arahael@124-149-31-4.dyn.iinet.net.au) (Ping timeout: 245 seconds) |
| 2023-08-02 23:57:39 +0200 | danza | (~francesco@151.19.231.128) |
| 2023-08-02 23:59:03 +0200 | danza | (~francesco@151.19.231.128) (Read error: Connection reset by peer) |
| 2023-08-02 23:59:21 +0200 | danza | (~francesco@151.43.234.196) |