| 2024-03-02 00:00:25 +0100 | CiaoSen | (~Jura@2a05:5800:29d:2500:e6b9:7aff:fe80:3d03) (Ping timeout: 264 seconds) |
| 2024-03-02 00:19:30 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-02 00:21:18 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-02 00:23:43 +0100 | mei | (~mei@user/mei) |
| 2024-03-02 00:25:14 +0100 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-03-02 00:25:36 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 00:26:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 00:30:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 00:30:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 00:32:04 +0100 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-03-02 00:38:33 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-02 00:41:35 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e78641e22084adf23543.dip0.t-ipconnect.de) |
| 2024-03-02 00:41:49 +0100 | acidjnk_new | (~acidjnk@p200300d6e737e72241e22084adf23543.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-02 00:46:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e78641e22084adf23543.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-02 00:52:22 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-02 01:01:19 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 01:02:59 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 01:08:59 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Ping timeout: 264 seconds) |
| 2024-03-02 01:09:46 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-02 01:15:07 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 01:15:27 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 01:22:29 +0100 | kadobanana | (~mud@user/kadoban) |
| 2024-03-02 01:22:37 +0100 | mud | (~mud@user/kadoban) (Read error: Connection reset by peer) |
| 2024-03-02 01:33:41 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-02 01:58:22 +0100 | bilegeek | (~bilegeek@2600:1008:b0ae:b874:c562:93c7:97b4:2b04) |
| 2024-03-02 02:01:20 +0100 | esph | (~weechat@user/esph) (Ping timeout: 252 seconds) |
| 2024-03-02 02:04:13 +0100 | tri_ | (~tri@172.59.8.71) |
| 2024-03-02 02:04:46 +0100 | esph | (~weechat@user/esph) |
| 2024-03-02 02:05:04 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-02 02:06:11 +0100 | califax | (~califax@user/califx) |
| 2024-03-02 02:07:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-03-02 02:11:50 +0100 | kspalaiologos | (~kspalaiol@user/kspalaiologos) (Quit: Leaving) |
| 2024-03-02 02:12:55 +0100 | tri_ | (~tri@172.59.8.71) (Remote host closed the connection) |
| 2024-03-02 02:14:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 02:19:10 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 02:19:13 +0100 | vuk | (~vuk@cable-94-189-153-242.dynamic.sbb.rs) (Ping timeout: 255 seconds) |
| 2024-03-02 02:20:09 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-02 02:30:22 +0100 | redmp | (~redmp@mobile-166-137-178-221.mycingular.net) (Ping timeout: 246 seconds) |
| 2024-03-02 02:33:36 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-03-02 02:34:31 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 02:44:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 02:46:53 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2024-03-02 02:47:10 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-03-02 02:50:29 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 256 seconds) |
| 2024-03-02 02:56:56 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2024-03-02 02:57:26 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-03-02 02:58:22 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2024-03-02 03:04:56 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-02 03:05:13 +0100 | califax | (~califax@user/califx) |
| 2024-03-02 03:05:36 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-03-02 03:06:23 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-02 03:08:29 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-02 03:20:03 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf9:9b00:abe5:6cae:6a9b:5ae0) |
| 2024-03-02 03:21:08 +0100 | aforemny | (~aforemny@2001:9e8:6cdf:300:2652:a559:d902:27c8) (Ping timeout: 256 seconds) |
| 2024-03-02 03:22:35 +0100 | thegeekinside | (~thegeekin@189.217.83.221) (Read error: Connection reset by peer) |
| 2024-03-02 03:28:47 +0100 | Guest|96 | (~Guest|96@69.162.72.90) |
| 2024-03-02 03:29:05 +0100 | <Guest|96> | hi |
| 2024-03-02 03:29:50 +0100 | <EvanR> | hi |
| 2024-03-02 03:30:43 +0100 | <Guest|96> | "ghcup --metadata-fetching-mode=Strict --cache install ghc recommended" failed! |
| 2024-03-02 03:30:53 +0100 | <Guest|96> | anyone know how to solve this? |
| 2024-03-02 03:32:23 +0100 | <Guest|96> | O:3 O:3 |
| 2024-03-02 03:32:39 +0100 | <nitrix> | Given the information provided, I'd say it'd probably work better if instead of failing it didn't. |
| 2024-03-02 03:33:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 03:34:07 +0100 | <geekosaur> | are you perhaps behind a firewall? |
| 2024-03-02 03:34:33 +0100 | <geekosaur> | I would expect there is more information you aren't showing us |
| 2024-03-02 03:34:37 +0100 | <geekosaur> | @where paste |
| 2024-03-02 03:34:37 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-03-02 03:36:45 +0100 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-03-02 03:37:19 +0100 | Guest|96 | (~Guest|96@69.162.72.90) (Quit: Connection closed) |
| 2024-03-02 03:39:09 +0100 | mei | (~mei@user/mei) |
| 2024-03-02 03:40:26 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-02 03:48:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-02 03:49:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-02 03:50:14 +0100 | redmp | (~redmp@mobile-166-137-178-221.mycingular.net) |
| 2024-03-02 03:52:37 +0100 | otto_s | (~user@p4ff270cf.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-02 03:54:02 +0100 | otto_s | (~user@p5b044715.dip0.t-ipconnect.de) |
| 2024-03-02 03:55:21 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-02 03:58:23 +0100 | bontaq | (~user@ool-45779c03.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-03-02 04:00:08 +0100 | redmp | (~redmp@mobile-166-137-178-221.mycingular.net) (Ping timeout: 252 seconds) |
| 2024-03-02 04:02:12 +0100 | redmp | (~redmp@mobile-166-171-248-24.mycingular.net) |
| 2024-03-02 04:04:35 +0100 | jargon | (~jargon@111.sub-174-205-228.myvzw.com) |
| 2024-03-02 04:04:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-03-02 04:05:27 +0100 | jargon | (~jargon@111.sub-174-205-228.myvzw.com) (Remote host closed the connection) |
| 2024-03-02 04:06:44 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-03-02 04:10:21 +0100 | td_ | (~td@i53870934.versanet.de) (Ping timeout: 255 seconds) |
| 2024-03-02 04:12:11 +0100 | td_ | (~td@i5387092B.versanet.de) |
| 2024-03-02 04:12:34 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 246 seconds) |
| 2024-03-02 04:14:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2024-03-02 04:15:22 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-02 04:33:21 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 04:33:59 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2024-03-02 04:39:23 +0100 | esph | (~weechat@user/esph) (Ping timeout: 268 seconds) |
| 2024-03-02 04:42:49 +0100 | esph | (~weechat@user/esph) |
| 2024-03-02 04:45:18 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 05:00:25 +0100 | redmp | (~redmp@mobile-166-171-248-24.mycingular.net) (Ping timeout: 264 seconds) |
| 2024-03-02 05:12:46 +0100 | RedNifre | (~RedNifre@dslb-002-206-059-238.002.206.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2024-03-02 05:15:13 +0100 | <haskellbridge> | <maerwald> I can adjust the IRC chat link so that their nicknames will show the platform they're on xD |
| 2024-03-02 05:19:22 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 05:19:31 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
| 2024-03-02 05:21:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 05:25:11 +0100 | RedNifre | (~RedNifre@dslb-002-203-026-041.002.203.pools.vodafone-ip.de) |
| 2024-03-02 05:35:24 +0100 | kadobanana | (~mud@user/kadoban) (Quit: quit) |
| 2024-03-02 05:42:28 +0100 | difl^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2024-03-02 05:50:13 +0100 | zetef | (~quassel@93.122.249.197) |
| 2024-03-02 05:55:25 +0100 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-03-02 05:56:36 +0100 | aforemny | (~aforemny@i59F516DA.versanet.de) |
| 2024-03-02 05:57:21 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-02 05:58:01 +0100 | aforemny_ | (~aforemny@2001:9e8:6cf9:9b00:abe5:6cae:6a9b:5ae0) (Ping timeout: 264 seconds) |
| 2024-03-02 05:59:05 +0100 | __jmcantrell__ | (~weechat@user/jmcantrell) |
| 2024-03-02 05:59:05 +0100 | jmcantrell | (644f1bed9a@user/jmcantrell) (Killed (lead.libera.chat (Nickname regained by services))) |
| 2024-03-02 05:59:05 +0100 | __jmcantrell__ | jmcantrell |
| 2024-03-02 05:59:14 +0100 | jmcantrell_ | (644f1bed9a@user/jmcantrell) |
| 2024-03-02 06:00:19 +0100 | zetef | (~quassel@93.122.249.197) (Remote host closed the connection) |
| 2024-03-02 06:05:38 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2024-03-02 06:25:11 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-02 06:28:26 +0100 | caconym | (~caconym@user/caconym) |
| 2024-03-02 06:34:47 +0100 | Guest|21 | (~Guest|21@178.131.27.104) |
| 2024-03-02 06:35:06 +0100 | Guest|21 | (~Guest|21@178.131.27.104) (Client Quit) |
| 2024-03-02 06:41:29 +0100 | <monochrom> | Hahaha so we will be getting "<Winblows-loser-951> Hi ghcup has failed, what should I do?" |
| 2024-03-02 06:42:02 +0100 | <lisbeths> | We've got a community of 12 people in #lambdacalculus now. if you like any variation of lambda calculus consider joining. |
| 2024-03-02 06:43:00 +0100 | <monochrom> | (Don't worry, the other possibilities are Linsux, Slowaris, FragmentedBSD. >:) ) |
| 2024-03-02 06:43:37 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-02 06:46:50 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2024-03-02 06:47:53 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-03-02 06:48:19 +0100 | euleritian | (~euleritia@dynamic-176-006-183-191.176.6.pool.telefonica.de) |
| 2024-03-02 06:59:49 +0100 | <haskellbridge> | <maerwald> Supporting FreeBSD is work. |
| 2024-03-02 07:01:23 +0100 | bliminse | (~bliminse@user/bliminse) (Quit: leaving) |
| 2024-03-02 07:04:42 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-02 07:06:25 +0100 | euleritian | (~euleritia@dynamic-176-006-183-191.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-02 07:06:43 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 07:10:46 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-02 07:18:57 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-03-02 07:19:02 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 07:19:35 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 07:20:29 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2024-03-02 07:24:51 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 07:24:52 +0100 | euphores | (~SASL_euph@user/euphores) (Client Quit) |
| 2024-03-02 07:25:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 07:29:00 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2024-03-02 07:32:11 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 07:37:57 +0100 | Lycurgus | (~georg@user/Lycurgus) (Quit: leaving) |
| 2024-03-02 07:40:03 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 07:43:37 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-03-02 07:44:09 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-03-02 07:47:35 +0100 | Pozyomka | (~pyon@user/pyon) (Ping timeout: 272 seconds) |
| 2024-03-02 07:52:00 +0100 | zetef | (~quassel@5.2.180.170) |
| 2024-03-02 07:52:03 +0100 | zetef | (~quassel@5.2.180.170) (Client Quit) |
| 2024-03-02 07:54:50 +0100 | <c_wraith> | Hmm. Should Data.Set (and Data.IntSet) provide operators for use with -XQualifiedDo? |
| 2024-03-02 07:55:11 +0100 | Square | (~Square@user/square) (Ping timeout: 272 seconds) |
| 2024-03-02 08:22:26 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e786956dffb3c61f2753.dip0.t-ipconnect.de) |
| 2024-03-02 08:26:33 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-02 08:42:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 09:00:25 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2024-03-02 09:09:11 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 260 seconds) |
| 2024-03-02 09:12:08 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 09:16:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 09:34:42 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-03-02 09:36:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-02 09:36:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 09:37:33 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 09:37:40 +0100 | Pozyomka | (~pyon@user/pyon) |
| 2024-03-02 09:40:28 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-03-02 09:41:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 09:41:15 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-02 09:41:54 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-02 09:46:28 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-02 09:49:36 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-02 09:52:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-03-02 09:52:08 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-03-02 09:52:55 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-02 09:53:49 +0100 | sam113101 | (~sam@modemcable146.137-200-24.mc.videotron.ca) (Remote host closed the connection) |
| 2024-03-02 09:54:13 +0100 | sam113101 | (~sam@modemcable146.137-200-24.mc.videotron.ca) |
| 2024-03-02 09:56:36 +0100 | bilegeek | (~bilegeek@2600:1008:b0ae:b874:c562:93c7:97b4:2b04) (Quit: Leaving) |
| 2024-03-02 09:58:26 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-02 10:01:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 10:01:45 +0100 | target_i | (~target_i@217.175.14.39) () |
| 2024-03-02 10:06:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-02 10:11:03 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) (Quit: o/) |
| 2024-03-02 10:13:49 +0100 | Sciencentistguy | (~sciencent@hacksoc/ordinary-member) |
| 2024-03-02 10:19:17 +0100 | danza | (~francesco@151.37.114.58) |
| 2024-03-02 10:20:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 10:24:06 +0100 | <[exa]> | c_wraith: what would be the usecase? pasting sets together nicely? or something like ListT but actually SetT ? |
| 2024-03-02 10:25:32 +0100 | <c_wraith> | More narrow than that. It'd just let you sort of pretend sets are monads. It's a lot like the List instance, but automatically removes duplicates. |
| 2024-03-02 10:27:52 +0100 | jmcantrell | (~weechat@user/jmcantrell) (Quit: WeeChat 4.2.1) |
| 2024-03-02 10:27:53 +0100 | jmcantrell_ | jmcantrell |
| 2024-03-02 10:30:12 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-02 10:34:43 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-02 10:37:13 +0100 | <[exa]> | interesting, it would kinda imply strictness right? so maybe useful as a BFS-ish counterpart to DFS-ish ListT |
| 2024-03-02 10:39:46 +0100 | <c_wraith> | some sort of strictness, anyway. Once you do anything to cause demand for the evaluation of the result, it would force pretty much everything. |
| 2024-03-02 10:42:35 +0100 | danza | (~francesco@151.37.114.58) (Ping timeout: 264 seconds) |
| 2024-03-02 10:43:15 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-03-02 10:48:58 +0100 | rosco | (~rosco@yp-151-178.tm.net.my) |
| 2024-03-02 10:49:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e786956dffb3c61f2753.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2024-03-02 10:53:14 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 10:53:40 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 10:53:58 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 10:56:56 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-03-02 10:58:12 +0100 | Guest99 | (~textual@5.36.161.35) |
| 2024-03-02 11:00:08 +0100 | komikat | (~akshitkr@218.185.248.66) (Ping timeout: 256 seconds) |
| 2024-03-02 11:00:28 +0100 | danza | (~francesco@151.37.114.58) |
| 2024-03-02 11:02:06 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 11:06:51 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-02 11:19:32 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-02 11:29:10 +0100 | vuk | (~vuk@cable-94-189-153-242.dynamic.sbb.rs) |
| 2024-03-02 11:29:27 +0100 | rosco | (~rosco@yp-151-178.tm.net.my) (Quit: Lost terminal) |
| 2024-03-02 11:30:43 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-02 11:33:49 +0100 | acidjnk_new3 | (~acidjnk@p200300d6e737e780858a034d0a54ff00.dip0.t-ipconnect.de) |
| 2024-03-02 11:35:14 +0100 | Guest99 | (~textual@5.36.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-03-02 11:36:08 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-03-02 11:46:44 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 11:48:54 +0100 | califax | (~califax@user/califx) (Ping timeout: 260 seconds) |
| 2024-03-02 11:49:23 +0100 | califax | (~califax@user/califx) |
| 2024-03-02 11:50:01 +0100 | Inst | (~Inst@120.244.192.75) (Ping timeout: 246 seconds) |
| 2024-03-02 11:52:17 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-02 11:57:26 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2024-03-02 11:58:29 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-03-02 12:03:12 +0100 | <danza> | huh i just updated cabal packages and now my `runhaskell` fails writing i ought to set package base, which fails writing `main` cannot be found ... |
| 2024-03-02 12:04:18 +0100 | <danza> | did not expect package updates to be that disruptive |
| 2024-03-02 12:04:42 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 12:05:55 +0100 | <danza> | but maybe this happens because i also installed a package with --lib and that created one of those troublesome environments, thinking about it |
| 2024-03-02 12:06:54 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-03-02 12:09:04 +0100 | JamesMowery | (~JamesMowe@ip98-171-80-211.ph.ph.cox.net) (Ping timeout: 260 seconds) |
| 2024-03-02 12:10:04 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 12:15:08 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 260 seconds) |
| 2024-03-02 12:18:01 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2024-03-02 12:19:18 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2024-03-02 12:19:21 +0100 | danza_ | (~francesco@151.47.125.85) |
| 2024-03-02 12:21:44 +0100 | danza | (~francesco@151.37.114.58) (Ping timeout: 252 seconds) |
| 2024-03-02 12:25:01 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 264 seconds) |
| 2024-03-02 12:26:22 +0100 | <haskellbridge> | <irregularsphere> monochrom: "(Don't worry, the other possibilities are Linsux, Slowaris, FragmentedBSD. >:) )" so you're a mac user? |
| 2024-03-02 12:26:34 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1031:d215:7374:f72a) |
| 2024-03-02 12:27:01 +0100 | <probie> | isn't mac just another flavour of FragmentedBSD? |
| 2024-03-02 12:27:56 +0100 | <haskellbridge> | <irregularsphere> by that logic Linsux is another flavour of FragmentedBSD |
| 2024-03-02 12:28:58 +0100 | <Rembane> | Everything is BSD! |
| 2024-03-02 12:30:11 +0100 | <probie> | Linux doesn't derive from BSD |
| 2024-03-02 12:30:37 +0100 | <probie> | macOS is genuinely a BSD |
| 2024-03-02 12:30:47 +0100 | <haskellbridge> | <irregularsphere> damn |
| 2024-03-02 12:30:56 +0100 | <haskellbridge> | <irregularsphere> never knew about that fact |
| 2024-03-02 12:31:19 +0100 | <haskellbridge> | <irregularsphere> ...oh right there's a reason why there's a lot of *-BSD |
| 2024-03-02 12:33:35 +0100 | remedan_ | (~remedan@ip-78-102-118-253.bb.vodafone.cz) (Ping timeout: 264 seconds) |
| 2024-03-02 12:35:41 +0100 | remedan | (~remedan@ip-78-102-118-253.bb.vodafone.cz) |
| 2024-03-02 12:37:53 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-03-02 12:38:49 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 12:43:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-03-02 12:47:07 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-02 12:49:42 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) |
| 2024-03-02 12:55:30 +0100 | phma | (~phma@2001:5b0:2144:73c8:8f15:972f:3a23:f3e4) (Read error: Connection reset by peer) |
| 2024-03-02 12:56:30 +0100 | phma | (~phma@host-67-44-208-174.hnremote.net) |
| 2024-03-02 13:03:18 +0100 | iteratee_ | (~kyle@162.218.222.207) |
| 2024-03-02 13:03:22 +0100 | iteratee | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-03-02 13:09:07 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-02 13:10:43 +0100 | p3n | (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 2024-03-02 13:12:38 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 13:17:57 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-03-02 13:21:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 13:25:02 +0100 | komikat | (~akshitkr@218.185.248.66) |
| 2024-03-02 13:25:17 +0100 | notzmv | (~daniel@user/notzmv) (Ping timeout: 240 seconds) |
| 2024-03-02 13:31:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 13:33:30 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 13:36:55 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Read error: Connection reset by peer) |
| 2024-03-02 13:37:36 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-02 13:43:14 +0100 | anpad | (~pandeyan@user/anpad) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-03-02 13:44:53 +0100 | actioninja | (~actioninj@user/actioninja) (Ping timeout: 240 seconds) |
| 2024-03-02 13:45:14 +0100 | anpad | (~pandeyan@user/anpad) |
| 2024-03-02 13:47:00 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-02 13:47:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 13:49:19 +0100 | Inst | (~Inst@120.244.192.75) |
| 2024-03-02 13:53:58 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 13:54:19 +0100 | xff0x | (~xff0x@2405:6580:b080:900:1031:d215:7374:f72a) (Ping timeout: 260 seconds) |
| 2024-03-02 13:54:42 +0100 | xff0x | (~xff0x@ai082039.d.east.v6connect.net) |
| 2024-03-02 13:57:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 14:02:23 +0100 | Guest99 | (~textual@5.36.161.35) |
| 2024-03-02 14:05:04 +0100 | Guest99 | (~textual@5.36.161.35) (Client Quit) |
| 2024-03-02 14:05:42 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 255 seconds) |
| 2024-03-02 14:06:05 +0100 | danza_ | (~francesco@151.47.125.85) (Read error: Connection reset by peer) |
| 2024-03-02 14:10:51 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-02 14:12:08 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 14:19:28 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-03-02 14:24:52 +0100 | ht_ | (~Thunderbi@194.110.115.38) |
| 2024-03-02 14:26:24 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 255 seconds) |
| 2024-03-02 14:26:24 +0100 | ht_ | _ht |
| 2024-03-02 14:29:45 +0100 | a51 | (a51@gateway/vpn/protonvpn/a51) (Ping timeout: 256 seconds) |
| 2024-03-02 14:37:09 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-02 14:37:18 +0100 | <dmj`> | Is anyone aware of a simplified OutsideIn(X) implementation that doesn't include type families nor GADTs, just type classes |
| 2024-03-02 14:37:36 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 14:43:46 +0100 | sgarcia | (sgarcia@swarm.znchost.com) (Quit: Hosted by www.ZNCHost.com) |
| 2024-03-02 14:44:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2024-03-02 14:45:37 +0100 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2024-03-02 14:46:02 +0100 | tabaqui | (~root@87.200.129.80) (Quit: WeeChat 4.2.1) |
| 2024-03-02 14:46:29 +0100 | sgarcia | (sgarcia@swarm.znchost.com) (Client Quit) |
| 2024-03-02 14:46:51 +0100 | fluxit | (~fluxit@192.241.192.75) (Quit: Bye!) |
| 2024-03-02 14:49:29 +0100 | sgarcia | (sgarcia@swarm.znchost.com) |
| 2024-03-02 14:55:29 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-03-02 14:58:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 15:03:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-02 15:06:03 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2024-03-02 15:06:14 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-02 15:06:29 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2024-03-02 15:07:11 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) |
| 2024-03-02 15:11:01 +0100 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-03-02 15:13:10 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-02 15:16:18 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 15:19:09 +0100 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2024-03-02 15:20:39 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-03-02 15:20:41 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 15:21:16 +0100 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2024-03-02 15:22:10 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) |
| 2024-03-02 15:22:10 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2024-03-02 15:22:12 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 15:26:45 +0100 | tri_ | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-03-02 15:28:06 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 15:37:03 +0100 | Square | (~Square@user/square) |
| 2024-03-02 15:38:24 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 15:39:44 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-02 15:48:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 15:52:47 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 15:54:08 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-02 15:59:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 16:01:13 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-02 16:01:30 +0100 | igemnace | (~ian@user/igemnace) |
| 2024-03-02 16:02:47 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 16:04:31 +0100 | notzmv | (~daniel@user/notzmv) |
| 2024-03-02 16:09:01 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2024-03-02 16:09:22 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Remote host closed the connection) |
| 2024-03-02 16:09:29 +0100 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-03-02 16:10:48 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 255 seconds) |
| 2024-03-02 16:14:39 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 16:18:09 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 16:19:56 +0100 | Teacup | (~teacup@user/teacup) () |
| 2024-03-02 16:20:13 +0100 | Teacup | (~teacup@user/teacup) |
| 2024-03-02 16:20:41 +0100 | esph | (~weechat@user/esph) (Read error: Connection reset by peer) |
| 2024-03-02 16:21:51 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2024-03-02 16:22:10 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-02 16:24:25 +0100 | pounce | (~pounce@user/cute/pounce) (Ping timeout: 246 seconds) |
| 2024-03-02 16:24:51 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2024-03-02 16:27:30 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 260 seconds) |
| 2024-03-02 16:28:12 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-02 16:33:06 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-03-02 16:33:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-02 16:35:16 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (Ping timeout: 246 seconds) |
| 2024-03-02 16:43:21 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-03-02 16:44:43 +0100 | _ht | (~Thunderbi@194.110.115.38) (Ping timeout: 246 seconds) |
| 2024-03-02 16:44:43 +0100 | ht_ | _ht |
| 2024-03-02 16:47:23 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 252 seconds) |
| 2024-03-02 16:49:19 +0100 | Guest99 | (~textual@5.36.161.35) |
| 2024-03-02 16:55:00 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-02 17:04:26 +0100 | jargon | (~jargon@208.sub-174-238-228.myvzw.com) |
| 2024-03-02 17:05:21 +0100 | Guest99 | (~textual@5.36.161.35) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-03-02 17:06:12 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2024-03-02 17:07:17 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) |
| 2024-03-02 17:08:48 +0100 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-03-02 17:15:03 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-03-02 17:18:05 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 240 seconds) |
| 2024-03-02 17:18:25 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-03-02 17:24:28 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2024-03-02 17:25:50 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 17:31:31 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) (Ping timeout: 272 seconds) |
| 2024-03-02 17:36:58 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) (Quit: The Lounge - https://thelounge.chat) |
| 2024-03-02 17:45:26 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-02 17:45:44 +0100 | Angelz | (Angelz@Angelz.oddprotocol.org) (Changing host) |
| 2024-03-02 17:45:44 +0100 | Angelz | (Angelz@user/angelz) |
| 2024-03-02 17:45:45 +0100 | Angelz | newbie |
| 2024-03-02 17:46:40 +0100 | newbie | Angelz |
| 2024-03-02 17:46:49 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.2.1) |
| 2024-03-02 17:53:22 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-03-02 17:58:54 +0100 | billchenchina- | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Quit: Leaving) |
| 2024-03-02 18:04:41 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-02 18:04:58 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 18:18:56 +0100 | nek0 | (~nek0@2a01:4f8:222:2b41::12) |
| 2024-03-02 18:21:36 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
| 2024-03-02 18:22:26 +0100 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
| 2024-03-02 18:26:15 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 18:30:25 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2024-03-02 18:42:31 +0100 | <monochrom> | (Belated) Yeah I forgot WackOS >:) |
| 2024-03-02 18:43:40 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 18:48:10 +0100 | target_i | (~target_i@217.175.14.39) |
| 2024-03-02 18:50:18 +0100 | target_i | (~target_i@217.175.14.39) (Client Quit) |
| 2024-03-02 18:54:17 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) |
| 2024-03-02 18:58:04 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 18:59:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2024-03-02 18:59:10 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2024-03-02 19:00:10 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 19:04:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-03-02 19:06:45 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) |
| 2024-03-02 19:10:40 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-03-02 19:10:48 +0100 | euleritian | (~euleritia@dynamic-176-006-191-157.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-03-02 19:13:03 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 19:15:03 +0100 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-03-02 19:17:50 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2024-03-02 19:19:06 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 19:24:14 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) |
| 2024-03-02 19:29:13 +0100 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 264 seconds) |
| 2024-03-02 19:34:06 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-02 19:34:47 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 19:37:08 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 19:39:36 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-03-02 19:45:01 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 19:49:03 +0100 | califax | (~califax@user/califx) |
| 2024-03-02 19:57:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 19:57:37 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-03-02 19:58:25 +0100 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-03-02 20:00:01 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-02 20:02:38 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2024-03-02 20:05:29 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 20:06:16 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) |
| 2024-03-02 20:09:37 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 20:11:07 +0100 | tri | (~tri@ool-43564db8.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2024-03-02 20:17:53 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-03-02 20:23:48 +0100 | <SrPx> | if I want to run a newly generated Haskell file as fast as possible, what are my options? assume the file takes <1s to run. obviously GHC -O2 is the fastest way to run Haskell in general, but since this is a brand new file, the compilation time must be taken in account. so, among the options to run a haskell file with little startup time / no compilation, which is the fastest? |
| 2024-03-02 20:25:17 +0100 | <int-e> | runghc may do the trick |
| 2024-03-02 20:28:40 +0100 | mokee | (~mokee@37.228.214.97) |
| 2024-03-02 20:28:53 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-03-02 20:29:54 +0100 | mokee | (~mokee@37.228.214.97) (Client Quit) |
| 2024-03-02 20:30:59 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-03-02 20:32:34 +0100 | iteratee_ | (~kyle@162.218.222.207) (Read error: Connection reset by peer) |
| 2024-03-02 20:32:41 +0100 | <SrPx> | okay ty |
| 2024-03-02 20:32:49 +0100 | iteratee | (~kyle@162.218.222.207) |
| 2024-03-02 20:34:58 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 20:39:32 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2024-03-02 20:42:10 +0100 | <haskellbridge> | <sm> runghc and compile it in the background for next time ? |
| 2024-03-02 20:42:36 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 20:42:41 +0100 | <haskellbridge> | <sm> best to test |
| 2024-03-02 20:43:38 +0100 | <geekosaur> | there's actually not a way to run haskell without compiling it (barring Hugs). runghc compiles without optimization (very fast) to bytecode |
| 2024-03-02 20:44:09 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2024-03-02 20:45:13 +0100 | <haskellbridge> | <sm> microhs could be another option |
| 2024-03-02 20:45:22 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 20:53:52 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 255 seconds) |
| 2024-03-02 21:05:13 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-02 21:10:04 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-02 21:10:52 +0100 | <SrPx> | geekosaur: ah, I didn't know |
| 2024-03-02 21:11:00 +0100 | <SrPx> | so no jit either I guess |
| 2024-03-02 21:11:04 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-03-02 21:11:32 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 21:13:24 +0100 | <geekosaur> | the bytecode backend doesn't get a lot of love, sadly |
| 2024-03-02 21:13:45 +0100 | <geekosaur> | it's taken a couple decades for someone to fix the unboxed tuple bug |
| 2024-03-02 21:14:44 +0100 | euphores | (~SASL_euph@user/euphores) (Remote host closed the connection) |
| 2024-03-02 21:15:13 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 21:15:59 +0100 | <SrPx> | which is that? |
| 2024-03-02 21:17:32 +0100 | <geekosaur> | the bytecode backend couldn't tell the difference between boxed and unboxed tuples, so if you used an unboxed tuple it would dump core. (IO/ST avoids this by codegen seeing one element of the tuple has no runtime representation and removing it) |
| 2024-03-02 21:18:27 +0100 | <geekosaur> | since one of the earliest optimizations unboxes tuples, that meant optimization was disabled with the bytecode backend |
| 2024-03-02 21:18:41 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-02 21:19:27 +0100 | <geekosaur> | ghc 9.8.1 has the fix but it's still experimental so you need to pass an extra parameter to enable optimization in bytecode mode (-fno-unoptimized-core-for-interpreter) |
| 2024-03-02 21:21:00 +0100 | <hololeap> | oh, that's why it runghc won't let you use -O1 |
| 2024-03-02 21:21:10 +0100 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-03-02 21:21:15 +0100 | <geekosaur> | yep |
| 2024-03-02 21:26:44 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 21:28:06 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-03-02 21:28:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 21:29:58 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-02 21:31:02 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-02 21:33:08 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2024-03-02 21:34:49 +0100 | <geekosaur> | fwiw I think https://gitlab.haskell.org/ghc/ghc/-/issues/1257 is the original ticket. the original determination was WONTFIX, but then unboxed sums came around and they realized they needed to do something about it after all |
| 2024-03-02 21:37:32 +0100 | euphores | (~SASL_euph@user/euphores) |
| 2024-03-02 21:41:02 +0100 | average | (uid473595@user/average) |
| 2024-03-02 21:49:34 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-03-02 21:49:38 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2024-03-02 21:53:36 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Remote host closed the connection) |
| 2024-03-02 21:57:41 +0100 | jargon_ | (~jargon@208.sub-174-238-228.myvzw.com) |
| 2024-03-02 21:57:46 +0100 | jargon | (~jargon@208.sub-174-238-228.myvzw.com) (Killed (NickServ (GHOST command used by jargon_))) |
| 2024-03-02 21:57:52 +0100 | jargon_ | jargon |
| 2024-03-02 22:00:53 +0100 | zetef | (~quassel@5.2.182.98) (Ping timeout: 252 seconds) |
| 2024-03-02 22:09:56 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) (Remote host closed the connection) |
| 2024-03-02 22:10:18 +0100 | dcoutts | (~duncan@cpc69402-oxfd27-2-0-cust903.4-3.cable.virginm.net) |
| 2024-03-02 22:11:02 +0100 | falafel | (~falafel@2607:fb91:850:82c5:e1a6:b1d7:4a23:d17b) |
| 2024-03-02 22:15:07 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2024-03-02 22:23:24 +0100 | <[exa]> | dmj`: I wish I had one. :D |
| 2024-03-02 22:23:46 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-02 22:23:49 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2024-03-02 22:24:41 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-02 22:36:23 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 22:38:16 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2024-03-02 22:40:05 +0100 | zetef | (~quassel@5.2.182.98) |
| 2024-03-02 22:41:13 +0100 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2024-03-02 22:41:13 +0100 | ChanServ | +v haskellbridge |
| 2024-03-02 22:41:13 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) (Ping timeout: 264 seconds) |
| 2024-03-02 22:44:05 +0100 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-03-02 22:47:41 +0100 | pavonia | (~user@user/siracusa) |
| 2024-03-02 22:49:44 +0100 | <[exa]> | dmj`: this won't do? https://github.com/coord-e/impl-outsidein |
| 2024-03-02 22:49:48 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-03-02 22:56:51 +0100 | sprout_ | (~quassel@2a02-a448-3a80-0-9498-953-ac6-54d2.fixed6.kpn.net) |
| 2024-03-02 23:00:05 +0100 | sprout | (~quassel@2a02-a448-3a80-0-20c8-15f6-5661-7ff0.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2024-03-02 23:00:26 +0100 | tri | (~tri@ool-18bc2e74.dyn.optonline.net) |
| 2024-03-02 23:10:35 +0100 | falafel | (~falafel@2607:fb91:850:82c5:e1a6:b1d7:4a23:d17b) (Ping timeout: 260 seconds) |
| 2024-03-02 23:13:58 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-03-02 23:16:18 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-02 23:18:58 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2024-03-02 23:19:59 +0100 | <[exa]> | dmj`: (they have the typeclasses module in the `main` |
| 2024-03-02 23:20:01 +0100 | gmg | (~user@user/gehmehgeh) |
| 2024-03-02 23:40:44 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-03-02 23:52:50 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2024-03-02 23:54:23 +0100 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-03-02 23:57:07 +0100 | paddymahoney | (~paddymaho@cpe883d24bcf597-cmbc4dfb741f80.cpe.net.cable.rogers.com) |
| 2024-03-02 23:57:42 +0100 | glguy | (g@libera/staff/glguy) (Ping timeout: 612 seconds) |