2025/05/08

Newest at the top

2025-05-08 15:35:24 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds)
2025-05-08 15:25:56 +0200tromp(~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6)
2025-05-08 15:13:29 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-08 15:13:21 +0200atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Quit: WeeChat 4.6.1)
2025-05-08 15:12:47 +0200segfaultfizzbuzz(~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Remote host closed the connection)
2025-05-08 15:10:08 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de)
2025-05-08 15:09:26 +0200euleritian(~euleritia@ip4d17f864.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer)
2025-05-08 15:08:51 +0200euleritian(~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 +0200euleritian(~euleritia@77.23.248.100) (Remote host closed the connection)
2025-05-08 15:08:29 +0200ttybitnik(~ttybitnik@user/wolper) ttybitnik
2025-05-08 15:06:51 +0200kh0d(~kh0d@89.216.103.150) (Quit: Leaving...)
2025-05-08 14:49:47 +0200target_i(~target_i@user/target-i/x-6023099) target_i
2025-05-08 14:49:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-05-08 14:49:33 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-05-08 14:44:07 +0200Digit(~user@69.47.7.51.dyn.plus.net) (Ping timeout: 252 seconds)
2025-05-08 14:43:51 +0200Digitteknohippie(~user@69.47.7.51.dyn.plus.net)
2025-05-08 14:40:37 +0200kuribas(~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 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-08 14:19:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-05-08 14:09:54 +0200chiselfuse(~chiselfus@user/chiselfuse) chiselfuse
2025-05-08 14:09:12 +0200chiselfuse(~chiselfus@user/chiselfuse) (Ping timeout: 264 seconds)
2025-05-08 13:52:30 +0200JuanDaughertyColinRobinson
2025-05-08 13:49:08 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 265 seconds)
2025-05-08 13:47:15 +0200bitmapper(uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2025-05-08 13:44:31 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-05-08 13:42:12 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-08 13:38:32 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-05-08 13:34:13 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-05-08 13:33:57 +0200j1n37-(~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen)
2025-05-08 13:33:46 +0200tromp(~textual@2001:1c00:3487:1b00:f14f:b20f:416b:87c6) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-08 13:31:05 +0200xff0x(~xff0x@2405:6580:b080:900:df43:4d2b:b873:7ac7)
2025-05-08 13:30:54 +0200L29Ah(~L29Ah@wikipedia/L29Ah) L29Ah
2025-05-08 13:30:38 +0200L29Ah(~L29Ah@wikipedia/L29Ah) ()
2025-05-08 13:26:41 +0200kh0d(~kh0d@89.216.103.150)
2025-05-08 13:24:51 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-05-08 13:15:22 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds)
2025-05-08 13:12:53 +0200yin(~z@user/zero) zero
2025-05-08 13:11:49 +0200 <JuanDaugherty> u'd be surprised how far the refusal reaches
2025-05-08 13:11:17 +0200j1n37(~j1n37@user/j1n37) (Ping timeout: 248 seconds)
2025-05-08 13:11:14 +0200hellwolfduck for real. have a good day gents.
2025-05-08 13:10:47 +0200 <hellwolf> even as a rationalist, I find it simply a impossible conversation to continue with people refuse rational thinking.
2025-05-08 13:10:40 +0200 <JuanDaugherty> *without the circle jerk
2025-05-08 13:10:36 +0200j1n37-(~j1n37@user/j1n37) j1n37
2025-05-08 13:10:18 +0200 <hellwolf> but sometimes, to me, that's the only relevant part to end a conversation.
2025-05-08 13:10:00 +0200 <hellwolf> it's alright, I am going too far already bringing out the metaphysical aspects of people.
2025-05-08 13:09:11 +0200 <JuanDaugherty> well carry on
2025-05-08 13:09:05 +0200 <hellwolf> didn't want to engage there, so I rant in IRC.
2025-05-08 13:08:54 +0200 <hellwolf> I was monologueing, sorry, I didn't target anyone personally. I am speaking to strawmen I saw on X social.