2025/02/10

Newest at the top

2025-02-10 14:48:06 +0100vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-02-10 14:46:14 +0100vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 244 seconds)
2025-02-10 14:46:13 +0100CryptLab(NSA@gateway/vpn/protonvpn/commanderbond007) CommanderBond007
2025-02-10 14:44:08 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 245 seconds)
2025-02-10 14:43:19 +0100CryptLab(NSA@gateway/vpn/protonvpn/commanderbond007) (Read error: Connection reset by peer)
2025-02-10 14:39:46 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-10 14:37:04 +0100tnt2tnt1
2025-02-10 14:37:04 +0100tnt1(~Thunderbi@user/tnt1) (Ping timeout: 260 seconds)
2025-02-10 14:37:02 +0100tnt2(~Thunderbi@user/tnt1) tnt1
2025-02-10 14:35:23 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Quit: = "")
2025-02-10 14:33:48 +0100sprotte24(~sprotte24@p200300d16f2cc700d9ccd33fac989807.dip0.t-ipconnect.de) (Quit: Leaving)
2025-02-10 14:30:38 +0100zero(~z@user/zero) zero
2025-02-10 14:28:23 +0100zwro(~z@user/zero) (Ping timeout: 252 seconds)
2025-02-10 14:20:08 +0100wootehfoot(~wootehfoo@user/wootehfoot) wootehfoot
2025-02-10 14:18:36 +0100 <int-e> (bonus point if the "qlign" was intentional)
2025-02-10 14:13:42 +0100 <dminuoso> TH is an obvious solution, but its not some simple 2-liner I want to include in every poroject
2025-02-10 14:13:21 +0100 <dminuoso> So then I keep thinking about just writing an assoc list [(Started, "started"), ("Stopped", "stopped")], but then pattern match exhaustiveness is not on my side.
2025-02-10 14:12:51 +0100 <dminuoso> Which by itself is fine, but when I write a FromField, there's the potential for typos such that they dont qlign.
2025-02-10 14:12:29 +0100 <dminuoso> Instead I usually do something like `toField s = case s of Started -> toField "started"; Stopped -> toField "stopped"`
2025-02-10 14:11:53 +0100 <dminuoso> Oh here's a curious question that I come back to a few times a year. Everytime I cook up a ToField/FromField class, I generally dont want to use Show/Read for serialization as I want the freedom to rename.
2025-02-10 14:06:13 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-10 14:06:03 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 246 seconds)
2025-02-10 14:01:06 +0100merijn(~merijn@77.242.116.146) merijn
2025-02-10 14:00:28 +0100merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-02-10 13:56:49 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 260 seconds)
2025-02-10 13:55:46 +0100CiaoSen(~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds)
2025-02-10 13:53:00 +0100otbergsten(~otbergste@user/otbergsten) otbergsten
2025-02-10 13:52:02 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-10 13:47:46 +0100ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-02-10 13:44:33 +0100sprotte24(~sprotte24@p200300d16f2cc700d9ccd33fac989807.dip0.t-ipconnect.de)
2025-02-10 13:40:50 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 265 seconds)
2025-02-10 13:36:17 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net)
2025-02-10 13:35:27 +0100HappyNewYear2025(~newyear@2.219.56.221) (Ping timeout: 244 seconds)
2025-02-10 13:33:38 +0100manwithluck`(~manwithlu@2a09:bac1:5be0:20::49:de) manwithluck
2025-02-10 13:32:31 +0100manwithluck`(~manwithlu@2a09:bac1:5be0:20::49:de) (Remote host closed the connection)
2025-02-10 13:27:27 +0100mange(~user@user/mange) (Quit: Zzz...)
2025-02-10 13:25:40 +0100tabaqui(~root@167.71.80.236) tabaqui
2025-02-10 13:10:10 +0100m1dnight(~m1dnight@d8D861908.access.telenet.be) m1dnight
2025-02-10 13:08:24 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 276 seconds)
2025-02-10 13:06:04 +0100ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds)
2025-02-10 13:04:26 +0100acidjnk_new3(~acidjnk@p200300d6e7283f99c4dbaee3a15423f1.dip0.t-ipconnect.de) acidjnk
2025-02-10 13:03:18 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-02-10 12:56:51 +0100jespada(~jespada@2800:a4:2243:2100:5cc9:2329:b53c:b25f) jespada
2025-02-10 12:52:57 +0100lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-02-10 12:50:56 +0100koz(~koz@121.99.240.58)
2025-02-10 12:48:16 +0100CiaoSen(~Jura@ip-037-201-241-067.um10.pools.vodafone-ip.de) CiaoSen
2025-02-10 12:45:22 +0100koz(~koz@121.99.240.58) (Ping timeout: 252 seconds)
2025-02-10 12:44:30 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net) (Ping timeout: 246 seconds)
2025-02-10 12:40:14 +0100tri(~tri@ool-44c70bcb.dyn.optonline.net)
2025-02-10 12:35:36 +0100tabaqui(~root@167.71.80.236) (Ping timeout: 265 seconds)