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