Newest at the top
| 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) |
| 2025-05-08 13:24:51 +0200 | infinity0 | (~infinity0@pwned.gg) infinity0 |
| 2025-05-08 13:15:22 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 276 seconds) |
| 2025-05-08 13:12:53 +0200 | yin | (~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 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 2025-05-08 13:11:14 +0200 | hellwolf | duck 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 +0200 | j1n37- | (~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. |
| 2025-05-08 13:07:43 +0200 | <JuanDaugherty> | *prodigously |
| 2025-05-08 13:07:16 +0200 | <JuanDaugherty> | which if it does will be monstrous irony if ppl that cant understand hs code can crank out programs in it, prodigyously with the circle jerk |
| 2025-05-08 13:05:24 +0200 | <JuanDaugherty> | unless i'm mistaken something should be forthcoming to fill that role (nlp - hs relation) |
| 2025-05-08 13:04:19 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 276 seconds) |
| 2025-05-08 13:04:11 +0200 | hellwolf | duck and continue coding |
| 2025-05-08 13:04:06 +0200 | <hellwolf> | :) |
| 2025-05-08 13:03:32 +0200 | <JuanDaugherty> | u lose |
| 2025-05-08 13:03:27 +0200 | <JuanDaugherty> | god fart |
| 2025-05-08 13:03:18 +0200 | <hellwolf> | we serve a different god here, end of conversation; that's my solution to people who is obsessed with satanic ritual of beating machines into submission. |
| 2025-05-08 13:03:17 +0200 | yin | (~z@user/zero) (Ping timeout: 248 seconds) |
| 2025-05-08 13:03:11 +0200 | <JuanDaugherty> | and yes, with computers, that's all my end goal is |
| 2025-05-08 13:02:27 +0200 | <JuanDaugherty> | somebody said something was point free |