Logs on 2025-04-03 (liberachat/#haskell)
| 00:02:16 | × | sprotte24 quits (~sprotte24@p200300d16f105300edc0583ef9378a6d.dip0.t-ipconnect.de) (Quit: Leaving) |
| 00:06:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:08:16 | × | otto_s quits (~user@p4ff27ad6.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 00:10:10 | → | otto_s joins (~user@p5b044be5.dip0.t-ipconnect.de) |
| 00:17:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:22:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:22:42 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 00:33:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:33:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:8220:3efc:a503:ef) (Quit: xff0x) |
| 00:34:38 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:36:09 | → | califax joins (~califax@user/califx) |
| 00:38:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 00:46:15 | <troydm> | I'm trying to use HLS with package dependency that is installed using cabal v1-install and HLS fails to start because of that with message like this |
| 00:46:36 | <troydm> | After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling |
| 00:46:51 | <troydm> | to be more specific |
| 00:47:32 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:48:05 | <troydm> | I've git cloned latest Eurtepea, installed it as instructed using v1-install and now I'm trying to use it in project that works fine with cabal v1-build, but HLS seems to be not working |
| 00:48:34 | <troydm> | is there any specific way to solve this issue, like instructing HLS to use v1 package definitions? |
| 00:48:40 | <troydm> | or it won't work? |
| 00:49:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:49:38 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 00:53:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:54:23 | → | xff0x joins (~xff0x@2405:6580:b080:900:26c2:538c:cacb:10a4) |
| 00:55:44 | <Leary> | troydm: v1-* should be considered deprecated; rather than trying to make HLS work with v1-*, I suggest you make that dependency work with modern cabal. At a guess, you just need a source override for it: https://cabal.readthedocs.io/en/3.10/cabal-project.html#specifying-packages-from-remote-version-control-locations |
| 01:02:09 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 01:03:01 | <troydm> | Leary: yeah I know,but Euterpea is a big library, and make it work with modern format would be a bit challenge for me, besides the point of using it with HSoM I'll guess, for now I'll skip using HLS, maybe I'll come back to this issue when I'll have more freetime |
| 01:03:42 | × | xff0x quits (~xff0x@2405:6580:b080:900:26c2:538c:cacb:10a4) (Ping timeout: 246 seconds) |
| 01:04:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:04:40 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 01:04:41 | → | hattckory joins (~hattckory@70.27.118.207) |
| 01:08:41 | <EvanR> | wow euterpea is still working |
| 01:08:58 | <Leary> | troydm: I don't know what challenge you're envisioning; it'll probably "just work". |
| 01:09:18 | × | Square quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 01:09:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 01:12:37 | × | notdabs quits (~Owner@2600:1700:69cf:9000:6913:74bc:c005:815d) (Read error: Connection reset by peer) |
| 01:13:21 | × | EvanR quits (~EvanR@user/evanr) (Quit: Leaving) |
| 01:14:30 | → | EvanR joins (~EvanR@user/evanr) |
| 01:20:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:31 | → | werneta joins (~werneta@syn-071-083-160-242.res.spectrum.com) |
| 01:24:04 | <haskellbridge> | <alexfmpe> tried it, built just fine with "cabal build all --allow-newer" |
| 01:24:53 | <haskellbridge> | <alexfmpe> there's also a PR bumping bounds and cabal format |
| 01:25:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:27:13 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 01:31:29 | × | anpad quits (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 01:36:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:40:20 | → | juri_ joins (~juri@implicitcad.org) |
| 01:42:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:53:51 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:54:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:59:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:10:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:12:26 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:14:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:21:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:22:56 | × | weary-traveler quits (~user@user/user363627) (Quit: Konversation terminated!) |
| 02:23:12 | → | weary-traveler joins (~user@user/user363627) |
| 02:26:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 02:33:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 02:33:49 | → | zungi joins (~tory@user/andrewchawk) |
| 02:37:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:37:19 | × | sp1ff quits (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 02:42:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:45:53 | XZDX_ | is now known as XZDX |
| 02:53:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:57:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:01:38 | × | toby-bro quits (~toby-bro@user/toby-bro) (Ping timeout: 245 seconds) |
| 03:08:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:13:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:24:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:25:54 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 03:29:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 03:40:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:42:51 | → | anpad joins (~pandeyan@user/anpad) |
| 03:43:46 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:44:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:50:11 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 03:51:44 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:53:47 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 03:54:10 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 03:56:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:59:40 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:05:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:06:40 | → | j1n37- joins (~j1n37@user/j1n37) |
| 04:07:33 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 04:17:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:17:03 | × | j1n37- quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 04:20:45 | → | j1n37 joins (~j1n37@user/j1n37) |
| 04:22:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:25:44 | → | tavare joins (~tavare@150.129.88.189) |
| 04:25:44 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 04:25:44 | → | tavare joins (~tavare@user/tavare) |
| 04:25:47 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 04:28:04 | <haskellbridge> | <Liamzee> wanna see something silly? Well, it's not that silly, but it looks like it needs improvement |
| 04:28:05 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/program/pidigits-ghc-6.html |
| 04:31:56 | → | michalz joins (~michalz@185.246.207.200) |
| 04:32:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:37:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 04:37:44 | × | TheCoffeMaker quits (~TheCoffeM@user/thecoffemaker) (Ping timeout: 244 seconds) |
| 04:40:13 | <haskellbridge> | <Liamzee> grrr, swapping to foldr isn't helping |
| 04:40:43 | <haskellbridge> | <Liamzee> https://benchmarksgame-team.pages.debian.net/benchmarksgame/performance/pidigits.html |
| 04:44:55 | → | TheCoffeMaker joins (~TheCoffeM@user/thecoffemaker) |
| 04:48:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:49:28 | × | zungi quits (~tory@user/andrewchawk) (Remote host closed the connection) |
| 04:52:12 | × | sand-witch quits (~m-mzmz6l@vmi833741.contaboserver.net) (Ping timeout: 244 seconds) |
| 04:53:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:54:37 | → | sand-witch joins (~m-mzmz6l@vmi833741.contaboserver.net) |
| 04:59:55 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:01:20 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 05:04:22 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:11:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 05:22:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:23:13 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.0) |
| 05:26:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:37:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:42:18 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 05:43:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 05:43:42 | → | internatetional joins (~nate@2001:448a:20a3:c2e5:1ff:2f99:87a6:53fc) |
| 05:50:34 | × | hattckory quits (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 05:53:32 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:54:30 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 05:55:49 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:57:04 | × | internatetional quits (~nate@2001:448a:20a3:c2e5:1ff:2f99:87a6:53fc) (Ping timeout: 245 seconds) |
| 05:59:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 06:02:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:04:27 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 06:06:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:09:59 | → | ash3en joins (~Thunderbi@149.222.146.133) |
| 06:18:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:22:41 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 248 seconds) |
| 06:23:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:29:00 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 06:31:26 | × | statusbot quits (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (Remote host closed the connection) |
| 06:31:38 | → | statusbot joins (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 06:33:26 | × | ash3en quits (~Thunderbi@149.222.146.133) (Quit: ash3en) |
| 06:33:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:35:18 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 06:38:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 06:49:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:49:57 | × | ft quits (~ft@p508db463.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:50:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 06:56:08 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 06:56:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 06:59:26 | → | acidjnk_new3 joins (~acidjnk@p200300d6e71c4f85b83e99c39f07048e.dip0.t-ipconnect.de) |
| 07:00:03 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:55 | → | caconym joins (~caconym@user/caconym) |
| 07:06:48 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 07:06:50 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 07:08:57 | → | fp1 joins (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) |
| 07:16:47 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 07:17:19 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 07:17:38 | × | fp1 quits (~Thunderbi@wireless-86-50-141-186.open.aalto.fi) (Ping timeout: 252 seconds) |
| 07:18:09 | Lord_of_Life_ | is now known as Lord_of_Life |
| 07:19:25 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 07:19:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 07:26:04 | × | XZDX quits (~xzdx@user/XZDX) (Remote host closed the connection) |
| 07:27:45 | → | longlongdouble joins (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) |
| 07:27:57 | × | longlongdouble quits (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) (Client Quit) |
| 07:36:29 | → | merijn joins (~merijn@77.242.116.146) |
| 07:43:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 07:43:25 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 07:47:32 | × | werneta quits (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 268 seconds) |
| 07:48:47 | → | gmg joins (~user@user/gehmehgeh) |
| 07:52:45 | × | fr33domlover quits (~fr33domlo@towards.vision) (Ping timeout: 252 seconds) |
| 07:56:17 | → | alp joins (~alp@2001:861:8ca0:4940:21f1:de68:c2b4:1933) |
| 07:59:11 | × | andreas303 quits (andreas303@is.drunk.and.ready-to.party) (Quit: fBNC - https://bnc4free.com) |
| 08:13:42 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:17:34 | → | kuribas joins (~user@2a02:1808:47:c51c:9dbb:a01f:9505:4ce) |
| 08:19:09 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:28:34 | → | forell joins (~forell@user/forell) |
| 08:34:05 | <haskellbridge> | <Liamzee> bleh, it looks like it's a broken benchmark, because like 80% of the time in either JS or HS is spent writing to the console |
| 08:39:06 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 08:39:23 | × | nckx quits (nckx@libera/staff/owl/nckx) (Ping timeout: 608 seconds) |
| 08:42:35 | <haskellbridge> | <Bowuigi> Yeah the Rust solution uses a huge buffer and then writes everything |
| 08:44:21 | → | chele joins (~chele@user/chele) |
| 08:51:58 | → | andreas303 joins (andreas303@is.drunk.and.ready-to.party) |
| 09:03:29 | → | dhil joins (~dhil@2a0c:b381:52e:3600:1d11:9b3a:d09a:e2f8) |
| 09:04:44 | → | comerijn joins (~merijn@77.242.116.146) |
| 09:06:24 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 09:09:12 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 09:09:40 | × | Googulator quits (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed) |
| 09:10:11 | → | Googulator joins (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 09:21:42 | → | merijn joins (~merijn@77.242.116.146) |
| 09:27:51 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
| 09:32:50 | → | kuribas` joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:34:34 | × | kuribas quits (~user@2a02:1808:47:c51c:9dbb:a01f:9505:4ce) (Ping timeout: 260 seconds) |
| 09:34:36 | × | thuna` quits (~thuna`@user/thuna/x-1480069) (Ping timeout: 244 seconds) |
| 09:41:48 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 09:52:24 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:a8be:5729:753e:3d1c) |
| 09:53:51 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 09:55:49 | × | cyphase quits (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 09:57:06 | → | cyphase joins (~cyphase@user/cyphase) |
| 10:05:03 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 10:05:41 | × | acidjnk_new3 quits (~acidjnk@p200300d6e71c4f85b83e99c39f07048e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 10:06:12 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 10:08:57 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 10:14:44 | → | merijn joins (~merijn@77.242.116.146) |
| 10:21:24 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 260 seconds) |
| 10:23:54 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:24:45 | → | merijn joins (~merijn@77.242.116.146) |
| 10:34:28 | → | Square joins (~Square4@user/square) |
| 10:43:43 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 245 seconds) |
| 10:44:42 | → | merijn joins (~merijn@77.242.116.146) |
| 10:47:48 | → | ash3en joins (~Thunderbi@149.222.146.133) |
| 10:54:15 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 10:54:50 | → | merijn joins (~merijn@77.242.116.146) |
| 11:00:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 11:02:02 | → | comerijn joins (~merijn@77.242.116.146) |
| 11:02:18 | → | caconym joins (~caconym@user/caconym) |
| 11:03:44 | → | sprotte24 joins (~sprotte24@p200300d16f073800c87c3ce3c3ac2331.dip0.t-ipconnect.de) |
| 11:05:05 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 11:07:22 | × | vhns quits (~vhns@140.238.186.144) (Remote host closed the connection) |
| 11:18:20 | → | xff0x joins (~xff0x@2405:6580:b080:900:4999:ed25:622a:4144) |
| 11:18:50 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 11:19:39 | → | acidjnk_new3 joins (~acidjnk@p200300d6e71c4f05d9fc6a647f9af022.dip0.t-ipconnect.de) |
| 11:23:18 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 11:27:41 | → | __monty__ joins (~toonn@user/toonn) |
| 11:28:46 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 11:42:36 | × | tromp quits (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:01:41 | → | bramh9 joins (~bramh@user/bramh) |
| 12:01:46 | × | bramh quits (~bramh@user/bramh) (Ping timeout: 272 seconds) |
| 12:01:47 | bramh9 | is now known as bramh |
| 12:02:29 | × | exfalsoquodlibet quits (a7085e0f71@2a03:6000:1812:100::13a3) (Remote host closed the connection) |
| 12:02:29 | × | bgtdsword quits (b968c1779f@user/titibandit) (Remote host closed the connection) |
| 12:02:29 | × | raghavgururajan quits (ea769b8000@user/raghavgururajan) (Remote host closed the connection) |
| 12:02:29 | × | lane quits (809450f172@2a03:6000:1812:100::1300) (Remote host closed the connection) |
| 12:02:29 | × | samhh_ quits (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 12:02:29 | × | ymherklotz quits (cb2c9cfbdd@2a03:6000:1812:100::29a) (Remote host closed the connection) |
| 12:02:29 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Remote host closed the connection) |
| 12:02:29 | × | stureplan quits (22e45d5caf@user/stureplan) (Remote host closed the connection) |
| 12:02:29 | × | bheesham quits (3aa22d8375@2a03:6000:1812:100::e40) (Remote host closed the connection) |
| 12:02:29 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Remote host closed the connection) |
| 12:02:29 | × | eso quits (a0662dfd5e@2a03:6000:1812:100::1266) (Remote host closed the connection) |
| 12:02:29 | × | akspecs quits (00cc8321af@sourcehut/user/akspecs) (Remote host closed the connection) |
| 12:02:29 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Remote host closed the connection) |
| 12:02:29 | × | uint64_t quits (ec7b9bb9f3@2a03:6000:1812:100::139b) (Remote host closed the connection) |
| 12:02:29 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Remote host closed the connection) |
| 12:02:29 | × | fgaz quits (1ff9197ed6@2a03:6000:1812:100::11ea) (Remote host closed the connection) |
| 12:02:29 | × | shreyasminocha quits (51fdc93eda@user/shreyasminocha) (Remote host closed the connection) |
| 12:02:29 | × | probie quits (cc0b34050a@user/probie) (Remote host closed the connection) |
| 12:02:29 | × | sm2n quits (ae95cb1267@user/sm2n) (Remote host closed the connection) |
| 12:02:29 | × | pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (Remote host closed the connection) |
| 12:02:29 | × | lucyy quits (228ee8f0ce@user/lucyy) (Remote host closed the connection) |
| 12:02:29 | × | fvr quits (ef3e56ca8b@2a03:6000:1812:100::3c4) (Remote host closed the connection) |
| 12:02:29 | × | rselim quits (ce261f06ff@user/milesrout) (Remote host closed the connection) |
| 12:02:29 | × | smiesner quits (b0cf5acf8c@user/smiesner) (Remote host closed the connection) |
| 12:02:29 | × | evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (Remote host closed the connection) |
| 12:02:29 | × | aniketd quits (32aa4844cd@2a03:6000:1812:100::dcb) (Remote host closed the connection) |
| 12:02:29 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (Remote host closed the connection) |
| 12:02:29 | × | arcadewise quits (52968ed80d@2a03:6000:1812:100::3df) (Remote host closed the connection) |
| 12:02:30 | × | bsima1 quits (9d7e39c8ad@2a03:6000:1812:100::dd) (Remote host closed the connection) |
| 12:02:30 | × | chaitlatte0 quits (ea29c0bb16@user/chaitlatte0) (Remote host closed the connection) |
| 12:02:30 | × | Guest5227 quits (644f1bed9a@user/jmcantrell) (Remote host closed the connection) |
| 12:02:30 | × | JoelMcCracken quits (5ea8252fbb@2a03:6000:1812:100::10e3) (Remote host closed the connection) |
| 12:02:30 | × | jleightcap quits (7bc4014b62@user/jleightcap) (Remote host closed the connection) |
| 12:02:30 | × | thatonelutenist quits (8216c46202@2a03:6000:1812:100::fb3) (Remote host closed the connection) |
| 12:02:30 | × | jkoshy quits (99b9359beb@user/jkoshy) (Remote host closed the connection) |
| 12:02:30 | × | jakzale quits (6291399afa@user/jakzale) (Remote host closed the connection) |
| 12:02:30 | × | filwisher quits (2e6936c793@2a03:6000:1812:100::170) (Remote host closed the connection) |
| 12:02:30 | × | sus quits (1b7af6299f@user/zeromomentum) (Remote host closed the connection) |
| 12:02:30 | × | Ankhers quits (e99e97ef8e@2a03:6000:1812:100::2a2) (Remote host closed the connection) |
| 12:02:30 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Remote host closed the connection) |
| 12:02:31 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Remote host closed the connection) |
| 12:02:31 | × | lukec quits (9dfd4d094e@2a03:6000:1812:100::10e) (Remote host closed the connection) |
| 12:02:31 | × | cpli quits (77fc530071@2a03:6000:1812:100::252) (Remote host closed the connection) |
| 12:02:32 | × | simendsjo quits (34b0550437@2a03:6000:1812:100::1441) (Remote host closed the connection) |
| 12:02:33 | × | RussetParrotBear quits (45ce440a48@2a03:6000:1812:100::e2) (Remote host closed the connection) |
| 12:02:49 | × | duncan quits (c6181279e3@user/meow/duncan) (Remote host closed the connection) |
| 12:04:53 | → | filwisher joins (2e6936c793@2a03:6000:1812:100::170) |
| 12:04:53 | → | lukec joins (9dfd4d094e@2a03:6000:1812:100::10e) |
| 12:04:53 | → | bsima1 joins (9d7e39c8ad@2a03:6000:1812:100::dd) |
| 12:04:54 | → | evanrelf joins (3addc196af@2a03:6000:1812:100::f0) |
| 12:04:54 | → | fgaz joins (1ff9197ed6@2a03:6000:1812:100::11ea) |
| 12:04:54 | → | pmk joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 12:04:55 | → | RussetParrotBear joins (45ce440a48@2a03:6000:1812:100::e2) |
| 12:04:55 | → | lane joins (809450f172@2a03:6000:1812:100::1300) |
| 12:04:55 | → | smiesner joins (b0cf5acf8c@user/smiesner) |
| 12:04:55 | → | eso joins (a0662dfd5e@2a03:6000:1812:100::1266) |
| 12:04:55 | → | aniketd joins (32aa4844cd@2a03:6000:1812:100::dcb) |
| 12:04:55 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 12:04:56 | → | henrytill joins (e0180937c3@2a03:6000:1812:100::e8c) |
| 12:04:56 | → | chaitlatte0 joins (ea29c0bb16@user/chaitlatte0) |
| 12:04:57 | → | thatonelutenist joins (8216c46202@2a03:6000:1812:100::fb3) |
| 12:04:57 | → | jkoshy joins (99b9359beb@user/jkoshy) |
| 12:04:57 | → | b0o joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 12:04:57 | → | bheesham joins (04d095ca04@2a03:6000:1812:100::e40) |
| 12:04:57 | → | cpli joins (77fc530071@2a03:6000:1812:100::252) |
| 12:04:58 | → | whereiseveryone joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 12:04:58 | → | samhh joins (7569f027cf@2a03:6000:1812:100::e4) |
| 12:04:58 | → | jleightcap joins (7bc4014b62@user/jleightcap) |
| 12:04:58 | → | lucyy joins (228ee8f0ce@user/lucyy) |
| 12:04:58 | → | fvr joins (ef3e56ca8b@2a03:6000:1812:100::3c4) |
| 12:04:58 | → | bgtdsword joins (b968c1779f@user/titibandit) |
| 12:04:59 | → | fn_lumi joins (3d621153a5@2a03:6000:1812:100::df7) |
| 12:04:59 | → | shreyasminocha joins (51fdc93eda@user/shreyasminocha) |
| 12:04:59 | → | simendsjo joins (34b0550437@2a03:6000:1812:100::1441) |
| 12:04:59 | → | uint64_t joins (ec7b9bb9f3@2a03:6000:1812:100::139b) |
| 12:05:00 | → | akspecs joins (00cc8321af@sourcehut/user/akspecs) |
| 12:05:00 | → | jakzale joins (6291399afa@user/jakzale) |
| 12:05:00 | → | sus joins (1b7af6299f@user/zeromomentum) |
| 12:05:00 | → | arcadewise joins (52968ed80d@2a03:6000:1812:100::3df) |
| 12:05:00 | → | exfalsoquodlibet joins (a7085e0f71@2a03:6000:1812:100::13a3) |
| 12:05:00 | → | ymherklotz joins (cb2c9cfbdd@2a03:6000:1812:100::29a) |
| 12:05:01 | → | jmcantrell joins (644f1bed9a@user/jmcantrell) |
| 12:05:01 | → | stureplan joins (22e45d5caf@user/stureplan) |
| 12:05:01 | → | probie joins (cc0b34050a@user/probie) |
| 12:05:01 | → | Ankhers joins (e99e97ef8e@2a03:6000:1812:100::2a2) |
| 12:05:02 | → | JoelMcCracken joins (5ea8252fbb@2a03:6000:1812:100::10e3) |
| 12:05:02 | → | rselim joins (ce261f06ff@user/milesrout) |
| 12:05:04 | → | raghavgururajan joins (ea769b8000@user/raghavgururajan) |
| 12:05:04 | → | duncan joins (c6181279e3@user/meow/duncan) |
| 12:05:04 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 12:05:06 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 12:06:41 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 12:07:54 | → | nckx joins (nckx@libera/staff/owl/nckx) |
| 12:10:20 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 12:11:30 | × | dhil quits (~dhil@2a0c:b381:52e:3600:1d11:9b3a:d09a:e2f8) (Ping timeout: 246 seconds) |
| 12:11:40 | gehmehgeh | is now known as gmg |
| 12:12:17 | × | sprotte24 quits (~sprotte24@p200300d16f073800c87c3ce3c3ac2331.dip0.t-ipconnect.de) (Quit: Leaving) |
| 12:13:16 | × | Googulator quits (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Quit: Client closed) |
| 12:13:42 | → | Googulator joins (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) |
| 12:15:42 | × | ash3en quits (~Thunderbi@149.222.146.133) (Ping timeout: 246 seconds) |
| 12:17:50 | JuanDaugherty | is now known as ColinRobinson |
| 12:19:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 12:19:45 | × | tromp quits (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Client Quit) |
| 12:22:09 | × | alp quits (~alp@2001:861:8ca0:4940:21f1:de68:c2b4:1933) (Ping timeout: 248 seconds) |
| 12:25:01 | → | dhil joins (~dhil@2a0c:b381:52e:3600:1d11:9b3a:d09a:e2f8) |
| 12:32:58 | → | ash3en joins (~Thunderbi@149.222.146.133) |
| 12:37:44 | ColinRobinson | is now known as Lycurgus |
| 12:38:07 | × | Lycurgus quits (~juan@user/JuanDaugherty) (Changing host) |
| 12:38:07 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 12:38:23 | × | kuribas` quits (~user@ip-188-118-57-242.reverse.destiny.be) (Read error: Connection reset by peer) |
| 12:46:30 | → | longlongdouble joins (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) |
| 12:46:49 | × | longlongdouble quits (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) (Client Quit) |
| 12:48:17 | → | j1n37- joins (~j1n37@user/j1n37) |
| 12:49:25 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 12:50:09 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 12:55:05 | → | weary-traveler joins (~user@user/user363627) |
| 13:01:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 13:09:17 | → | wlhn joins (~wlhn@2001-14ba-4e04-ccf0-9803-c364-b8d-97b4.rev.dnainternet.fi) |
| 13:14:29 | × | ircbrowse_tom_ quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 13:14:52 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 13:14:53 | Server | sets mode +Cnt |
| 13:15:04 | → | rncwnd_ joins (~quassel@2a01:4f8:221:27c6::1) |
| 13:15:23 | → | TimWolla_ joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 13:15:26 | × | ski quits (~ski@remote11.chalmers.se) (Ping timeout: 244 seconds) |
| 13:15:34 | → | drlkf joins (~drlkf@chat-1.drlkf.net) |
| 13:15:34 | → | _[_________]_ joins (~oos95GWG@user/oos95GWG) |
| 13:15:54 | → | walt joins (~ggVGc@a.lowtech.earth) |
| 13:16:49 | → | remsen joins (ianremsen@tilde.team) |
| 13:16:56 | → | astroanax joins (~astroanax@cosmic.voyage) |
| 13:17:10 | → | Taneb joins (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 13:17:22 | → | ski joins (~ski@remote11.chalmers.se) |
| 13:17:25 | × | dpk quits (~dpk@jains.nonceword.org) (Killed (NickServ (GHOST command used by [dpk]))) |
| 13:17:30 | [dpk] | is now known as dpk |
| 13:17:41 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (Quit: Bye) |
| 13:17:41 | → | aristid_ joins (sid1599@id-1599.uxbridge.irccloud.com) |
| 13:17:41 | → | tritlo_ joins (sid58727@id-58727.hampstead.irccloud.com) |
| 13:17:41 | → | edmundnoble__ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 13:17:42 | × | swistak quits (~swistak@185.21.216.141) (Quit: bye bye) |
| 13:17:42 | TimWolla_ | is now known as TimWolla |
| 13:17:45 | × | aristid quits (sid1599@id-1599.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 13:17:45 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Read error: Connection reset by peer) |
| 13:17:45 | × | tritlo quits (sid58727@id-58727.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 13:17:45 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 13:17:45 | × | Pent quits (sid313808@id-313808.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 13:17:45 | × | remmie quits (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 13:17:46 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 268 seconds) |
| 13:17:46 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Ping timeout: 268 seconds) |
| 13:17:46 | × | ggVGc quits (~ggVGc@a.lowtech.earth) (Remote host closed the connection) |
| 13:17:46 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (Ping timeout: 268 seconds) |
| 13:17:46 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 268 seconds) |
| 13:17:46 | aristid_ | is now known as aristid |
| 13:17:46 | tritlo_ | is now known as tritlo |
| 13:17:46 | edmundnoble__ | is now known as edmundnoble_ |
| 13:17:46 | × | sus0 quits (thelounge@user/zeromomentum) (Quit: Ping timeout (120 seconds)) |
| 13:17:46 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Ping timeout: 248 seconds) |
| 13:17:47 | op_4_ | is now known as op_4 |
| 13:17:47 | × | rncwnd quits (~quassel@2a01:4f8:221:27c6::1) (Quit: No Ping reply in 180 seconds.) |
| 13:17:47 | × | end quits (~end@user/end/x-0094621) (Quit: end) |
| 13:17:47 | × | ircbrowse_tom_ quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 13:17:47 | × | hc quits (~hc@mail.hce.li) (Read error: Connection reset by peer) |
| 13:17:47 | Pent_ | is now known as Pent |
| 13:17:48 | sus01 | is now known as sus0 |
| 13:17:49 | tapas_ | is now known as tapas |
| 13:17:49 | remsen | is now known as remmie |
| 13:20:23 | × | a_fantom quits (~fantom@2.219.56.221) (Ping timeout: 244 seconds) |
| 13:21:15 | → | fantom joins (~fantom@2.219.56.221) |
| 13:25:30 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 13:25:42 | × | Googulator quits (~Googulato@2a01-036d-0106-211a-ac5d-24c1-ad5e-7f2b.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 13:27:45 | → | end joins (~end@user/end/x-0094621) |
| 13:29:48 | × | AlexZenon quits (~alzenon@178.34.150.194) (Ping timeout: 272 seconds) |
| 13:32:27 | → | tabemann_ joins (~tabemann@2600:1700:7990:24e0:eb48:5118:6a44:9814) |
| 13:34:41 | × | tabemann quits (~tabemann@2600:1700:7990:24e0:5768:9309:1e8f:df4b) (Ping timeout: 248 seconds) |
| 13:36:59 | → | AlexZenon joins (~alzenon@178.34.150.194) |
| 13:46:33 | × | ash3en quits (~Thunderbi@149.222.146.133) (Ping timeout: 276 seconds) |
| 13:46:44 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 13:47:24 | → | ash3en joins (~Thunderbi@149.222.146.133) |
| 13:47:36 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 13:48:28 | → | gmg joins (~user@user/gehmehgeh) |
| 13:48:51 | × | AlexZenon quits (~alzenon@178.34.150.194) (Ping timeout: 252 seconds) |
| 13:48:53 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:48:57 | → | rstromlund joins (~user@user/rstromlund) |
| 13:51:13 | → | AlexZenon joins (~alzenon@178.34.150.194) |
| 13:54:27 | × | ash3en quits (~Thunderbi@149.222.146.133) (Ping timeout: 268 seconds) |
| 14:00:37 | → | longlongdouble joins (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) |
| 14:01:21 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 248 seconds) |
| 14:02:12 | × | longlongdouble quits (~longlongd@2405:201:5c16:894:2d75:fd2d:c031:9b09) (Client Quit) |
| 14:02:22 | × | _[_________]_ quits (~oos95GWG@user/oos95GWG) (Quit: _[_________]_) |
| 14:02:30 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 14:08:07 | → | hattckory joins (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) |
| 14:11:18 | → | ash3en joins (~Thunderbi@149.222.146.133) |
| 14:15:25 | → | tromp joins (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 14:16:27 | × | hattckory quits (~hattckory@bras-base-toroon4524w-grc-30-70-27-118-207.dsl.bell.ca) (Ping timeout: 276 seconds) |
| 14:24:58 | × | sim590 quits (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.5.2) |
| 14:27:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:27:28 | → | toby-bro joins (~toby-bro@user/toby-bro) |
| 14:30:26 | → | hattckory joins (~hattckory@70.27.118.207) |
| 14:30:30 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 14:30:39 | → | Digitteknohippie joins (~user@user/digit) |
| 14:31:45 | × | Digit quits (~user@user/digit) (Ping timeout: 248 seconds) |
| 14:34:36 | → | califax_ joins (~califax@user/califx) |
| 14:35:00 | × | califax quits (~califax@user/califx) (Ping timeout: 264 seconds) |
| 14:35:10 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 14:35:36 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 14:35:50 | califax_ | is now known as califax |
| 14:37:42 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 14:38:15 | → | merijn joins (~merijn@77.242.116.146) |
| 14:38:50 | → | sim590 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 14:44:49 | × | comonad quits (~comonad@p200300d0274ac2004a3b1ffc163e1801.dip0.t-ipconnect.de) (Quit: WeeChat 4.6.0-dev) |
| 14:49:56 | → | sprotte24 joins (~sprotte24@p200300d16f073800ec483cc7828fc8d9.dip0.t-ipconnect.de) |
| 14:56:05 | → | notdabs joins (~Owner@2600:1700:69cf:9000:e1c8:559a:8f15:80b) |
| 14:57:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:59:58 | × | tromp quits (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:01:38 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 245 seconds) |
| 15:04:54 | × | DrachenMaus quits (~dragonmau@user/dragonmaus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 15:05:44 | → | DragonMaus joins (~dragonmau@user/dragonmaus) |
| 15:18:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 15:18:44 | × | acidjnk_new3 quits (~acidjnk@p200300d6e71c4f05d9fc6a647f9af022.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 15:26:46 | × | ash3en quits (~Thunderbi@149.222.146.133) (Quit: ash3en) |
| 15:47:46 | × | tromp quits (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:58:06 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 16:01:20 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 16:04:03 | → | euphores joins (~SASL_euph@user/euphores) |
| 16:05:07 | × | chele quits (~chele@user/chele) (Quit: Leaving) |
| 16:05:56 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:05:58 | → | acidjnk_new3 joins (~acidjnk@p200300d6e71c4f05c47cfd219ef4d968.dip0.t-ipconnect.de) |
| 16:05:59 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 16:11:27 | <EvanR> | the read instance for floats seems to accept an infinite amount of digits |
| 16:11:45 | <EvanR> | even if it would output Infinity it consumes as much as could be part of the number |
| 16:11:49 | → | tromp joins (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) |
| 16:11:56 | <EvanR> | security implications xD |
| 16:21:11 | → | jacopovalanzano joins (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 16:22:40 | <__monty__> | Like what, DOS? |
| 16:25:48 | <EvanR> | if you don't know how long the input is and tried to read a float, yeah |
| 16:27:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 268 seconds) |
| 16:28:34 | Digitteknohippie | is now known as Digit |
| 16:46:41 | × | sam113101 quits (~sam@modemcable220.199-203-24.mc.videotron.ca) (Read error: Connection reset by peer) |
| 16:47:00 | → | sam113101 joins (~sam@modemcable220.199-203-24.mc.videotron.ca) |
| 16:48:56 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) () |
| 16:49:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:f90e:e520:180f:b437) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 16:49:29 | → | potatoespotatoes joins (~quassel@130.44.147.204) |
| 16:49:30 | × | potatoespotatoes quits (~quassel@130.44.147.204) (Changing host) |
| 16:49:30 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 16:53:20 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 16:55:15 | → | Square2 joins (~Square@user/square) |
| 16:56:39 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 16:59:01 | × | Square quits (~Square4@user/square) (Ping timeout: 248 seconds) |
| 17:00:16 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 17:09:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 17:14:21 | × | dhil quits (~dhil@2a0c:b381:52e:3600:1d11:9b3a:d09a:e2f8) (Ping timeout: 265 seconds) |
| 17:16:54 | × | sim590 quits (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0) |
| 17:20:38 | <monochrom> | It was written in a simpler time, and since then no one has got around to improve it. |
| 17:21:11 | → | sim590 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:21:24 | <int-e> | > read ('"':repeat ' ') :: () |
| 17:21:26 | <lambdabot> | *Exception: Prelude.read: no parse |
| 17:21:30 | <int-e> | EvanR: it's so much worse |
| 17:21:43 | <int-e> | huh |
| 17:21:54 | <int-e> | > read ('"':repeat ' ') :: Int |
| 17:22:00 | <lambdabot> | mueval-core: Time limit exceeded |
| 17:22:08 | <EvanR> | lol |
| 17:22:10 | <int-e> | did I manage to find an instance that is not lex-based |
| 17:22:18 | × | sim590 quits (~simon@209-15-185-101.resi.cgocable.ca) (Quit: WeeChat 4.6.0) |
| 17:22:44 | → | simon_ joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:22:58 | <int-e> | (evidently, but it surprised me) |
| 17:23:14 | simon_ | is now known as sim590 |
| 17:24:01 | → | tromp joins (~textual@2001:1c00:3487:1b00:c12c:62c3:725c:e71d) |
| 17:24:14 | × | sim590 quits (~simon@209-15-185-101.resi.cgocable.ca) (Client Quit) |
| 17:24:34 | → | simon1 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:24:42 | × | simon1 quits (~simon@209-15-185-101.resi.cgocable.ca) (Client Quit) |
| 17:24:46 | <EvanR> | > read " 2" :: Int |
| 17:24:47 | <lambdabot> | 2 |
| 17:24:53 | <EvanR> | > read " ()" :: () |
| 17:24:55 | <lambdabot> | () |
| 17:24:58 | → | simon1 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:25:01 | <EvanR> | > read " ()" :: () |
| 17:25:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:25:03 | <lambdabot> | () |
| 17:25:22 | EvanR | studies int-e command again |
| 17:25:26 | <EvanR> | 's |
| 17:25:30 | <int-e> | yeah, the Read instance for () is not derived. it does readPrec = parens (paren (return ())) |
| 17:26:24 | <monochrom> | Haha that's cute. |
| 17:26:33 | <EvanR> | > read "\"2" :: Int |
| 17:26:34 | <monochrom> | > read "((((()))))" :: () |
| 17:26:35 | <lambdabot> | *Exception: Prelude.read: no parse |
| 17:26:35 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:a8be:5729:753e:3d1c) (Quit: ubert) |
| 17:26:36 | <lambdabot> | () |
| 17:26:45 | <EvanR> | what's with the initial double quote |
| 17:26:57 | <monochrom> | > read "((( (( ))) ) )" :: () |
| 17:26:58 | <lambdabot> | () |
| 17:27:01 | <monochrom> | Neat. |
| 17:27:01 | <int-e> | it initiates a string token |
| 17:27:12 | <int-e> | EvanR: ^ |
| 17:27:17 | <EvanR> | ? |
| 17:27:21 | <monochrom> | > read "\"hello\"" :: String |
| 17:27:23 | <lambdabot> | "hello" |
| 17:27:41 | <int-e> | derived read instances are built on top of Text.Read.Lex.lex |
| 17:27:44 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:28:00 | <int-e> | which recognizes Haskell-like tokens. And that includes string literals. |
| 17:28:09 | <EvanR> | oh you were probing the String parser |
| 17:28:16 | <EvanR> | not () |
| 17:28:28 | <int-e> | EvanR: well Int is not String |
| 17:28:37 | <EvanR> | nor () |
| 17:28:45 | <EvanR> | () is not string |
| 17:28:55 | <int-e> | EvanR: I tested two things. I expected () to fail the same way that Int does, I was wrong. |
| 17:28:58 | × | simon1 quits (~simon@209-15-185-101.resi.cgocable.ca) (Client Quit) |
| 17:29:12 | → | sim590 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:29:36 | <int-e> | You'll probably agree that Int isn't String either. |
| 17:29:42 | <EvanR> | so all the derived Read instances use lex, and then process the result? |
| 17:30:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:c12c:62c3:725c:e71d) (Ping timeout: 260 seconds) |
| 17:30:11 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:30:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 17:30:31 | × | sim590 quits (~simon@209-15-185-101.resi.cgocable.ca) (Client Quit) |
| 17:30:33 | <EvanR> | instead of something more efficient for that type |
| 17:31:00 | <monochrom> | It was a simpler time. :) |
| 17:31:32 | <int-e> | EvanR: right, and a lot of (most?) non-derived instances too (the instance for Int isn't derived either) |
| 17:32:07 | <int-e> | I just didn't know that () is an exception to the rule. |
| 17:32:19 | <EvanR> | :t Text.Read.Lex.lex |
| 17:32:21 | <lambdabot> | Text.ParserCombinators.ReadP.ReadP Text.Read.Lex.Lexeme |
| 17:32:37 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 17:32:39 | <EvanR> | is that in base or the text package |
| 17:34:25 | <enikar> | ReadP is in base, anyway |
| 17:34:48 | <monochrom> | It's base, even though the module name says "Text". |
| 17:35:05 | <monochrom> | In fact, the text package says Data.Text rather than Text. |
| 17:35:36 | <monochrom> | But I'm up for renaming Data.Text to Text.Data.Text hehe |
| 17:35:54 | → | ft joins (~ft@p508db463.dip0.t-ipconnect.de) |
| 17:35:56 | <monochrom> | I also wouldn't mind Text.Data.Text.Data |
| 17:37:27 | EvanR | moves it all to Prelude |
| 17:38:33 | → | inca joins (~inca@syn-150-221-047-017.biz.spectrum.com) |
| 17:40:49 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:44:50 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 17:45:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 17:47:25 | → | sim590 joins (~simon@209-15-185-101.resi.cgocable.ca) |
| 17:56:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:57:00 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 18:01:46 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:03:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 18:03:35 | × | acidjnk_new3 quits (~acidjnk@p200300d6e71c4f05c47cfd219ef4d968.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 18:06:40 | × | inca quits (~inca@syn-150-221-047-017.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 18:09:58 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 245 seconds) |
| 18:10:06 | × | cheater quits (~Username@user/cheater) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 18:12:02 | → | laxmik joins (~laxmik@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) |
| 18:12:11 | <juri_> | ok, now i have a pure haskell implementation of a multi-head attention mechanism. |
| 18:12:23 | laxmik | is now known as michals |
| 18:12:41 | × | michals quits (~laxmik@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Client Quit) |
| 18:13:06 | → | laxmik joins (~laxmik@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) |
| 18:14:39 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:17:01 | × | laxmik quits (~laxmik@dynamic-2a00-1028-838a-582e-1fea-709e-7606-44f4.ipv6.o2.cz) (Client Quit) |
| 18:19:05 | × | JamesMowery17 quits (~JamesMowe@ip68-228-212-232.ph.ph.cox.net) (Ping timeout: 252 seconds) |
| 18:19:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:20:47 | → | Square joins (~Square4@user/square) |
| 18:22:23 | × | Square2 quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 18:24:27 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:24:49 | → | thuna` joins (~thuna`@user/thuna/x-1480069) |
| 18:25:47 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Ping timeout: 268 seconds) |
| 18:28:04 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:28:06 | × | op_4 quits (~tslil@2a01:4f8:c0c:7952::1) (Remote host closed the connection) |
| 18:28:40 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 18:29:08 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 18:31:45 | → | hseg joins (~gesh@46.120.20.180) |
| 18:32:26 | <hseg> | I'm getting a linking error when building hlint (but not when building anything else) |
| 18:32:31 | <hseg> | /usr/bin/ld.bfd: /home/gesh/.local/share/ghcup/ghc/9.8.4/lib/ghc-9.8.4/lib/../lib/x86_64-linux-ghc-9.8.4/rts-1.0.2/libHSrts-1.0.2_thr.a(Globals.thr_o):(.bss+0x0): multiple definition of `ghc_unique_counter64 |
| 18:32:43 | <hseg> | (snipped to relevant bits) |
| 18:36:47 | <hseg> | (also I've been getting /usr/bin/ld.bfd: warning: type and size of dynamic symbol `pandoczmcrossrefzm0zi3zi19zmAqoLIuL1eLNL3PjILO8ygUzmpandoczmcrossrefzminternal_TextziPandocziCrossRefziReferencesziTypes_zdfDefaultReferences_closure' are not defined, but that seems a different issue) |
| 18:37:23 | <EvanR> | holy manglers batman |
| 18:39:07 | <hseg> | demangling the obvious bits, it's pandoc-crossref-0.3.19-AqoLIuL1eLNL3PjILO8ygU-pandoc-crossref-internal_Text.Pandoc.CrossRef.References.Types_zdfDefaultReferences_closure |
| 18:39:12 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 18:39:17 | <int-e> | hseg: zd = $ |
| 18:39:35 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:39:41 | <hseg> | ah |
| 18:39:48 | <int-e> | (which ghc likes to use for internally generated identifiers) |
| 18:40:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:40:58 | <hseg> | Hrm. Probably refers to the Default References instance in https://github.com/lierdakil/pandoc-crossref/blob/master/lib-internal/Text/Pandoc/CrossRef/References/Types.hs ? |
| 18:41:30 | <hseg> | the hlint link error bothers me more, tbh |
| 18:42:27 | <EvanR> | the irony of "multiple definition of ghc_unique_counter64" |
| 18:43:23 | <hseg> | lol yeah |
| 18:43:37 | <int-e> | hseg: hmm shouldn't ld also tell you the other source(s) of that symbol? |
| 18:44:16 | <hseg> | https://0x0.st/82Ga.txt full error text |
| 18:44:23 | <int-e> | libHSrts-1.0.2_thr.a(Globals.thr_o) sounds about right for its definition |
| 18:45:15 | <hseg> | ah -- it tries linking against both x86_64-linux-ghc-9.8.4 and ...-c895? |
| 18:45:26 | <int-e> | wait why is this mixing 9.8.4 and 9.12.2 stuff? |
| 18:45:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 18:45:34 | <hseg> | still am confused by what that -c895 thing is |
| 18:45:46 | <hseg> | it's not mixing 9.8.4 and 9.12.2 |
| 18:45:59 | <hseg> | it's compiling ghc-lib-parser 9.12.2 on ghc 9.8.4 |
| 18:46:13 | <hseg> | (so it can parse stuff ghc 9.12.2 can) |
| 18:47:47 | → | acidjnk_new3 joins (~acidjnk@p200300d6e71c4f05c47cfd219ef4d968.dip0.t-ipconnect.de) |
| 18:47:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:47:55 | <int-e> | let me guess. 9.12.2 doesn't have https://gitlab.haskell.org/ghc/ghc/-/commit/595013d41464c1e328369bb81ce0ea2814e91b68 |
| 18:48:04 | <int-e> | so 9.8.4 breaks it |
| 18:48:38 | <hseg> | Oh, wait, is that what https://gitlab.haskell.org/ghc/ghc/-/issues/25576 is? |
| 18:48:46 | <hseg> | thought it wasn't relevant |
| 18:49:35 | <int-e> | apparently, though that's for compiling ghc, not ghc-lib-parser |
| 18:50:16 | × | toby-bro quits (~toby-bro@user/toby-bro) (Ping timeout: 272 seconds) |
| 18:50:38 | <int-e> | (well, linking to ghc-lib-parser; the clash only happens when linking to an RTS that defines ghc_unique_counter64) |
| 18:51:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:51:48 | <hseg> | hrm. perhaps if I try bumping the ghc-lib-parser version? |
| 18:52:48 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 18:53:18 | <hseg> | will have to wait for another day, computer's about to turn off |
| 18:53:25 | <hseg> | thanks! |
| 18:54:56 | <int-e> | can confirm that ghc-9.12.2 does not include that fix |
| 18:55:31 | <int-e> | so not sure whether ghc-lib-parser has a chance of picking it up before ghc-9.12.3 |
| 18:56:09 | <int-e> | hseg: IIUC you could downgrade to ghc-9.8.3 or upgrade to 9.10+ instead |
| 18:56:57 | <hseg> | hrm. 9.10 isn't an option -- some of the stuff I'm building hasn't been ported yet |
| 18:57:56 | <hseg> | Can also try using ghc-lib-parser < 9.12 if that works |
| 18:58:09 | <hseg> | will need to see if that works |
| 18:58:23 | <int-e> | nah I think you'd have to downgrade all the way to 9.8 |
| 18:58:39 | <int-e> | or maybe that's a "yeah, but" |
| 18:58:53 | <hseg> | mm. will check, this is an annoying build matrix problem |
| 18:58:58 | <hseg> | gtg, though |
| 18:59:04 | <hseg> | thanks! |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:44 | → | caconym joins (~caconym@user/caconym) |
| 19:02:08 | → | pavonia joins (~user@user/siracusa) |
| 19:02:26 | → | son0p joins (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) |
| 19:03:17 | × | hseg quits (~gesh@46.120.20.180) (Ping timeout: 248 seconds) |
| 19:03:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:06:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 19:06:24 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:06:51 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 19:07:52 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 19:18:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:20:30 | × | jmcantrell quits (644f1bed9a@user/jmcantrell) (Killed (lithium.libera.chat (Nickname regained by services))) |
| 19:20:30 | __jmcantrell__ | is now known as jmcantrell |
| 19:20:40 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 19:20:40 | × | smalltalkman quits (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:23:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:25:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:26:19 | → | AlexNoo_ joins (~AlexNoo@178.34.162.115) |
| 19:28:01 | × | AlexZenon quits (~alzenon@178.34.150.194) (Ping timeout: 252 seconds) |
| 19:29:53 | × | AlexNoo quits (~AlexNoo@178.34.150.194) (Ping timeout: 248 seconds) |
| 19:29:58 | AlexNoo_ | is now known as AlexNoo |
| 19:30:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 19:31:37 | → | rvalue- joins (~rvalue@user/rvalue) |
| 19:31:52 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 19:33:02 | → | weary-traveler joins (~user@user/user363627) |
| 19:38:35 | rvalue- | is now known as rvalue |
| 19:41:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:44:09 | × | hattckory quits (~hattckory@70.27.118.207) (Ping timeout: 260 seconds) |
| 19:45:02 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 19:46:23 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 19:47:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:48:39 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 19:54:08 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 19:56:15 | × | notdabs quits (~Owner@2600:1700:69cf:9000:e1c8:559a:8f15:80b) (Quit: Leaving) |
| 19:59:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:03:21 | → | AlexZenon joins (~alzenon@178.34.162.115) |
| 20:04:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 20:08:28 | → | AlexNoo_ joins (~AlexNoo@178.34.162.245) |
| 20:10:29 | × | AlexZenon quits (~alzenon@178.34.162.115) (Ping timeout: 248 seconds) |
| 20:12:19 | × | AlexNoo quits (~AlexNoo@178.34.162.115) (Ping timeout: 260 seconds) |
| 20:14:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:15:15 | × | kimiamania quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 20:16:37 | → | kimiamania joins (~65804703@user/kimiamania) |
| 20:17:31 | AlexNoo_ | is now known as AlexNoo |
| 20:19:48 | → | AlexZenon joins (~alzenon@178.34.162.245) |
| 20:20:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:26:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:28:48 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) (Remote host closed the connection) |
| 20:28:57 | × | AlexZenon quits (~alzenon@178.34.162.245) (Read error: Connection reset by peer) |
| 20:31:07 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:1b03:b08c:d961:6530) |
| 20:31:35 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 20:32:10 | → | cheater joins (~Username@user/cheater) |
| 20:42:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:46:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:48:38 | × | hiecaq quits (~hiecaq@user/hiecaq) (Read error: Connection reset by peer) |
| 20:50:03 | → | AlexZenon joins (~alzenon@178.34.162.245) |
| 20:53:41 | → | toby-bro joins (~toby-bro@user/toby-bro) |
| 20:55:59 | → | comonad joins (~comonad@p200300d0274ac2004a3b1ffc163e1801.dip0.t-ipconnect.de) |
| 20:56:06 | × | comonad quits (~comonad@p200300d0274ac2004a3b1ffc163e1801.dip0.t-ipconnect.de) (Client Quit) |
| 20:56:22 | → | comonad joins (~comonad@p200300d0274ac2004a3b1ffc163e1801.dip0.t-ipconnect.de) |
| 20:57:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:57:42 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:02:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 21:13:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:14:59 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 21:18:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 21:18:23 | × | myme quits (~myme@2a01:799:d5e:5f00:ece1:5fda:8ec3:3560) (Ping timeout: 252 seconds) |
| 21:19:29 | → | myme joins (~myme@2a01:799:d5e:5f00:8f18:9cf4:29f5:943f) |
| 21:22:05 | → | gmg joins (~user@user/gehmehgeh) |
| 21:27:18 | → | j1n37 joins (~j1n37@user/j1n37) |
| 21:27:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:27:51 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 21:34:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:36:38 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 21:45:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:45:56 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:46:14 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:50:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 21:54:28 | × | tabaqui quits (~tabaqui@167.71.80.236) (Ping timeout: 244 seconds) |
| 22:01:12 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:04:14 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 22:05:20 | × | Eoco quits (~ian@128.101.131.218) (Ping timeout: 252 seconds) |
| 22:05:25 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
| 22:06:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:10:20 | → | weary-traveler joins (~user@user/user363627) |
| 22:11:44 | × | inca quits (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 22:13:23 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 252 seconds) |
| 22:15:15 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 22:16:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:18:32 | → | Eoco joins (~ian@128.101.131.218) |
| 22:19:04 | → | chewybread joins (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
| 22:19:04 | × | chewybread quits (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
| 22:19:04 | → | chewybread joins (~chewybrea@user/chewybread) |
| 22:20:42 | → | hattckory joins (~hattckory@205.189.187.4) |
| 22:21:09 | → | ph88 joins (~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) |
| 22:21:58 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:24:44 | → | remexre joins (~remexre@user/remexre) |
| 22:25:27 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
| 22:28:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:31:13 | × | inca quits (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 268 seconds) |
| 22:31:59 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 22:32:14 | → | Guest57 joins (~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd) |
| 22:33:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:35:58 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:44:11 | × | chewybread quits (~chewybrea@user/chewybread) (Ping timeout: 252 seconds) |
| 22:44:11 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:45:36 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
| 22:49:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:49:57 | × | inca quits (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 248 seconds) |
| 22:52:22 | → | chewybread joins (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) |
| 22:52:23 | × | chewybread quits (~chewybrea@c-174-181-7-135.hsd1.pa.comcast.net) (Changing host) |
| 22:52:23 | → | chewybread joins (~chewybrea@user/chewybread) |
| 22:52:48 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 22:57:40 | → | tavare joins (~tavare@150.129.88.189) |
| 22:57:40 | × | tavare quits (~tavare@150.129.88.189) (Changing host) |
| 22:57:40 | → | tavare joins (~tavare@user/tavare) |
| 22:57:51 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 22:59:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:00:30 | × | Guest57 quits (~Guest57@2607:fb90:bd10:58e0:5d0f:841e:976b:4ffd) (Ping timeout: 240 seconds) |
| 23:00:31 | → | rstromlund joins (~user@user/rstromlund) |
| 23:04:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:05:38 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
| 23:05:45 | × | rstromlund quits (~user@user/rstromlund) (Ping timeout: 268 seconds) |
| 23:12:38 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:13:00 | × | inca quits (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 244 seconds) |
| 23:15:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:17:04 | <haskellbridge> | <Liamzee> https://medium.com/@trueskawka/haskell-divmod-and-quotrem-450b859b656a |
| 23:17:24 | <haskellbridge> | <Liamzee> is haskell auto-optimizing divmod into quotrem? I tried on apple silicon and couldn't find appreciable differences |
| 23:19:04 | tabemann_ | is now known as tabemann |
| 23:22:24 | × | acidjnk_new3 quits (~acidjnk@p200300d6e71c4f05c47cfd219ef4d968.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 23:22:33 | <Axman6> | There has been work to implement efficient division by known constants but I'm not sure if it ever got merged. I was going to work on it but someone else was on it already (and using a less efficient algorithm afaict) |
| 23:22:39 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:23:26 | × | forell quits (~forell@user/forell) (Ping timeout: 252 seconds) |
| 23:26:46 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
| 23:29:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:29:48 | × | sprotte24 quits (~sprotte24@p200300d16f073800ec483cc7828fc8d9.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:30:55 | <geekosaur> | https://gitlab.haskell.org/ghc/ghc/-/issues/22152 is marked fixed. I'm not immediately finding the buggy constant division optimization that got into 9.12.1 |
| 23:34:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 23:38:05 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 23:38:18 | × | inca quits (~inca@syn-098-011-170-006.res.spectrum.com) (Ping timeout: 245 seconds) |
| 23:44:42 | <haskellbridge> | <Liamzee> I don't think GHC can figure out in my context that it's always positive thus quotrem introduces no inaccuracy |
| 23:44:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:45:13 | <haskellbridge> | <Liamzee> also my benchmark is probably wrong, just forcing the value i'm looking for, without using it, is still causing substantial kernel time |
| 23:46:08 | <Axman6> | quotRem is often faster than divMod, and should be preferred if you're working with only positivie inputs |
| 23:46:14 | <Axman6> | positive* |
| 23:47:00 | <c_wraith> | isn't quotRem what hardware actually gives you, with divMod requiring some fixups? |
| 23:47:04 | <haskellbridge> | <Liamzee> it's not kernel time, i'm just misreading |
| 23:47:11 | <haskellbridge> | <Liamzee> zsh time |
| 23:47:12 | <haskellbridge> | <Liamzee> facepalm |
| 23:48:06 | × | jacopovalanzano quits (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) (Ping timeout: 240 seconds) |
| 23:49:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 23:50:00 | <Axman6> | I did some of the work to make this _a lot_ faster on aarch64, adding access to the UMULH and UMULL instructions |
| 23:50:20 | <Axman6> | (Which I think got backported to 9.10 not too long ago) |
| 23:53:34 | × | ph88 quits (~ph88@2a02:8109:9e26:c800:2342:51dd:f532:6d25) (Quit: Leaving) |
| 23:56:06 | → | inca joins (~inca@syn-098-011-170-006.res.spectrum.com) |
All times are in UTC on 2025-04-03.