Logs on 2025-12-25 (liberachat/#haskell)
| 00:00:01 | <haskellbridge> | <geekosaur> dropped the bot again |
| 00:00:46 | <geekosaur> | lol, that was the one I sent matrix-side after I dropped it 🙂 |
| 00:02:46 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 246 seconds) |
| 00:09:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:12:24 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 00:12:28 | × | jle` quits (~jle`@2603:8001:3b00:11:19da:f73a:84bb:c3b2) (Ping timeout: 260 seconds) |
| 00:13:08 | → | jle` joins (~jle`@2603:8001:3b00:11:47ff:a93:5f74:967) |
| 00:13:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:16:37 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 256 seconds) |
| 00:17:01 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 00:18:54 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 00:19:39 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 00:24:03 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 00:25:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:28:52 | → | acidjnk joins (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) |
| 00:29:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:35:40 | × | Googulator quits (~Googulato@2a01-036d-0106-2af4-d522-88ad-52fa-edd7.pool6.digikabel.hu) (Quit: Client closed) |
| 00:40:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:46:00 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 00:46:18 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:56:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:01:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:07:14 | <haskellbridge> | <Liamzee> oh cool, so traceIO compared to traceM uses an unsafe import |
| 01:07:26 | <haskellbridge> | <Liamzee> so it freezes execution |
| 01:07:29 | <haskellbridge> | <Liamzee> hum |
| 01:08:58 | <haskellbridge> | <Zemyla> So I'm thinking that, if you have RankNTypes but not GADTs or the type equality constraint, you could express equality with newtype (a :: k) :~: (b :: k) = Refl { runRefl :: forall f. f a -> f b } |
| 01:11:20 | <haskellbridge> | <Liamzee> unsafe ccall |
| 01:12:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:13:13 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 01:16:42 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:22:21 | → | gorignak joins (~gorignak@user/gorignak) |
| 01:24:46 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:25:02 | → | divlamir joins (~divlamir@user/divlamir) |
| 01:25:17 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Quit: Leaving.) |
| 01:27:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:27:57 | <ski> | Zemyla : mm, that's Leibniz-style equality. there was someone who had a paper about that (Ralf Hinze, maybe ?) |
| 01:33:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 01:36:59 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 01:39:46 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 01:41:33 | → | elarks joins (~elarks@user/yerrii) |
| 01:43:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:48:28 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:51:45 | × | synchromesh quits (~john@2406:5a00:2412:2c00:19bc:daec:7901:4e6) (Read error: Connection reset by peer) |
| 01:52:53 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) |
| 01:59:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:05:39 | → | wennefer96 joins (~wennefer0@user/wennefer0) |
| 02:06:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:08:05 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 02:12:15 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 02:14:44 | ← | wennefer96 parts (~wennefer0@user/wennefer0) () |
| 02:15:30 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 02:16:36 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 02:17:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:21:55 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 240 seconds) |
| 02:22:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 02:22:44 | <haskellbridge> | <Zemyla> You know the IsChar type from Text.Printf? It really should be toCharF :: f a -> f Char and vice versa. |
| 02:24:17 | → | confusedalex_ joins (~confuseda@user/confusedalex) |
| 02:24:54 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 02:24:54 | confusedalex_ | is now known as confusedalex |
| 02:33:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:37:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:48:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:53:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:56:25 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 03:04:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:06:36 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 03:07:35 | → | monochrom joins (trebla@216.138.220.146) |
| 03:09:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:16:37 | × | monochrom quits (trebla@216.138.220.146) (Quit: ZNC 1.9.1+deb2build5 - https://znc.in) |
| 03:20:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:24:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:26:52 | → | monochrom joins (trebla@216.138.220.146) |
| 03:32:31 | × | td_ quits (~td@i53870917.versanet.de) (Ping timeout: 240 seconds) |
| 03:33:07 | × | acidjnk quits (~acidjnk@p200300d6e7171976b096cfcd17500e96.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 03:35:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:42:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:45:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:49:48 | × | somemathguy quits (~somemathg@user/somemathguy) (Ping timeout: 265 seconds) |
| 03:50:17 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 03:54:31 | <Leary> | Zemyla: RankNTypes also gives you Church encodings for arbitrary GADTs, the direct translation of `:~:` being `newtype a :~: b = WithRefl (forall r. (forall x. r x x) -> r a b)`. |
| 04:01:04 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:05:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:16:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:21:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:25:13 | × | emergence quits (emergence@vm0.max-p.me) (Quit: emergence) |
| 04:25:27 | → | emergence joins (emergence@vm0.max-p.me) |
| 04:32:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:37:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 04:48:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:52:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:00:44 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 05:01:02 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 05:04:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:08:52 | × | rainbyte quits (~rainbyte@186.22.19.214) (Quit: rainbyte) |
| 05:09:11 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 05:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 05:19:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:24:45 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:35:32 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:37:37 | × | Pozyomka quits (~pyon@user/pyon) (Quit: bbl) |
| 05:40:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:51:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:56:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 06:00:02 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 06:01:37 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) |
| 06:07:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:12:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:17:10 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 06:22:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:25:31 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 06:25:37 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:29:54 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:31:48 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 06:40:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:45:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:51:34 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 06:53:54 | × | hsw quits (~hsw@112-104-86-252.adsl.dynamic.seed.net.tw) (Quit: Leaving) |
| 06:56:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:01:03 | → | karenw joins (~karenw@user/karenw) |
| 07:01:23 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:11:54 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:15:35 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 240 seconds) |
| 07:17:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 07:27:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:28:09 | → | Pozyomka joins (~pyon@user/pyon) |
| 07:32:25 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 07:34:47 | × | annamalai quits (~annamalai@157.32.209.107) (Ping timeout: 250 seconds) |
| 07:40:30 | → | annamalai joins (~annamalai@157.32.199.28) |
| 07:43:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:48:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:05:20 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:07:39 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:12:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 08:15:27 | × | spew quits (~spew@user/spew) (Quit: nyaa~) |
| 08:23:27 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:28:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 08:36:16 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:39:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:44:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 08:48:48 | × | rainbyte quits (~rainbyte@186.22.19.214) (Ping timeout: 252 seconds) |
| 08:53:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 08:53:40 | <haskellbridge> | <Liamzee> this is really really cool |
| 08:53:42 | <haskellbridge> | <Liamzee> cabal test --enable-coverage |
| 08:58:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 09:00:12 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 09:02:34 | ljdarj1 | is now known as ljdarj |
| 09:09:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:13:33 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 09:19:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 09:37:45 | × | bliminse quits (~bliminse@user/bliminse) (Quit: leaving) |
| 09:40:58 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 09:46:15 | → | bliminse joins (~bliminse@user/bliminse) |
| 09:47:53 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:51:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:54:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:58:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:01:00 | → | __monty__ joins (~toonn@user/toonn) |
| 10:01:50 | × | trampi quits (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 10:02:28 | → | trampi joins (~trampi@mx.trampusch.info) |
| 10:04:25 | × | Pozyomka quits (~pyon@user/pyon) (Ping timeout: 246 seconds) |
| 10:09:39 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) (Read error: Connection reset by peer) |
| 10:10:06 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:11:19 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c4e1:4071:89e4:83f7) |
| 10:12:07 | × | trampi quits (~trampi@mx.trampusch.info) (Quit: The Lounge - https://thelounge.chat) |
| 10:13:43 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 255 seconds) |
| 10:15:01 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 10:15:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 10:15:09 | <gentauro> | what are those blinking banners? :| |
| 10:15:56 | <gentauro> | anyway, I have been a bit of Haskell, but I'm trying to come back. And it seems that `stack` isn't as good as it was before in the days -> https://github.com/haskell/haskell-language-server/issues/4671#issuecomment-3206715247 |
| 10:16:05 | <gentauro> | I "rarely" can't build anything :( |
| 10:18:36 | → | trampi joins (~trampi@mx.trampusch.info) |
| 10:18:46 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 10:20:43 | × | trampi quits (~trampi@mx.trampusch.info) (Client Quit) |
| 10:22:25 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 245 seconds) |
| 10:23:26 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 10:25:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:30:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 10:33:39 | → | trampi joins (~trampi@mx.trampusch.info) |
| 10:41:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 10:42:50 | → | hapisnake joins (~hapisnake@user/hapisnake) |
| 10:43:27 | → | acidjnk joins (~acidjnk@p200300d6e7171922bda2454d8bce8e38.dip0.t-ipconnect.de) |
| 10:46:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 10:47:18 | ← | hapisnake parts (~hapisnake@user/hapisnake) () |
| 10:47:24 | → | hapisnake joins (~hapisnake@user/hapisnake) |
| 10:49:58 | → | notzmv joins (~umar@user/notzmv) |
| 10:52:03 | × | hapisnake quits (~hapisnake@user/hapisnake) (Quit: Client closed) |
| 10:54:57 | × | mulk quits (~mulk@pd95143a6.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 10:55:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:02:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 11:02:08 | → | mulk joins (~mulk@pd95143a6.dip0.t-ipconnect.de) |
| 11:06:03 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 11:08:35 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 11:08:55 | → | yarl joins (~yarl@user/yarl) |
| 11:13:10 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 11:13:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:18:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 11:20:31 | <yarl> | Hello, I am trying to compile ghc@9.2.8 on aarch64 using same version binary distribution as bootstrap. I got an error at phase_1: https://paste.tomsmeding.com/uemXuvHQ |
| 11:20:56 | <yarl> | Any idea? |
| 11:24:52 | <yarl> | it is not hidden in dist-boot/package-data.mk and dist-boot/inplace-pkg-config |
| 11:29:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:33:15 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 240 seconds) |
| 11:34:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 11:35:08 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 11:45:14 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:46:51 | <gentauro> | yarl: what does `-notghc-` in the path mean? |
| 11:50:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 11:56:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:03:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 12:14:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:18:01 | <yarl> | gentauro: That's a personnal hack for guix shell not to try to bring many ghc. |
| 12:18:40 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 12:20:11 | <yarl> | As I am trying to get ghc into guix for aarch64. |
| 12:21:37 | × | Jackneill quits (~Jackneill@178-164-234-79.pool.digikabel.hu) (Ping timeout: 264 seconds) |
| 12:29:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:31:43 | × | otulp quits (~otulp@ti0036a400-1790.bb.online.no) (Quit: Lost terminal) |
| 12:34:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 12:45:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 12:50:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 12:54:44 | <sshine> | gentauro, you could just install HLS another way and still use Stack if you like it. |
| 12:55:00 | <sshine> | gentauro, I think GHCup comes with an option to install HLS matching your GHC. |
| 12:57:13 | <sshine> | gentauro, are you on NixOS? |
| 12:57:18 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:02:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:06:01 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 13:13:13 | → | humasect_ joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:13:28 | → | merijn joins (~merijn@62.45.136.136) |
| 13:17:28 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 13:18:42 | <yarl> | Ok |
| 13:18:50 | <yarl> | I make one time, error |
| 13:19:01 | <yarl> | I make again, It goes on. |
| 13:19:26 | <yarl> | Any suggestion? |
| 13:20:28 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 255 seconds) |
| 13:31:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:35:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 13:39:57 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 13:42:57 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 13:45:24 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 13:46:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 13:47:30 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 13:48:19 | → | Pozyomka joins (~pyon@user/pyon) |
| 13:48:29 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 13:51:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 13:58:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:00:01 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 14:00:32 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 14:02:50 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 14:13:50 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:16:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 14:17:22 | → | karenw joins (~karenw@user/karenw) |
| 14:18:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 14:29:37 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:29:47 | × | karenw quits (~karenw@user/karenw) (Remote host closed the connection) |
| 14:31:27 | → | karenw joins (~karenw@user/karenw) |
| 14:34:33 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 14:38:44 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 260 seconds) |
| 14:45:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 14:47:53 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 14:50:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 14:59:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:03:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 15:14:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:15:31 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 15:17:39 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 15:17:39 | ljdarj1 | is now known as ljdarj |
| 15:19:25 | × | tabemann quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Quit: Leaving) |
| 15:19:30 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 15:21:36 | → | tremon joins (~tremon@83.80.159.219) |
| 15:22:44 | <gentauro> | sshine: yeah. NixOS + stack (LTS) + pinned nix packages URL always seemed to work as a charm. But, it doesn't really anymore. |
| 15:23:09 | <gentauro> | I might be missing the "new way". |
| 15:30:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:35:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 15:46:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 15:51:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:52:20 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 15:54:38 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 15:55:08 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 260 seconds) |
| 15:56:37 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 255 seconds) |
| 15:59:43 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 240 seconds) |
| 16:00:19 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:06:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:14:22 | → | itaipu joins (~itaipu@168.121.97.28) |
| 16:18:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:27:08 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 16:27:56 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 16:28:22 | × | Beowulf quits (florian@2a01:4f9:3b:2d56::2) (Quit: = "") |
| 16:30:01 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 16:30:09 | × | Fijxu quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 16:31:54 | → | Fijxu joins (~Fijxu@user/fijxu) |
| 16:34:09 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:38:52 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 16:39:42 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 16:43:08 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 16:43:23 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 16:45:21 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 16:46:07 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:46:07 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 16:47:07 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 16:47:26 | → | jrm joins (~jrm@user/jrm) |
| 16:49:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:50:15 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 240 seconds) |
| 16:50:15 | ljdarj1 | is now known as ljdarj |
| 16:52:50 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 16:54:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 16:58:21 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 16:58:37 | → | jrm joins (~jrm@user/jrm) |
| 16:58:49 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 264 seconds) |
| 17:01:20 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:04:58 | → | spew joins (~spew@user/spew) |
| 17:06:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:10:17 | × | jrm quits (~jrm@user/jrm) (Quit: ciao) |
| 17:10:32 | → | jrm joins (~jrm@user/jrm) |
| 17:17:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:22:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:23:56 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 17:25:04 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 17:30:51 | × | humasect_ quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 17:31:24 | → | karenw joins (~karenw@user/karenw) |
| 17:32:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:36:49 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: Ping timeout (120 seconds)) |
| 17:37:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 17:37:28 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 17:39:34 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 17:48:15 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 240 seconds) |
| 17:48:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 17:55:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 17:57:13 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 17:58:48 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 252 seconds) |
| 17:59:28 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 18:01:08 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:02:31 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 18:02:37 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:03:42 | <sm> | gentauro, stack is better than ever - wasn't that a problem with haskell-language-server ? |
| 18:04:56 | ljdarj1 | is now known as ljdarj |
| 18:05:57 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 18:10:03 | <haskellbridge> | <pennychase> /whois wennefer0 |
| 18:15:00 | × | emergence quits (emergence@vm0.max-p.me) (Quit: emergence) |
| 18:15:15 | → | emergence joins (emergence@vm0.max-p.me) |
| 18:15:29 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:15:50 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Client Quit) |
| 18:16:56 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:18:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 18:19:03 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:20:21 | × | emergence quits (emergence@vm0.max-p.me) (Quit: emergence) |
| 18:20:35 | → | emergence joins (emergence@vm0.max-p.me) |
| 18:21:04 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 18:21:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:23:10 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 246 seconds) |
| 18:25:31 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 18:27:19 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:30:36 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 18:32:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:37:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 18:39:39 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:42:11 | → | target_i_ joins (~target_i@user/target-i/x-6023099) |
| 18:42:21 | × | target_i_ quits (~target_i@user/target-i/x-6023099) (Client Quit) |
| 18:43:43 | × | target_i quits (~target_i@user/target-i/x-6023099) (Ping timeout: 240 seconds) |
| 18:43:46 | → | target_i_ joins (~target_i@user/target-i/x-6023099) |
| 18:44:36 | target_i_ | is now known as target_i |
| 18:44:50 | × | target_i quits (~target_i@user/target-i/x-6023099) (Client Quit) |
| 18:45:43 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:48:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:51:01 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 18:53:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 18:56:19 | → | wennefer0_79 joins (~wennefer0@user/wennefer0) |
| 18:58:05 | × | wennefer0_79 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 18:58:22 | → | wennefer0_73 joins (~wennefer0@user/wennefer0) |
| 18:58:45 | ← | wennefer0_73 parts (~wennefer0@user/wennefer0) () |
| 18:59:12 | → | wennefer0_73 joins (~wennefer0@user/wennefer0) |
| 19:00:30 | × | wennefer0_73 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 19:02:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:06:51 | → | wennefer0__ joins (~wennefer0@user/wennefer0) |
| 19:07:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 19:09:25 | × | wennefer0__ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 19:09:35 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 19:18:07 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:22:57 | → | karenw joins (~karenw@user/karenw) |
| 19:23:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 19:24:17 | → | wennefer0___ joins (~wennefer0@user/wennefer0) |
| 19:26:29 | → | haritz joins (~hrtz@user/haritz) |
| 19:27:00 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Quit: Client closed) |
| 19:27:00 | × | wennefer0___ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 19:29:34 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:31:20 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 19:33:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:34:55 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 245 seconds) |
| 19:36:06 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 19:37:02 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:40:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 19:40:45 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 19:41:33 | × | wennefer0 quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 19:48:16 | → | wennefer0 joins (~wennefer0@user/wennefer0) |
| 19:51:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 19:56:31 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 19:56:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 19:58:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 19:58:55 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 20:01:13 | × | ljdarj1 quits (~Thunderbi@user/ljdarj) (Ping timeout: 264 seconds) |
| 20:01:49 | × | karenw quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 20:03:22 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:07:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:11:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:15:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:16:59 | → | sroso joins (~sroso@user/SrOso) |
| 20:26:34 | → | pebble joins (~pebble@37.63.33.138) |
| 20:26:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:31:43 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:42:42 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:47:58 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:51:23 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 20:58:00 | → | pavonia joins (~user@user/siracusa) |
| 20:58:29 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:01:25 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 21:01:30 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:03:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:03:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 246 seconds) |
| 21:03:54 | ljdarj1 | is now known as ljdarj |
| 21:04:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:05:09 | × | pebble quits (~pebble@37.63.33.138) (Read error: Connection reset by peer) |
| 21:09:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:14:43 | <yin> | I remember having haskell-language-server-wrapper |
| 21:17:18 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 21:20:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:20:58 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 21:21:30 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 21:22:50 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 21:22:50 | ljdarj1 | is now known as ljdarj |
| 21:23:06 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:27:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:29:35 | ChanServ | sets mode +o litharge |
| 21:29:36 | litharge | sets mode -bo *!*@201.162.102.109 litharge |
| 21:36:24 | × | skum quits (~skum@user/skum) (Quit: WeeChat 4.8.1) |
| 21:38:13 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:40:22 | <haskellbridge> | <Morj> What do you mean remember, I still have it |
| 21:40:30 | ChanServ | sets mode +o litharge |
| 21:40:31 | litharge | sets mode -bo *!*@170.203.120.33 litharge |
| 21:40:55 | ChanServ | sets mode +o litharge |
| 21:40:55 | litharge | sets mode -bo *!*@170-233-51-4.static.sumicity.net.br litharge |
| 21:42:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 21:43:54 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:46:31 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:46:46 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 21:49:28 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Ping timeout: 244 seconds) |
| 21:49:54 | ChanServ | sets mode +o litharge |
| 21:49:55 | litharge | sets mode -bo *!*@38.191.212.34 litharge |
| 21:52:54 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 21:54:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:54:08 | → | img joins (~img@user/img) |
| 21:55:51 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 252 seconds) |
| 21:57:37 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:57:45 | → | somemathguy joins (~somemathg@user/somemathguy) |
| 21:58:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:09:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:15:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:19:49 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Read error: Connection reset by peer) |
| 22:20:45 | → | wennefer0_ joins (~wennefer0@user/wennefer0) |
| 22:25:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:30:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:31:39 | × | wennefer0_ quits (~wennefer0@user/wennefer0) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:34:21 | × | somemathguy quits (~somemathg@user/somemathguy) (Quit: WeeChat 4.1.1) |
| 22:41:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:46:24 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:51:17 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 250 seconds) |
| 22:57:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:02:55 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 23:03:31 | → | DragonMaus joins (~DragonMau@user/dragonmaus) |
| 23:03:59 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:10:50 | × | DragonMaus quits (~DragonMau@user/dragonmaus) (Remote host closed the connection) |
| 23:11:27 | → | DragonMaus joins (~DragonMau@user/dragonmaus) |
| 23:11:49 | → | infinity0 joins (~infinity0@pwned.gg) |
| 23:13:07 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:15:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:15:57 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 252 seconds) |
| 23:16:50 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 23:17:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 255 seconds) |
| 23:18:51 | × | tremon quits (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 23:20:26 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 23:22:33 | → | wennefer0__ joins (~wennefer0@user/wennefer0) |
| 23:24:18 | × | wennefer0__ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 23:24:36 | → | wennefer0___ joins (~wennefer0@user/wennefer0) |
| 23:25:07 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 23:31:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:33:37 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:35:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 23:35:45 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
| 23:38:28 | × | wennefer0___ quits (~wennefer0@user/wennefer0) (Quit: Igloo: https://igloo.app) |
| 23:39:33 | → | wennefer0____ joins (~wennefer0@user/wennefer0) |
| 23:40:01 | × | wennefer0____ quits (~wennefer0@user/wennefer0) (Remote host closed the connection) |
| 23:43:02 | ChanServ | sets mode +o litharge |
| 23:43:03 | litharge | sets mode -bo *!*@177.71.33.140 litharge |
| 23:43:39 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:45:03 | ChanServ | sets mode +o litharge |
| 23:45:04 | litharge | sets mode -bo *!*@123.27.7.53 litharge |
| 23:46:48 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:48:37 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 23:52:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
All times are in UTC on 2025-12-25.