2025/06/03

2025-06-03 00:03:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds)
2025-06-03 00:03:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:04:18 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:05:39 +0200Lycurgus(~juan@user/Lycurgus) (Quit: irc.renjuan.org (juan@acm.org))
2025-06-03 00:07:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:08:22 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:09:10 +0200j1n37(~j1n37@user/j1n37) (Read error: Connection reset by peer)
2025-06-03 00:10:31 +0200sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2025-06-03 00:12:59 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:13:15 +0200j1n37(~j1n37@user/j1n37) j1n37
2025-06-03 00:13:23 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:13:25 +0200dispater-(~dispater@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-03 00:13:25 +0200orcus-(~orcus@user/brprice) (Quit: ZNC 1.8.2 - https://znc.in)
2025-06-03 00:14:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 00:15:10 +0200dispater-(~dispater@user/brprice) brprice
2025-06-03 00:15:41 +0200orcus-(~orcus@user/brprice) brprice
2025-06-03 00:18:05 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-03 00:18:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:19:01 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:19:09 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-03 00:21:01 +0200pavonia(~user@user/siracusa) siracusa
2025-06-03 00:22:25 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds)
2025-06-03 00:24:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:24:34 +0200orcus(~orcus@user/brprice) (Ping timeout: 252 seconds)
2025-06-03 00:24:34 +0200dispater(~dispater@mail.brprice.uk) (Ping timeout: 252 seconds)
2025-06-03 00:24:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:26:57 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:27:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:29:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 00:31:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:31:53 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:35:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-03 00:36:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:37:11 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:39:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-06-03 00:42:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-03 00:43:09 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:45:39 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 00:47:44 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds)
2025-06-03 00:50:39 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 00:50:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-03 00:51:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 00:54:27 +0200Frostillicus(~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds)
2025-06-03 00:56:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-06-03 00:56:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:00:54 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-03 01:01:28 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 01:02:37 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:03:00 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:06:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-06-03 01:08:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:09:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:10:37 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds)
2025-06-03 01:13:56 +0200machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-06-03 01:14:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:15:14 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:17:14 +0200xff0x(~xff0x@2405:6580:b080:900:effa:612a:1339:418c) (Quit: xff0x)
2025-06-03 01:17:16 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 01:22:04 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:22:12 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-06-03 01:22:27 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:26:59 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-06-03 01:27:24 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:27:36 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-06-03 01:27:51 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:30:27 +0200weary-traveler(~user@user/user363627) user363627
2025-06-03 01:32:26 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:32:50 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:32:50 +0200xff0x(~xff0x@ai083248.d.east.v6connect.net)
2025-06-03 01:33:04 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 01:37:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-06-03 01:37:35 +0200peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-06-03 01:37:35 +0200Digit(~user@user/digit) (Ping timeout: 252 seconds)
2025-06-03 01:40:29 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:40:58 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:46:56 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:47:19 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:48:37 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 01:51:09 +0200acidjnk(~acidjnk@p200300d6e71c4f46a4d9c5906f327091.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2025-06-03 01:54:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds)
2025-06-03 01:55:48 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 01:56:13 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 01:59:09 +0200 <EvanR> haskell type system could be construed as constructive: you start with nothing and can do nothing until you define new types, then you can create values according to the rules made so far, and that's it, until you define more types. In elixir's upcoming type system and typescript it's destructive. You start with a universe of possible values and the types divide the universe up into smaller and smaller subsets
2025-06-03 01:59:48 +0200 <EvanR> in some blog somewhere they argue that the first way gives you more stuff and goes farther, though the second way would be nice to have
2025-06-03 02:00:33 +0200 <EvanR> however now I'm wondering if they are even comparable because the universe is infinite, and dividing infinite space into infinite subspaces is not necessarily less
2025-06-03 02:00:42 +0200 <monochrom> Does it say what is nice about the second way?
2025-06-03 02:01:24 +0200 <EvanR> having the ability to control subtypes and restrict the values in a meticulous way, like liquid haskell
2025-06-03 02:01:31 +0200 <EvanR> they say it would be nice
2025-06-03 02:03:33 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection)
2025-06-03 02:03:55 +0200sabathan2(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-06-03 02:04:24 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-06-03 02:05:22 +0200 <EvanR> @where typescript
2025-06-03 02:05:23 +0200 <lambdabot> I know nothing about typescript.