Logs on 2025-01-05 (liberachat/#haskell)
| 00:00:52 | zero | is now known as zzz |
| 00:00:59 | zzz | is now known as yin |
| 00:08:30 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 00:09:24 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 276 seconds) |
| 00:09:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:14:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:15:22 | → | rvalue- joins (~rvalue@user/rvalue) |
| 00:15:49 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 00:18:56 | → | notzmv joins (~umar@user/notzmv) |
| 00:20:07 | × | rvalue- quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 00:25:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:26:00 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 264 seconds) |
| 00:27:42 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:28:05 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-176.cust.tzulo.com) |
| 00:29:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:36:05 | → | housemate joins (~housemate@pa49-183-66-225.pa.vic.optusnet.com.au) |
| 00:37:44 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:40:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:41:42 | → | rvalue- joins (~rvalue@user/rvalue) |
| 00:42:57 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 00:44:41 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 00:44:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 00:47:21 | × | rvalue- quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 00:47:31 | → | rvalue joins (~rvalue@user/rvalue) |
| 00:53:38 | × | housemate quits (~housemate@pa49-183-66-225.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 00:55:32 | → | rvalue- joins (~rvalue@user/rvalue) |
| 00:55:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 00:56:40 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 01:01:39 | × | rvalue- quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 01:02:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 01:03:08 | × | sprotte24 quits (~sprotte24@p200300d16f44f900dcc58d79fe1b895a.dip0.t-ipconnect.de) (Quit: Leaving) |
| 01:03:18 | → | rvalue joins (~rvalue@user/rvalue) |
| 01:11:48 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 01:13:29 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:13:45 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:13:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:18:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 01:26:45 | → | rvalue joins (~rvalue@user/rvalue) |
| 01:29:12 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:30:04 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 265 seconds) |
| 01:32:58 | → | rvalue- joins (~rvalue@user/rvalue) |
| 01:33:27 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 265 seconds) |
| 01:33:51 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:37:24 | rvalue- | is now known as rvalue |
| 01:38:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:40:05 | × | acidjnk_new quits (~acidjnk@p200300d6e7283f7668d37e9a63f3942c.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 01:40:05 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 01:41:20 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 01:41:25 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Client Quit) |
| 01:42:52 | × | otto_s quits (~user@p5de2fd3f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 01:43:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 01:44:44 | → | otto_s joins (~user@p5b044693.dip0.t-ipconnect.de) |
| 01:54:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 01:56:29 | → | dupe5116 joins (~dupe5116@user/tisktisk) |
| 01:58:01 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 01:58:31 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-176.cust.tzulo.com) (Quit: Leaving) |
| 01:59:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 02:00:06 | × | j1n37 quits (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 02:03:19 | → | j1n37 joins (~j1n37@user/j1n37) |
| 02:10:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:14:23 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:15:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 02:22:18 | × | dupe5116 quits (~dupe5116@user/tisktisk) (Quit: WeeChat 4.1.1) |
| 02:22:37 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 02:26:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:27:38 | → | Guest78 joins (~Guest78@37.228.251.150) |
| 02:30:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 02:39:40 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 265 seconds) |
| 02:41:49 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 02:44:01 | × | ft quits (~ft@p508db62f.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 02:44:10 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Quit: WeeChat 4.1.1) |
| 02:44:29 | → | OftenFaded joins (~OftenFade@user/tisktisk) |
| 02:45:40 | → | ft joins (~ft@p3e9bc047.dip0.t-ipconnect.de) |
| 02:45:52 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 02:49:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 02:55:16 | → | nkatte joins (~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) |
| 02:55:52 | × | nkatte quits (~nkatte@2804:14c:87de:706b:dc54:3091:78f1:e245) (Remote host closed the connection) |
| 02:56:19 | → | nkatte joins (~nkatte@user/nkatte) |
| 02:59:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:04:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:05:04 | × | op_4 quits (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
| 03:05:35 | → | op_4 joins (~tslil@user/op-4/x-9116473) |
| 03:06:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 03:06:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 03:14:53 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 03:15:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:17:22 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 03:19:58 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 03:22:53 | → | rvalue- joins (~rvalue@user/rvalue) |
| 03:23:01 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 03:27:08 | → | housemate joins (~housemate@pa49-183-66-225.pa.vic.optusnet.com.au) |
| 03:28:06 | × | rvalue- quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 03:30:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:33:36 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 03:35:01 | → | harveypwca joins (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) |
| 03:35:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 03:35:43 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:40:26 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 03:40:59 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:42:08 | × | terrorjack45 quits (~terrorjac@2a01:4f8:c17:a66e::) (Quit: The Lounge - https://thelounge.chat) |
| 03:43:47 | → | terrorjack45 joins (~terrorjac@2a01:4f8:c17:a66e::) |
| 03:45:44 | × | housemate quits (~housemate@pa49-183-66-225.pa.vic.optusnet.com.au) (Read error: Connection reset by peer) |
| 03:45:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 03:47:40 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 03:50:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 03:57:19 | × | emergence quits (emergence@vm0.max-p.me) (Remote host closed the connection) |
| 03:57:45 | → | emergence joins (emergence@vm0.max-p.me) |
| 03:59:24 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 04:01:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:04:15 | → | rvalue joins (~rvalue@user/rvalue) |
| 04:05:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 04:06:42 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:14:13 | × | emergence quits (emergence@vm0.max-p.me) (Remote host closed the connection) |
| 04:14:29 | → | emergence joins (emergence@vm0.max-p.me) |
| 04:16:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:23:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 04:34:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:38:24 | → | Zer000 joins (~02@64.137.132.10) |
| 04:40:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 04:43:40 | → | rvalue- joins (~rvalue@user/rvalue) |
| 04:44:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 04:45:00 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 04:48:11 | rvalue- | is now known as rvalue |
| 04:50:20 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 04:50:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 04:53:47 | <Zer000> | Does anyone know how to build a haskell-miso project using the latest ghc? I'm still using the instructions for Nix from the README, which uses ghcjs based on ghc8.6.4. The problem is that set of packages doesn't have haskell-language-server. |
| 04:55:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 05:06:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:08:52 | <haskellbridge> | <maerwald> Zer000: It works with wasm afaik |
| 05:10:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 05:13:31 | <Zer000> | maerwald, I'm actually confused because there was a PR merged for javascript backend support https://github.com/dmjio/miso/pull/738 but then there's also https://github.com/tweag/ghc-wasm-miso-examples so maybe they both work now? Okay I'll try to build with wasm I guess |
| 05:19:52 | → | rvalue- joins (~rvalue@user/rvalue) |
| 05:19:58 | <haskellbridge> | <maerwald> The JS backend is semi abandoned |
| 05:20:05 | <haskellbridge> | <maerwald> Use wasm |
| 05:20:37 | <Zer000> | No way! That's kind of sad news, why do you think that? |
| 05:20:39 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 05:21:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:22:23 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Quit: peterbecich) |
| 05:22:46 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 05:23:29 | <haskellbridge> | <maerwald> IOG doesn't actively maintain it anymore |
| 05:23:59 | → | rvalue joins (~rvalue@user/rvalue) |
| 05:24:37 | <haskellbridge> | <maerwald> https://gitlab.haskell.org/ghc/ghc/-/issues/24584 |
| 05:24:46 | <haskellbridge> | <maerwald> The bundle size is bad |
| 05:25:15 | × | rvalue- quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 05:26:25 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:26:52 | <Zer000> | Ideally I could do both with a flag |
| 05:33:51 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 05:37:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:41:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 05:50:02 | × | harveypwca quits (~harveypwc@2601:246:d080:b40:1889:d9bf:2dd8:b288) (Quit: Leaving) |
| 05:52:17 | × | divya quits (divya@140.238.251.170) (Quit: ZNC 1.9.0 - https://znc.in) |
| 05:52:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 05:54:12 | → | rvalue- joins (~rvalue@user/rvalue) |
| 05:55:35 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 05:58:23 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 05:58:50 | rvalue- | is now known as rvalue |
| 05:58:57 | → | housemate joins (~housemate@pa49-199-172-243.pa.vic.optusnet.com.au) |
| 05:59:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 06:00:33 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:00:59 | × | housemate quits (~housemate@pa49-199-172-243.pa.vic.optusnet.com.au) (Remote host closed the connection) |
| 06:06:04 | × | nkatte quits (~nkatte@user/nkatte) (Quit: nkatte) |
| 06:10:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:12:07 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 06:13:40 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:15:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 06:19:06 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 06:21:07 | → | housemate joins (~housemate@pa49-184-176-155.pa.vic.optusnet.com.au) |
| 06:25:52 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:30:02 | → | divya joins (divya@140.238.251.170) |
| 06:30:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 06:31:36 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 276 seconds) |
| 06:31:53 | → | rvalue joins (~rvalue@user/rvalue) |
| 06:41:13 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 06:43:50 | → | rvalue- joins (~rvalue@user/rvalue) |
| 06:44:34 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 06:45:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 06:48:26 | rvalue- | is now known as rvalue |
| 06:54:32 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
| 06:56:36 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:01:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 07:01:54 | × | housemate quits (~housemate@pa49-184-176-155.pa.vic.optusnet.com.au) (Quit: Nothing to see here. I wasn't there. I take IRC seriously.) |
| 07:11:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:16:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 07:16:41 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 07:17:10 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:25:20 | → | michalz joins (~michalz@185.246.207.203) |
| 07:27:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:28:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 07:34:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 07:35:24 | → | notzmv joins (~umar@user/notzmv) |
| 07:38:10 | × | dtman34 quits (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 07:42:02 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 07:45:24 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 07:45:30 | × | homo quits (~homo@user/homo) (Remote host closed the connection) |
| 07:47:24 | → | homo joins (~homo@user/homo) |
| 07:47:31 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:49:55 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 07:51:49 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 07:56:43 | → | rvalue- joins (~rvalue@user/rvalue) |
| 07:57:13 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 08:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:03 | → | dtman34 joins (~dtman34@c-174-53-203-90.hsd1.mn.comcast.net) |
| 08:00:07 | × | tt12310978324354 quits (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Quit: The Lounge - https://thelounge.chat) |
| 08:00:37 | → | caconym joins (~caconym@user/caconym) |
| 08:00:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:01:18 | rvalue- | is now known as rvalue |
| 08:02:46 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:04:17 | → | tt12310978324354 joins (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) |
| 08:05:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:13:05 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 248 seconds) |
| 08:16:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:17:59 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:20:52 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 08:29:16 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:31:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:32:19 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 260 seconds) |
| 08:36:06 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 08:41:46 | → | rvalue joins (~rvalue@user/rvalue) |
| 08:42:54 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: Textual IRC Client: www.textualapp.com) |
| 08:43:20 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:46:33 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 08:46:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 08:48:27 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 08:48:27 | tnt2 | is now known as tnt1 |
| 08:52:00 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 08:52:59 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 08:58:17 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 09:02:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:06:09 | → | rvalue- joins (~rvalue@user/rvalue) |
| 09:07:19 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 09:09:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:10:47 | rvalue- | is now known as rvalue |
| 09:13:25 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 09:20:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:25:11 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 09:35:55 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:37:00 | × | xdminsy quits (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
| 09:37:16 | × | mulk quits (~mulk@pd951419b.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 09:38:01 | → | xdminsy joins (~xdminsy@117.147.71.240) |
| 09:38:53 | → | mulk joins (~mulk@p5b112493.dip0.t-ipconnect.de) |
| 09:40:16 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 09:43:36 | → | acidjnk_new joins (~acidjnk@p200300d6e7283f7061700689b604dec0.dip0.t-ipconnect.de) |
| 09:47:21 | × | xdminsy quits (~xdminsy@117.147.71.240) (Ping timeout: 246 seconds) |
| 09:47:48 | → | xdminsy joins (~xdminsy@117.147.71.240) |
| 09:50:09 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Ping timeout: 248 seconds) |
| 09:50:25 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 09:51:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 09:51:23 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 09:54:18 | × | Zer000 quits (~02@64.137.132.10) (Quit: Leaving) |
| 09:54:51 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 09:56:57 | <kaol> | I'm reading about overlapping instances. What is this, CSS, with all this "more specific" stuff? |
| 09:57:06 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 09:58:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 09:59:58 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Quit: WeeChat 4.4.2) |
| 10:00:13 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 10:00:24 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Client Quit) |
| 10:00:40 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 10:05:05 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 10:10:18 | → | rvalue- joins (~rvalue@user/rvalue) |
| 10:11:01 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 10:14:30 | rvalue- | is now known as rvalue |
| 10:18:32 | → | sawilagar joins (~sawilagar@user/sawilagar) |
| 10:19:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:21:26 | <tomsmeding> | well it's not like overlapping instances are in Haskell2010 :p |
| 10:22:01 | <tomsmeding> | it being a supported extension doesn't mean that it's good for using abundantly |
| 10:24:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 10:26:11 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:27:58 | → | __monty__ joins (~toonn@user/toonn) |
| 10:33:44 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 10:35:02 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:39:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 10:40:02 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 10:46:17 | → | Guest55 joins (~Guest55@c-71-62-118-216.hsd1.va.comcast.net) |
| 10:50:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 10:51:09 | → | rvalue- joins (~rvalue@user/rvalue) |
| 10:51:20 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 244 seconds) |
| 10:51:40 | × | YuutaW quits (~YuutaW@2404:f4c0:f9c3:502::100:17b7) (Quit: ZNC 1.8.2 - https://znc.in) |
| 10:54:15 | → | YuutaW joins (~YuutaW@2404:f4c0:f9c3:502::100:17b7) |
| 10:54:32 | ← | Guest55 parts (~Guest55@c-71-62-118-216.hsd1.va.comcast.net) () |
| 10:55:37 | rvalue- | is now known as rvalue |
| 10:57:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 10:58:32 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 10:59:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:04:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:11:53 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 11:14:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:19:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 11:27:22 | → | rvalue- joins (~rvalue@user/rvalue) |
| 11:28:19 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 11:30:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:31:57 | rvalue- | is now known as rvalue |
| 11:32:36 | × | dysthesis quits (~dysthesis@user/dysthesis) (Ping timeout: 264 seconds) |
| 11:32:45 | × | homo quits (~homo@user/homo) (Ping timeout: 260 seconds) |
| 11:35:18 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 11:38:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 11:39:03 | → | homo joins (~homo@user/homo) |
| 11:45:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:46:14 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 11:46:46 | → | rvalue joins (~rvalue@user/rvalue) |
| 11:50:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 11:59:36 | × | stilgart quits (~Christoph@chezlefab.net) (Quit: leaving) |
| 11:59:49 | → | stilgart joins (~Christoph@chezlefab.net) |
| 12:00:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:02:27 | × | AlexZenon quits (~alzenon@5.139.233.96) (Ping timeout: 246 seconds) |
| 12:05:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:07:17 | → | AlexZenon joins (~alzenon@5.139.233.96) |
| 12:07:39 | → | sprotte24 joins (~sprotte24@p200300d16f49e900bc53369c93ac6b88.dip0.t-ipconnect.de) |
| 12:11:33 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 246 seconds) |
| 12:15:31 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 12:15:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:20:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 12:27:33 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 12:30:41 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:31:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:33:21 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 12:35:47 | → | rvalue- joins (~rvalue@user/rvalue) |
| 12:37:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 12:38:14 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 12:40:43 | rvalue- | is now known as rvalue |
| 12:42:26 | × | rvalue quits (~rvalue@user/rvalue) (Remote host closed the connection) |
| 12:49:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 12:52:59 | → | pavonia joins (~user@user/siracusa) |
| 12:54:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 12:58:30 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:00:09 | → | larry_schemer joins (~larry_sch@82-183-35-178.customers.ownit.se) |
| 13:01:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:06:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 13:12:59 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 13:16:57 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:21:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 13:27:22 | <sshine> | I had one case of FlexibleInstances + OVERLAPPABLE causing infinite recursion because I moved an instance declaration to a different file so it didn't trigger. https://github.com/sshine/evm-opcodes/commit/5da877adc9ec7fe24161305d266db7b91c380e1dbf -- I don't think it's that neat anymore. |
| 13:29:39 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 13:32:20 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:36:52 | × | Digit quits (~user@user/digit) (Read error: Connection reset by peer) |
| 13:37:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 13:38:17 | → | Digit joins (~user@user/digit) |
| 13:47:44 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 13:47:45 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 13:52:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 13:57:13 | → | rvalue- joins (~rvalue@user/rvalue) |
| 13:57:19 | × | rvalue- quits (~rvalue@user/rvalue) (Remote host closed the connection) |
| 13:58:26 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 14:02:12 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 14:02:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:09:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 14:20:04 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 14:20:24 | → | urdh joins (~urdh@user/urdh) |
| 14:20:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:24:30 | → | weary-traveler joins (~user@user/user363627) |
| 14:25:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 14:26:05 | × | larry_schemer quits (~larry_sch@82-183-35-178.customers.ownit.se) (Quit: Client closed) |
| 14:26:17 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 14:26:45 | → | homo joins (~homo@84-253-216-119.bb.dnainternet.fi) |
| 14:27:04 | → | remexre joins (~remexre@user/remexre) |
| 14:27:11 | × | homo quits (~homo@84-253-216-119.bb.dnainternet.fi) (Changing host) |
| 14:27:11 | → | homo joins (~homo@user/homo) |
| 14:32:06 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 265 seconds) |
| 14:32:56 | → | Everything joins (~Everythin@46-133-12-19.mobile.vf-ua.net) |
| 14:34:53 | × | dysthesis quits (~dysthesis@user/dysthesis) (Remote host closed the connection) |
| 14:36:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:36:35 | × | Everything quits (~Everythin@46-133-12-19.mobile.vf-ua.net) (Read error: Connection reset by peer) |
| 14:37:36 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 14:38:27 | → | CiaoSen joins (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) |
| 14:41:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 14:46:49 | → | notzmv joins (~umar@user/notzmv) |
| 14:51:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 14:55:40 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 14:55:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 14:55:45 | × | dsrt^ quits (~dsrt@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 260 seconds) |
| 14:59:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 14:59:39 | ljdarj1 | is now known as ljdarj |
| 15:03:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:07:53 | → | Sciencentistguy9 joins (~sciencent@hacksoc/ordinary-member) |
| 15:08:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 15:09:40 | × | Sciencentistguy quits (~sciencent@hacksoc/ordinary-member) (Ping timeout: 244 seconds) |
| 15:09:40 | Sciencentistguy9 | is now known as Sciencentistguy |
| 15:13:51 | <hellwolf> | Oh, seeing another person doing stuff on EVM, surprised. |
| 15:14:15 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 246 seconds) |
| 15:14:24 | → | rosco joins (~rosco@171.5.26.74) |
| 15:19:01 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:19:35 | → | Core8317 joins (~rosco@171.5.26.74) |
| 15:19:38 | × | rosco quits (~rosco@171.5.26.74) (Read error: Connection reset by peer) |
| 15:23:31 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 15:25:12 | × | homo quits (~homo@user/homo) (Ping timeout: 272 seconds) |
| 15:26:55 | × | xdminsy quits (~xdminsy@117.147.71.240) (Read error: Connection reset by peer) |
| 15:27:33 | → | xdminsy joins (~xdminsy@117.147.71.240) |
| 15:27:51 | × | CiaoSen quits (~Jura@2a05:5800:2e5:2400:ca4b:d6ff:fec1:99da) (Ping timeout: 276 seconds) |
| 15:31:09 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 15:34:23 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:39:01 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 15:39:59 | → | tabaqui joins (~root@87.200.129.102) |
| 15:40:16 | → | remexre joins (~remexre@user/remexre) |
| 15:42:58 | × | tabaqui quits (~root@87.200.129.102) (Client Quit) |
| 15:49:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:50:39 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 15:51:00 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 244 seconds) |
| 15:54:48 | → | weary-traveler joins (~user@user/user363627) |
| 15:56:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 16:04:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:09:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 16:13:40 | → | tabaqui joins (~root@167.71.80.236) |
| 16:14:00 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:16:29 | → | tabaqui joins (~root@167.71.80.236) |
| 16:16:51 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:17:14 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 16:19:33 | → | tabaqui joins (~root@167.71.80.236) |
| 16:19:48 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:19:58 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:20:22 | → | tabaqui joins (~root@87.200.129.102) |
| 16:20:54 | → | tabaqui1 joins (~root@167.71.80.236) |
| 16:21:00 | × | tabaqui quits (~root@87.200.129.102) (Client Quit) |
| 16:21:21 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 16:21:22 | × | tabaqui1 quits (~root@167.71.80.236) (Client Quit) |
| 16:22:28 | → | tabaqui joins (~root@167.71.80.236) |
| 16:24:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:26:12 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 16:27:34 | → | rosco joins (~rosco@171.5.0.29) |
| 16:28:27 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 16:29:51 | × | Core8317 quits (~rosco@171.5.26.74) (Ping timeout: 246 seconds) |
| 16:35:21 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:35:38 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 16:35:59 | → | tabaqui joins (~root@167.71.80.236) |
| 16:36:01 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:36:31 | → | tabaqui joins (~root@167.71.80.236) |
| 16:36:36 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:38:57 | → | tabaqui joins (~root@167.71.80.236) |
| 16:39:10 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 16:39:53 | → | tabaqui joins (~root@167.71.80.236) |
| 16:39:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 16:40:22 | → | nkatte joins (~nkatte@user/nkatte) |
| 16:42:13 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 16:44:42 | → | weary-traveler joins (~user@user/user363627) |
| 16:45:06 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 16:49:29 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 16:50:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:51:58 | → | homo joins (~homo@user/homo) |
| 16:55:12 | → | tabaqui joins (~root@167.71.80.236) |
| 16:55:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:58:50 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 260 seconds) |
| 17:05:22 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 17:05:37 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:05:38 | → | tabaqui joins (~root@167.71.80.236) |
| 17:05:53 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 17:06:31 | → | tabaqui joins (~root@167.71.80.236) |
| 17:10:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 17:15:27 | × | tabaqui quits (~root@167.71.80.236) (Quit: WeeChat 4.4.3) |
| 17:16:25 | → | tabaqui joins (~root@167.71.80.236) |
| 17:16:47 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 17:18:01 | → | tabaqui joins (~root@167.71.80.236) |
| 17:18:12 | × | tabaqui quits (~root@167.71.80.236) (Client Quit) |
| 17:21:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:22:53 | × | lisbeths quits (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 17:27:45 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 17:34:45 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 248 seconds) |
| 17:35:08 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 17:36:34 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 17:37:23 | → | urdh joins (~urdh@user/urdh) |
| 17:39:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:40:53 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 17:43:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 17:46:42 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:51:00 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 17:54:26 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:00:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:04:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:08:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 18:13:25 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 18:13:26 | × | urdh quits (~urdh@user/urdh) (Quit: Boom!) |
| 18:13:37 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 248 seconds) |
| 18:14:00 | → | drdo joins (~drdo@bl9-110-63.dsl.telepac.pt) |
| 18:16:02 | → | urdh joins (~urdh@user/urdh) |
| 18:19:31 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:20:11 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:23:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 18:24:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:28:19 | × | drdo quits (~drdo@bl9-110-63.dsl.telepac.pt) (Ping timeout: 245 seconds) |
| 18:28:51 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 18:30:45 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 248 seconds) |
| 18:30:57 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 246 seconds) |
| 18:31:51 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 18:34:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:34:57 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 18:39:17 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 18:49:17 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 18:49:46 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:50:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:50:37 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 18:53:06 | → | gmg joins (~user@user/gehmehgeh) |
| 18:54:40 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 19:05:38 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:12:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 19:13:57 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 19:17:52 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:23:40 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:28:26 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 19:32:39 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 19:39:19 | → | homo joins (~homo@user/homo) |
| 19:41:37 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 19:43:05 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 19:43:22 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:48:30 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 19:51:48 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 19:54:29 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 19:55:28 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 19:55:46 | → | homo joins (~homo@user/homo) |
| 19:58:45 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:59:05 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:39 | → | caconym joins (~caconym@user/caconym) |
| 20:01:36 | → | connrs joins (~connrs@user/connrs) |
| 20:03:10 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:07:08 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 20:07:29 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 20:08:47 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 20:09:12 | <kaol> | Can I do better than Data.ByteString.Char8 pack $ show @Int n? |
| 20:10:24 | <kaol> | Char8.pack that is, someone ate my dot. |
| 20:10:52 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 20:12:03 | <EvanR> | f = pack . show |
| 20:12:06 | <EvanR> | somewhere |
| 20:13:01 | <EvanR> | it's probably not worth trying to make a "fast" version of the underlying algorithm I suspect |
| 20:13:05 | → | dsrt^ joins (dsrt@c-98-242-74-66.hsd1.ga.comcast.net) |
| 20:13:38 | <EvanR> | unless you can exploit assumptions about how big the number will get |
| 20:13:56 | <EvanR> | and e.g. not be negative |
| 20:14:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:14:39 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 20:15:01 | <int-e> | there's the whole builder machinery in bytestring which includes formatting integers as decimal |
| 20:15:11 | <EvanR> | another idea is to use memoization to keep a cache of rendered numbers if they're usually small |
| 20:15:17 | × | cheater quits (~Username@user/cheater) (Ping timeout: 248 seconds) |
| 20:15:44 | <kaol> | It's okay for my use, I was just wondering if there was a particular standard library function that I missed. |
| 20:16:20 | <kaol> | Unless I builderize this whole thing. Maybe later. |
| 20:18:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:23:36 | <kaol> | This line used to work on GHC 8.8 (why upgrade too often?) but I get a "couldn't match type i1 with i" on GHC 9.6. Anyone spot anything obvious? https://github.com/kaol/snaplet-customauth/blob/master/Snap/Snaplet/CustomAuth/User.hs#L60 |
| 20:24:04 | <haskellbridge> | <Profpatsch> kaol: I had the same question yesterday, the best I’d find is going through the Builder |
| 20:24:23 | <haskellbridge> | <Profpatsch> Which is a bunch of overhead, but might be mostly optimized away (I haven’t looked at the core output yet though!) |
| 20:25:26 | <haskellbridge> | <Profpatsch> kaol: https://hackage.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder.html#g:12 |
| 20:25:48 | <haskellbridge> | <Profpatsch> Or https://hackage.haskell.org/package/bytestring-0.12.2.0/docs/Data-ByteString-Builder-RealFloat.html for floats |
| 20:25:51 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: Ping timeout (120 seconds)) |
| 20:29:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:31:57 | → | cheater joins (~Username@user/cheater) |
| 20:34:08 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 20:34:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:36:03 | <kaol> | I fixed that dreaded couldn't match type error by moving the record assignment to another top level function. Some day I'll actually understand Haskell. |
| 20:38:37 | → | connrs joins (~connrs@user/connrs) |
| 20:43:14 | <EvanR> | processing |
| 20:45:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:47:36 | <EvanR> | your lambda should be polymorphic in i (from IAuthBackend), which can then unify with i introduced by recoverSession. I don't know what goes wrong there |
| 20:49:58 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 20:49:59 | <EvanR> | what is the hush function |
| 20:50:18 | × | homo quits (~homo@user/homo) (Quit: Leaving) |
| 20:50:33 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 20:51:30 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:52:43 | → | weary-traveler joins (~user@user/user363627) |
| 20:53:18 | → | Everything joins (~Everythin@195.138.86.118) |
| 20:53:23 | <haskellbridge> | <Profpatsch> EvanR: hush is usually :: Either e a -> Maybe a |
| 20:54:21 | → | homo joins (~homo@user/homo) |
| 20:55:21 | <EvanR> | cool |
| 20:55:48 | <EvanR> | there are so many layers of Maybe or Either in this code |
| 20:56:20 | <EvanR> | elsewhere in other languages you constantly hear "I have never ever needed or even seen a second layer of optional" |
| 20:56:46 | <haskellbridge> | <Profpatsch> other languages have ? and the elvis operator |
| 20:57:50 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:58:16 | <haskellbridge> | <Profpatsch> that header concatenation screams “Builder” though |
| 20:59:43 | <EvanR> | what is this elvis operator you speak of |
| 21:00:23 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 21:00:25 | <haskellbridge> | <Profpatsch> ?: |
| 21:00:26 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 252 seconds) |
| 21:00:43 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 21:00:44 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 21:00:51 | <haskellbridge> | <Profpatsch> (this is fromMaybe, called like that because it looks like Elvis’ hair) |
| 21:01:00 | <haskellbridge> | <Profpatsch> kaol: try this: https://code.tvl.fyi/tree/users/Profpatsch/my-prelude/src/Builder.hs |
| 21:01:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:03:02 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 21:03:30 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 21:06:56 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 21:07:11 | <EvanR> | :t fromMaybe |
| 21:07:12 | <lambdabot> | a -> Maybe a -> a |
| 21:07:16 | → | connrs joins (~connrs@user/connrs) |
| 21:08:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 21:08:53 | → | prasad joins (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) |
| 21:08:54 | × | connrs quits (~connrs@user/connrs) (Client Quit) |
| 21:09:56 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 21:11:23 | → | connrs joins (~connrs@user/connrs) |
| 21:18:55 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 21:19:10 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:21:16 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 21:23:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 21:30:54 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 21:34:32 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:35:16 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 21:37:45 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 21:38:25 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 21:39:22 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 21:39:22 | × | michalz quits (~michalz@185.246.207.203) (Remote host closed the connection) |
| 21:41:30 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 21:43:05 | → | driib3188 joins (~driib@vmi931078.contaboserver.net) |
| 21:44:44 | × | hellwolf quits (~user@095a-6255-7d54-b1bd-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 21:44:50 | × | connrs quits (~connrs@user/connrs) (Quit: ZNC 1.9.1 - https://znc.in) |
| 21:44:53 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Ping timeout: 248 seconds) |
| 21:44:53 | driib3188 | is now known as driib318 |
| 21:45:02 | → | hellwolf joins (~user@40c4-4c3f-bf6c-303b-0f00-4d40-07d0-2001.sta.estpak.ee) |
| 21:49:31 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 265 seconds) |
| 21:49:56 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:53:30 | → | connrs joins (~connrs@user/connrs) |
| 21:54:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:55:09 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:05:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:09:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 22:12:29 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 260 seconds) |
| 22:18:09 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:19:39 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:20:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:24:01 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:25:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:27:38 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 22:28:56 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 22:36:04 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:37:06 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:43:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 272 seconds) |
| 22:47:58 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 22:48:48 | × | Everything quits (~Everythin@195.138.86.118) (Quit: leaving) |
| 22:49:36 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 246 seconds) |
| 22:54:07 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:58:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 23:02:46 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:06:16 | × | sawilagar quits (~sawilagar@user/sawilagar) (Ping timeout: 272 seconds) |
| 23:08:24 | × | prasad quits (~Thunderbi@c-73-75-25-251.hsd1.in.comcast.net) (Ping timeout: 252 seconds) |
| 23:09:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:11:12 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 23:13:53 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 23:15:56 | → | weary-traveler joins (~user@user/user363627) |
| 23:24:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:25:05 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 23:26:46 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:27:10 | → | dysthesis joins (~dysthesis@user/dysthesis) |
| 23:27:49 | × | olivial quits (~benjaminl@user/benjaminl) (Ping timeout: 248 seconds) |
| 23:29:34 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 23:31:12 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 23:31:47 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 23:36:15 | → | olivial joins (~benjaminl@user/benjaminl) |
| 23:36:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 23:38:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 23:40:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:41:22 | → | Core2677 joins (~rosco@171.5.26.74) |
| 23:44:04 | × | rosco quits (~rosco@171.5.0.29) (Ping timeout: 260 seconds) |
| 23:44:47 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 244 seconds) |
| 23:47:28 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 23:49:18 | → | elnegro joins (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) |
| 23:53:16 | × | elnegro quits (elnegro@r186-54-16-212.dialup.adsl.anteldata.net.uy) () |
| 23:55:16 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
All times are in UTC on 2025-01-05.