Newest at the top
| 2026-02-05 14:55:08 +0100 | housemate | (~housemate@202.7.248.67) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 2026-02-05 14:53:35 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) (Ping timeout: 244 seconds) |
| 2026-02-05 14:50:21 +0100 | karenw | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-02-05 14:49:10 +0100 | fp | (~Thunderbi@wireless-86-50-141-35.open.aalto.fi) fp |
| 2026-02-05 14:49:02 +0100 | kuribas | (~user@2a02-1810-2825-6000-6394-e629-adac-ea24.ip6.access.telenet.be) kuribas |
| 2026-02-05 14:47:21 +0100 | ouilemur | (~jgmerritt@user/ouilemur) (Quit: WeeChat 4.8.1) |
| 2026-02-05 14:43:51 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 14:43:25 +0100 | trickard | (~trickard@cpe-61-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 2026-02-05 14:15:07 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-05 14:13:58 +0100 | comerijn | (~merijn@77.242.116.146) (Quit: leaving) |
| 2026-02-05 14:10:31 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) (Ping timeout: 264 seconds) |
| 2026-02-05 14:07:05 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-05 14:06:55 +0100 | <mesaoptimizer> | oskarw: i haven't yet tried haskell-ts-mode |
| 2026-02-05 14:06:45 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 2026-02-05 14:01:56 +0100 | karenw | (~karenw@user/karenw) karenw |
| 2026-02-05 13:49:26 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-05 13:48:13 +0100 | oskarw | (~user@user/oskarw) (Remote host closed the connection) |
| 2026-02-05 13:37:43 +0100 | xff0x | (~xff0x@2405:6580:b080:900:24e9:bd9c:7b25:9d4f) |
| 2026-02-05 13:35:11 +0100 | <oskarw> | mesaoptimizer: I have some problems with using haskell-ts-mode inside cabal project, do you have additional commands inside haskell-ts-mode? [13:32] |
| 2026-02-05 13:34:03 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) chromoblob\0 |
| 2026-02-05 13:33:37 +0100 | chromoblob | (~chromoblo@user/chromob1ot1c) (Ping timeout: 264 seconds) |
| 2026-02-05 13:31:06 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e31d:86a4:6d4e:db85) (Quit: xff0x) |
| 2026-02-05 13:30:14 +0100 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
| 2026-02-05 13:26:33 +0100 | bggd_ | (~bgg@2a01:e0a:fd5:f510:45eb:593:20bc:aaf7) (Quit: std::move) |
| 2026-02-05 13:25:07 +0100 | Square2 | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2026-02-05 13:22:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-02-05 13:22:14 +0100 | Square3 | (~Square4@user/square) Square |
| 2026-02-05 13:21:53 +0100 | oskarw | (~user@user/oskarw) oskarw |
| 2026-02-05 13:19:46 +0100 | comerijn | (~merijn@77.242.116.146) merijn |
| 2026-02-05 12:55:17 +0100 | trickard_ | trickard |
| 2026-02-05 12:41:35 +0100 | hellwolf | (~user@eddf-7eb4-816a-bf6b-0f00-4d40-07d0-2001.sta.estpak.ee) (Remote host closed the connection) |
| 2026-02-05 12:39:28 +0100 | fp | (~Thunderbi@89-27-10-140.bb.dnainternet.fi) fp |
| 2026-02-05 12:30:19 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) (Quit: Client closed) |
| 2026-02-05 12:30:08 +0100 | oskarw | (~oskarw@user/oskarw) (Ping timeout: 256 seconds) |
| 2026-02-05 12:19:45 +0100 | wickedjargon | (~user@2605:8d80:5431:3c2c:999d:e956:3913:d370) (Remote host closed the connection) |
| 2026-02-05 12:18:45 +0100 | <mesaoptimizer> | jreicher: thanks, I'm already using haskell-mode and eglot, but haskell-mode seems finicky. I'll try haskell-ts-mode too I guess |
| 2026-02-05 12:17:24 +0100 | <mesaoptimizer> | edwardk: why is ARIA doing category theory work in rust? I was under the impression that rust has too much friction to be anywhere useful for anything related to applied category theory |
| 2026-02-05 12:16:56 +0100 | xff0x | (~xff0x@2405:6580:b080:900:e31d:86a4:6d4e:db85) |
| 2026-02-05 12:15:44 +0100 | <mesaoptimizer> | MSR dropped support for GHC? Lol |
| 2026-02-05 12:14:21 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-05 12:13:46 +0100 | <haskellbridge> | <loonycyborg> I'm honestly more used to != than to /= |
| 2026-02-05 12:03:29 +0100 | Enrico63 | (~Enrico63@host-79-27-153-69.retail.telecomitalia.it) Enrico63 |
| 2026-02-05 11:55:02 +0100 | <tomsmeding> | \not= |
| 2026-02-05 11:54:58 +0100 | <tomsmeding> | or /not= |
| 2026-02-05 11:54:41 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) |
| 2026-02-05 11:54:27 +0100 | trickard_ | (~trickard@cpe-61-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2026-02-05 11:53:32 +0100 | oskarw | (~oskarw@user/oskarw) oskarw |
| 2026-02-05 11:52:48 +0100 | <gentauro> | tomsmeding: «completeness, /= is ≠» my bad. Yeah, I knew this -> `\neq in LaTeX` :( |
| 2026-02-05 11:51:53 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2026-02-05 11:49:06 +0100 | <tomsmeding> | but if you want to allow '[gap] text [gap]' then it becomes really awkward |