2025/05/17

Newest at the top

2025-05-17 17:24:02 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:23:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:19:13 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 17:16:42 +0200pabs3(~pabs3@user/pabs3) pabs3
2025-05-17 17:15:51 +0200pabs3(~pabs3@user/pabs3) (Read error: Connection reset by peer)
2025-05-17 17:14:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 17:14:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 17:08:26 +0200ft_ft
2025-05-17 17:08:25 +0200ft(~ft@p3e9bc106.dip0.t-ipconnect.de) (Ping timeout: 276 seconds)
2025-05-17 17:06:36 +0200ft_(~ft@p3e9bc106.dip0.t-ipconnect.de) ft
2025-05-17 17:05:03 +0200joeyadams(~textual@syn-162-154-010-038.res.spectrum.com)
2025-05-17 17:03:43 +0200 <Leary> Is there a `newtype ID a = ID Unique` with `sameID :: ID a -> ID b -> Maybe (a :~: b)` already out there somewhere? It's pretty useful: https://gist.github.com/LSLeary/5e4e157055c04a6dea77d9474ec0544a
2025-05-17 16:43:07 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2025-05-17 16:34:25 +0200Frostillicus(~Frostilli@pool-71-174-119-56.bstnma.fios.verizon.net)
2025-05-17 16:30:41 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:30:21 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:22:44 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:22:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:19:26 +0200ColinRobinson(~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org))
2025-05-17 16:10:13 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479)
2025-05-17 16:09:14 +0200JuanDaughertyColinRobinson
2025-05-17 16:02:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 16:02:08 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 16:00:38 +0200 <JuanDaugherty> maybe there was corporate hs that wanted to stay on freenode but couldn for reasons
2025-05-17 15:59:50 +0200 <JuanDaugherty> this migration to matrix is more recent
2025-05-17 15:59:24 +0200 <JuanDaugherty> the hs namepace moved in a matter of hours upon the freednode/libera event
2025-05-17 15:58:57 +0200 <JuanDaugherty> i think that's ahistorical
2025-05-17 15:58:27 +0200 <yushyin> many migrated after the freenode hostile takeover
2025-05-17 15:56:37 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-17 15:55:54 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Max SendQ exceeded)
2025-05-17 15:55:10 +0200wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-05-17 15:51:28 +0200JuanDaughertywonders why some in hs channel space went to matrix
2025-05-17 15:50:03 +0200 <JuanDaugherty> ostentatious/implicit
2025-05-17 15:48:58 +0200 <JuanDaugherty> 10 years on no tls is still a thing, mostly in places of ostentatious trust
2025-05-17 15:48:52 +0200SlackCoder(~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder
2025-05-17 15:47:54 +0200 <JuanDaugherty> the issue was that Oeject insisted on tls
2025-05-17 15:47:27 +0200tromp(~textual@2001:1c00:3487:1b00:ace7:b293:8f4:7479) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-05-17 15:46:05 +0200 <JuanDaugherty> *caused
2025-05-17 15:45:55 +0200 <JuanDaugherty> #haskell-blah is down to a stub of users but has hung on more than a decade since Oejet cause the fork that resulted in #haskell-offtopic
2025-05-17 15:44:19 +0200 <JuanDaugherty> matrix looks down its nose on discord igess
2025-05-17 15:43:37 +0200 <JuanDaugherty> smalltalk was always cozier with the corporate
2025-05-17 15:42:57 +0200 <JuanDaugherty> that's the case for squeak for example
2025-05-17 15:42:43 +0200 <JuanDaugherty> the hs channel namespace seems to be holding up here, i've seen in other langs where slack or whatever becomes the default
2025-05-17 15:41:08 +0200 <JuanDaugherty> as the server and group were in his native finland
2025-05-17 15:40:38 +0200 <JuanDaugherty> *jitsi
2025-05-17 15:40:28 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-05-17 15:40:22 +0200acidjnk(~acidjnk@p200300d6e71c4f65d0640ad70f89573f.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-05-17 15:40:17 +0200 <JuanDaugherty> with video added it becomes clear how text only irc flattens the natural langs to just english
2025-05-17 15:40:07 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-05-17 15:38:51 +0200 <JuanDaugherty> turns out he doesn irc much