| 2025-04-21 00:01:12 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-21 00:05:00 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 00:07:36 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-21 00:13:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 00:13:11 +0000 | tremon | (~tremon@83.80.159.219) (Quit: getting boxed in) |
| 2025-04-21 00:18:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 00:20:30 +0000 | euleritian | (~euleritia@dynamic-176-006-141-238.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 00:20:42 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 00:30:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 00:35:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 00:38:35 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-21 00:46:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 00:46:14 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-21 00:47:54 +0000 | otto_s | (~user@p4ff27d26.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-21 00:49:40 +0000 | otto_s | (~user@p5de2ffcb.dip0.t-ipconnect.de) |
| 2025-04-21 00:50:19 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 00:54:02 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f4138062549a387e2a7.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-21 00:57:42 +0000 | xff0x | (~xff0x@2405:6580:b080:900:38fd:c123:25a:a4e9) (Quit: xff0x) |
| 2025-04-21 01:00:27 +0000 | pera | (~pera@user/pera) (Quit: leaving) |
| 2025-04-21 01:02:37 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a8f6:15fc:e58:fdd9) |
| 2025-04-21 01:03:42 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 01:07:01 +0000 | xff0x | (~xff0x@2405:6580:b080:900:a8f6:15fc:e58:fdd9) (Ping timeout: 248 seconds) |
| 2025-04-21 01:10:47 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 01:17:28 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 01:20:41 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2025-04-21 01:21:34 +0000 | <haskellbridge> | <Bowuigi> I'm glad that syntax didn't stay lol |
| 2025-04-21 01:22:21 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-04-21 01:22:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 01:23:43 +0000 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
| 2025-04-21 01:26:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 01:28:10 +0000 | ethantwardy | (~user@user/ethantwardy) (Ping timeout: 252 seconds) |
| 2025-04-21 01:29:59 +0000 | ethantwardy | (~user@user/ethantwardy) ethantwardy |
| 2025-04-21 01:29:59 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 01:38:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 01:40:01 +0000 | <geekosaur> | you see it with a lot of Haskell newcomers' code 😛 |
| 2025-04-21 01:40:59 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-21 01:41:29 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-21 01:43:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 01:56:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 02:00:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 02:02:28 +0000 | hiredman | (~hiredman@frontier1.downey.family) hiredman |
| 2025-04-21 02:12:11 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 02:12:39 +0000 | Sciencentistguy8 | (~sciencent@hacksoc/ordinary-member) sciencentistguy |
| 2025-04-21 02:12:49 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 02:13:48 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-21 02:15:06 +0000 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Ping timeout: 272 seconds) |
| 2025-04-21 02:15:07 +0000 | Sciencentistguy8 | Sciencentistguy |
| 2025-04-21 02:15:23 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-04-21 02:16:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 02:17:24 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-21 02:28:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 02:32:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 02:46:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 02:53:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 02:57:44 +0000 | <haskellbridge> | <Liamzee> hmmm, talking to miso dev, this is actually a fairly interesting use case for haskell, no? |
| 2025-04-21 02:58:03 +0000 | <haskellbridge> | <Liamzee> allow an eDSL for user use on a social platform |
| 2025-04-21 02:58:36 +0000 | <haskellbridge> | <Liamzee> -xNoImplicitPrelude + Miso, |
| 2025-04-21 03:01:12 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) |
| 2025-04-21 03:01:28 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) (Remote host closed the connection) |
| 2025-04-21 03:01:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 03:06:25 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 03:07:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 03:08:18 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:88e0:76ff:fe9c:b21e) hgolden |
| 2025-04-21 03:20:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 03:20:19 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 03:20:38 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-21 03:22:31 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-21 03:23:42 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-21 03:24:31 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-04-21 03:24:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 03:25:09 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 248 seconds) |
| 2025-04-21 03:25:49 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-21 03:28:15 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2025-04-21 03:30:19 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
| 2025-04-21 03:31:32 +0000 | aforemny | (~aforemny@2001:9e8:6ce3:aa00:a40a:58f0:a79e:fd07) aforemny |
| 2025-04-21 03:32:35 +0000 | aforemny_ | (~aforemny@2001:9e8:6cc5:7e00:c2ee:f0f2:a86a:9c12) (Ping timeout: 268 seconds) |
| 2025-04-21 03:38:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 03:42:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 03:54:48 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 03:55:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 03:59:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 04:00:31 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 252 seconds) |
| 2025-04-21 04:01:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 04:04:55 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2025-04-21 04:06:35 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 04:12:12 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 04:16:52 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 265 seconds) |
| 2025-04-21 04:18:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 04:24:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-21 04:29:01 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 04:38:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 04:43:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 04:55:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 04:59:48 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 05:04:29 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Quit: WeeChat 4.6.1) |
| 2025-04-21 05:04:59 +0000 | dinxx84 | (~dinxx@197.210.227.33) |
| 2025-04-21 05:05:02 +0000 | mrmr | (~mrmr@user/mrmr) (Ping timeout: 244 seconds) |
| 2025-04-21 05:06:51 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-21 05:07:20 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Client Quit) |
| 2025-04-21 05:10:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 05:11:30 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-21 05:15:00 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-21 05:15:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 05:20:10 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 276 seconds) |
| 2025-04-21 05:22:46 +0000 | mrmr | (~mrmr@user/mrmr) mrmr |
| 2025-04-21 05:24:33 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2025-04-21 05:25:19 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-21 05:27:23 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 05:30:10 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 272 seconds) |
| 2025-04-21 05:32:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 05:32:30 +0000 | dinxx84 | (~dinxx@197.210.227.33) (Ping timeout: 240 seconds) |
| 2025-04-21 05:33:09 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 05:42:38 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 05:44:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 05:49:17 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-21 05:49:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 05:51:36 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2025-04-21 06:00:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 06:01:42 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 06:07:37 +0000 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-21 06:07:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 06:08:09 +0000 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) |
| 2025-04-21 06:08:17 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 06:18:28 +0000 | puke | (~puke@user/puke) (Quit: puke) |
| 2025-04-21 06:18:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 06:20:33 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2025-04-21 06:21:01 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 06:22:01 +0000 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) (Quit: Client closed) |
| 2025-04-21 06:22:15 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 2025-04-21 06:23:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 06:30:10 +0000 | tromp | (~textual@2001:1c00:3487:1b00:700b:fe2:71b0:9324) |
| 2025-04-21 06:34:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 06:39:31 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 06:42:18 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-21 06:44:09 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-21 06:44:33 +0000 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Ping timeout: 248 seconds) |
| 2025-04-21 06:45:29 +0000 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
| 2025-04-21 06:48:42 +0000 | poscat | (~poscat@user/poscat) poscat |
| 2025-04-21 06:51:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 06:55:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 06:58:04 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-21 07:00:01 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-21 07:00:02 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 07:01:45 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-21 07:02:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 07:03:35 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2025-04-21 07:06:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 07:19:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 07:20:43 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2025-04-21 07:21:22 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2025-04-21 07:23:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 07:26:41 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-21 07:27:46 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 07:28:34 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 07:28:46 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 07:28:52 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-21 07:32:06 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-21 07:33:19 +0000 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2025-04-21 07:34:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 07:34:55 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-21 07:36:40 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-04-21 07:39:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 07:50:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 07:50:36 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-21 07:50:58 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 2025-04-21 07:52:08 +0000 | Ikosit | (~Ikosit@user/ikosit) (Quit: The Lounge - https://thelounge.chat) |
| 2025-04-21 07:57:03 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 07:57:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 08:03:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 08:08:10 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) |
| 2025-04-21 08:08:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 08:15:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 08:16:32 +0000 | __monty__ | (~toonn@user/toonn) toonn |
| 2025-04-21 08:20:07 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 08:27:55 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
| 2025-04-21 08:31:30 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-21 08:31:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 08:36:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 08:50:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 08:54:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 08:57:23 +0000 | tromp | (~textual@2001:1c00:3487:1b00:700b:fe2:71b0:9324) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-21 09:01:16 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 09:02:11 +0000 | sprotte24 | (~sprotte24@p200300d16f24580070b20176ff3a786c.dip0.t-ipconnect.de) |
| 2025-04-21 09:02:57 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f087dcc14080b492174.dip0.t-ipconnect.de) acidjnk |
| 2025-04-21 09:04:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 09:07:13 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2025-04-21 09:09:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 09:13:44 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 2025-04-21 09:14:53 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 09:15:36 +0000 | madjestic | (~madjestic@37.109.147.147) madjestic |
| 2025-04-21 09:18:12 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
| 2025-04-21 09:20:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 09:23:00 +0000 | <madjestic> | hey folks, does user svenpanne lurk here sometimes? |
| 2025-04-21 09:25:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 09:29:47 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-21 09:29:53 +0000 | Ikosit | (~Ikosit@user/ikosit) Ikosit |
| 2025-04-21 09:30:05 +0000 | mceresa | (~mceresa@user/mceresa) (Remote host closed the connection) |
| 2025-04-21 09:31:10 +0000 | Square3 | (~Square@user/square) Square |
| 2025-04-21 09:35:55 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 09:38:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 09:39:01 +0000 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Quit: CiaoSen) |
| 2025-04-21 09:39:05 +0000 | manwithluck | (~manwithlu@2a09:bac1:5b80:20::49:196) (Ping timeout: 272 seconds) |
| 2025-04-21 09:40:04 +0000 | manwithluck | (~manwithlu@2a09:bac5:5081:2dc::49:f6) manwithluck |
| 2025-04-21 09:41:53 +0000 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2025-04-21 09:44:00 +0000 | kmein | (~weechat@user/kmein) kmein |
| 2025-04-21 09:45:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 09:49:31 +0000 | puke | (~puke@user/puke) puke |
| 2025-04-21 09:49:46 +0000 | amadaluzia_ | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 09:50:59 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 09:53:47 +0000 | <haskellbridge> | <hellwolf> > you see it with a lot of Haskell newcomers' code 😛 |
| 2025-04-21 09:53:48 +0000 | <haskellbridge> | I think hlint at least warns about necesssary brackets |
| 2025-04-21 09:53:51 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f087dcc14080b492174.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-21 09:54:13 +0000 | <haskellbridge> | <hellwolf> But I have turned it off: |
| 2025-04-21 09:54:13 +0000 | <haskellbridge> | ... long message truncated: https://kf8nh.com/_heisenbridge/media/kf8nh.com/IRiKaRqglWhrTmwogFnMQyxU/YasBvWsOikw (3 lines) |
| 2025-04-21 09:55:20 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-21 09:58:05 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-21 09:58:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 09:59:45 +0000 | Ikosit | (~Ikosit@user/ikosit) (Ping timeout: 276 seconds) |
| 2025-04-21 10:01:53 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2025-04-21 10:02:57 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 10:03:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 10:05:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 10:05:30 +0000 | hellwolf | (~user@403b-ac98-abe0-43b9-0f00-4d40-07d0-2001.sta.estpak.ee) (Ping timeout: 260 seconds) |
| 2025-04-21 10:10:43 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 10:10:52 +0000 | hellwolf | (~user@df56-1a33-0fb6-67d2-0f00-4d40-07d0-2001.sta.estpak.ee) hellwolf |
| 2025-04-21 10:13:33 +0000 | <ski> | doesn't seem to be registered, madjestic |
| 2025-04-21 10:16:17 +0000 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 248 seconds) |
| 2025-04-21 10:19:38 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 10:20:14 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
| 2025-04-21 10:21:52 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 10:26:07 +0000 | Vajb | (~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) (Ping timeout: 252 seconds) |
| 2025-04-21 10:26:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-21 10:26:19 +0000 | Vajb | (~Vajb@n83sqe30rcw6481fyv6-1.v6.elisa-mobile.fi) |
| 2025-04-21 10:32:10 +0000 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 276 seconds) |
| 2025-04-21 10:39:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 10:45:10 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-21 10:45:28 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 10:45:51 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 10:46:07 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 10:46:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 10:47:51 +0000 | dhil | (~dhil@5.151.29.139) dhil |
| 2025-04-21 10:47:51 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-21 10:48:17 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 10:48:39 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 10:48:51 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 10:51:55 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 10:52:45 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
| 2025-04-21 10:52:45 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-21 10:53:22 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 10:56:38 +0000 | srazkvt | (~sarah@user/srazkvt) srazkvt |
| 2025-04-21 10:57:31 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-21 10:59:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 11:03:56 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 11:04:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 11:06:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 11:07:57 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 244 seconds) |
| 2025-04-21 11:08:39 +0000 | Buliarous | (~gypsydang@46.232.210.139) (Remote host closed the connection) |
| 2025-04-21 11:09:11 +0000 | Buliarous | (~gypsydang@46.232.210.139) Buliarous |
| 2025-04-21 11:11:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 11:15:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 11:17:02 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 11:17:50 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-21 11:18:12 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 11:20:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 11:21:24 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-21 11:22:17 +0000 | madjestic | (~madjestic@37.109.147.147) |
| 2025-04-21 11:23:22 +0000 | <madjestic> | ski: thanks! |
| 2025-04-21 11:26:46 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-21 11:30:18 +0000 | xff0x | (~xff0x@ai066236.d.east.v6connect.net) |
| 2025-04-21 11:30:53 +0000 | Ikosit | (~Ikosit@user/ikosit) Ikosit |
| 2025-04-21 11:32:08 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 11:33:54 +0000 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 11:36:32 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 11:41:35 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 11:47:21 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f08445cea1ba17aeda3.dip0.t-ipconnect.de) acidjnk |
| 2025-04-21 11:47:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 11:52:50 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 11:55:13 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-21 11:56:02 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 265 seconds) |
| 2025-04-21 12:05:02 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 12:07:17 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Ping timeout: 248 seconds) |
| 2025-04-21 12:07:35 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 12:12:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-21 12:14:51 +0000 | zmt00 | (~zmt00@user/zmt00) zmt00 |
| 2025-04-21 12:16:42 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 12:23:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 12:28:12 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-21 12:29:04 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 12:29:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 12:29:31 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 12:29:43 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 12:31:19 +0000 | JuanDaugherty | ColinRobinson |
| 2025-04-21 12:34:05 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 12:38:13 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-21 12:39:06 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) |
| 2025-04-21 12:39:44 +0000 | jespada | (~jespada@r179-25-155-68.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-21 12:39:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 12:44:39 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 12:49:24 +0000 | pavonia | (~user@user/siracusa) siracusa |
| 2025-04-21 12:50:18 +0000 | septimi | (~sepi@87-92-72-195.bb.dnainternet.fi) (Quit: WeeChat 4.6.1) |
| 2025-04-21 12:56:54 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 12:59:29 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 13:01:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 13:01:43 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 2025-04-21 13:01:43 +0000 | ljdarj1 | ljdarj |
| 2025-04-21 13:03:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2025-04-21 13:05:38 +0000 | madjestic | (~madjestic@37.109.147.147) |
| 2025-04-21 13:06:14 +0000 | euleritian | (~euleritia@dynamic-176-006-137-041.176.6.pool.telefonica.de) (Ping timeout: 245 seconds) |
| 2025-04-21 13:06:49 +0000 | euleritian | (~euleritia@dynamic-176-000-197-067.176.0.pool.telefonica.de) |
| 2025-04-21 13:08:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 13:09:38 +0000 | septimi | (9f60f4cb70@2a03:6000:1812:100::14dd) |
| 2025-04-21 13:09:39 +0000 | son0p | (~ff@2800:e6:4001:f995:7f79:d961:a77:e30d) (Ping timeout: 252 seconds) |
| 2025-04-21 13:11:00 +0000 | sp1ff | (~user@c-67-160-173-55.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2025-04-21 13:13:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 13:13:48 +0000 | AlexZenon | (~alzenon@178.34.150.128) (Ping timeout: 244 seconds) |
| 2025-04-21 13:14:04 +0000 | ColinRobinson | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-21 13:14:48 +0000 | AlexNoo | (~AlexNoo@178.34.150.128) (Ping timeout: 252 seconds) |
| 2025-04-21 13:18:00 +0000 | AlexZenon | (~alzenon@94.233.240.73) |
| 2025-04-21 13:21:54 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 276 seconds) |
| 2025-04-21 13:23:33 +0000 | septimi | (9f60f4cb70@2a03:6000:1812:100::14dd) (Changing host) |
| 2025-04-21 13:23:33 +0000 | septimi | (9f60f4cb70@user/septimi) septimi |
| 2025-04-21 13:24:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 13:24:45 +0000 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2025-04-21 13:25:17 +0000 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2025-04-21 13:31:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 13:41:27 +0000 | euleritian | (~euleritia@dynamic-176-000-197-067.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 13:42:39 +0000 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Ping timeout: 252 seconds) |
| 2025-04-21 13:42:54 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 245 seconds) |
| 2025-04-21 13:44:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 13:45:49 +0000 | euleritian | (~euleritia@dynamic-176-000-197-067.176.0.pool.telefonica.de) |
| 2025-04-21 13:45:57 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f08445cea1ba17aeda3.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2025-04-21 13:49:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 2025-04-21 14:02:21 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 14:03:04 +0000 | inca | (~inca@71.30.233.213) |
| 2025-04-21 14:06:51 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 14:09:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 14:09:46 +0000 | amadaluzia_ | (~amadaluzi@user/amadaluzia) (Quit: Hi, this is Paul Allen. I'm being called away to London for a few days. Meredith, I'll call you when I get back. Hasta la vista, baby.) |
| 2025-04-21 14:12:42 +0000 | inca | (~inca@71.30.233.213) (Ping timeout: 244 seconds) |
| 2025-04-21 14:13:12 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 14:14:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-21 14:14:33 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-21 14:18:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) target_i |
| 2025-04-21 14:25:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 14:29:30 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 14:29:54 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess |
| 2025-04-21 14:30:20 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 14:35:12 +0000 | hidjgr | (~hidjgr@user/hidjgr) (Quit: WeeChat 4.6.0) |
| 2025-04-21 14:35:24 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 260 seconds) |
| 2025-04-21 14:38:39 +0000 | euleritian | (~euleritia@dynamic-176-000-197-067.176.0.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2025-04-21 14:41:07 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 14:41:19 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) |
| 2025-04-21 14:43:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 14:45:37 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 272 seconds) |
| 2025-04-21 14:48:46 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 14:59:30 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 15:03:45 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 15:10:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 15:12:54 +0000 | AlexNoo | (~AlexNoo@94.233.240.73) |
| 2025-04-21 15:14:41 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-21 15:16:26 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-21 15:17:36 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 15:17:56 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2025-04-21 15:19:01 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 15:19:40 +0000 | L29Ah | (~L29Ah@wikipedia/L29Ah) L29Ah |
| 2025-04-21 15:21:06 +0000 | madjestic | (~madjestic@37.109.147.147) |
| 2025-04-21 15:23:37 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-21 15:24:02 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) |
| 2025-04-21 15:24:36 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-21 15:24:59 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) |
| 2025-04-21 15:25:25 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
| 2025-04-21 15:28:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 15:29:22 +0000 | inca | (~inca@h213.233.30.71.dynamic.ip.windstream.net) (Ping timeout: 252 seconds) |
| 2025-04-21 15:29:59 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 15:30:46 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 15:31:34 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 252 seconds) |
| 2025-04-21 15:31:53 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 15:33:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 15:34:30 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-21 15:34:30 +0000 | prdak1 | prdak |
| 2025-04-21 15:39:45 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Remote host closed the connection) |
| 2025-04-21 15:45:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 15:48:24 +0000 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2025-04-21 15:48:44 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-21 15:50:34 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 15:58:37 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2025-04-21 16:01:09 +0000 | tremon | (~tremon@83.80.159.219) tremon |
| 2025-04-21 16:02:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 16:04:12 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-21 16:07:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 16:11:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 16:15:32 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-21 16:16:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 16:21:26 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-21 16:24:58 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 2025-04-21 16:26:03 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 16:27:49 +0000 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2025-04-21 16:28:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 16:31:49 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2025-04-21 16:32:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 16:34:31 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) |
| 2025-04-21 16:36:14 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2025-04-21 16:38:19 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 245 seconds) |
| 2025-04-21 16:46:06 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 16:46:34 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 2025-04-21 16:47:43 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) |
| 2025-04-21 16:53:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 16:56:12 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 16:56:24 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 17:04:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 17:05:19 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-21 17:05:47 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) |
| 2025-04-21 17:08:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 17:09:11 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 17:12:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 17:16:55 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 17:18:34 +0000 | sixfourtwelve | glassofethanol |
| 2025-04-21 17:19:23 +0000 | acidjnk | (~acidjnk@p200300d6e71c4f08445cea1ba17aeda3.dip0.t-ipconnect.de) acidjnk |
| 2025-04-21 17:20:27 +0000 | glassofethanol | sixfourtwelve |
| 2025-04-21 17:21:09 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 2025-04-21 17:21:27 +0000 | sixfourtwelve | (~ethanmorg@82.18.82.103) sixfourtwelve |
| 2025-04-21 17:21:38 +0000 | <haskellbridge> | <Liamzee> just wanted to say that i spent 24 hours using postgresql simple and now I understand why people care so much about type safety because of the untyped nature of generated sql queries |
| 2025-04-21 17:23:41 +0000 | <EvanR> | which is kind of silly because postgres has a type system |
| 2025-04-21 17:27:06 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2025-04-21 17:27:19 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) |
| 2025-04-21 17:29:41 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 17:30:24 +0000 | <Rembane> | @Liamzee How did the types or lack thereof in sql bite you? |
| 2025-04-21 17:30:24 +0000 | <lambdabot> | Unknown command, try @list |
| 2025-04-21 17:30:30 +0000 | <Rembane> | Oh well |
| 2025-04-21 17:31:24 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-21 17:32:31 +0000 | <EvanR> | also whether type safety in general is important, people somehow access SQL in untyped languages all day |
| 2025-04-21 17:34:05 +0000 | euleritian | (~euleritia@p5b00a7f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2025-04-21 17:34:14 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) |
| 2025-04-21 17:34:29 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 17:34:33 +0000 | inca | (~inca@dynamic-acs-24-154-101-99.zoominternet.net) |
| 2025-04-21 17:35:53 +0000 | <Rembane> | YMMV? |
| 2025-04-21 17:47:01 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 248 seconds) |
| 2025-04-21 17:47:32 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-21 17:47:35 +0000 | madjestic | (~madjestic@37.109.147.147) |
| 2025-04-21 17:47:37 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 17:52:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 17:54:41 +0000 | jacopovalanzano | (~jacopoval@cpc151911-cove17-2-0-cust105.3-1.cable.virginm.net) |
| 2025-04-21 17:55:08 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) |
| 2025-04-21 18:03:38 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 18:08:28 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 18:09:53 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2025-04-21 18:10:22 +0000 | dhil | (~dhil@5.151.29.139) (Ping timeout: 244 seconds) |
| 2025-04-21 18:11:27 +0000 | floyza | (~gavin@h69-11-148-150.kndrid.broadband.dynamic.tds.net) gdown |
| 2025-04-21 18:13:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 18:16:31 +0000 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 2025-04-21 18:18:20 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-04-21 18:18:57 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 18:19:13 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 18:20:28 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
| 2025-04-21 18:22:35 +0000 | gmg | (~user@user/gehmehgeh) gehmehgeh |
| 2025-04-21 18:23:29 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-04-21 18:29:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 18:31:22 +0000 | prasad | (~Thunderbi@c-73-246-138-70.hsd1.in.comcast.net) |
| 2025-04-21 18:34:15 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 18:36:12 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-21 18:37:29 +0000 | <hellwolf> | https://www.twitch.tv/typetheoryforall <-- some live content coming |
| 2025-04-21 18:40:24 +0000 | inca | (~inca@dynamic-acs-24-154-101-99.zoominternet.net) (Ping timeout: 252 seconds) |
| 2025-04-21 18:42:44 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 18:45:13 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 18:47:21 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 265 seconds) |
| 2025-04-21 18:51:39 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 18:52:05 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 18:56:10 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-21 19:00:06 +0000 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2025-04-21 19:00:45 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 19:00:47 +0000 | caconym | (~caconym@user/caconym) caconym |
| 2025-04-21 19:03:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 19:04:58 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 252 seconds) |
| 2025-04-21 19:08:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-04-21 19:14:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 19:19:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 19:20:13 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 19:21:12 +0000 | anselmschueler | (~quassel@user/schuelermine) schuelermine |
| 2025-04-21 19:23:11 +0000 | EvanR | (~EvanR@user/evanr) (Quit: Leaving) |
| 2025-04-21 19:24:24 +0000 | EvanR | (~EvanR@user/evanr) EvanR |
| 2025-04-21 19:27:43 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 19:28:47 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-21 19:30:26 +0000 | takuan | (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 2025-04-21 19:31:59 +0000 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2025-04-21 19:33:15 +0000 | schuelermine | (~quassel@user/schuelermine) schuelermine |
| 2025-04-21 19:33:15 +0000 | anselmschueler | (~quassel@user/schuelermine) (Ping timeout: 244 seconds) |
| 2025-04-21 19:34:08 +0000 | connrs | (~connrs@user/connrs) (Remote host closed the connection) |
| 2025-04-21 19:34:16 +0000 | connrs | (~connrs@user/connrs) connrs |
| 2025-04-21 19:43:13 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 248 seconds) |
| 2025-04-21 19:46:12 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 19:47:30 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) |
| 2025-04-21 19:50:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-04-21 19:54:25 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 276 seconds) |
| 2025-04-21 19:56:42 +0000 | Betinho | (~Betinho@190.180.172.0) |
| 2025-04-21 19:57:29 +0000 | Betinho | (~Betinho@190.180.172.0) (Quit: ..) |
| 2025-04-21 20:02:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 20:03:11 +0000 | schuelermine | (~quassel@user/schuelermine) (Remote host closed the connection) |
| 2025-04-21 20:04:33 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Read error: Connection reset by peer) |
| 2025-04-21 20:04:41 +0000 | euleritian | (~euleritia@dynamic-176-000-200-060.176.0.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2025-04-21 20:04:57 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 20:07:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 20:14:04 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) |
| 2025-04-21 20:14:47 +0000 | euleritian | (~euleritia@dynamic-176-000-001-244.176.0.pool.telefonica.de) |
| 2025-04-21 20:15:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 20:17:28 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) (Ping timeout: 272 seconds) |
| 2025-04-21 20:20:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 20:22:51 +0000 | prdak | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 20:28:46 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Quit: Lost terminal) |
| 2025-04-21 20:31:01 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 20:32:06 +0000 | ChanServ | +o litharge |
| 2025-04-21 20:32:06 +0000 | litharge | -bo *!*@2600:1700:69cf:9000:7ccb:83a5:ed49:91cf litharge |
| 2025-04-21 20:34:43 +0000 | <jacopovalanzano> | xD |
| 2025-04-21 20:35:08 +0000 | <jacopovalanzano> | o/ |
| 2025-04-21 20:38:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-04-21 20:42:25 +0000 | srazkvt | (~sarah@user/srazkvt) (Quit: Konversation terminated!) |
| 2025-04-21 20:45:49 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) (Ping timeout: 260 seconds) |
| 2025-04-21 20:46:31 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2025-04-21 20:49:43 +0000 | <Rembane> | \o |
| 2025-04-21 20:50:09 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 20:51:03 +0000 | Square3 | (~Square@user/square) (Ping timeout: 244 seconds) |
| 2025-04-21 20:52:39 +0000 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
| 2025-04-21 20:54:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 20:56:49 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 276 seconds) |
| 2025-04-21 20:56:49 +0000 | ljdarj1 | ljdarj |
| 2025-04-21 21:05:45 +0000 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
| 2025-04-21 21:05:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 21:05:54 +0000 | <haskellbridge> | <magic_rb> I hope its being recorded |
| 2025-04-21 21:07:47 +0000 | madjestic | (~madjestic@37.109.147.147) |
| 2025-04-21 21:10:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 21:12:51 +0000 | dolio | (~dolio@130.44.140.168) dolio |
| 2025-04-21 21:16:18 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 21:18:55 +0000 | Googulator92 | (~Googulato@2a01-036d-0106-2077-315b-d519-517f-afe7.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-04-21 21:19:12 +0000 | <jacopovalanzano> | ...with all the Elon nazi jokes, you would think tesla cars had gas pedals.... |
| 2025-04-21 21:19:24 +0000 | Googulator92 | (~Googulato@94-21-172-228.pool.digikabel.hu) |
| 2025-04-21 21:21:26 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 2025-04-21 21:23:44 +0000 | <EvanR> | ... |
| 2025-04-21 21:32:43 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) Miroboru |
| 2025-04-21 21:34:24 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 21:34:53 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Client Quit) |
| 2025-04-21 21:38:56 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 21:39:58 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) (Quit: Leaving) |
| 2025-04-21 21:44:21 +0000 | prdak1 | (~Thunderbi@user/prdak) prdak |
| 2025-04-21 21:46:40 +0000 | prdak | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-04-21 21:47:36 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-04-21 21:47:36 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) (Client Quit) |
| 2025-04-21 21:47:48 +0000 | nadja | (~dequbed@banana-new.kilobyte22.de) dequbed |
| 2025-04-21 21:49:24 +0000 | prdak1 | (~Thunderbi@user/prdak) (Ping timeout: 260 seconds) |
| 2025-04-21 21:51:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 21:53:06 +0000 | tromp | (~textual@2001:1c00:3487:1b00:81b9:54c7:add1:2ebe) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-04-21 21:55:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 22:04:04 +0000 | mceresa | (~mceresa@user/mceresa) (Ping timeout: 265 seconds) |
| 2025-04-21 22:08:49 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 22:09:18 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-04-21 22:09:54 +0000 | mceresa | (~mceresa@user/mceresa) mceresa |
| 2025-04-21 22:14:10 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 22:15:16 +0000 | amadaluzia | (~amadaluzi@user/amadaluzia) amadaluzia |
| 2025-04-21 22:17:22 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 22:18:10 +0000 | euleritian | (~euleritia@dynamic-176-000-001-244.176.0.pool.telefonica.de) (Ping timeout: 260 seconds) |
| 2025-04-21 22:19:45 +0000 | j1n37- | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 22:20:24 +0000 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 2025-04-21 22:21:59 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 22:25:52 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-21 22:30:59 +0000 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 2025-04-21 22:33:01 +0000 | Fijxu | (~Fijxu@user/fijxu) (Read error: Connection reset by peer) |
| 2025-04-21 22:33:25 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 22:34:16 +0000 | Fijxu | (~Fijxu@user/fijxu) fijxu |
| 2025-04-21 22:38:00 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 22:38:18 +0000 | madjestic | (~madjestic@37.109.147.147) (Ping timeout: 276 seconds) |
| 2025-04-21 22:40:35 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2025-04-21 22:41:13 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) |
| 2025-04-21 22:43:01 +0000 | jespada | (~jespada@r179-25-155-68.dialup.adsl.anteldata.net.uy) (Ping timeout: 248 seconds) |
| 2025-04-21 22:47:43 +0000 | jespada | (~jespada@r190-135-225-29.dialup.adsl.anteldata.net.uy) jespada |
| 2025-04-21 22:51:33 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 22:52:20 +0000 | j1n37 | (~j1n37@user/j1n37) j1n37 |
| 2025-04-21 22:53:49 +0000 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 276 seconds) |
| 2025-04-21 22:56:16 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-04-21 22:57:01 +0000 | __jmcantrell__ | (~weechat@user/jmcantrell) jmcantrell |
| 2025-04-21 22:58:14 +0000 | tt12310978324354 | (~tt1231@2603:6010:8700:4a81:219f:50d3:618a:a6ee) (Ping timeout: 260 seconds) |
| 2025-04-21 23:04:01 +0000 | sprotte24 | (~sprotte24@p200300d16f24580070b20176ff3a786c.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-04-21 23:06:53 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 23:11:04 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 2025-04-21 23:15:31 +0000 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
| 2025-04-21 23:15:44 +0000 | euleritian | (~euleritia@dynamic-176-000-001-244.176.0.pool.telefonica.de) |
| 2025-04-21 23:18:13 +0000 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2025-04-21 23:18:17 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 23:21:58 +0000 | notdabs | (~Owner@2600:1700:69cf:9000:887e:630e:324f:f9fb) (Quit: Leaving) |
| 2025-04-21 23:25:40 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 2025-04-21 23:28:15 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
| 2025-04-21 23:34:56 +0000 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 265 seconds) |
| 2025-04-21 23:37:58 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 23:39:34 +0000 | weary-traveler | (~user@user/user363627) user363627 |
| 2025-04-21 23:42:27 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-04-21 23:45:18 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2025-04-21 23:46:23 +0000 | <EvanR> | There is a 27-state turing machine which halts if and only if goldbach's conjecture is true |
| 2025-04-21 23:51:06 +0000 | foul_owl | (~kerry@94.156.149.91) (Ping timeout: 276 seconds) |
| 2025-04-21 23:52:11 +0000 | <EvanR> | does this mean if you know the running time of the 27-state busy beaver that you know the answer to goldbach's conjecture |
| 2025-04-21 23:53:42 +0000 | <TMA> | you can decide by running it for the 27-beaver steps |
| 2025-04-21 23:54:00 +0000 | Guest49 | (~Guest49@astrolabe.plus.com) (Quit: Client closed) |
| 2025-04-21 23:54:38 +0000 | <TMA> | so, you do not know it immediately, but you know it in theory, because only finite many steps are missing |
| 2025-04-21 23:55:14 +0000 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
| 2025-04-21 23:55:53 +0000 | <geekosaur> | what's the difference between "halts" and "halts in a finite but possibly unbounded amount of time" |
| 2025-04-21 23:56:31 +0000 | <EvanR> | fininte but possibly unbounded? |
| 2025-04-21 23:56:42 +0000 | <geekosaur> | I know I got the terminology wrong there |
| 2025-04-21 23:56:42 +0000 | <TMA> | a k-state TM that halts halts in at most BB(k) steps |
| 2025-04-21 23:57:06 +0000 | <geekosaur> | but if it runs for 10^60 years, do you really know the answer from its running time? |
| 2025-04-21 23:57:25 +0000 | <EvanR> | yeah "you know it in theory" is funny |
| 2025-04-21 23:57:37 +0000 | <TMA> | in theory there is no difference between theory and praxis |
| 2025-04-21 23:57:55 +0000 | <TMA> | in praxis the difference tends to be immense |
| 2025-04-21 23:58:43 +0000 | <TMA> | mathematics does not concern itself with praxis though :) |
| 2025-04-21 23:58:53 +0000 | <TMA> | that's for engineers |
| 2025-04-21 23:59:10 +0000 | <EvanR> | with this clarification of what's what, I think the answer to my question is "no" |