Newest at the top
| 2025-05-08 16:21:00 +0200 | euleritian | (~euleritia@dynamic-176-006-143-056.176.6.pool.telefonica.de) |
| 2025-05-08 16:20:46 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) |
| 2025-05-08 16:20:00 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2025-05-08 16:09:22 +0200 | <hellwolf> | oh, iIsomehow thought it was you :) |
| 2025-05-08 16:06:25 +0200 | sprout | (~sprout@84-80-106-227.fixed.kpn.net) (Quit: leaving) |
| 2025-05-08 16:06:18 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-08 16:06:00 +0200 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-08 15:57:44 +0200 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) (Remote host closed the connection) |
| 2025-05-08 15:53:17 +0200 | stef204 | (~stef204@user/stef204) stef204 |
| 2025-05-08 15:39:17 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-05-08 15:39:03 +0200 | ystael | (~ystael@user/ystael) ystael |
| 2025-05-08 15:38:21 +0200 | euleritian | (~euleritia@77.23.248.100) |
| 2025-05-08 15:38:03 +0200 | euleritian | (~euleritia@dynamic-176-006-143-056.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-05-08 15:37:06 +0200 | euleritian | (~euleritia@dynamic-176-006-143-056.176.6.pool.telefonica.de) |
| 2025-05-08 15:35:24 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2025-05-08 15:25:56 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) |
| 2025-05-08 15:13:29 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-08 15:13:21 +0200 | atwm | (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Quit: WeeChat 4.6.1) |
| 2025-05-08 15:12:47 +0200 | segfaultfizzbuzz | (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection) |
| 2025-05-08 15:10:08 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-08 15:09:26 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2025-05-08 15:08:51 +0200 | euleritian | (~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) |
| 2025-05-08 15:08:49 +0200 | <int-e> | hellwolf: dym int-index maybe (it's certainly not me) |
| 2025-05-08 15:08:33 +0200 | euleritian | (~euleritia@77.23.248.100) (Remote host closed the connection) |
| 2025-05-08 15:08:29 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
| 2025-05-08 15:06:51 +0200 | kh0d | (~kh0d@89.216.103.150) (Quit: Leaving...) |
| 2025-05-08 14:49:47 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-05-08 14:49:41 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-05-08 14:49:33 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 2025-05-08 14:44:07 +0200 | Digit | (~user@69.47.7.51.dyn.plus.net) (Ping timeout: 252 seconds) |
| 2025-05-08 14:43:51 +0200 | Digitteknohippie | (~user@69.47.7.51.dyn.plus.net) |
| 2025-05-08 14:40:37 +0200 | kuribas | (~user@ptr-17d51em669ysrfo60ou.18120a2.ip6.access.telenet.be) kuribas |
| 2025-05-08 14:38:44 +0200 | <haskellbridge> | <hellwolf> lunch break thought, to tom: my hunch is that to build more general LTL, my hunch is to a type-level CPS style ish thing to enforce state transition in types. I might hit unsaturated type family limitation, which I could work around with newtype wrapper. Or, hopefully in 2026 int-e had it finished :p |
| 2025-05-08 14:23:43 +0200 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-05-08 14:19:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-08 14:09:54 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) chiselfuse |
| 2025-05-08 14:09:12 +0200 | chiselfuse | (~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds) |
| 2025-05-08 13:52:30 +0200 | JuanDaugherty | ColinRobinson |
| 2025-05-08 13:49:08 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds) |
| 2025-05-08 13:47:15 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-05-08 13:44:31 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-05-08 13:42:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-08 13:38:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-05-08 13:34:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-05-08 13:33:57 +0200 | j1n37- | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
| 2025-05-08 13:33:46 +0200 | tromp | (~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-05-08 13:31:05 +0200 | xff0x | (~xff0x@2405:6580:b080:900:df43:4d2b:b873:7ac7) |
| 2025-05-08 13:30:54 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-05-08 13:30:38 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-05-08 13:26:41 +0200 | kh0d | (~kh0d@89.216.103.150) |