Newest at the top
| 2026-06-19 00:40:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2026-06-19 00:36:40 +0000 | karenw_ | (~karenw@user/karenw) karenw |
| 2026-06-19 00:35:43 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-19 00:32:47 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-19 00:32:29 +0000 | Pozyomka_ | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-19 00:30:08 +0000 | Pozyomka | (~pyon@user/pyon) (Remote host closed the connection) |
| 2026-06-19 00:30:03 +0000 | Pozyomka_ | (~pyon@user/pyon) pyon |
| 2026-06-19 00:28:00 +0000 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 244 seconds) |
| 2026-06-19 00:25:30 +0000 | ephapticpulse | (~user@user/ephapticpulse) (Remote host closed the connection) |
| 2026-06-19 00:24:47 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2026-06-19 00:24:37 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) Enigmagic |
| 2026-06-19 00:24:28 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) (Remote host closed the connection) |
| 2026-06-19 00:22:22 +0000 | Enigmagic | (~Enigmagic@user/Enigmagic) Enigmagic |
| 2026-06-19 00:22:22 +0000 | Enigmagic | (~Enigmagic@12.50.239.162) (Changing host) |
| 2026-06-19 00:22:16 +0000 | Enigmagic | (~Enigmagic@12.50.239.162) |
| 2026-06-19 00:20:05 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-19 00:16:55 +0000 | tremon | (~tremon@83-80-159-219.cable.dynamic.v4.ziggo.nl) (Quit: getting boxed in) |
| 2026-06-19 00:09:28 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2026-06-19 00:06:53 +0000 | Enigmagic | (~oddly.ang@user/Enigmagic) (Remote host closed the connection) |
| 2026-06-19 00:01:56 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-18 23:56:16 +0000 | Enigmagic | (~oddly.ang@user/Enigmagic) Enigmagic |
| 2026-06-18 23:56:16 +0000 | Enigmagic | (~oddly.ang@12.50.239.162) (Changing host) |
| 2026-06-18 23:54:59 +0000 | karenw_ | (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 2026-06-18 23:51:49 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2026-06-18 23:46:34 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-18 23:43:35 +0000 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2026-06-18 23:40:36 +0000 | Pozyomka | (~pyon@user/pyon) pyon |
| 2026-06-18 23:40:35 +0000 | acidjnk | (~acidjnk@p200300d6e700e5891317306d628acec7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-06-18 23:40:19 +0000 | acidjnk_new | (~acidjnk@p200300d6e700e5891317306d628acec7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 2026-06-18 23:40:18 +0000 | Pozyomka | (~pyon@user/pyon) (Read error: Connection reset by peer) |
| 2026-06-18 23:38:13 +0000 | ephapticpulse | (~user@user/ephapticpulse) ephapticpulse |
| 2026-06-18 23:36:04 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 262 seconds) |
| 2026-06-18 23:31:40 +0000 | emilym | (~Thunderbi@user/emilym) (Ping timeout: 276 seconds) |
| 2026-06-18 23:31:14 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-18 23:26:50 +0000 | emilym | (~Thunderbi@user/emilym) emilym |
| 2026-06-18 23:20:33 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2026-06-18 23:15:40 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-18 23:05:16 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 266 seconds) |
| 2026-06-18 23:04:37 +0000 | <schuelermine> | cool |
| 2026-06-18 23:04:19 +0000 | <probie> | Yes |
| 2026-06-18 23:04:13 +0000 | <schuelermine> | does ⊸ work with UnicodeSyntax as an alias for %1 ->? |
| 2026-06-18 23:03:51 +0000 | <probie> | You probably only need `(Resource ⊸ t) -> t` |
| 2026-06-18 23:03:29 +0000 | <schuelermine> | actually does that function itself have to be linear? probably not |
| 2026-06-18 23:03:05 +0000 | <schuelermine> | instead of a type Resource that can only be consumed linearly, you expose a function withResource :: (Resource %1 -> t) %1 -> t for each constructor |
| 2026-06-18 23:02:17 +0000 | <schuelermine> | I suppose you can simulate it |
| 2026-06-18 23:01:30 +0000 | <schuelermine> | linear are functions are cool but can you make types that can only be consumed by linear functions? |
| 2026-06-18 23:00:18 +0000 | merijn | (~merijn@host-cl.cgnat-g.v4.dfn.nl) merijn |
| 2026-06-18 23:00:13 +0000 | <EvanR> | then register buttoncd todo |
| 2026-06-18 22:59:54 +0000 | <EvanR> | e.g. instead of buttoncb :: ButtonVal -> IO (), buttoncb :: IORef Whatever -> ButtonVal -> IO () |
| 2026-06-18 22:59:54 +0000 | <vms14> | i know i should avoid using ioref if possible |