Newest at the top
| 2026-02-17 16:33:33 +0100 | Googulator | (~Googulato@185.199.28.81) (Ping timeout: 272 seconds) |
| 2026-02-17 16:15:48 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
| 2026-02-17 16:15:25 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 2026-02-17 16:07:51 +0100 | fp | (~Thunderbi@2001:708:20:1406::1370) (Ping timeout: 252 seconds) |
| 2026-02-17 16:04:40 +0100 | spew | (~spew@user/spew) spew |
| 2026-02-17 16:02:53 +0100 | Arvin | (~Arvin@182.48.215.160) (Quit: Client closed) |
| 2026-02-17 15:38:35 +0100 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2026-02-17 15:32:58 +0100 | Arvin | (~Arvin@182.48.215.160) |
| 2026-02-17 15:32:22 +0100 | rekahsoft | (~rekahsoft@76.67.111.168) rekahsoft |
| 2026-02-17 15:18:51 +0100 | <hadronized> | I’m designing my own language and I’m struggling to understand a couple ideas regarding linear proof transformationsd with regards to container type |
| 2026-02-17 15:18:22 +0100 | <hadronized> | anyone has enough ATS knowledge and/or Linear Haskell? |
| 2026-02-17 15:07:56 +0100 | <kaol> | Since GHC 8.2, released in 2017. |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> It says 4.10.0.0 on the hackage, but what year is that |
| 2026-02-17 15:04:54 +0100 | <haskellbridge> | <Morj> Since when is Bitraversable in base |
| 2026-02-17 14:59:26 +0100 | <kaol> | I came up with a fun function: bitraverse <*> traverse. For manipulating that bothersome Either a (b,a). |
| 2026-02-17 14:53:38 +0100 | emaczen | (~user@user/emaczen) emaczen |
| 2026-02-17 14:51:01 +0100 | Enrico63 | (~Enrico63@host-79-56-90-180.retail.telecomitalia.it) Enrico63 |
| 2026-02-17 14:44:02 +0100 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) bwe |
| 2026-02-17 14:40:43 +0100 | Googulator | (~Googulato@185.199.28.81) |
| 2026-02-17 14:29:12 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) (Ping timeout: 264 seconds) |
| 2026-02-17 14:25:28 +0100 | lol_ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 14:24:05 +0100 | petrichor | (~jez@user/petrichor) petrichor |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@user/haritz) haritz |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2026-02-17 14:09:02 +0100 | haritz | (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2026-02-17 14:02:50 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
| 2026-02-17 14:02:16 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2026-02-17 13:47:06 +0100 | lol__ | (~lol@2603:3016:1e01:b940:9441:c46b:69b3:7076) |
| 2026-02-17 13:46:49 +0100 | lol__ | (~lol@2603:3016:1e01:b940:75b2:faa1:cf91:eeec) (Server closed connection) |
| 2026-02-17 13:37:37 +0100 | petrichor | (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 2026-02-17 13:21:01 +0100 | Googulator | (~Googulato@2a01-036d-0106-499d-6164-ec92-51a0-9cde.pool6.digikabel.hu) (Ping timeout: 272 seconds) |
| 2026-02-17 13:16:13 +0100 | __monty__ | (~toonn@user/toonn) toonn |
| 2026-02-17 13:12:24 +0100 | merijn | (~merijn@77.242.116.146) merijn |
| 2026-02-17 13:07:49 +0100 | merijn | (~merijn@77.242.116.146) (Ping timeout: 264 seconds) |
| 2026-02-17 13:05:48 +0100 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Ping timeout: 264 seconds) |
| 2026-02-17 13:04:00 +0100 | weary-traveler | (~user@user/user363627) (Ping timeout: 264 seconds) |
| 2026-02-17 13:01:07 +0100 | user363627 | (~user@user/user363627) user363627 |
| 2026-02-17 12:58:23 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:54:29 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:54:05 +0100 | weary-traveler | (~user@user/user363627) user363627 |
| 2026-02-17 12:49:57 +0100 | prdak | (~Thunderbi@user/prdak) prdak |
| 2026-02-17 12:30:57 +0100 | xdej | (~xdej@quatramaran.salle-s.org) |
| 2026-02-17 12:30:49 +0100 | xdej_ | (~xdej@quatramaran.salle-s.org) (Server closed connection) |
| 2026-02-17 12:23:38 +0100 | qqq | (~qqq@185.54.22.240) |
| 2026-02-17 12:23:18 +0100 | halloy7365 | (~halloy736@2404:4400:5446:4e00:b998:e0f5:fe7b:6a99) (Read error: Connection reset by peer) |
| 2026-02-17 12:18:43 +0100 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2026-02-17 12:12:43 +0100 | hellwolf | (~user@6bd4-851f-4104-a77b-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2026-02-17 12:12:29 +0100 | hellwolf | (~user@fab4-59b3-1ab0-7451-0f00-4d40-07d0-2001.sta.estpak.ee) (Server closed connection) |
| 2026-02-17 12:06:25 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c250:8a96:6b0e:a009) |
| 2026-02-17 12:02:41 +0100 | jreicher | (~joelr@user/jreicher) jreicher |