Logs on 2025-02-21 (liberachat/#haskell)
| 00:00:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:11:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:15:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 00:18:12 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 264 seconds) |
| 00:18:36 | × | troydm quits (~troydm@user/troydm) (Ping timeout: 252 seconds) |
| 00:19:06 | → | gmg joins (~user@user/gehmehgeh) |
| 00:20:57 | → | mange joins (~user@user/mange) |
| 00:24:48 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 00:26:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:27:42 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:27:54 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 00:28:52 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 00:32:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 00:32:35 | × | iteratee quits (~kyle@162.218.222.207) (Remote host closed the connection) |
| 00:35:54 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 00:38:07 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 00:38:48 | → | tdslrapts^ joins (~tdslrapts@108.192.66.114) |
| 00:39:41 | → | alfiee joins (~alfiee@user/alfiee) |
| 00:42:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:42:36 | × | Googulator85 quits (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed) |
| 00:42:52 | → | Googulator85 joins (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) |
| 00:43:18 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 00:44:13 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 00:46:50 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 00:49:14 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:51:36 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 265 seconds) |
| 00:55:18 | × | sprotte24 quits (~sprotte24@p200300d16f0dc0003d6d6b9239bc0d18.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 00:55:54 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:56:10 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 00:56:42 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 00:57:43 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 01:00:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:01:53 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 01:04:32 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 01:04:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 01:06:38 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 01:06:44 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 01:06:44 | ChanServ | sets mode +v haskellbridge |
| 01:06:53 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 01:07:14 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 01:12:35 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 01:14:40 | × | xff0x quits (~xff0x@2405:6580:b080:900:394:5e31:13b5:e904) (Ping timeout: 244 seconds) |
| 01:15:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:20:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:24:29 | × | hgolden quits (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) (Remote host closed the connection) |
| 01:25:41 | → | aforemny_ joins (~aforemny@i577B131B.versanet.de) |
| 01:26:25 | → | alfiee joins (~alfiee@user/alfiee) |
| 01:26:47 | × | aforemny quits (~aforemny@2001:9e8:6ccb:1200:2df6:7768:b5bd:aa30) (Ping timeout: 252 seconds) |
| 01:27:35 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 01:29:01 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 01:29:52 | → | pabs3 joins (~pabs3@user/pabs3) |
| 01:30:05 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 01:30:11 | → | hattckory joins (~hattckory@149.102.242.103) |
| 01:30:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 01:31:05 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:31:43 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 01:32:35 | → | pabs3 joins (~pabs3@user/pabs3) |
| 01:32:54 | × | aforemny_ quits (~aforemny@i577B131B.versanet.de) (Ping timeout: 272 seconds) |
| 01:33:06 | → | aforemny joins (~aforemny@2001:9e8:6cd5:d600:6e0:9c82:3050:2148) |
| 01:33:11 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 01:34:05 | → | pabs3 joins (~pabs3@user/pabs3) |
| 01:35:25 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 01:35:37 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 01:36:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 01:41:52 | × | random-jellyfish quits (~developer@user/random-jellyfish) (Ping timeout: 265 seconds) |
| 01:44:46 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 01:46:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:50:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 01:58:24 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 02:01:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:06:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:06:36 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 02:07:51 | → | zungi joins (~tory@user/andrewchawk) |
| 02:09:49 | → | hgolden joins (~hgolden@2603:8000:9d00:3ed1:6ff3:8389:b901:6363) |
| 02:13:09 | → | alfiee joins (~alfiee@user/alfiee) |
| 02:16:06 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 02:17:15 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:17:28 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 02:22:32 | × | rini quits (~rini@user/rini) (Ping timeout: 252 seconds) |
| 02:22:47 | → | rini joins (~rini@user/rini) |
| 02:24:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:35:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:39:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 02:44:10 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 02:50:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:55:11 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 02:55:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:01:34 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:02:26 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 03:05:51 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 03:05:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 03:06:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:06:27 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 265 seconds) |
| 03:06:35 | → | todi1 joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 03:10:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:10:34 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 03:18:22 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 03:18:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:23:10 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 03:23:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 03:27:46 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 03:34:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:38:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 03:43:40 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 03:49:03 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 03:49:33 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:49:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:49:40 | → | alfiee joins (~alfiee@user/alfiee) |
| 03:50:46 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 03:53:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 03:54:06 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 03:59:50 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 04:00:30 | → | weary-traveler joins (~user@user/user363627) |
| 04:04:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:05:56 | × | potatoespotatoes quits (~quassel@user/potatoespotatoes) (Ping timeout: 252 seconds) |
| 04:06:50 | → | potatoespotatoes joins (~quassel@user/potatoespotatoes) |
| 04:09:43 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 04:11:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 04:17:50 | → | troydm joins (~troydm@user/troydm) |
| 04:19:32 | × | Googulator85 quits (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Quit: Client closed) |
| 04:20:01 | → | Googulator85 joins (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) |
| 04:23:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:27:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 04:28:08 | × | aforemny quits (~aforemny@2001:9e8:6cd5:d600:6e0:9c82:3050:2148) (Ping timeout: 265 seconds) |
| 04:28:32 | → | aforemny joins (~aforemny@2001:9e8:6ce5:b500:7db1:2fa8:db14:9933) |
| 04:29:34 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 04:30:13 | × | divya quits (divya@140.238.251.170) (Remote host closed the connection) |
| 04:34:54 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 04:36:43 | → | alfiee joins (~alfiee@user/alfiee) |
| 04:38:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:39:48 | → | j1n37- joins (~j1n37@user/j1n37) |
| 04:40:49 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
| 04:41:38 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 04:43:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
| 04:47:43 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 04:49:38 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 04:53:46 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:58:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:05:19 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 05:09:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:13:31 | × | mud quits (~mud@user/kadoban) (Quit: quit) |
| 05:13:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:17:07 | → | mud joins (~mud@user/kadoban) |
| 05:19:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:20:07 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 05:23:48 | → | alfiee joins (~alfiee@user/alfiee) |
| 05:24:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 05:28:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 05:30:48 | × | Flow quits (~none@gentoo/developer/flow) (Ping timeout: 245 seconds) |
| 05:34:40 | → | Flow joins (~none@gentoo/developer/flow) |
| 05:35:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:38:39 | → | divya` joins (~user@139.5.11.125) |
| 05:39:33 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:39:46 | × | divya` quits (~user@139.5.11.125) (Remote host closed the connection) |
| 05:49:51 | → | misterfish joins (~misterfis@84.53.85.146) |
| 05:50:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:54:29 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 05:57:01 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 252 seconds) |
| 05:57:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 05:58:06 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 268 seconds) |
| 05:58:37 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 05:58:41 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 05:58:43 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 245 seconds) |
| 06:00:59 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 06:08:03 | → | nitrix_ joins (~nitrix@user/meow/nitrix) |
| 06:08:24 | × | nitrix quits (~nitrix@user/meow/nitrix) (Ping timeout: 252 seconds) |
| 06:08:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:09:34 | → | bcksl joins (~bcksl@user/bcksl) |
| 06:10:32 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:10:36 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 06:13:09 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:14:51 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 06:17:29 | → | takuan joins (~takuan@d8D86B601.access.telenet.be) |
| 06:18:38 | × | echoreply quits (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 06:19:32 | → | echoreply joins (~echoreply@45.32.163.16) |
| 06:19:58 | → | end joins (~end@user/end/x-0094621) |
| 06:20:50 | <talismanick> | Anyone else having trouble with fourmolu's trailing-section-operators option? It acts as if it's set to true, no matter if I edit fixities, comment them out, comment other options, etc |
| 06:20:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:20:51 | <talismanick> | https://pastebin.com/T6rPZTWN |
| 06:24:10 | × | echoreply quits (~echoreply@45.32.163.16) (Ping timeout: 252 seconds) |
| 06:24:30 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 06:25:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 06:36:13 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:37:07 | → | echoreply joins (~echoreply@2001:19f0:9002:1f3b:5400:ff:fe6f:8b8d) |
| 06:38:51 | → | rvalue- joins (~rvalue@user/rvalue) |
| 06:38:51 | <talismanick> | well, it works when I run fourmolu from the CLI rather than LSP |
| 06:39:13 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 248 seconds) |
| 06:39:55 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 06:39:57 | → | sus0 joins (thelounge@user/zeromomentum) |
| 06:40:59 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:45:21 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 06:45:37 | → | michalz joins (~michalz@185.246.207.222) |
| 06:47:16 | rvalue- | is now known as rvalue |
| 06:49:24 | × | igemnace quits (~igemnace@user/igemnace) (Quit: ZNC 1.9.0+deb2build3 - https://znc.in) |
| 06:49:36 | → | acidjnk joins (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) |
| 06:49:46 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 06:49:51 | → | igemnace joins (~igemnace@user/igemnace) |
| 06:51:12 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 06:51:37 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:53:05 | × | Fijxu_ quits (~Fijxu@user/fijxu) (Quit: XD!!) |
| 06:55:57 | × | ft quits (~ft@p4fc2a610.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:56:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 06:57:10 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 272 seconds) |
| 06:57:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 06:59:13 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 07:02:18 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 07:04:30 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 07:07:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:10:36 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 07:11:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 246 seconds) |
| 07:14:31 | × | philopsos quits (~caecilius@user/philopsos) (Quit: Lost terminal) |
| 07:15:04 | → | CiaoSen joins (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) |
| 07:15:39 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 246 seconds) |
| 07:20:38 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 252 seconds) |
| 07:21:01 | nitrix_ | is now known as nitrix |
| 07:21:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:25:19 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 07:25:35 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 07:25:41 | × | acidjnk quits (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 07:27:19 | → | pabs3 joins (~pabs3@user/pabs3) |
| 07:27:23 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Remote host closed the connection) |
| 07:28:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:28:57 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 07:35:48 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 07:36:14 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 07:39:54 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:42:35 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 07:43:15 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 07:44:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 07:45:01 | → | alfiee joins (~alfiee@user/alfiee) |
| 07:49:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 07:54:00 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 07:54:50 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 07:58:11 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 08:00:01 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 08:00:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 08:01:00 | → | caconym joins (~caconym@user/caconym) |
| 08:01:49 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 08:05:19 | → | lisbeths joins (uid135845@id-135845.lymington.irccloud.com) |
| 08:09:20 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 08:09:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:11:25 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:11:40 | × | Googulator85 quits (~Googulato@2a01-036d-0106-4074-d03d-62dd-ebb0-8d32.pool6.digikabel.hu) (Ping timeout: 240 seconds) |
| 08:13:45 | → | misterfish joins (~misterfis@h239071.upc-h.chello.nl) |
| 08:14:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 08:22:51 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:23:28 | × | pabs3 quits (~pabs3@user/pabs3) (Remote host closed the connection) |
| 08:24:27 | → | pabs3 joins (~pabs3@user/pabs3) |
| 08:27:54 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
| 08:28:11 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 08:28:33 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 08:28:34 | tnt2 | is now known as tnt1 |
| 08:28:38 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 08:30:04 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 08:31:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 08:32:05 | → | alfiee joins (~alfiee@user/alfiee) |
| 08:33:30 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 08:33:39 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 08:34:56 | <haskellbridge> | <thirdofmay18081814goya> So profunctors are ways to assign an object to maps between objects. If so, why is the profunctor domain a product with a contravariant category? Wouldn't a product of two covariant categories have been enough? |
| 08:36:32 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 08:38:26 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 08:38:36 | → | __monty__ joins (~toonn@user/toonn) |
| 08:42:12 | <dminuoso> | thirdofmay18081814goya: It is not about being "enough" or "more". Being contravariant is not an upgrade. |
| 08:42:45 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 08:43:27 | <dminuoso> | I can give you an (incomplete, but perhaps motivating) reason for wherer the contravariance comes from. |
| 08:43:39 | <dminuoso> | If we take a Haskell centric approach, then profunctors generalize (->) |
| 08:43:52 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 08:43:55 | <dminuoso> | And it so happens that `(->) is contravariant in its first argument, but covariant in its second argument. |
| 08:45:14 | <haskellbridge> | <thirdofmay18081814goya> i.e. "lmap" is contravariant but "rmap" is covariant? |
| 08:45:31 | <dminuoso> | Yes. |
| 08:45:32 | → | chele joins (~chele@user/chele) |
| 08:45:44 | <haskellbridge> | <thirdofmay18081814goya> ah I see, ok this is an extremely helpful example, ty! |
| 08:51:11 | <dminuoso> | thirdofmay18081814goya: So a handwaving description is to describe profunctors (and (->) as a specific instance) as sort of "transformations", where you have some notion of "input" and "output" |
| 08:51:45 | <dminuoso> | It so happens that everything Ive said applies to category theory as well, though it takes a bit more precision to make this connection. |
| 08:52:14 | <haskellbridge> | <thirdofmay18081814goya> right, "lmap" is "given a connection to an earlier input, you can create the current input" |
| 08:52:32 | <dminuoso> | It may also help to see some examples of what this generalizes to |
| 08:52:49 | <dminuoso> | `Kleisli m` is a really good example |
| 08:53:21 | <dminuoso> | Say `a -> IO b` is something that you too can see as an (effectul) transformation |
| 08:53:56 | <dminuoso> | Except because of how our typesystem works we have to make it a `newtype Kleisli m a b = Kleisli { runKleisli a -> m b }` and call `Kleisli IO` a profunctor. |
| 08:54:36 | <dminuoso> | But it's really just about `a -> IO b`. And it so happens that for every Monad m, `Kleisli m` is such a profunctor. |
| 08:54:54 | <dminuoso> | So this starts to generalize even more. |
| 08:55:28 | <dminuoso> | Because at the end, even in `a -> IO b` you can map over the input, and the eventual output of the IO action. |
| 08:55:45 | <dminuoso> | Just like you can map over inputs (contravariantly) and outputs (covariantly) in `a -> b` |
| 08:56:00 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 08:57:11 | <haskellbridge> | <thirdofmay18081814goya> this point of view was extremely helpful, ty! the definition makes perfect sense now |
| 09:01:51 | <dminuoso> | Ah let me make one correction, of course for Kleisli technically we only need `Functor`. |
| 09:02:47 | → | vpan joins (~vpan@212.117.1.172) |
| 09:02:50 | <dminuoso> | Im not entirely sure why both `Star` and `Kleisli` exist. |
| 09:03:40 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 09:04:38 | <dminuoso> | My feeling is that Kleisli uses `liftM` in a bunch of places, perhaps because there may be edge cases where it may be faster than a generalized `fmap`? |
| 09:04:45 | <dminuoso> | And Star generalizes to arbitrary Functor? |
| 09:04:52 | <dminuoso> | I'm not sure. |
| 09:07:59 | × | vpan quits (~vpan@212.117.1.172) (Ping timeout: 260 seconds) |
| 09:13:34 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 09:16:35 | → | vpan joins (~vpan@212.117.1.172) |
| 09:16:59 | vpan | is now known as Guest5922 |
| 09:17:06 | → | sprotte24 joins (~sprotte24@p200300d16f15cb0045bb3ddcfddbb48e.dip0.t-ipconnect.de) |
| 09:17:25 | Guest5922 | is now known as vpan |
| 09:18:04 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 09:19:28 | → | alfiee joins (~alfiee@user/alfiee) |
| 09:21:35 | <haskellbridge> | <magic_rb> Anyone seen the person behind https://github.com/l-Shane-l/tiny-wlhs around? I seem to recall seeing them either here or in the matrix room. Im thinking about just hard switching to it, to force myself to fix any bugs i run into :) |
| 09:21:53 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 09:23:54 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 260 seconds) |
| 09:24:18 | <ski> | thirdofmay18081814goya : read-only view of a mutable cell can be made covariant, write-only view can be made contravariant -- if we allow attaching a post- / pre- processing step to them, respectively. ditto for read-end and write-end of a concurrent channel |
| 09:24:53 | → | eL_Bart0 joins (eL_Bart0@dietunichtguten.org) |
| 09:27:00 | <ski> | (in Concurrent ML (library model for concurrency, available for some ML systems), you can construct "events", which will trigger upon certain conditions. you can syncrhonize/await on such an event. given an event, you can attach a post-processing step to it, to be applied to the generated value, when the event triggers. this basically forms a monad (so covariant functor), iirc) |
| 09:27:54 | → | random-jellyfish joins (~developer@user/random-jellyfish) |
| 09:32:26 | → | comerijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 09:33:14 | → | acidjnk joins (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) |
| 09:34:32 | → | Googulator85 joins (~Googulato@81.183.235.203) |
| 09:35:10 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 09:39:40 | × | hattckory quits (~hattckory@149.102.242.103) (Remote host closed the connection) |
| 09:39:52 | → | hattckory joins (~hattckory@149.102.242.103) |
| 09:51:38 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 244 seconds) |
| 09:53:44 | → | merijn joins (~merijn@77.242.116.146) |
| 09:53:55 | × | comerijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 09:56:31 | × | Googulator85 quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 09:56:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 09:56:52 | → | Googulator85 joins (~Googulato@81.183.235.203) |
| 10:06:10 | × | Googulator85 quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 10:08:51 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 10:08:57 | → | alfiee joins (~alfiee@user/alfiee) |
| 10:13:30 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 10:14:51 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 10:19:19 | × | misterfish quits (~misterfis@h239071.upc-h.chello.nl) (Ping timeout: 260 seconds) |
| 10:21:00 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 276 seconds) |
| 10:21:29 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 10:33:02 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 10:34:23 | → | bjarki joins (~bjarki@tg-ux07.rhi.hi.is) |
| 10:40:33 | <bjarki> | would algebraic effect handlers make sense in Haskell? |
| 10:41:15 | <Rembane> | bjarki: Aren't they already there, or have I misunderstood something? https://hackage.haskell.org/package/effectful |
| 10:41:19 | <merijn> | bjarki: Well, there's approximately 50 different libraries trying that, so probably :p |
| 10:42:24 | × | euandreh quits (~Thunderbi@189.6.105.228) (Read error: Connection reset by peer) |
| 10:42:45 | → | euandreh joins (~Thunderbi@189.6.105.228) |
| 10:42:48 | × | euandreh quits (~Thunderbi@189.6.105.228) (Client Quit) |
| 10:46:46 | <bjarki> | Thank you! |
| 10:51:28 | × | bjarki quits (~bjarki@tg-ux07.rhi.hi.is) (Quit: Client closed) |
| 10:52:01 | → | misterfish joins (~misterfis@31-161-39-137.biz.kpn.net) |
| 10:54:19 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 10:56:20 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 10:57:12 | × | CiaoSen quits (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 10:57:22 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:01:44 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 11:04:21 | <Rembane> | I wonder what they'll do with their newfound knowledge. |
| 11:07:06 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection) |
| 11:07:28 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 11:08:06 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 11:08:37 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 11:08:37 | tnt2 | is now known as tnt1 |
| 11:09:26 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 11:10:26 | → | Googulator85 joins (~Googulato@81.183.235.203) |
| 11:16:55 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 11:25:24 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 264 seconds) |
| 11:26:38 | × | dsrt^ quits (~dsrt@108.192.66.114) (Ping timeout: 245 seconds) |
| 11:28:08 | × | tdslrapts^ quits (~tdslrapts@108.192.66.114) (Ping timeout: 252 seconds) |
| 11:33:37 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 11:41:06 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 11:41:11 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 11:43:58 | → | Googulator57 joins (~Googulato@81.183.235.203) |
| 11:44:10 | × | Googulator85 quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 11:44:40 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 11:45:06 | → | alfiee joins (~alfiee@user/alfiee) |
| 11:45:29 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 11:49:02 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 11:49:08 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 245 seconds) |
| 11:51:10 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 11:55:14 | × | acidjnk quits (~acidjnk@p200300d6e7283f0719c6a4240347dc57.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 11:55:33 | → | acidjnk joins (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) |
| 12:00:15 | <haskellbridge> | <l0negamer> Hi Haskell IRC (and Matrix!). I've posted on the discourse about the monad of no return proposal, and it would be good to get feedback, community input, and/or interest in implementation on the post. You can find it here: https://discourse.haskell.org/t/monad-of-no-return-next-steps/11443?u=l0negamer |
| 12:01:52 | <Rembane> | \o/ |
| 12:04:58 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 272 seconds) |
| 12:06:40 | → | CiaoSen joins (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) |
| 12:09:53 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 12:11:26 | → | jespada joins (~jespada@2800:a4:223d:ab00:6d03:599e:2fec:ccc) |
| 12:15:40 | → | tdslrapts^ joins (~tdslrapts@108.192.66.114) |
| 12:15:40 | → | dsrt^ joins (~dsrt@108.192.66.114) |
| 12:16:10 | × | Googulator57 quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 12:17:35 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 12:18:44 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 12:19:54 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 260 seconds) |
| 12:22:33 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 12:25:45 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 12:27:01 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 12:30:46 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 12:33:30 | → | alfiee joins (~alfiee@user/alfiee) |
| 12:34:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:6f1d:57fb:41e:8090) |
| 12:35:35 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 12:37:48 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 12:38:06 | → | Googulator57 joins (~Googulato@81.183.235.203) |
| 12:39:00 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 12:41:55 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 12:43:21 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 276 seconds) |
| 12:43:21 | tnt2 | is now known as tnt1 |
| 12:49:54 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 12:53:31 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 12:54:08 | × | acidjnk quits (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 12:55:35 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 12:56:39 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 12:57:58 | × | CiaoSen quits (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 12:58:03 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 13:06:25 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:07:27 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 13:07:27 | tnt2 | is now known as tnt1 |
| 13:08:32 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:09:55 | × | mange quits (~user@user/mange) (Quit: Zzz...) |
| 13:17:47 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 13:18:04 | × | rvalue quits (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 13:18:09 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 13:18:41 | → | rvalue joins (~rvalue@user/rvalue) |
| 13:20:20 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 13:20:33 | → | alfiee joins (~alfiee@user/alfiee) |
| 13:24:43 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 13:25:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 13:25:30 | → | acidjnk joins (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) |
| 13:29:16 | → | OFM joins (~OFM@206.red-83-37-119.dynamicip.rima-tde.net) |
| 13:30:24 | × | OFM quits (~OFM@206.red-83-37-119.dynamicip.rima-tde.net) (Client Quit) |
| 13:31:28 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:32:46 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 13:32:46 | tnt2 | is now known as tnt1 |
| 13:36:43 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 13:40:36 | × | xff0x quits (~xff0x@2405:6580:b080:900:6f1d:57fb:41e:8090) (Ping timeout: 268 seconds) |
| 13:41:05 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 13:41:13 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:41:37 | → | j1n37 joins (~j1n37@user/j1n37) |
| 13:42:06 | → | xff0x joins (~xff0x@2405:6580:b080:900:7cc3:4f4d:a90a:6dd1) |
| 13:42:10 | × | j1n37- quits (~j1n37@user/j1n37) (Ping timeout: 248 seconds) |
| 13:43:17 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:43:45 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 13:43:46 | tnt2 | is now known as tnt1 |
| 13:46:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 13:46:29 | × | xff0x quits (~xff0x@2405:6580:b080:900:7cc3:4f4d:a90a:6dd1) (Ping timeout: 248 seconds) |
| 13:46:43 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 13:48:20 | → | xff0x joins (~xff0x@2405:6580:b080:900:b6bf:cda9:3963:dca) |
| 13:50:21 | × | xff0x quits (~xff0x@2405:6580:b080:900:b6bf:cda9:3963:dca) (Read error: Connection reset by peer) |
| 13:51:13 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 13:51:46 | → | zungi joins (~tory@user/andrewchawk) |
| 13:53:43 | → | Square joins (~Square@user/square) |
| 13:54:24 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:54:25 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 13:54:26 | tnt2 | is now known as tnt1 |
| 13:54:37 | → | xff0x joins (~xff0x@2405:6580:b080:900:6dac:d85c:a56f:65f8) |
| 13:56:23 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 13:57:28 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 13:58:41 | → | weary-traveler joins (~user@user/user363627) |
| 13:59:04 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 13:59:22 | → | ft joins (~ft@p4fc2a610.dip0.t-ipconnect.de) |
| 14:00:55 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 14:01:59 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 14:02:47 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 14:07:58 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:08:08 | × | aforemny quits (~aforemny@2001:9e8:6ce5:b500:7db1:2fa8:db14:9933) (Ping timeout: 265 seconds) |
| 14:08:19 | → | aforemny_ joins (~aforemny@2001:9e8:6ceb:2900:89c2:a944:ac4b:d32) |
| 14:09:23 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 14:12:05 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 248 seconds) |
| 14:21:37 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 14:22:41 | → | euleritian joins (~euleritia@dynamic-176-006-128-236.176.6.pool.telefonica.de) |
| 14:25:25 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 14:25:37 | × | acidjnk quits (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 14:26:04 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 14:28:39 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 14:48:49 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 14:50:09 | × | Googulator57 quits (~Googulato@81.183.235.203) (Quit: Client closed) |
| 14:50:25 | → | Googulator57 joins (~Googulato@81.183.235.203) |
| 14:52:33 | × | jespada quits (~jespada@2800:a4:223d:ab00:6d03:599e:2fec:ccc) (Ping timeout: 244 seconds) |
| 14:53:05 | → | acidjnk joins (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) |
| 14:55:17 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 14:55:19 | → | jespada joins (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) |
| 14:55:42 | → | alfiee joins (~alfiee@user/alfiee) |
| 14:58:14 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 14:59:16 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 15:00:04 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 252 seconds) |
| 15:01:16 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 15:03:45 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 15:08:51 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 15:09:09 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 15:09:09 | tnt2 | is now known as tnt1 |
| 15:10:10 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 15:14:58 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 15:16:46 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 15:18:01 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 15:18:02 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 15:19:08 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 15:19:09 | tnt2 | is now known as tnt1 |
| 15:21:13 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 245 seconds) |
| 15:23:41 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 15:24:11 | → | alexherbo2 joins (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) |
| 15:24:37 | × | alexherbo2 quits (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) (Remote host closed the connection) |
| 15:25:28 | → | alexherbo2 joins (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) |
| 15:25:28 | × | MyNetAz quits (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
| 15:28:48 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 15:32:25 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 15:32:29 | → | MyNetAz joins (~MyNetAz@user/MyNetAz) |
| 15:32:53 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 245 seconds) |
| 15:33:17 | × | alexherbo2 quits (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) (Remote host closed the connection) |
| 15:33:36 | → | alexherbo2 joins (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) |
| 15:33:40 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:34:10 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 15:36:32 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 15:38:30 | × | sprotte24 quits (~sprotte24@p200300d16f15cb0045bb3ddcfddbb48e.dip0.t-ipconnect.de) (Quit: Leaving) |
| 15:40:26 | → | gmg joins (~user@user/gehmehgeh) |
| 15:41:48 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 15:43:17 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 15:43:26 | → | alfiee joins (~alfiee@user/alfiee) |
| 15:43:49 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 15:48:11 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 15:50:26 | × | machinedgod quits (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 272 seconds) |
| 15:55:37 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 16:01:32 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Quit: leaving) |
| 16:01:48 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 16:03:19 | × | acidjnk quits (~acidjnk@p200300d6e7283f0735af0e4522a01c1a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:04:12 | × | misterfish quits (~misterfis@31-161-39-137.biz.kpn.net) (Ping timeout: 276 seconds) |
| 16:10:21 | × | euleritian quits (~euleritia@dynamic-176-006-128-236.176.6.pool.telefonica.de) (Ping timeout: 244 seconds) |
| 16:10:44 | × | jespada quits (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:11:39 | → | euleritian joins (~euleritia@dynamic-176-000-016-229.176.0.pool.telefonica.de) |
| 16:15:30 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:16:20 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 16:16:30 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 16:16:52 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 16:17:14 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 16:17:15 | tnt2 | is now known as tnt1 |
| 16:29:43 | zero | is now known as yin |
| 16:31:10 | → | alfiee joins (~alfiee@user/alfiee) |
| 16:32:17 | → | jespada joins (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) |
| 16:35:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 16:44:47 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 16:59:39 | → | comerijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:02:07 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 17:02:10 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Ping timeout: 252 seconds) |
| 17:02:32 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 17:03:16 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 17:03:16 | tnt2 | is now known as tnt1 |
| 17:05:28 | × | comerijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 17:08:55 | → | f8 joins (~f8@103.110.48.243) |
| 17:09:14 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 17:09:45 | <f8> | yo this is something very cool just joined the irc channel using libre chat and hexchat |
| 17:10:21 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 17:12:23 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 17:13:05 | <f8> | how to communicate on this |
| 17:13:09 | <f8> | ? |
| 17:13:49 | × | f8 quits (~f8@103.110.48.243) (Quit: Leaving) |
| 17:13:58 | × | tnt2 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 17:15:04 | <haskellbridge> | <me7itamen> hmm just text |
| 17:15:05 | <EvanR> | by waiting over 1 minute before rage quitting |
| 17:15:39 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 260 seconds) |
| 17:17:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:17:17 | → | forell joins (~forell@user/forell) |
| 17:17:49 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 17:18:54 | → | alfiee joins (~alfiee@user/alfiee) |
| 17:21:00 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 17:23:50 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 17:26:12 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 17:26:50 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 17:26:55 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 268 seconds) |
| 17:26:56 | tnt2 | is now known as tnt1 |
| 17:27:27 | → | CiaoSen joins (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) |
| 17:33:44 | → | kuribas joins (~user@2a02:1808:4:96b:a85c:5e3d:e634:e80) |
| 17:33:52 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:36:10 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 268 seconds) |
| 17:50:40 | <int-e> | Well, IRC is dead, as we all know. :-P |
| 17:53:42 | × | alexherbo2 quits (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) (Remote host closed the connection) |
| 17:53:50 | × | aforemny_ quits (~aforemny@2001:9e8:6ceb:2900:89c2:a944:ac4b:d32) (Ping timeout: 265 seconds) |
| 17:53:56 | → | aforemny joins (~aforemny@2001:9e8:6cec:4900:d13e:fad4:1558:93ab) |
| 17:54:06 | → | Square joins (~Square@user/square) |
| 17:54:12 | → | alexherbo2 joins (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) |
| 17:56:33 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 17:57:40 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:57:53 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 17:57:55 | tnt2 | is now known as tnt1 |
| 18:01:11 | × | jespada quits (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:01:57 | × | kuribas quits (~user@2a02:1808:4:96b:a85c:5e3d:e634:e80) (Read error: Connection reset by peer) |
| 18:05:59 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:06:10 | × | Googulator57 quits (~Googulato@81.183.235.203) (Ping timeout: 240 seconds) |
| 18:07:21 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:09:28 | × | tdslrapts^ quits (~tdslrapts@108.192.66.114) (Remote host closed the connection) |
| 18:09:46 | × | dsrt^ quits (~dsrt@108.192.66.114) (Remote host closed the connection) |
| 18:10:09 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
| 18:14:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 18:15:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 18:16:04 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Ping timeout: 265 seconds) |
| 18:17:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:20:12 | → | jespada joins (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) |
| 18:21:10 | → | euphores joins (~SASL_euph@user/euphores) |
| 18:24:04 | → | acidjnk joins (~acidjnk@p200300d6e7283f074d733f5a370ae1a6.dip0.t-ipconnect.de) |
| 18:28:21 | × | alexherbo2 quits (~alexherbo@2a02-8440-3502-9d3c-f555-3665-277a-d92b.rev.sfr.net) (Remote host closed the connection) |
| 18:28:25 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:30:08 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 18:30:19 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 18:30:19 | tnt2 | is now known as tnt1 |
| 18:30:52 | → | comerijn joins (~merijn@77.242.116.146) |
| 18:31:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Read error: Connection reset by peer) |
| 18:31:40 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 18:34:34 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 18:34:42 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 18:36:34 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 18:36:46 | × | euleritian quits (~euleritia@dynamic-176-000-016-229.176.0.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 18:36:51 | <Rembane> | The good kind of dead. |
| 18:37:00 | tnt2 | is now known as tnt1 |
| 18:37:48 | → | euleritian joins (~euleritia@dynamic-176-000-005-023.176.0.pool.telefonica.de) |
| 18:38:26 | <JuanDaugherty> | counterfactuals are good, apparently |
| 18:38:29 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 260 seconds) |
| 18:40:30 | × | jespada quits (~jespada@2800:a4:2333:3900:1407:8a3c:a07b:1690) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 18:42:34 | × | zmt01 quits (~zmt00@user/zmt00) (Ping timeout: 260 seconds) |
| 18:45:14 | × | euleritian quits (~euleritia@dynamic-176-000-005-023.176.0.pool.telefonica.de) (Ping timeout: 272 seconds) |
| 18:45:34 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 18:46:06 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 18:46:12 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 246 seconds) |
| 18:46:58 | Lord_of_Life_ | is now known as Lord_of_Life |
| 18:48:21 | <Rembane> | JuanDaugherty: How are they good? |
| 18:48:50 | <JuanDaugherty> | u tell me, it's ur assertion |
| 18:48:56 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 18:49:23 | <JuanDaugherty> | (what 'apparently' signifies in appostiion) |
| 18:49:24 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 264 seconds) |
| 18:53:03 | → | alfiee joins (~alfiee@user/alfiee) |
| 18:53:11 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 18:55:08 | <Rembane> | Oh. It was a comment to "Well, IRC is dead, as we all know. :-P" |
| 18:55:37 | <JuanDaugherty> | i know |
| 18:56:11 | <JuanDaugherty> | bonk bonk on the heads of the stupids |
| 18:57:12 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 264 seconds) |
| 18:57:33 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 18:57:34 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 18:59:08 | <JuanDaugherty> | https://netsplit.de/networks/top100.php maybe dead means the ignorant masses dont want none |
| 18:59:26 | <dolio> | That would be a good kind of dead. |
| 19:00:46 | → | hattckory joins (~hattckory@149.102.242.103) |
| 19:00:56 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:04:17 | → | iteratee joins (~kyle@162.218.222.207) |
| 19:05:33 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 276 seconds) |
| 19:06:21 | → | sprotte24 joins (~sprotte24@p200300d16f15cb00fd9f2f224d47518c.dip0.t-ipconnect.de) |
| 19:08:01 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 19:09:03 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 19:10:08 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 19:10:08 | tnt2 | is now known as tnt1 |
| 19:14:31 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 252 seconds) |
| 19:14:51 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 19:20:01 | → | SlackCoder joins (~SlackCode@161.199.132.228) |
| 19:21:00 | × | SlackCoder quits (~SlackCode@161.199.132.228) (Client Quit) |
| 19:22:09 | <monochrom> | haha yikes |
| 19:22:11 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 19:22:39 | → | ephilalethes joins (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) |
| 19:22:49 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: praxis.meansofproduction.biz (juan@acm.org)) |
| 19:24:52 | → | tavare joins (~tavare@user/tavare) |
| 19:26:15 | × | tavare quits (~tavare@user/tavare) (Remote host closed the connection) |
| 19:27:19 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 19:28:41 | → | machinedgod joins (~machinedg@d108-173-18-100.abhsia.telus.net) |
| 19:34:53 | → | pavonia joins (~user@user/siracusa) |
| 19:34:56 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 19:35:30 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Client Quit) |
| 19:36:08 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:38:42 | → | yegorc joins (~yegorc@user/yegorc) |
| 19:39:46 | → | alfiee joins (~alfiee@user/alfiee) |
| 19:39:53 | → | SlackCoder joins (~SlackCode@161.199.132.228) |
| 19:44:26 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 268 seconds) |
| 19:47:31 | × | SlackCoder quits (~SlackCode@161.199.132.228) (Ping timeout: 268 seconds) |
| 19:51:44 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 19:54:14 | → | hattckory joins (~hattckory@149.102.242.103) |
| 19:57:03 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 19:57:26 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 19:58:04 | × | euleritian quits (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 19:58:24 | × | zungi quits (~tory@user/andrewchawk) (Ping timeout: 264 seconds) |
| 19:58:59 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 260 seconds) |
| 20:00:05 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 20:00:45 | → | caconym joins (~caconym@user/caconym) |
| 20:00:49 | → | euleritian joins (~euleritia@dynamic-176-006-137-068.176.6.pool.telefonica.de) |
| 20:02:38 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 20:05:15 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:08:48 | × | euleritian quits (~euleritia@dynamic-176-006-137-068.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 20:09:10 | → | euleritian joins (~euleritia@ip4d17fae8.dynamic.kabel-deutschland.de) |
| 20:15:36 | → | zmt00 joins (~zmt00@user/zmt00) |
| 20:15:52 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:18:22 | × | zmt00 quits (~zmt00@user/zmt00) (Remote host closed the connection) |
| 20:18:46 | → | zmt00 joins (~zmt00@user/zmt00) |
| 20:21:40 | × | CiaoSen quits (~Jura@ip-037-201-240-075.um10.pools.vodafone-ip.de) (Ping timeout: 244 seconds) |
| 20:28:31 | → | alfiee joins (~alfiee@user/alfiee) |
| 20:31:29 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 20:31:39 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 20:32:49 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
| 20:34:01 | tnt2 | is now known as tnt1 |
| 20:34:31 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 20:36:46 | → | weary-traveler joins (~user@user/user363627) |
| 20:38:54 | × | aforemny quits (~aforemny@2001:9e8:6cec:4900:d13e:fad4:1558:93ab) (Ping timeout: 246 seconds) |
| 20:39:15 | → | aforemny joins (~aforemny@2001:9e8:6cec:f800:32fe:36cc:ea74:2a67) |
| 20:39:19 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 268 seconds) |
| 20:40:01 | × | sprotte24 quits (~sprotte24@p200300d16f15cb00fd9f2f224d47518c.dip0.t-ipconnect.de) (Quit: Leaving) |
| 20:42:38 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 20:42:51 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 20:44:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:47:20 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 20:47:48 | × | comerijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 20:49:20 | → | fp1 joins (~Thunderbi@87-94-153-62.rev.dnainternet.fi) |
| 20:50:20 | ← | L29Ah parts (~L29Ah@wikipedia/L29Ah) () |
| 20:50:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 20:52:13 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 20:53:09 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:53:37 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 20:53:38 | tnt2 | is now known as tnt1 |
| 20:54:32 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 20:56:56 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 20:57:53 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 245 seconds) |
| 20:57:54 | tnt2 | is now known as tnt1 |
| 21:02:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:02:42 | × | kimiamania8 quits (~65804703@user/kimiamania) (Quit: PegeLinux) |
| 21:03:05 | → | kimiamania8 joins (~65804703@user/kimiamania) |
| 21:03:38 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 21:06:06 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 21:06:29 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 21:06:29 | tnt2 | is now known as tnt1 |
| 21:07:02 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:08:00 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:09:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 21:10:45 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 248 seconds) |
| 21:11:01 | → | tnt1 joins (~Thunderbi@user/tnt1) |
| 21:13:01 | × | ephilalethes quits (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 21:13:20 | → | ephilalethes joins (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) |
| 21:13:38 | × | Patternmaster quits (~georg@user/Patternmaster) (Ping timeout: 244 seconds) |
| 21:13:53 | → | Patternmaster joins (~georg@user/Patternmaster) |
| 21:14:55 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 21:14:55 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 21:15:35 | → | alfiee joins (~alfiee@user/alfiee) |
| 21:15:53 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 265 seconds) |
| 21:15:54 | tnt2 | is now known as tnt1 |
| 21:20:24 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 21:20:36 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:20:53 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 248 seconds) |
| 21:21:13 | → | tnt2 joins (~Thunderbi@user/tnt1) |
| 21:22:07 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 244 seconds) |
| 21:22:07 | tnt2 | is now known as tnt1 |
| 21:26:30 | → | sprotte24 joins (~sprotte24@p200300d16f1c5a00fd9f2f224d47518c.dip0.t-ipconnect.de) |
| 21:29:50 | × | hughjfchen quits (~hughjfche@vmi2417424.contaboserver.net) (Ping timeout: 252 seconds) |
| 21:29:56 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 21:30:15 | → | hughjfchen joins (~hughjfche@vmi2417424.contaboserver.net) |
| 21:30:20 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:33:01 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:37:09 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 21:37:33 | → | sixfourtwelve joins (~ethanmorg@82.18.82.103) |
| 21:37:53 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 21:45:09 | × | tnt1 quits (~Thunderbi@user/tnt1) (Ping timeout: 260 seconds) |
| 21:48:42 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 21:48:46 | <yin> | i wish it was less dead tbh |
| 21:56:52 | × | ephilalethes quits (~noumenon@2001:d08:1a00:bc0:aa7e:eaff:fede:ff94) (Quit: Leaving) |
| 21:59:49 | → | j1n37- joins (~j1n37@user/j1n37) |
| 21:59:54 | × | j1n37 quits (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
| 22:02:40 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:06:59 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0c81-8032-422f-4c4d-33bd.pool6.digikabel.hu) |
| 22:07:16 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 22:24:00 | × | sixfourtwelve quits (~ethanmorg@82.18.82.103) (Quit: leaving) |
| 22:24:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
| 22:24:50 | → | peterbecich joins (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 22:27:51 | → | hattckory joins (~hattckory@149.102.242.103) |
| 22:29:05 | → | misterfish joins (~misterfis@84.53.85.146) |
| 22:32:54 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 276 seconds) |
| 22:34:32 | × | takuan quits (~takuan@d8D86B601.access.telenet.be) (Remote host closed the connection) |
| 22:36:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:03 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 22:44:20 | × | ec quits (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 22:44:20 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 22:44:20 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 22:44:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 22:44:55 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 22:45:00 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 22:45:09 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 22:46:29 | × | Googulator57 quits (~Googulato@2a01-036d-0106-0c81-8032-422f-4c4d-33bd.pool6.digikabel.hu) (Quit: Client closed) |
| 22:46:44 | → | Googulator57 joins (~Googulato@2a01-036d-0106-0c81-8032-422f-4c4d-33bd.pool6.digikabel.hu) |
| 22:47:19 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 22:47:20 | <haskellbridge> | <sm> it's more dispersed now |
| 22:47:34 | <haskellbridge> | <sm> maybe Pidgin can integrate all the chats again these days ? |
| 22:48:15 | <haskellbridge> | <sm> +(https://www.pidgin.im) |
| 22:48:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:48:39 | <haskellbridge> | <sm> or https://www.beeper.com |
| 22:48:55 | <haskellbridge> | <magic_rb> Beeper is just standardish matrix |
| 22:49:14 | <haskellbridge> | <magic_rb> All of their bridges are open source actually |
| 22:49:21 | <talismanick> | When checking the code for derived instances via `ghc -ddump-deriv`, it can be a chore to search-replace noise like namespace qualifiers and autogenerated line noise variable names |
| 22:49:29 | <haskellbridge> | <sm> ...with all the gnarly bridges configured and maintained for you |
| 22:49:45 | → | alfiee joins (~alfiee@user/alfiee) |
| 22:49:51 | <talismanick> | which, if I were running `ghc` normally to desugar, would be a problem solved by calling out to `ghc-core` instead |
| 22:49:55 | <talismanick> | as https://stackoverflow.com/questions/10693638/how-to-dump-ghc-simplifier-output-in-human-readable-form suggests |
| 22:50:11 | <talismanick> | but I don't see how to run ghc-core with `-ddump-deriv` |
| 22:51:01 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 248 seconds) |
| 22:51:32 | → | hattckory joins (~hattckory@149.102.242.103) |
| 22:52:06 | <haskellbridge> | <magic_rb> sm eeh its not _that_ to maintain. The facebook bridge fell apart for me because i ignored it for 6 months, but the discord one has been 0% maintenance for the last 2 years |
| 22:52:12 | <haskellbridge> | <magic_rb> Anyway, offtopic |
| 22:52:32 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 244 seconds) |
| 22:53:09 | <monochrom> | Does -dsuppress-all help? |
| 22:53:26 | <talismanick> | monochrom: I was about to say that -dsuppress-module-prefixes -dsuppress-uniques didn't work lol |
| 22:53:31 | <talismanick> | let me try with -dsuppress-all |
| 22:54:29 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 265 seconds) |
| 22:54:46 | <talismanick> | hm, prints nothing |
| 22:55:03 | <talismanick> | I have to go now, but I'll have to dig deeper later |
| 22:58:13 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 22:59:14 | × | hattckory quits (~hattckory@149.102.242.103) (Ping timeout: 260 seconds) |
| 23:00:38 | <haskellbridge> | <sm> magic_rb that's cool. I notice "Beeper is free to use, with an optional paid subscription." - that also sounds pretty cool I must say |
| 23:00:53 | → | atwm joins (~andrew@19-193-28-81.ftth.cust.kwaoo.net) |
| 23:01:18 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 23:01:34 | <haskellbridge> | <magic_rb> I havent tried beeper personally. I wouldnt want to trust a 3rd party with my messaging |
| 23:01:46 | <haskellbridge> | <magic_rb> Especially if im bridging everything through it. |
| 23:02:04 | <haskellbridge> | <sm> how many bridges are you running, and where are they - on a vps ? |
| 23:02:12 | <haskellbridge> | <magic_rb> But i dont have anything against beeper, so i mention them |
| 23:02:55 | <haskellbridge> | <magic_rb> sm: Currently 2, used to do 3 but then facebook and signal fell apart because beeper did a complete rewrite and i just couldnt be bothered |
| 23:03:20 | <haskellbridge> | <magic_rb> Facebook i dont use anymore and signal is a bad idea for security. WhatsApp needs an active phone anyway, VMs get you banned |
| 23:04:23 | <haskellbridge> | <magic_rb> As for the hardware im running it on a full server with 80GB (my sticks keep failing, used to be 96, ill have to get new ones) with 2 cpus, 6 cores per of 3.1GHz (3rd gen ish intel xeon) |
| 23:05:10 | <haskellbridge> | <sm> wow.. is that much power needed ? |
| 23:05:24 | <haskellbridge> | <sm> * ram |
| 23:05:50 | <haskellbridge> | <magic_rb> But your main bottleneck if you do run this wont be the bridges but rather the matrix homeserver. You have 5 options, synapse - heavy, reliable, dendrite - light, broken beyond belief, conduit - light, slow progress, conduwuit - light, possibly toxic maintainer, grapevine - light and i dunno |
| 23:06:14 | <haskellbridge> | <magic_rb> Synapse i in python, dendrite in go, conduit, conduwuit and grapevine are forks of each other, all in rust |
| 23:06:46 | <haskellbridge> | <magic_rb> Im running synapse because i have the hardware and its the most reliable and drama free. Conduit got forked at least twice over drama |
| 23:06:54 | <haskellbridge> | <sm> when do we get the rock solid haskell homeserver... |
| 23:07:49 | <geekosaur> | I've offered a couple of times but HF seems uninterested |
| 23:07:50 | <haskellbridge> | <magic_rb> And no you dont need as much power as i have, especially if you dont run synapse. But even with it im giving it too much memory, its possible to tune and run on just 4GB of memory, i just threw more ram at it because i couldnt be arsed to tune it |
| 23:08:06 | <haskellbridge> | <magic_rb> Writing a matrix HS is insanely difficult |
| 23:08:19 | <haskellbridge> | <magic_rb> And tbh i dont think haskell would solve much |
| 23:09:12 | × | atwm quits (~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 252 seconds) |
| 23:09:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:09:30 | <haskellbridge> | <magic_rb> As in, i dont think there is a tangible benefit to using haskell for a HS, most of the complexity lies in implementing the whole spec, the stateres algorithm and actually making the internal data model fast |
| 23:09:33 | <geekosaur> | oh, misunderstood. no I'm not interested in writing one |
| 23:09:39 | <geekosaur> | in Haskell or any other language |
| 23:09:40 | <haskellbridge> | <magic_rb> Ah |
| 23:10:03 | <haskellbridge> | <magic_rb> Saying to run one ig, sorry, i see RIIH everywhere these days lol |
| 23:10:07 | <geekosaur> | Matris protocol is nuts |
| 23:10:38 | <haskellbridge> | <sm> it could be a good reference / research implementation. In future, auto translate it to rust or something for better efficiency |
| 23:10:52 | <haskellbridge> | <magic_rb> sm if you decide to try to run your own HS, whichever you choose. Feel free to ping me for help |
| 23:11:29 | <haskellbridge> | <magic_rb> Pretty sure haskell is fast enough. The best way to speed up synapse which is in python, is to speed up the database, postgres |
| 23:11:53 | <haskellbridge> | <sm> everyone struggles to write a matrix server it seems, haskell should be among the best languages for the writing/maintaining part at least (not necessarily the efficiency/operating at scale part) |
| 23:12:31 | → | weary-traveler joins (~user@user/user363627) |
| 23:12:39 | <haskellbridge> | <magic_rb> Im gonna focus on my haskell filesystem for now, then maybe something else in haskell |
| 23:12:41 | → | ensyde joins (~ensyde@70-33-158-82.unassigned.ntelos.net) |
| 23:13:49 | <haskellbridge> | <sm> geekosaur: Complex ? |
| 23:14:35 | <haskellbridge> | <magic_rb> The state res is the worst, as in, the way possibly divergent event graphs are merged |
| 23:14:40 | → | noxp joins (~ensyde@2600:381:df29:528d:5c12:4661:6233:7eba) |
| 23:15:04 | <geekosaur> | byzantine |
| 23:15:05 | <haskellbridge> | <sm> tricky algorithms should be our bread and butter |
| 23:15:10 | <haskellbridge> | <magic_rb> Say you have 8 HSs in a room, 4 split off for 4 days but the users in them can still communicate between themselves |
| 23:15:19 | <haskellbridge> | <sm> I hear state resolution algorithm v3 is coming |
| 23:15:26 | <haskellbridge> | <magic_rb> Then after they all rejoin, stateres happens where it has to merge again |
| 23:15:40 | <haskellbridge> | <magic_rb> And that part is the buggiest part of matrix afaik |
| 23:16:15 | <haskellbridge> | <magic_rb> If you hear "split brain" its a stateres bug, where room state permanently diverges and different servers see and advertise different state. |
| 23:16:43 | <haskellbridge> | <magic_rb> Effect is that people might not see each others messages. You might get rejoined into a room you left, because the leave event disappears |
| 23:17:13 | → | ensyde_ joins (~ensyde@70-33-158-82.unassigned.ntelos.net) |
| 23:17:46 | <haskellbridge> | <magic_rb> And other fun things, dunno much about the actual impl, just what i heard while hanging out in matrix dev adjacent rooms |
| 23:18:18 | <haskellbridge> | <sm> Yes.. I look forward to v3. There's a nifty state visualiser now which must be a help |
| 23:18:35 | <haskellbridge> | <sm> I imagine another hard part of building a matrix server is the cryptography, eg availability of the right good libraries. |
| 23:18:44 | × | ensyde quits (~ensyde@70-33-158-82.unassigned.ntelos.net) (Ping timeout: 252 seconds) |
| 23:19:07 | <haskellbridge> | <sm> And another part must be the amount of data to be managed, though you could restrict that |
| 23:20:26 | <haskellbridge> | <sm> To be honest, with bridges out of the picture I rarely see state resolution / split brain issues on matrix. (I see it more often on irc, or used to) |
| 23:20:31 | <haskellbridge> | <magic_rb> Crypto is largely a client side thing only, https is ofc server side, but e2ee is completely client side |
| 23:20:44 | <haskellbridge> | <sm> oh interesting, that's good news |
| 23:21:08 | <haskellbridge> | <magic_rb> And for e2ee youll have to bind against vodozemac which is in rust |
| 23:21:30 | × | noxp quits (~ensyde@2600:381:df29:528d:5c12:4661:6233:7eba) (Ping timeout: 268 seconds) |
| 23:21:40 | <haskellbridge> | <magic_rb> Im planning to try to shoehorn vodozemac into ement.el (emacs matrix client) to get e2ee |
| 23:23:21 | <haskellbridge> | <magic_rb> Anyway, sleep time |
| 23:24:29 | <haskellbridge> | <sm> see you |
| 23:25:42 | × | peterbecich quits (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:32:04 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 23:33:22 | → | caconym joins (~caconym@user/caconym) |
| 23:35:47 | <haskellbridge> | <Liamzee> lol |
| 23:35:49 | <haskellbridge> | <Liamzee> https://spectrum.ieee.org/reversible-computing |
| 23:35:54 | <haskellbridge> | <Liamzee> sounds eerily familiar |
| 23:36:49 | → | alfiee joins (~alfiee@user/alfiee) |
| 23:37:32 | × | alp quits (~alp@2001:861:8ca0:4940:be63:3b87:5f1:7fac) (Ping timeout: 268 seconds) |
| 23:41:38 | × | alfiee quits (~alfiee@user/alfiee) (Ping timeout: 272 seconds) |
| 23:42:15 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 23:45:38 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:49:32 | → | hattckory joins (~hattckory@149.102.242.103) |
| 23:56:34 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 23:59:07 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 268 seconds) |
| 23:59:07 | ljdarj1 | is now known as ljdarj |
All times are in UTC on 2025-02-21.