Logs on 2024-02-29 (liberachat/#haskell)
| 00:03:08 | <EvanR> | yep something very clever. I only read the original STM paper, not sure what modern GHC does |
| 00:19:25 | → | son0p joins (~ff@167.0.160.226) |
| 00:20:39 | <bontaq> | say with the record dot syntax, can I do something like roles = .role <$> messages, to get a list of roles from a list of messages with roles? |
| 00:21:53 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 00:26:27 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 00:32:09 | <fraznel> | bontaq, hard to say without code but if messages is a list of data with a role field then if it works like normal functions something like... flip (.) role <$> messages |
| 00:35:24 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:39:57 | <bontaq> | innteresting, and yeah just a simple list of message records with a role field, tyty |
| 00:47:31 | → | sprout_ joins (~quassel@2a02-a448-3a80-0-20c8-15f6-5661-7ff0.fixed6.kpn.net) |
| 00:50:40 | × | sprout quits (~quassel@2a02-a448-3a80-0-252b-984d-420d-e98d.fixed6.kpn.net) (Ping timeout: 256 seconds) |
| 00:54:00 | <fraznel> | bontaq, jus a thought, it should get optimized out probably but the (.) is doing non-sense work in that case. you probably just want role <$> messages |
| 00:55:36 | <geekosaur> | fraznel, RecordDotSyntax is not the (.) operator |
| 00:56:03 | → | mvk joins (~mvk@2607:fea8:5c9a:a600::83e8) |
| 01:00:21 | → | shapr` joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 01:01:46 | <fraznel> | oh |
| 01:02:05 | × | Square2 quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 01:02:22 | × | shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 264 seconds) |
| 01:02:38 | <fraznel> | i see, then more like `.role <$> messages` |
| 01:02:46 | <fraznel> | thats odd |
| 01:03:03 | <fraznel> | er.., (.role) <$> messages |
| 01:08:02 | × | mvk quits (~mvk@2607:fea8:5c9a:a600::83e8) (Quit: Going elsewhere) |
| 01:09:11 | <bontaq> | oho it does work with the parenthesis around it! |
| 01:20:00 | × | poscat quits (~poscat@user/poscat) (Quit: Bye) |
| 01:25:58 | → | poscat joins (~poscat@user/poscat) |
| 01:26:29 | × | AlexZenon quits (~alzenon@5.139.232.115) (Ping timeout: 240 seconds) |
| 01:33:03 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 01:34:11 | → | AlexZenon joins (~alzenon@5.139.232.115) |
| 01:36:50 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 01:41:55 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 01:54:31 | → | TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com) |
| 01:56:11 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 01:56:49 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 264 seconds) |
| 01:57:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 02:09:26 | × | ridcully_ quits (~ridcully@p508ac914.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 02:18:39 | × | xff0x quits (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 02:29:19 | → | ridcully joins (~ridcully@p508ac420.dip0.t-ipconnect.de) |
| 02:30:52 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 02:46:54 | → | aforemny_ joins (~aforemny@i59F516DD.versanet.de) |
| 02:48:25 | × | aforemny quits (~aforemny@i59F516CF.versanet.de) (Ping timeout: 264 seconds) |
| 02:55:04 | × | otto_s quits (~user@p4ff27821.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 02:56:34 | → | otto_s joins (~user@p5de2faf6.dip0.t-ipconnect.de) |
| 03:00:34 | → | xff0x joins (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 03:02:29 | → | cipherrot joins (~znc-user@user/petrichor) |
| 03:02:58 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 246 seconds) |
| 03:11:52 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
| 03:13:01 | × | td_ quits (~td@i5387090D.versanet.de) (Ping timeout: 264 seconds) |
| 03:14:44 | → | td_ joins (~td@i53870909.versanet.de) |
| 03:25:47 | × | dsrt^ quits (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
| 03:26:06 | × | TonyStone quits (~TonyStone@074-076-057-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 03:38:14 | → | TonyStone joins (~TonyStone@074-076-057-186.res.spectrum.com) |
| 03:38:15 | × | bontaq quits (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 03:46:01 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 03:46:20 | × | shapr` quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 03:47:21 | × | jargon quits (~jargon@111.sub-174-205-228.myvzw.com) (Remote host closed the connection) |
| 03:55:52 | × | szkl quits (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 04:06:09 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 04:10:31 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 04:17:21 | × | euleritian quits (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 04:17:39 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 04:22:46 | → | aforemny joins (~aforemny@i59F516FB.versanet.de) |
| 04:23:13 | × | aforemny_ quits (~aforemny@i59F516DD.versanet.de) (Ping timeout: 264 seconds) |
| 04:24:37 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 04:28:31 | → | bilegeek joins (~bilegeek@2600:1008:b06d:49c3:31ce:62c1:bb1a:da64) |
| 04:35:29 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 04:53:46 | × | fraznel quits (~fuag1@c-73-221-56-19.hsd1.wa.comcast.net) (Quit: Leaving) |
| 04:57:20 | × | manwithluck quits (manwithluc@gateway/vpn/protonvpn/manwithluck) (Ping timeout: 260 seconds) |
| 04:57:46 | × | natechan quits (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 04:58:22 | × | waleee quits (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 255 seconds) |
| 04:59:36 | → | manwithluck joins (manwithluc@gateway/vpn/protonvpn/manwithluck) |
| 05:23:22 | → | mud joins (~mud@user/kadoban) |
| 05:24:18 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 05:39:50 | → | michalz joins (~michalz@185.246.207.203) |
| 05:41:10 | × | zmt00 quits (~zmt00@user/zmt00) (Quit: Leaving) |
| 05:41:21 | × | michalz quits (~michalz@185.246.207.203) (Client Quit) |
| 05:44:10 | → | michalz joins (~michalz@185.246.207.215) |
| 05:47:32 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 05:52:05 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 05:58:27 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 06:01:55 | → | _ht joins (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 06:08:07 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 06:17:20 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:21:55 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 06:24:37 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 06:24:38 | × | thegeekinside quits (~thegeekin@189.217.83.221) (Remote host closed the connection) |
| 06:26:42 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 06:27:02 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 06:29:49 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 06:32:23 | → | euleritian joins (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) |
| 06:37:19 | → | acidjnk_new joins (~acidjnk@p200300d6e737e7315d4b4bfc3d01e9cc.dip0.t-ipconnect.de) |
| 06:38:36 | → | rancidcake joins (~rancidcak@165.225.106.173) |
| 06:46:12 | → | igemnace joins (~ian@user/igemnace) |
| 06:48:24 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 06:53:23 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 06:58:17 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 06:58:36 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 07:02:29 | × | rancidcake quits (~rancidcak@165.225.106.173) (Quit: Client closed) |
| 07:09:17 | → | zetef joins (~quassel@95.77.17.251) |
| 07:20:05 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 07:31:06 | × | Angelz quits (Angelz@user/angelz) (Quit: IRCNow and Forever!) |
| 07:32:23 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 07:32:42 | → | julie_pilgrim joins (~julie_pil@user/julie-pilgrim/x-1240752) |
| 07:33:06 | → | Silver_X joins (~Silver_X@182.178.140.49) |
| 07:33:08 | → | Angelz joins (Angelz@Angelz.oddprotocol.org) |
| 07:36:39 | × | Silver_X quits (~Silver_X@182.178.140.49) (Client Quit) |
| 07:44:44 | → | coot joins (~coot@89-69-206-216.dynamic.chello.pl) |
| 07:49:32 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 07:49:54 | → | oo_miguel joins (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 07:53:12 | → | gmg joins (~user@user/gehmehgeh) |
| 07:53:41 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 07:54:40 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 260 seconds) |
| 07:58:30 | × | tzh quits (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 07:59:19 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:59:38 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 08:05:52 | × | notzmv quits (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 08:06:47 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:13:43 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 08:16:15 | × | malte quits (~malte@mal.tc) (Remote host closed the connection) |
| 08:17:31 | → | malte joins (~malte@mal.tc) |
| 08:18:52 | → | lortabac joins (~lortabac@88-125-6-227.subs.proxad.net) |
| 08:25:37 | → | CiaoSen joins (~Jura@2a05:5800:29f:4c00:e6b9:7aff:fe80:3d03) |
| 08:25:48 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 08:28:09 | → | zetef joins (~quassel@95.77.17.251) |
| 08:48:05 | × | myxos quits (~myxos@065-028-251-121.inf.spectrum.com) (Quit: myxos) |
| 08:48:15 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 08:48:37 | → | Batzy joins (~quassel@user/batzy) |
| 08:49:18 | → | myxos joins (~myxos@065-028-251-121.inf.spectrum.com) |
| 08:53:40 | → | ak-1 joins (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) |
| 08:54:49 | → | ubert joins (~Thunderbi@2a02:8109:ab8a:5a00:2a0e:8d15:b291:b8ce) |
| 08:56:25 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 09:02:20 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 260 seconds) |
| 09:04:32 | × | Enviosity quits (~Enviosity@176.254.244.83) (Ping timeout: 268 seconds) |
| 09:09:01 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 09:11:38 | × | rembo10 quits (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 09:13:49 | → | rembo10 joins (~rembo10@main.remulis.com) |
| 09:14:22 | → | Guest15 joins (~Guest15@105.112.248.197) |
| 09:14:35 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 09:16:08 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 09:17:23 | → | Batzy joins (~quassel@user/batzy) |
| 09:21:21 | → | Batzy_ joins (~quassel@user/batzy) |
| 09:22:48 | → | Enviosity joins (~Enviosity@176.254.244.83) |
| 09:24:53 | × | Batzy quits (~quassel@user/batzy) (Ping timeout: 272 seconds) |
| 09:24:57 | → | mei joins (~mei@user/mei) |
| 09:25:15 | × | mei quits (~mei@user/mei) (Client Quit) |
| 09:26:20 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 09:26:59 | → | danse-nr3 joins (~danse@an-19-176-43.service.infuturo.it) |
| 09:27:25 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 272 seconds) |
| 09:28:22 | → | mei joins (~mei@user/mei) |
| 09:29:17 | Batzy_ | is now known as Batzy |
| 09:29:52 | × | CiaoSen quits (~Jura@2a05:5800:29f:4c00:e6b9:7aff:fe80:3d03) (Ping timeout: 260 seconds) |
| 09:30:25 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 09:30:55 | jmcantrell | is now known as Guest7426 |
| 09:30:56 | × | Guest7426 quits (644f1bed9a@user/jmcantrell) (Killed (silver.libera.chat (Nickname regained by services))) |
| 09:30:56 | __jmcantrell__ | is now known as jmcantrell |
| 09:31:06 | → | jmcantrell_ joins (644f1bed9a@user/jmcantrell) |
| 09:34:15 | × | mud quits (~mud@user/kadoban) (Remote host closed the connection) |
| 09:34:27 | × | bilegeek quits (~bilegeek@2600:1008:b06d:49c3:31ce:62c1:bb1a:da64) (Quit: Leaving) |
| 09:35:00 | → | cfricke joins (~cfricke@user/cfricke) |
| 09:35:17 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 09:37:27 | → | rancidcake joins (~rancidcak@165.225.106.173) |
| 09:39:04 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 09:39:55 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 09:41:59 | × | ft quits (~ft@p508db2e6.dip0.t-ipconnect.de) (Quit: leaving) |
| 09:43:54 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 09:44:32 | × | Lycurgus quits (~georg@user/Lycurgus) (Quit: leaving) |
| 09:45:18 | → | misterfish joins (~misterfis@87.215.131.102) |
| 09:50:42 | × | euleritian quits (~euleritia@dynamic-176-006-186-165.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 09:50:59 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 09:52:55 | × | Batzy quits (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 09:54:55 | × | jmcantrell quits (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
| 09:54:57 | jmcantrell_ | is now known as jmcantrell |
| 09:55:48 | → | Batzy joins (~quassel@user/batzy) |
| 10:02:22 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 10:02:22 | × | mauke quits (~mauke@user/mauke) (Read error: Connection reset by peer) |
| 10:05:37 | → | __jmcantrell__ joins (~weechat@user/jmcantrell) |
| 10:05:38 | × | __jmcantrell__ quits (~weechat@user/jmcantrell) (Client Quit) |
| 10:07:01 | × | xff0x quits (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 264 seconds) |
| 10:07:27 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 10:08:07 | → | mauke joins (~mauke@user/mauke) |
| 10:12:25 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 246 seconds) |
| 10:15:56 | → | notzmv joins (~daniel@user/notzmv) |
| 10:19:24 | → | noctux joins (~noctux@user/noctux) |
| 10:21:55 | × | ak-1 quits (~ak-1@ip-037-201-198-027.um10.pools.vodafone-ip.de) (Quit: Client closed) |
| 10:23:27 | × | Guest15 quits (~Guest15@105.112.248.197) (Ping timeout: 250 seconds) |
| 10:23:47 | × | lg188 quits (~lg188@82.18.98.230) (Ping timeout: 260 seconds) |
| 10:24:45 | → | lg188 joins (~lg188@82.18.98.230) |
| 10:33:24 | × | rancidcake quits (~rancidcak@165.225.106.173) (Quit: Client closed) |
| 10:33:51 | × | julie_pilgrim quits (~julie_pil@user/julie-pilgrim/x-1240752) (Ping timeout: 250 seconds) |
| 10:36:25 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 268 seconds) |
| 10:38:09 | <haskellbridge> | <orbicularis> yes, you're trying to make a section, that won't happen without parentheses. |
| 10:41:16 | × | lortabac quits (~lortabac@88-125-6-227.subs.proxad.net) (Ping timeout: 260 seconds) |
| 10:47:34 | × | raym quits (~ray@user/raym) (Ping timeout: 255 seconds) |
| 10:48:32 | → | raym joins (~ray@user/raym) |
| 10:50:24 | × | mei quits (~mei@user/mei) (Remote host closed the connection) |
| 10:51:36 | → | mei joins (~mei@user/mei) |
| 10:57:18 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:58:30 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 11:02:55 | → | Square2 joins (~Square4@user/square) |
| 11:06:01 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 256 seconds) |
| 11:09:09 | → | xff0x joins (~xff0x@ai082039.d.east.v6connect.net) |
| 11:17:43 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 255 seconds) |
| 11:21:25 | → | zetef joins (~quassel@95.77.17.251) |
| 11:23:20 | → | [[PSYCHIATRIST joins (~PSYCHIAT@46.197.13.252) |
| 11:27:54 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 11:30:33 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 11:31:51 | → | __monty__ joins (~toonn@user/toonn) |
| 11:34:05 | × | noumenon quits (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 11:37:10 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 268 seconds) |
| 11:45:46 | × | [[PSYCHIATRIST quits (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 11:47:50 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 11:53:26 | → | [[PSYCHIATRIST joins (~PSYCHIAT@46.197.13.252) |
| 11:53:55 | × | destituion quits (~destituio@2a02:2121:34a:61a6:3256:75da:727b:1921) (Ping timeout: 246 seconds) |
| 11:54:28 | → | destituion joins (~destituio@85.221.111.174) |
| 11:54:33 | → | zetef joins (~quassel@5.2.182.98) |
| 12:04:31 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 12:11:08 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 12:12:23 | × | zetef quits (~quassel@5.2.182.98) (Read error: Connection reset by peer) |
| 12:13:09 | × | [[PSYCHIATRIST quits (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 12:13:50 | → | [[PSYCHIATRIST joins (~PSYCHIAT@46.197.13.252) |
| 12:13:53 | × | danse-nr3 quits (~danse@an-19-176-43.service.infuturo.it) (Read error: Connection reset by peer) |
| 12:18:25 | × | igemnace quits (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 12:18:50 | → | igemnace joins (~ian@user/igemnace) |
| 12:23:35 | × | [[PSYCHIATRIST quits (~PSYCHIAT@46.197.13.252) (Quit: Client closed) |
| 12:25:01 | sprout_ | is now known as sprout |
| 12:33:31 | → | tri joins (~tri@ool-18bc2e74.dyn.optonline.net) |
| 12:38:11 | × | tri quits (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 12:48:38 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 256 seconds) |
| 13:02:24 | → | pyooque joins (~puke@user/puke) |
| 13:02:24 | puke | is now known as Guest9533 |
| 13:02:24 | × | Guest9533 quits (~puke@user/puke) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 13:02:24 | pyooque | is now known as puke |
| 13:08:24 | → | shapr joins (~user@2603:3005:b31:e100:6e85:7f4d:b05b:5e48) |
| 13:18:41 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 13:19:39 | <lortabac> | am I the only one who has problems with name resolution from time to time? |
| 13:20:20 | <lortabac> | it has happened to me on various GHC versions, sometimes I need to import a module qualified otherwise I get a "variable not in scope" error |
| 13:20:56 | <lortabac> | unfortunately it's hard to make a minimal reproducible example, but I will try |
| 13:21:50 | → | gmg joins (~user@user/gehmehgeh) |
| 13:32:04 | → | bontaq joins (~user@ool-45779c03.dyn.optonline.net) |
| 13:39:03 | <shapr> | lortabac: I've never seen that, sounds interesting |
| 13:42:35 | <lortabac> | I can't find any GHC tickets related to this problem |
| 13:43:45 | <shapr> | I think I started with ghc 5, and I've not seen that yet |
| 13:44:02 | <lortabac> | it's happened to me 2-3 times in about 10 years, so I'm not surprised nobody talks about this |
| 13:46:23 | <shapr> | I can't actually find GHC release history for 2001, I don't know what version I started using |
| 13:46:27 | shapr | shrugs |
| 13:47:11 | <lortabac> | GHC prehistory :) |
| 13:48:05 | <shapr> | could have been ghc 4, was probably ghc 5, but you definitely had to download and build it yourself whenever there was a new release |
| 13:48:49 | <shapr> | lortabac: I'd certainly like to see that error |
| 13:49:38 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 13:52:41 | → | zetef joins (~quassel@95.77.17.251) |
| 13:52:43 | <lortabac> | shapr: it's company code and the module dependency graph is quite complex |
| 13:53:46 | <shapr> | aw, too bad |
| 13:53:55 | × | shapr quits (~user@2603:3005:b31:e100:6e85:7f4d:b05b:5e48) (Quit: time for a walk) |
| 13:54:00 | <lortabac> | maybe I can try to replicate the module structure but use different names and no function bodies |
| 13:56:38 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 14:01:03 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Ping timeout: 255 seconds) |
| 14:09:35 | × | mulk quits (~mulk@pd9514e24.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 14:13:44 | → | mulk joins (~mulk@pd9514a02.dip0.t-ipconnect.de) |
| 14:18:37 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 14:19:00 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 14:19:01 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:22:20 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 252 seconds) |
| 14:23:33 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 14:23:46 | → | __monty__ joins (~toonn@user/toonn) |
| 14:24:39 | → | thegeekinside joins (~thegeekin@189.217.83.221) |
| 14:25:38 | × | kimiamania46483 quits (~65804703@user/kimiamania) (Quit: Ping timeout (120 seconds)) |
| 14:25:59 | → | kimiamania46483 joins (~65804703@user/kimiamania) |
| 14:36:27 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:41:02 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 14:41:07 | × | __monty__ quits (~toonn@user/toonn) (Ping timeout: 255 seconds) |
| 14:45:07 | × | remmie quits (ianremsen@tilde.team) (Ping timeout: 260 seconds) |
| 14:49:49 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 14:50:13 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 264 seconds) |
| 14:51:29 | → | AlexNoo_ joins (~AlexNoo@5.139.232.115) |
| 14:51:41 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 240 seconds) |
| 14:54:05 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 240 seconds) |
| 14:54:34 | × | AlexZenon quits (~alzenon@5.139.232.115) (Ping timeout: 264 seconds) |
| 14:55:29 | × | AlexNoo quits (~AlexNoo@5.139.232.115) (Ping timeout: 272 seconds) |
| 14:58:37 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 14:59:41 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 15:02:27 | × | cipherrot quits (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 15:02:29 | → | petrichor joins (~znc-user@user/petrichor) |
| 15:04:33 | <kuribas> | units seem one of the most compelling reasons to have (dependent) types, it's so easy to make mistakes with wrong units. |
| 15:06:07 | → | remmie joins (ianremsen@tilde.team) |
| 15:07:15 | → | danse-nr3 joins (~danse@151.47.158.59) |
| 15:07:23 | → | natechan joins (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 15:08:26 | <EvanR> | does that require dependent types really? |
| 15:08:41 | <EvanR> | seems like a type family or something |
| 15:09:11 | <EvanR> | worst case scenario each combination of units is its own newtype |
| 15:09:27 | <EvanR> | but the type doesn't depend on values |
| 15:10:44 | × | a51 quits (a51@gateway/vpn/protonvpn/a51) (Quit: WeeChat 4.2.1) |
| 15:10:47 | × | ski quits (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 264 seconds) |
| 15:11:22 | → | AlexZenon joins (~alzenon@5.139.232.115) |
| 15:13:22 | <lortabac> | EvanR: as usual, it depends on what you need to do |
| 15:14:39 | <lortabac> | if the unit is only known at runtime then yes, you need dependent types |
| 15:15:03 | <lortabac> | (or some complicated emulation like singletons) |
| 15:19:54 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 15:26:10 | × | destituion quits (~destituio@85.221.111.174) (Ping timeout: 256 seconds) |
| 15:27:09 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 15:33:06 | <kuribas> | well, you can emulate most dependent types in some way. |
| 15:33:09 | <kuribas> | It just isn't pretty. |
| 15:33:45 | <kuribas> | You wouldn't even need types, you could make a runtime value that creates a runtime error, still better than just providing wrong values. |
| 15:34:30 | <kuribas> | lortabac: well, the unit would be known at compile time. |
| 15:34:30 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 15:34:41 | <kuribas> | But may involve some more complicated calculations. |
| 15:35:14 | <kuribas> | like: "m/s^2 * s = m/s" |
| 15:37:36 | → | average joins (uid473595@user/average) |
| 15:42:37 | <lortabac> | kuribas: that case can be handled with type families (even though it may get complicated) |
| 15:43:44 | → | destituion joins (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) |
| 15:44:34 | <lortabac> | but imagine you have a series of numbers together with their unit stored in the database, and you need to use them in a type-safe way at runtime, then type families can't be used |
| 15:45:39 | <kuribas> | lortabac: not with an existential? |
| 15:46:08 | <kuribas> | Well, you'll need a runtime type witness, like a GADT... |
| 15:46:15 | <lortabac> | kuribas: yes but if you want to recover the type you need a GADT |
| 15:46:17 | <lortabac> | exactly |
| 15:46:25 | <lortabac> | and you are into singletons territory |
| 15:46:58 | <lortabac> | which is a complicated emulation of dependent types, as I said before |
| 15:48:09 | → | sadie-sorceress joins (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) |
| 15:48:25 | <lortabac> | to be honest I'd rather use Clojure than singletons :) |
| 15:49:59 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 15:56:42 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 15:59:21 | → | mud joins (~mud@user/kadoban) |
| 16:01:45 | → | ski joins (~ski@ext-1-033.eduroam.chalmers.se) |
| 16:10:21 | → | shapr joins (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 16:12:44 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 16:13:03 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:15:26 | → | szkl joins (uid110435@id-110435.uxbridge.irccloud.com) |
| 16:19:34 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 16:20:04 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 16:20:14 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 16:23:05 | → | Lycurgus joins (~georg@user/Lycurgus) |
| 16:24:47 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 16:26:32 | × | igemnace quits (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 16:27:19 | × | misterfish quits (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 16:27:57 | × | rvalue quits (~rvalue@user/rvalue) (Ping timeout: 272 seconds) |
| 16:34:39 | → | tzh joins (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 16:35:50 | × | troydm quits (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 16:37:09 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 16:49:47 | × | euleritian quits (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 16:49:55 | → | troydm joins (~troydm@user/troydm) |
| 16:50:09 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 16:50:35 | × | troydm quits (~troydm@user/troydm) (Client Quit) |
| 16:50:38 | → | euleritian joins (~euleritia@77.22.252.56) |
| 16:52:48 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 27.1)) |
| 16:55:11 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 264 seconds) |
| 17:09:32 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 17:10:10 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 17:10:35 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 17:14:12 | × | ubert quits (~Thunderbi@2a02:8109:ab8a:5a00:2a0e:8d15:b291:b8ce) (Remote host closed the connection) |
| 17:15:06 | × | danse-nr3 quits (~danse@151.47.158.59) (Ping timeout: 268 seconds) |
| 17:16:26 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 17:20:14 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 17:24:25 | × | mulk quits (~mulk@pd9514a02.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 17:24:28 | → | benkard joins (~mulk@pd95147ea.dip0.t-ipconnect.de) |
| 17:24:52 | benkard | is now known as mulk |
| 17:24:57 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 17:25:07 | → | xtabentun joins (uid491929@id-491929.tinside.irccloud.com) |
| 17:25:18 | × | sadie-sorceress quits (~sadie-sor@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Client closed) |
| 17:28:47 | × | euleritian quits (~euleritia@77.22.252.56) (Ping timeout: 264 seconds) |
| 17:29:26 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 17:29:54 | → | euleritian joins (~euleritia@dynamic-176-006-197-097.176.6.pool.telefonica.de) |
| 17:32:25 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 17:35:57 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 17:41:56 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 17:50:21 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 17:50:28 | → | Square joins (~Square@user/square) |
| 17:51:34 | × | machinedgod quits (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 264 seconds) |
| 17:51:39 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 17:54:10 | × | Square2 quits (~Square4@user/square) (Ping timeout: 255 seconds) |
| 17:56:55 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 17:56:55 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 18:02:19 | → | sadie-sorceress joins (~sadie-sor@199.96.187.158) |
| 18:02:21 | → | agander_m joins (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
| 18:05:07 | → | waleee joins (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 18:05:34 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 18:08:13 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 264 seconds) |
| 18:13:11 | × | sadie-sorceress quits (~sadie-sor@199.96.187.158) (Ping timeout: 250 seconds) |
| 18:19:02 | → | sadie-sorceress joins (~sadie-sor@199.96.191.158) |
| 18:20:24 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 18:20:29 | → | target_i joins (~target_i@217.175.14.39) |
| 18:21:52 | × | sadie-sorceress quits (~sadie-sor@199.96.191.158) (Client Quit) |
| 18:25:09 | → | oneeyedalien joins (~oneeyedal@user/oneeyedalien) |
| 18:28:17 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 18:33:48 | × | oneeyedalien quits (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 18:35:47 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 18:37:09 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 18:50:30 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 18:50:55 | × | EvanR quits (~EvanR@user/evanr) (Remote host closed the connection) |
| 18:51:14 | → | EvanR joins (~EvanR@user/evanr) |
| 18:58:06 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 256 seconds) |
| 18:59:03 | → | Guest32 joins (~Guest69@117.250.240.128) |
| 18:59:34 | × | Guest32 quits (~Guest69@117.250.240.128) (Client Quit) |
| 18:59:43 | × | destituion quits (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) (Read error: Connection reset by peer) |
| 19:00:46 | × | euleritian quits (~euleritia@dynamic-176-006-197-097.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 19:00:47 | → | destituion joins (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) |
| 19:01:03 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 19:01:04 | → | misterfish joins (~misterfis@84.53.85.146) |
| 19:07:22 | × | average quits (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 19:07:23 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 19:12:07 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Remote host closed the connection) |
| 19:12:45 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 19:13:48 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 19:20:35 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 19:25:17 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 19:32:27 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 19:37:05 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 19:39:51 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 19:45:36 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 19:46:23 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 19:47:38 | × | phma quits (~phma@host-67-44-208-71.hnremote.net) (Read error: Connection reset by peer) |
| 19:48:04 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 19:51:59 | → | euphores joins (~SASL_euph@user/euphores) |
| 19:52:05 | → | phma joins (~phma@2001:5b0:2144:73c8:8f15:972f:3a23:f3e4) |
| 19:55:23 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 20:02:42 | × | destituion quits (~destituio@2001:4644:c37:0:57f:87b2:efe8:e836) (Ping timeout: 256 seconds) |
| 20:03:25 | × | dcoutts quits (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 20:03:48 | → | dcoutts joins (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 20:04:58 | → | destituion joins (~destituio@2a02:2121:34a:61a6:24fe:c9d8:d8a6:b37) |
| 20:05:45 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:14:33 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 255 seconds) |
| 20:18:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:19:55 | → | jmdaemon joins (~jmdaemon@user/jmdaemon) |
| 20:20:42 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 20:28:37 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 20:30:56 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 20:32:37 | × | jmdaemon quits (~jmdaemon@user/jmdaemon) (Ping timeout: 246 seconds) |
| 20:34:26 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 20:41:53 | → | machinedgod joins (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 20:41:58 | AlexNoo_ | is now known as AlexNoo |
| 20:45:13 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 246 seconds) |
| 20:47:22 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 20:47:56 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 20:50:22 | → | dsrt^ joins (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 20:50:46 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 20:52:01 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 264 seconds) |
| 20:53:41 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 20:55:04 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 20:59:54 | → | ft joins (~ft@p508db2e6.dip0.t-ipconnect.de) |
| 21:04:27 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 21:05:29 | × | agander_m quits (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Ping timeout: 252 seconds) |
| 21:06:27 | → | agander_m joins (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) |
| 21:15:00 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 21:18:19 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 21:20:52 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 21:21:09 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 255 seconds) |
| 21:21:36 | × | _ht quits (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 21:22:52 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 21:26:23 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:27:31 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 21:28:14 | × | haskellbridge quits (~haskellbr@069-135-003-034.biz.spectrum.com) (Ping timeout: 268 seconds) |
| 21:33:36 | → | haskellbridge joins (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 21:33:36 | ChanServ | sets mode +v haskellbridge |
| 21:37:17 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 256 seconds) |
| 21:39:10 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 21:40:29 | × | agander_m quits (agander_m@gateway/vpn/protonvpn/aganderm/x-34304805) (Remote host closed the connection) |
| 21:50:49 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 264 seconds) |
| 21:50:57 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 21:52:20 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 21:53:28 | → | zetef joins (~quassel@95.77.17.251) |
| 21:57:22 | ← | coot parts (~coot@89-69-206-216.dynamic.chello.pl) (Good Bye) |
| 21:58:17 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 21:58:57 | × | zetef quits (~quassel@95.77.17.251) (Ping timeout: 255 seconds) |
| 21:59:08 | → | zetef joins (~quassel@5.2.182.98) |
| 22:02:37 | × | target_i quits (~target_i@217.175.14.39) (Quit: leaving) |
| 22:03:57 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:06:15 | → | misterfish joins (~misterfis@84.53.85.146) |
| 22:07:30 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 22:08:59 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:10:32 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 22:13:52 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 268 seconds) |
| 22:14:56 | × | xtabentun quits (uid491929@id-491929.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 22:15:39 | → | spacenautx joins (~spacenaut@user/spacenautx) |
| 22:20:35 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Ping timeout: 260 seconds) |
| 22:21:02 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 22:23:08 | × | spacenautx quits (~spacenaut@user/spacenautx) (Ping timeout: 260 seconds) |
| 22:23:27 | → | ames joins (~amelia@offtopia/offtopian/amelia) |
| 22:28:00 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 22:28:03 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 260 seconds) |
| 22:38:03 | → | peterbecich joins (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 22:42:52 | × | michalz quits (~michalz@185.246.207.215) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:46:29 | × | zetef quits (~quassel@5.2.182.98) (Ping timeout: 240 seconds) |
| 22:47:16 | → | zetef joins (~quassel@95.77.17.251) |
| 22:51:07 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 22:52:08 | × | zetef quits (~quassel@95.77.17.251) (Remote host closed the connection) |
| 22:55:29 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 252 seconds) |
| 22:56:08 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:57:17 | → | tromp joins (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 23:05:03 | × | peterbecich quits (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 272 seconds) |
| 23:07:11 | × | tromp quits (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 23:09:12 | → | Square2 joins (~Square4@user/square) |
| 23:10:38 | → | jargon joins (~jargon@111.sub-174-205-228.myvzw.com) |
| 23:12:32 | × | Square quits (~Square@user/square) (Ping timeout: 252 seconds) |
| 23:13:39 | × | oo_miguel quits (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 255 seconds) |
| 23:14:33 | × | acidjnk_new quits (~acidjnk@p200300d6e737e7315d4b4bfc3d01e9cc.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 23:18:27 | → | pavonia joins (~user@user/siracusa) |
| 23:21:12 | → | tri joins (~tri@ool-18bbef1a.static.optonline.net) |
| 23:22:19 | × | shapr quits (~user@c-24-218-186-89.hsd1.ma.comcast.net) (Quit: work is over) |
| 23:28:29 | × | tri quits (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 23:57:45 | × | misterfish quits (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
All times are in UTC on 2024-02-29.