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