2024/05/30

2024-05-30 00:10:32 +0200pavonia(~user@user/siracusa)
2024-05-30 00:11:24 +0200AlexNoo_(~AlexNoo@178.34.150.84)
2024-05-30 00:12:37 +0200Sgeo(~Sgeo@user/sgeo)
2024-05-30 00:13:40 +0200AlexZenon(~alzenon@5.139.233.96) (Ping timeout: 260 seconds)
2024-05-30 00:15:00 +0200AlexNoo(~AlexNoo@5.139.233.96) (Ping timeout: 268 seconds)
2024-05-30 00:17:24 +0200acidjnk(~acidjnk@p200300d6e714dc60b15ce67d57b130c2.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2024-05-30 00:19:37 +0200AlexZenon(~alzenon@178.34.150.84)
2024-05-30 00:21:55 +0200hueso_(~root@user/hueso) (Ping timeout: 255 seconds)
2024-05-30 00:22:10 +0200emmanuelux(~emmanuelu@user/emmanuelux)
2024-05-30 00:28:29 +0200barak(~barak@2a0d:6fc2:68c1:7200:e61a:851b:d7b:27e8) (Ping timeout: 256 seconds)
2024-05-30 00:38:59 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2024-05-30 00:57:55 +0200gmg(~user@user/gehmehgeh)
2024-05-30 00:58:06 +0200hueso(~root@user/hueso)
2024-05-30 00:58:56 +0200sawilagar(~sawilagar@user/sawilagar) (Ping timeout: 260 seconds)
2024-05-30 01:13:54 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2024-05-30 01:15:39 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net)
2024-05-30 01:22:12 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection)
2024-05-30 01:23:07 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2024-05-30 01:23:27 +0200_d0t(~{-d0t-}@user/-d0t-/x-7915216)
2024-05-30 01:26:12 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-30 01:32:40 +0200ocra8(ocra8@user/ocra8) (Quit: WeeChat 4.2.2)
2024-05-30 01:47:15 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-30 01:48:05 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 252 seconds)
2024-05-30 01:49:37 +0200Lycurgus(~georg@user/Lycurgus) (Quit: leaving)
2024-05-30 02:09:56 +0200causal(~eric@50.35.88.207)
2024-05-30 02:19:58 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 02:21:25 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds)
2024-05-30 02:23:40 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2024-05-30 02:33:00 +0200gentauro(~gentauro@user/gentauro) (Read error: Connection reset by peer)
2024-05-30 02:33:34 +0200fizbin_(~fizbin@user/fizbin)
2024-05-30 02:35:19 +0200califax(~califax@user/califx) (Remote host closed the connection)
2024-05-30 02:37:44 +0200califax(~califax@user/califx)
2024-05-30 02:38:25 +0200gentauro(~gentauro@user/gentauro)
2024-05-30 02:43:33 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 02:44:06 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 02:46:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds)
2024-05-30 02:49:42 +0200 <Leary> Franciman: The way to run untyped lambda calculus in Haskell with no overhead is to write it in `newtype LC = Lam{ ($$) :: LC -> LC }`. The issue with this representation is that there's no safe way to feed typed Haskell values in and get them back out at the end, but if you take on the responsibility of the type checker, you can just use unsafeCoerce. E.g. `fix :: (a -> a) -> a; fix = unsafeCoerce $ Lam \f -> let y = Lam \x -> f $$ (x $$ x) in y $$ y`
2024-05-30 02:53:09 +0200 <Leary> (though technically, due to a wontfix GHC bug, you need to {-# NOINLINE y #-} to prevent the simplifier from "simplifying" the Y combinator)
2024-05-30 03:09:17 +0200pounce(~pounce@user/cute/pounce) (Ping timeout: 256 seconds)
2024-05-30 03:10:37 +0200Hafydd(~Hafydd@user/hafydd) (Ping timeout: 246 seconds)
2024-05-30 03:10:58 +0200Hafydd(~Hafydd@user/hafydd)
2024-05-30 03:11:41 +0200pounce(~pounce@user/cute/pounce)
2024-05-30 03:33:31 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2024-05-30 03:39:43 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 03:52:47 +0200waleee(~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds)
2024-05-30 03:54:11 +0200xff0x(~xff0x@2405:6580:b080:900:e74f:f72b:d715:de1d) (Ping timeout: 256 seconds)
2024-05-30 03:59:28 +0200xff0x(~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32)
2024-05-30 04:02:02 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 04:03:07 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-30 04:05:41 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:05:51 +0200xff0x(~xff0x@2405:6580:b080:900:e725:dcc9:2cf0:4d32) (Ping timeout: 260 seconds)
2024-05-30 04:12:08 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 260 seconds)
2024-05-30 04:15:31 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:22:17 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-30 04:24:05 +0200dyniec(~dyniec@dybiec.info) (Quit: WeeChat 4.1.1)
2024-05-30 04:25:42 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:25:59 +0200fizbin_(~fizbin@user/fizbin) (Ping timeout: 268 seconds)
2024-05-30 04:29:48 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 256 seconds)
2024-05-30 04:37:22 +0200philopsos(~caecilius@user/philopsos) (Quit: Lost terminal)
2024-05-30 04:40:04 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Quit: au revoir)
2024-05-30 04:40:58 +0200ChaiTRex(~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds)
2024-05-30 04:41:49 +0200ChaiTRex(~ChaiTRex@user/chaitrex)
2024-05-30 04:43:04 +0200philopsos1(~caecilius@user/philopsos)
2024-05-30 04:43:49 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 272 seconds)
2024-05-30 04:44:06 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 04:48:48 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds)
2024-05-30 04:49:14 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp)
2024-05-30 04:53:46 +0200ddellacosta(~ddellacos@ool-44c73d29.dyn.optonline.net)
2024-05-30 04:54:36 +0200td_(~td@i5387092A.versanet.de) (Ping timeout: 255 seconds)
2024-05-30 04:56:13 +0200td_(~td@i5387090B.versanet.de)
2024-05-30 05:08:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-30 05:21:56 +0200aforemny(~aforemny@i59F516CD.versanet.de)
2024-05-30 05:23:23 +0200aforemny_(~aforemny@i59F516FB.versanet.de) (Ping timeout: 264 seconds)
2024-05-30 05:26:21 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-05-30 05:52:29 +0200 <mjrosenb> Leary: what does it simplify it to?
2024-05-30 05:54:42 +0200 <Leary> mjrosenb: `Y f` "simplifies" to `f (Y f)`, which "simplifies" to `f (f (Y f))`, ad infinitum.
2024-05-30 05:56:36 +0200 <mjrosenb> gotcha. I was going to say, you can simplify it any amount and it'll still be valid.
2024-05-30 06:02:50 +0200 <probie> mjrosenb: the problem is that GHC doesn't _stop_ simplifying it
2024-05-30 06:12:40 +0200Square2(~Square4@user/square) (Ping timeout: 268 seconds)
2024-05-30 06:13:35 +0200Square(~Square@user/square)
2024-05-30 06:14:50 +0200rvalue(~rvalue@user/rvalue) (Ping timeout: 252 seconds)
2024-05-30 06:20:06 +0200hueso(~root@user/hueso) (Ping timeout: 255 seconds)
2024-05-30 06:28:45 +0200machinedgod(~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds)
2024-05-30 06:31:55 +0200slack1256(~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8)
2024-05-30 06:32:35 +0200hueso(~root@user/hueso)
2024-05-30 06:55:56 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds)
2024-05-30 06:56:24 +0200segfaultfizzbuzz(~segfaultf@23-93-189-95.fiber.dynamic.sonic.net) (Ping timeout: 260 seconds)
2024-05-30 06:58:11 +0200philopsos1(~caecilius@user/philopsos) (Ping timeout: 264 seconds)
2024-05-30 06:58:57 +0200euleritian(~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de)
2024-05-30 06:59:14 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-30 06:59:20 +0200euleritian(~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-30 06:59:38 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-30 07:10:13 +0200slack1256(~slack1256@2803:c600:5111:80cb:837c:2c1d:c5e2:53d8) (Remote host closed the connection)
2024-05-30 07:12:12 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2024-05-30 07:21:30 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 07:25:41 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2024-05-30 07:29:38 +0200Square(~Square@user/square) (Ping timeout: 252 seconds)
2024-05-30 07:29:46 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 07:30:02 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2024-05-30 07:34:32 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2024-05-30 07:35:07 +0200euleritian(~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de)
2024-05-30 07:37:56 +0200rvalue(~rvalue@user/rvalue)
2024-05-30 07:50:29 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds)
2024-05-30 07:54:12 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 07:58:27 +0200acidjnk(~acidjnk@p200300d6e714dc096149684c9083de71.dip0.t-ipconnect.de)
2024-05-30 08:08:25 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-30 08:09:18 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-30 08:11:05 +0200zetef(~quassel@95.77.17.251)
2024-05-30 08:12:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 256 seconds)
2024-05-30 08:14:43 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 08:18:13 +0200ph88(~ph88@2a02:8109:9e26:c800:728b:dc6e:a428:192b) (Remote host closed the connection)
2024-05-30 08:20:37 +0200ak-1(~ak-1@149.50.189.92) (Quit: ak-1)
2024-05-30 08:20:52 +0200ak-1(~ak-1@149.50.189.92)
2024-05-30 08:43:03 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2024-05-30 08:48:52 +0200kilolympus(~kilolympu@31.205.200.246) (Remote host closed the connection)
2024-05-30 08:52:23 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 268 seconds)
2024-05-30 08:52:25 +0200kilolympus(~kilolympu@31.205.200.246)
2024-05-30 08:52:46 +0200killy(~killy@staticline-31-183-186-9.toya.net.pl)
2024-05-30 09:12:21 +0200chiselfuse(~chiselfus@user/chiselfuse) (Remote host closed the connection)
2024-05-30 09:13:10 +0200xdminsy(~xdminsy@117.147.70.212) (Quit: Konversation terminated!)
2024-05-30 09:13:17 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-30 09:21:23 +0200kuribas(~user@ptr-3zut8u1nt3xxt1xf.0000808120a2.ip6.access.telenet.be)
2024-05-30 09:22:32 +0200zetef(~quassel@95.77.17.251)
2024-05-30 09:24:56 +0200david_tvh(~david_tvh@212-114-26-122.box.freepro.com)
2024-05-30 09:25:16 +0200chiselfuse(~chiselfus@user/chiselfuse) (Read error: Connection reset by peer)
2024-05-30 09:26:22 +0200chiselfuse(~chiselfus@user/chiselfuse)
2024-05-30 09:27:15 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 256 seconds)
2024-05-30 09:35:27 +0200raehik(~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net)
2024-05-30 09:37:08 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com)
2024-05-30 09:39:52 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com) (Ping timeout: 268 seconds)
2024-05-30 09:42:35 +0200L29Ah(~L29Ah@wikipedia/L29Ah) (Ping timeout: 264 seconds)
2024-05-30 09:43:39 +0200euleritian(~euleritia@dynamic-176-006-013-249.176.6.pool.telefonica.de) (Read error: Connection reset by peer)
2024-05-30 09:45:23 +0200euleritian(~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de)
2024-05-30 09:46:58 +0200gmg(~user@user/gehmehgeh)
2024-05-30 09:48:28 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds)
2024-05-30 09:55:45 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 09:56:19 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 09:58:11 +0200kuribas(~user@ptr-3zut8u1nt3xxt1xf.0000808120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds)
2024-05-30 10:07:58 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 10:08:10 +0200oo_miguel(~Thunderbi@78-11-181-16.static.ip.netia.com.pl)
2024-05-30 10:09:19 +0200kuribas(~user@ptr-3zusay2eqdicedr8.0000808120a2.ip6.access.telenet.be)
2024-05-30 10:17:48 +0200AlexNoo_AlexNoo
2024-05-30 10:20:58 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 10:21:04 +0200zetef(~quassel@95.77.17.251)
2024-05-30 10:22:38 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 10:23:00 +0200kuribas`(~user@ip-188-118-57-242.reverse.destiny.be)
2024-05-30 10:24:29 +0200kuribas(~user@ptr-3zusay2eqdicedr8.0000808120a2.ip6.access.telenet.be) (Ping timeout: 240 seconds)
2024-05-30 10:24:40 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2024-05-30 10:25:20 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 10:26:11 +0200killy(~killy@staticline-31-183-186-9.toya.net.pl) (Ping timeout: 252 seconds)
2024-05-30 10:29:18 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker) (Excess Flood)
2024-05-30 10:30:46 +0200bairyn(~bairyn@50.250.232.19) (Ping timeout: 256 seconds)
2024-05-30 10:32:37 +0200TheCoffeMaker(~TheCoffeM@user/thecoffemaker)
2024-05-30 10:33:42 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Remote host closed the connection)
2024-05-30 10:33:57 +0200tcard(~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303)
2024-05-30 10:41:31 +0200titibandit(~user@user/titibandit)
2024-05-30 10:46:16 +0200tessier(~treed@ec2-184-72-149-67.compute-1.amazonaws.com)
2024-05-30 10:51:27 +0200xdminsy(~xdminsy@117.147.70.212)
2024-05-30 10:52:29 +0200david_tvh(~david_tvh@212-114-26-122.box.freepro.com) (Quit: Connection closed)
2024-05-30 11:00:37 +0200danse-nr3(~danse-nr3@151.47.143.144)
2024-05-30 11:02:09 +0200bairyn(~bairyn@50.250.232.19)
2024-05-30 11:02:29 +0200lxsameer(~lxsameer@Serene/lxsameer)
2024-05-30 11:08:41 +0200danse-nr3(~danse-nr3@151.47.143.144) (Ping timeout: 256 seconds)
2024-05-30 11:10:00 +0200cfricke(~cfricke@user/cfricke)
2024-05-30 11:15:40 +0200econo_(uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-30 11:24:46 +0200david_tvh(~david_tvh@212-114-26-122.box.freepro.com)
2024-05-30 11:25:00 +0200sawilagar(~sawilagar@user/sawilagar)
2024-05-30 11:27:36 +0200bollu(~bollu@159.65.151.13) (Quit: Ping timeout (120 seconds))
2024-05-30 11:27:59 +0200bollu(~bollu@159.65.151.13)
2024-05-30 11:28:26 +0200natto(~natto@129.154.243.159) (Read error: Connection reset by peer)
2024-05-30 11:28:39 +0200natto17(~natto@129.154.243.159)
2024-05-30 11:29:48 +0200chele(~chele@user/chele)
2024-05-30 11:32:43 +0200zetef(~quassel@95.77.17.251) (Ping timeout: 268 seconds)
2024-05-30 11:32:58 +0200Feuermagier(~Feuermagi@user/feuermagier) (Read error: Connection reset by peer)
2024-05-30 11:43:47 +0200poscat(~poscat@user/poscat) (Ping timeout: 264 seconds)
2024-05-30 11:43:56 +0200danse-nr3(~danse-nr3@151.47.143.144)
2024-05-30 11:44:12 +0200poscat(~poscat@user/poscat)
2024-05-30 11:46:29 +0200__monty__(~toonn@user/toonn)
2024-05-30 11:48:51 +0200zetef(~quassel@95.77.17.251)
2024-05-30 11:51:36 +0200L29Ah(~L29Ah@wikipedia/L29Ah)
2024-05-30 11:54:49 +0200ubert(~Thunderbi@2a02:8109:ab8a:5a00:591b:7783:d368:bb2c)
2024-05-30 11:56:23 +0200mreh(~matthew@host86-160-168-107.range86-160.btcentralplus.com)
2024-05-30 12:02:04 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.2.1)
2024-05-30 12:06:38 +0200xff0x(~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds)
2024-05-30 12:12:12 +0200cfricke(~cfricke@user/cfricke) (Ping timeout: 256 seconds)
2024-05-30 12:13:20 +0200mreh(~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 256 seconds)
2024-05-30 12:13:54 +0200cawfee(~root@2406:3003:2077:1c50::babe) (Ping timeout: 256 seconds)
2024-05-30 12:16:08 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1) (Quit: Later)
2024-05-30 12:16:30 +0200david_tvh(~david_tvh@212-114-26-122.box.freepro.com) (Ping timeout: 268 seconds)
2024-05-30 12:18:19 +0200rncwnd(~quassel@2a01:4f8:221:27c6::1)
2024-05-30 12:21:24 +0200cawfee(~root@2406:3003:2077:1c50::babe)
2024-05-30 12:23:48 +0200alphabeta(~kilolympu@31.205.200.235)
2024-05-30 12:24:26 +0200kilolympus(~kilolympu@31.205.200.246) (Ping timeout: 252 seconds)
2024-05-30 12:24:34 +0200killy(~killy@staticline-31-183-186-9.toya.net.pl)
2024-05-30 12:25:24 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2024-05-30 12:25:38 +0200cfricke(~cfricke@user/cfricke)
2024-05-30 12:34:11 +0200zetef(~quassel@95.77.17.251) (Remote host closed the connection)
2024-05-30 12:38:42 +0200Feuermagier(~Feuermagi@user/feuermagier)
2024-05-30 12:39:29 +0200mei(~mei@user/mei)
2024-05-30 12:41:47 +0200remmie(ianremsen@tilde.team) (Ping timeout: 268 seconds)
2024-05-30 12:42:40 +0200notzmv(~daniel@user/notzmv) (Ping timeout: 260 seconds)
2024-05-30 12:42:44 +0200qhong(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Quit: ZNC 1.8.2 - https://znc.in)
2024-05-30 12:45:11 +0200dyniec(~dyniec@dybiec.info)
2024-05-30 12:45:48 +0200qhong(~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu)