Logs on 2026-01-06 (liberachat/#haskell)
| 00:00:31 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 00:00:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:05:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 00:06:55 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 00:07:08 | × | lbseale quits (~quassel@user/ep1ctetus) (Client Quit) |
| 00:08:50 | → | lbseale joins (~quassel@user/ep1ctetus) |
| 00:08:59 | → | xff0x joins (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) |
| 00:10:03 | × | xff0x quits (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) (Client Quit) |
| 00:10:39 | → | xff0x joins (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) |
| 00:10:59 | × | xff0x quits (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) (Client Quit) |
| 00:12:05 | → | xff0x joins (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) |
| 00:16:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:21:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 00:32:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:34:42 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 00:36:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:42:13 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 255 seconds) |
| 00:42:41 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 00:44:44 | → | housemate joins (~housemate@202.7.247.155) |
| 00:46:28 | trickard_ | is now known as trickard |
| 00:47:52 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 00:49:14 | × | euandreh quits (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) (Ping timeout: 244 seconds) |
| 00:52:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 01:03:11 | × | xff0x quits (~xff0x@2405:6580:b080:900:99fd:dc14:7b97:e12e) (Ping timeout: 244 seconds) |
| 01:03:40 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:05:27 | → | omidmash1 joins (~omidmash@user/omidmash) |
| 01:07:19 | × | omidmash quits (~omidmash@user/omidmash) (Ping timeout: 244 seconds) |
| 01:07:19 | omidmash1 | is now known as omidmash |
| 01:10:10 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 01:19:55 | × | vidak quits (~vidak@pa49-196-100-167.pa.vic.optusnet.com.au) (Ping timeout: 240 seconds) |
| 01:19:58 | × | Tuplanolla quits (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) (Ping timeout: 246 seconds) |
| 01:21:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:24:18 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 252 seconds) |
| 01:24:56 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 01:24:59 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 01:25:48 | divlamir_ | is now known as divlamir |
| 01:25:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:29:12 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 01:29:26 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 01:37:10 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:41:18 | × | housemate quits (~housemate@202.7.247.155) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 01:42:02 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:42:48 | → | vidak joins (~vidak@2407:e400:7800:2c01:d0be:76f8:cc84:bd4a) |
| 01:47:30 | → | housemate joins (~housemate@202.7.247.155) |
| 01:52:58 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 01:56:17 | → | housemate_ joins (~housemate@202.7.247.155) |
| 01:57:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 01:58:15 | × | housemate quits (~housemate@202.7.247.155) (Ping timeout: 240 seconds) |
| 02:02:55 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 02:03:35 | × | housemate_ quits (~housemate@202.7.247.155) (Ping timeout: 240 seconds) |
| 02:03:37 | → | gmg joins (~user@user/gehmehgeh) |
| 02:08:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:10:37 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:12:56 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 02:15:47 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 02:22:58 | × | machinedgod quits (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 246 seconds) |
| 02:23:14 | → | housemate joins (~housemate@120.20.37.104) |
| 02:23:43 | × | housemate quits (~housemate@120.20.37.104) (Max SendQ exceeded) |
| 02:24:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:27:34 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:29:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:30:40 | × | acidjnk quits (~acidjnk@p200300d6e7171955d8ad2266737cd07c.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 02:35:27 | → | housemate joins (~housemate@2405:6e00:2432:905b:a36e:35ae:b4e2:b236) |
| 02:39:57 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 02:47:07 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 02:53:04 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 02:53:25 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 02:53:51 | → | yin_ joins (~zero@user/zero) |
| 02:54:26 | × | yin quits (~zero@user/zero) (Ping timeout: 240 seconds) |
| 02:54:35 | yin_ | is now known as yin |
| 02:55:04 | → | user363627 joins (~user@user/user363627) |
| 02:55:20 | × | igemnace quits (~igemnace@user/igemnace) (Ping timeout: 240 seconds) |
| 02:55:20 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 240 seconds) |
| 02:55:55 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 02:56:06 | → | igemnace joins (~igemnace@user/igemnace) |
| 02:56:09 | → | ystael joins (~ystael@user/ystael) |
| 02:58:00 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:02:33 | × | divlamir quits (~divlamir@user/divlamir) (Ping timeout: 246 seconds) |
| 03:02:41 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 03:03:11 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 03:04:16 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 246 seconds) |
| 03:06:19 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 03:06:22 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 246 seconds) |
| 03:06:39 | → | divlamir joins (~divlamir@user/divlamir) |
| 03:13:44 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:13:51 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 03:14:46 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 03:18:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 03:20:24 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:25:16 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:35:46 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 03:36:11 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:36:12 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 03:39:59 | × | Kamuela quits (sid111576@id-111576.tinside.irccloud.com) (Ping timeout: 256 seconds) |
| 03:39:59 | → | annamalai joins (~annamalai@2409:4042:eb8:bd50::9eca:160e) |
| 03:40:16 | × | jackdk quits (uid373013@cssa/life/jackdk) (Ping timeout: 265 seconds) |
| 03:40:20 | × | Techcable quits (sid534393@user/Techcable) (Ping timeout: 245 seconds) |
| 03:41:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 03:41:02 | → | Kamuela joins (sid111576@id-111576.tinside.irccloud.com) |
| 03:41:23 | → | Techcable joins (sid534393@user/Techcable) |
| 03:41:31 | → | monochrm joins (trebla@216.138.220.146) |
| 03:41:43 | × | monochrom quits (trebla@216.138.220.146) (Ping timeout: 265 seconds) |
| 03:41:52 | monochrm | is now known as monochrom |
| 03:43:06 | → | jackdk joins (sid373013@cssa/life/jackdk) |
| 03:51:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 03:55:22 | × | omidmash quits (~omidmash@user/omidmash) (Quit: The Lounge - https://thelounge.chat) |
| 03:55:43 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 246 seconds) |
| 03:56:39 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:59:59 | → | omidmash joins (~omidmash@user/omidmash) |
| 04:07:43 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:08:46 | × | Square3 quits (~Square@user/square) (Ping timeout: 244 seconds) |
| 04:12:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:14:59 | → | Square3 joins (~Square@user/square) |
| 04:17:56 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 04:20:30 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:20:43 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 04:23:35 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:26:21 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 04:26:48 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c18e:f5b0:111e:69da) (Read error: Connection reset by peer) |
| 04:27:56 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 04:28:38 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:30:59 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 04:39:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:43:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 04:44:05 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 04:46:51 | × | housemate quits (~housemate@2405:6e00:2432:905b:a36e:35ae:b4e2:b236) (Read error: Connection reset by peer) |
| 04:48:14 | → | housemate joins (~housemate@203.56.146.32) |
| 04:50:39 | → | housemate_ joins (~housemate@203.56.146.217) |
| 04:53:28 | × | housemate quits (~housemate@203.56.146.32) (Ping timeout: 246 seconds) |
| 04:54:52 | × | housemate_ quits (~housemate@203.56.146.217) (Ping timeout: 246 seconds) |
| 04:54:54 | → | frankyfrank__ joins (~housemate@203.56.146.52) |
| 04:55:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 04:59:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:01:16 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:03:48 | × | mange quits (~mange@user/mange) (Quit: Quittin' time!) |
| 05:05:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:17:03 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:21:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:25:22 | → | qqq joins (~qqq@185.54.21.105) |
| 05:32:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:33:23 | × | Square3 quits (~Square@user/square) (Ping timeout: 260 seconds) |
| 05:37:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 05:43:01 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:43:52 | × | annamalai quits (~annamalai@2409:4042:eb8:bd50::9eca:160e) (Ping timeout: 246 seconds) |
| 05:44:20 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
| 05:44:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 05:47:16 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 05:47:39 | trickard_ | is now known as trickard |
| 05:48:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 05:51:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 05:53:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:01:33 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 06:04:23 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:05:00 | × | frankyfrank__ quits (~housemate@203.56.146.52) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 06:07:10 | → | acidjnk joins (~acidjnk@p200300d6e7171955580d90e1926e8255.dip0.t-ipconnect.de) |
| 06:09:12 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:13:25 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 255 seconds) |
| 06:19:43 | × | byorgey_ quits (~byorgey@user/byorgey) (Ping timeout: 240 seconds) |
| 06:19:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:20:15 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 240 seconds) |
| 06:24:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 06:32:03 | → | housemate joins (~housemate@203.56.146.52) |
| 06:35:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:36:22 | → | jreicher joins (~joelr@user/jreicher) |
| 06:40:06 | × | housemate quits (~housemate@203.56.146.52) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 06:40:28 | × | jreicher quits (~joelr@user/jreicher) (Remote host closed the connection) |
| 06:40:55 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 06:41:47 | → | byorgey joins (~byorgey@155.138.238.211) |
| 06:41:47 | × | byorgey quits (~byorgey@155.138.238.211) (Changing host) |
| 06:41:47 | → | byorgey joins (~byorgey@user/byorgey) |
| 06:42:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 06:45:35 | → | GdeVolpi1 joins (~GdeVolpia@user/GdeVolpiano) |
| 06:48:01 | × | GdeVolpiano quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 240 seconds) |
| 06:48:01 | × | pabs3 quits (~pabs3@user/pabs3) (Ping timeout: 240 seconds) |
| 06:48:01 | × | lbseale quits (~quassel@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 06:48:01 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 06:48:24 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:51:46 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (*.net *.split) |
| 06:51:46 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 06:53:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 06:53:56 | → | jreicher joins (~joelr@user/jreicher) |
| 06:57:47 | → | lbseale joins (~quassel@76.86.97.32) |
| 06:57:47 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 06:57:47 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 06:58:09 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:58:18 | × | jreicher quits (~joelr@user/jreicher) (Client Quit) |
| 06:59:06 | → | jrm2 joins (~jrm@user/jrm) |
| 07:00:18 | × | jrm quits (~jrm@user/jrm) (Ping timeout: 260 seconds) |
| 07:01:09 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 07:01:11 | jrm2 | is now known as jrm |
| 07:01:17 | → | housemate joins (~housemate@202.7.247.224) |
| 07:02:17 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:07:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 07:16:16 | → | jreicher joins (~joelr@user/jreicher) |
| 07:16:31 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 07:17:44 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 07:18:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:22:55 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:26:06 | → | annamalai joins (~annamalai@2409:4042:eb8:bd50::9eca:160e) |
| 07:32:00 | × | emergence quits (~emergence@vm0.max-p.me) (Ping timeout: 245 seconds) |
| 07:33:53 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:39:06 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 07:42:12 | × | qqq quits (~qqq@185.54.21.105) (Remote host closed the connection) |
| 07:46:21 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 07:52:43 | → | attlin joins (~user@user/attlin) |
| 07:54:45 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 07:59:33 | → | emergence joins (~emergence@vm0.max-p.me) |
| 08:05:11 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:16:52 | × | Inline quits (~Inline@cgn-195-14-217-181.nc.de) (Quit: KVIrc 5.2.6 Quasar http://www.kvirc.net/) |
| 08:19:41 | → | Brumaire joins (~no@94.140.114.73) |
| 08:35:18 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 08:35:46 | × | GdeVolpi1 quits (~GdeVolpia@user/GdeVolpiano) (Ping timeout: 256 seconds) |
| 08:36:52 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 08:36:53 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 08:40:27 | × | housemate quits (~housemate@202.7.247.224) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 08:40:48 | → | housemate joins (~housemate@202.7.247.224) |
| 08:44:04 | × | tzh_ quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:44:08 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 08:49:35 | → | kuribas joins (~user@2a02-1810-2825-6000-55d5-e0e1-dd95-7c1.ip6.access.telenet.be) |
| 08:51:26 | → | Brumaire_ joins (~no@94.140.114.73) |
| 08:56:33 | → | chele joins (~chele@user/chele) |
| 09:23:05 | → | karenw joins (~karenw@user/karenw) |
| 09:24:22 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 09:28:05 | → | __monty__ joins (~toonn@user/toonn) |
| 09:28:38 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 09:39:11 | → | Inline joins (~Inline@cgn-195-14-217-102.nc.de) |
| 09:58:32 | → | xff0x_ joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 10:00:10 | → | Tuplanolla joins (~Tuplanoll@88-114-88-95.elisa-laajakaista.fi) |
| 10:00:25 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 250 seconds) |
| 10:08:21 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 10:09:39 | × | housemate quits (~housemate@202.7.247.224) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 10:10:20 | → | housemate joins (~housemate@202.7.247.224) |
| 10:17:20 | → | pabs3 joins (~pabs3@user/pabs3) |
| 10:17:35 | × | housemate quits (~housemate@202.7.247.224) (Quit: https://ineedsomeacidtocalmmedown.space/) |
| 10:18:01 | × | xff0x_ quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 264 seconds) |
| 10:25:16 | → | housemate joins (~housemate@202.7.247.224) |
| 10:27:16 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 10:35:31 | × | ss4 quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 10:35:54 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:02:17 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 11:09:07 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 252 seconds) |
| 11:20:25 | → | gmg joins (~user@user/gehmehgeh) |
| 11:24:34 | <[exa]> | Are there any maintainers of postgresql-libpq around? (I'd love to get some feedback on https://github.com/haskellari/postgresql-libpq/pull/79 ) |
| 11:36:40 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 11:36:54 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 11:37:55 | → | qqq joins (~qqq@185.54.21.105) |
| 11:40:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 11:45:26 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:50:19 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 11:51:25 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 11:54:06 | → | mrr joins (~mrr@2001:16b8:c33c:2700:889:e01d:4d21:60c2) |
| 11:55:47 | × | mrr quits (~mrr@2001:16b8:c33c:2700:889:e01d:4d21:60c2) (Client Quit) |
| 11:56:12 | → | marianW joins (~marianW@2001:16b8:c33c:2700:889:e01d:4d21:60c2) |
| 11:58:29 | marianW | is now known as marianW123 |
| 12:01:15 | × | Miroboru quits (~myrvoll@188.113.115.67) (Quit: Lost terminal) |
| 12:03:17 | trickard_ | is now known as trickard |
| 12:06:35 | × | marianW123 quits (~marianW@2001:16b8:c33c:2700:889:e01d:4d21:60c2) (Ping timeout: 256 seconds) |
| 12:07:44 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:07:57 | → | trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 12:34:59 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 12:35:12 | → | trickard joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 12:36:13 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 12:42:35 | → | machinedgod joins (~machinedg@d75-159-126-101.abhsia.telus.net) |
| 12:44:33 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 12:45:33 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 12:53:47 | → | xff0x joins (~xff0x@2405:6580:b080:900:edca:158a:2eb8:d2af) |
| 13:03:43 | × | yin quits (~zero@user/zero) (Ping timeout: 250 seconds) |
| 13:04:16 | → | yin joins (~zero@user/zero) |
| 13:07:19 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 13:28:00 | → | prite joins (~pritam@user/pritambaral) |
| 13:54:04 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:58:04 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 14:02:19 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 14:04:09 | → | qqq joins (~qqq@185.54.21.105) |
| 14:10:41 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 14:12:25 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 14:27:08 | × | Hafydd quits (~Hafydd@user/hafydd) (Ping timeout: 260 seconds) |
| 14:33:26 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:40:04 | → | Hafydd joins (~Hafydd@user/hafydd) |
| 14:49:40 | → | haritz joins (~hrtz@140.228.70.141) |
| 14:49:40 | × | haritz quits (~hrtz@140.228.70.141) (Changing host) |
| 14:49:40 | → | haritz joins (~hrtz@user/haritz) |
| 14:56:02 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 15:04:53 | → | ttybitnik joins (~ttybitnik@user/wolper) |
| 15:10:38 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:14:58 | × | qqq quits (~qqq@185.54.21.105) (Quit: Lost terminal) |
| 15:31:16 | × | ThePenguin quits (~ThePengui@cust-95-80-28-221.csbnet.se) (Remote host closed the connection) |
| 15:33:24 | → | ThePenguin joins (~ThePengui@cust-95-80-28-221.csbnet.se) |
| 15:37:14 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 15:39:20 | × | rainbyte quits (~rainbyte@186.22.19.214) (Read error: Connection reset by peer) |
| 15:40:48 | → | rainbyte joins (~rainbyte@186.22.19.214) |
| 15:51:26 | → | itaipu joins (~itaipu@168.121.98.37) |
| 15:51:47 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 15:51:55 | → | karenw joins (~karenw@user/karenw) |
| 15:51:56 | → | Square3 joins (~Square@user/square) |
| 15:53:24 | × | kuribas quits (~user@2a02-1810-2825-6000-55d5-e0e1-dd95-7c1.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 15:53:51 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 15:55:28 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 244 seconds) |
| 16:01:16 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 16:06:51 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 16:12:05 | × | itaipu quits (~itaipu@168.121.98.37) (Read error: Connection reset by peer) |
| 16:12:09 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 16:12:12 | × | hakutaku quits (~textual@chen.yukari.eu.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:17:13 | → | hakutaku joins (~textual@chen.yukari.eu.org) |
| 16:19:28 | → | Gravifer joins (~Gravifer@user/Gravifer) |
| 16:29:02 | → | prite joins (~pritam@user/pritambaral) |
| 16:29:34 | → | itaipu joins (~itaipu@168.121.98.37) |
| 16:55:43 | × | Gravifer quits (~Gravifer@user/Gravifer) (Ping timeout: 272 seconds) |
| 17:16:52 | × | trickard quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:17:04 | → | trickard_ joins (~trickard@cpe-51-98-47-163.wireline.com.au) |
| 17:20:41 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 17:25:13 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 264 seconds) |
| 17:35:18 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 17:36:09 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 17:43:02 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 17:46:28 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 17:50:02 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Remote host closed the connection) |
| 17:50:25 | → | VictorHugenay joins (~VictorHug@user/VictorHugenay) |
| 17:51:16 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 18:01:29 | × | larsivi2 quits (~larsivi@user/larsivi) (Quit: WeeChat 4.8.1) |
| 18:10:46 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 18:12:59 | × | VictorHugenay quits (~VictorHug@user/VictorHugenay) (Quit: Konversation terminated!) |
| 18:13:00 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 18:17:48 | → | trickard__ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 18:18:28 | × | trickard_ quits (~trickard@cpe-51-98-47-163.wireline.com.au) (Ping timeout: 246 seconds) |
| 18:20:12 | → | comerijn joins (~merijn@77.242.116.146) |
| 18:20:31 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 18:20:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 18:25:12 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 18:26:52 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 246 seconds) |
| 18:32:05 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 18:32:10 | → | comerijn joins (~merijn@77.242.116.146) |
| 18:38:18 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 18:44:45 | → | larsivi joins (~larsivi@user/larsivi) |
| 19:00:05 | <glguy> | SASL Plain mechanism is a different category from using TLS(previously called SSL). You can use each of those independently |
| 19:01:07 | <glguy> | And perhaps related: the STARTTLS feature implemented by some clients means you'll automatically upgrade plaintext connections to TLS connections |
| 19:08:23 | → | newmind joins (~newmind@91-133-90-252.dyn.cablelink.at) |
| 19:11:18 | × | remexre quits (~remexre@user/remexre) (Ping timeout: 252 seconds) |
| 19:12:30 | → | remexre joins (~remexre@user/remexre) |
| 19:16:09 | jmcantrell_ | is now known as jmcantrell |
| 19:18:59 | <larsivi> | STARTTLS is a mechanism to allow for both non-TLS and TLS on the same port. Not ideal, and generally frowned upon these days, at least for SMTP. |
| 19:26:08 | × | jreicher quits (~joelr@user/jreicher) (Quit: In transit) |
| 19:29:11 | → | __monty__ joins (~toonn@user/toonn) |
| 19:36:24 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 19:37:13 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 19:37:43 | Lord_of_Life_ | is now known as Lord_of_Life |
| 19:39:06 | <mauke> | so I guess data-default officially supports microhs now |
| 19:42:34 | → | morj joins (~morj@user/morj) |
| 19:44:42 | → | euandreh joins (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) |
| 19:55:37 | → | pavonia joins (~user@user/siracusa) |
| 20:00:22 | × | polykernel quits (~polykerne@user/polykernel) (Ping timeout: 244 seconds) |
| 20:00:35 | → | polykernel joins (~polykerne@user/polykernel) |
| 20:01:37 | × | ttybitnik quits (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
| 20:09:31 | × | Brumaire_ quits (~no@94.140.114.73) (Remote host closed the connection) |
| 20:10:34 | trickard__ | is now known as trickard |
| 20:10:55 | × | itaipu quits (~itaipu@168.121.98.37) (Ping timeout: 240 seconds) |
| 20:10:59 | × | Brumaire quits (~no@94.140.114.73) (Read error: Connection reset by peer) |
| 20:20:25 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 20:23:56 | → | Brumaire joins (~no@94.140.114.73) |
| 20:25:43 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 240 seconds) |
| 20:27:55 | × | euandreh quits (~Thunderbi@2804:d59:8970:b900:ab52:d56:3299:431) (Ping timeout: 264 seconds) |
| 20:29:53 | → | weary-traveler joins (~user@user/user363627) |
| 20:32:00 | × | prite quits (~pritam@user/pritambaral) (Quit: Konversation terminated!) |
| 20:34:30 | → | jreicher joins (~joelr@user/jreicher) |
| 20:38:05 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:43:15 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 20:43:48 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 20:44:02 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 20:47:31 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:54:46 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 20:55:13 | <jreicher> | larsivi: I quite like STARTTLS, and always have. Why would it be frowned upon? |
| 20:56:15 | <mauke> | insecure |
| 20:57:33 | <jreicher> | Why? |
| 20:58:23 | → | Typer_of_Terms joins (~Typer_of_@85.62.22.209) |
| 20:59:21 | <mauke> | https://en.wikipedia.org/wiki/Opportunistic_TLS#Weaknesses_and_mitigations |
| 20:59:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 21:02:28 | × | synchromesh quits (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) (Read error: Connection reset by peer) |
| 21:02:54 | → | synchromesh joins (~john@2406:5a00:2412:2c00:c177:4fdc:d0ff:49db) |
| 21:03:19 | × | karenw quits (~karenw@user/karenw) (Ping timeout: 246 seconds) |
| 21:05:27 | × | morj quits (~morj@user/morj) (Quit: Konversation terminated!) |
| 21:06:02 | <jreicher> | Oh, I don't consider that a problem with STARTTLS. IMO that's a problem with client implementations. They shouldn't proceed if TLS is unavailable. |
| 21:09:28 | → | karenw joins (~karenw@user/karenw) |
| 21:11:30 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:14:52 | × | Typer_of_Terms quits (~Typer_of_@85.62.22.209) (Ping timeout: 246 seconds) |
| 21:20:33 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 252 seconds) |
| 21:24:56 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:27:48 | × | DetourNetworkUK quits (~DetourNet@user/DetourNetworkUK) (Read error: Connection reset by peer) |
| 21:28:03 | → | DetourNe- joins (~DetourNet@user/DetourNetworkUK) |
| 21:28:49 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:29:32 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:30:20 | DetourNe- | is now known as DetourNetworkUK |
| 21:31:38 | → | tromp joins (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) |
| 21:31:49 | × | bggd quits (~bgg@user/bggd) (Ping timeout: 244 seconds) |
| 21:38:55 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:45:01 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 21:52:25 | × | img quits (~img@user/img) (Quit: ZNC 1.10.1 - https://znc.in) |
| 21:53:38 | → | img joins (~img@user/img) |
| 21:55:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 21:56:52 | × | Brumaire quits (~no@94.140.114.73) (Ping timeout: 246 seconds) |
| 22:02:21 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:07:09 | → | mange joins (~mange@user/mange) |
| 22:13:28 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:13:46 | trickard_ | is now known as trickard |
| 22:15:01 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 22:18:37 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:29:15 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:29:55 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Ping timeout: 240 seconds) |
| 22:31:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:33:29 | × | trickard quits (~trickard@cpe-57-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 22:33:42 | → | trickard_ joins (~trickard@cpe-57-98-47-163.wireline.com.au) |
| 22:34:13 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 264 seconds) |
| 22:35:09 | × | tromp quits (~textual@2001:1c00:3487:1b00:3110:dc2b:d7bb:a210) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:36:14 | × | collide2954 quits (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 22:36:24 | → | collide2954 joins (~collide29@user/collide2954) |
| 22:40:04 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 22:40:49 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 22:44:26 | → | end joins (~end@user/end/x-0094621) |
| 22:45:01 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 22:49:35 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
| 22:52:51 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 22:53:11 | → | EvanR joins (~EvanR@user/evanr) |
| 22:57:48 | × | collide2954 quits (~collide29@user/collide2954) (Read error: Connection reset by peer) |
| 22:57:59 | → | collide2954 joins (~collide29@user/collide2954) |
| 23:00:49 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:01:56 | → | peterbecich joins (~Thunderbi@71.84.33.135) |
| 23:04:13 | → | Brumaire joins (~no@94.140.114.73) |
| 23:05:44 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 23:10:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 23:14:25 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 264 seconds) |
| 23:16:36 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:19:00 | → | end joins (~end@user/end/x-0094621) |
| 23:21:34 | × | merijn quits (~merijn@host-cl.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 23:22:36 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 23:22:39 | × | peterbecich quits (~Thunderbi@71.84.33.135) (Ping timeout: 260 seconds) |
| 23:27:31 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Ping timeout: 246 seconds) |
| 23:32:30 | → | merijn joins (~merijn@62.45.136.136) |
| 23:35:04 | × | xff0x quits (~xff0x@2405:6580:b080:900:edca:158a:2eb8:d2af) (Ping timeout: 256 seconds) |
| 23:36:55 | × | merijn quits (~merijn@62.45.136.136) (Ping timeout: 240 seconds) |
| 23:37:02 | → | xff0x joins (~xff0x@2405:6580:b080:900:96c2:e970:1df7:e82c) |
| 23:52:50 | <haskellbridge> | <Liamzee> I'm currently trying to solve Rubik's cube on my own (sort of) by using DeepSeek to help me construct a mathematical model, with occasional uses of Haskell. It's interesting how LLM fradulence relates to whether the LLM actually is capable of mathematical maturity, given enough reasoning cycles. |
| 23:56:41 | → | merijn joins (~merijn@host-cl.cgnat-g.v4.dfn.nl) |
| 23:57:34 | <jreicher> | Wow. Flashbacks group theory. |
| 23:58:08 | <jreicher> | https://en.wikipedia.org/wiki/Rubik%27s_Cube_group |
| 23:58:26 | <EvanR> | you can "accidentally" use it successfully by taking whatever it gives you and running your mental mathematical "typechecker" on it |
| 23:58:46 | <EvanR> | or mental "unit test" |
| 23:59:08 | <EvanR> | once it stops being wrong, you can start to prove that it is right |
All times are in UTC on 2026-01-06.