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