| 2022-09-22 00:00:33 +0000 | <edrx> | I saw that haskell-mode has something like eldoc... it shows info about the symbol at point |
| 2022-09-22 00:00:47 +0000 | <edrx> | is there a way to jump to the definition of a symbol? |
| 2022-09-22 00:01:07 +0000 | <edrx> | I installed hoogle here but I don't know if it can be used for that |
| 2022-09-22 00:01:10 +0000 | cynomys | (~cynomys@user/cynomys) (Remote host closed the connection) |
| 2022-09-22 00:01:31 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-22 00:01:56 +0000 | kenaryn | (~aurele@cre71-h03-89-88-44-27.dsl.sta.abo.bbox.fr) (Quit: leaving) |
| 2022-09-22 00:03:03 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 00:04:27 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 00:04:33 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 00:05:16 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 00:06:03 +0000 | <geekosaur> | you can create a TAGS file with something like hasktags and then it's M-. |
| 2022-09-22 00:08:19 +0000 | <edrx> | thanks! let me try to install hasktags... |
| 2022-09-22 00:09:28 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 00:09:47 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 268 seconds) |
| 2022-09-22 00:10:30 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 00:11:01 +0000 | vglfr | (~vglfr@145.224.94.78) (Ping timeout: 268 seconds) |
| 2022-09-22 00:11:56 +0000 | werneta | (~werneta@137.78.30.207) (Ping timeout: 260 seconds) |
| 2022-09-22 00:13:59 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 00:18:37 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 00:19:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 00:20:23 +0000 | <ski> | (oh, also forgot to mention <https://en.wikipedia.org/w/index.php?title=Mixed_radix&oldid=1022676428#Primorial_number_system>, in the above context) |
| 2022-09-22 00:20:48 +0000 | <edrx> | what is the right way to use hasktags? when I run "hasktags --etags" it gives me a help message that includes this line... "directories will be replaced by DIR/**/*.hs DIR/**/*.lhs Thus hasktags . tags all important files in the current directory" |
| 2022-09-22 00:20:50 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 2022-09-22 00:21:01 +0000 | <edrx> | but I ran this: hasktags --etags . |
| 2022-09-22 00:21:18 +0000 | <edrx> | and it didn't create any files (it seems) |
| 2022-09-22 00:21:41 +0000 | <edrx> | oops, sorry, I ran this: "cd ~/usrc/pipes-4.3.16/; hasktags --etags ." |
| 2022-09-22 00:23:12 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 264 seconds) |
| 2022-09-22 00:24:25 +0000 | <geekosaur> | do you have source files in that directory, or in a subdirectory? |
| 2022-09-22 00:24:31 +0000 | <ski> | @where cabal-stack-disambiguation |
| 2022-09-22 00:24:31 +0000 | <lambdabot> | "The Cabal/Stack Disambiguation Guide" at <https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07> by Merijn |
| 2022-09-22 00:24:44 +0000 | <ski> | edrx : btw, did you see ^ yet ? |
| 2022-09-22 00:25:20 +0000 | <edrx> | ski: which one of the ^s? |
| 2022-09-22 00:25:34 +0000 | <geekosaur> | becuase it looks to me like it only scans the directory specified, not subdirectories (https://hackage.haskell.org/package/hasktags-0.72.0/docs/Hasktags.html#v:dirToFiles) |
| 2022-09-22 00:25:37 +0000 | <ski> | (apropos ".. after installing a package with Cabal (or cabal-install??? Gosh!!!) ..") |
| 2022-09-22 00:25:47 +0000 | <edrx> | geekosaur: ~/usrc/pipes-4.3.16/src/ has four .hs files |
| 2022-09-22 00:25:49 +0000 | <ski> | the most recent one |
| 2022-09-22 00:25:58 +0000 | <geekosaur> | thne you need to run it on src, not . |
| 2022-09-22 00:26:03 +0000 | <edrx> | ok, trying! |
| 2022-09-22 00:26:54 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-22 00:27:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 00:27:57 +0000 | <edrx> | geekosaur: worked! silly me =( |
| 2022-09-22 00:28:27 +0000 | <edrx> | ski: great! read and adding the link to my page!!! |
| 2022-09-22 00:29:24 +0000 | <geekosaur> | you may also need to M-x visit-tags-table and point it to that file |
| 2022-09-22 00:30:23 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 00:31:06 +0000 | <edrx> | geekosaur: works =) |
| 2022-09-22 00:33:43 +0000 | <edrx> | ski: done - now the "cabal-install" in http://angg.twu.net/eev-haskell.html points to that link! |
| 2022-09-22 00:34:00 +0000 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-22 00:34:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 00:37:00 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 264 seconds) |
| 2022-09-22 00:37:27 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-22 00:40:59 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 244 seconds) |
| 2022-09-22 00:42:32 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 00:46:38 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-22 00:47:14 +0000 | jjido | (~Denis@2.221.114.210) (Quit: My MacBook Air has gone to sleep. ZZZzzz…) |
| 2022-09-22 00:48:32 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-22 00:48:40 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 00:52:30 +0000 | JamesF | (~jef@92.40.190.201.threembb.co.uk) (Remote host closed the connection) |
| 2022-09-22 00:54:42 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Quit: Lost terminal) |
| 2022-09-22 00:55:25 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) (Ping timeout: 252 seconds) |
| 2022-09-22 00:59:24 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 01:00:18 +0000 | jespada | (~jespada@cpc121060-nmal24-2-0-cust249.19-2.cable.virginm.net) |
| 2022-09-22 01:01:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 01:03:16 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 01:04:46 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 01:05:45 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-22 01:05:45 +0000 | califax | (~califax@user/califx) (Read error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Read error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Write error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Write error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Write error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Write error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Write error: Connection reset by peer) |
| 2022-09-22 01:05:45 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Write error: Connection reset by peer) |
| 2022-09-22 01:06:11 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 01:06:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 01:06:13 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-22 01:06:18 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-22 01:06:18 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-22 01:06:21 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 01:06:32 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 01:06:33 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-22 01:06:50 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 01:07:01 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 01:07:20 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 01:08:06 +0000 | Ram-Z | (~Ram-Z@li1814-254.members.linode.com) |
| 2022-09-22 01:09:03 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 250 seconds) |
| 2022-09-22 01:09:38 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 01:10:04 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 01:10:04 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 01:10:04 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 01:10:29 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-09-22 01:11:14 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f393006c02ca375ef53871.ipv6.abo.wanadoo.fr) (Quit: au revoir) |
| 2022-09-22 01:15:01 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 01:16:36 +0000 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-09-22 01:20:43 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-09-22 01:21:10 +0000 | fjMSX | (~hypni2p@2.92.213.55) (Remote host closed the connection) |
| 2022-09-22 01:34:28 +0000 | <shapr> | I wish haskell.org had a list of bugs to fix |
| 2022-09-22 01:39:56 +0000 | king_gs1 | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 01:39:56 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 01:39:56 +0000 | king_gs1 | king_gs |
| 2022-09-22 01:40:10 +0000 | shapr | (~user@68.54.166.125) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-09-22 01:46:39 +0000 | matijja` | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-22 01:47:22 +0000 | turlando | (~turlando@user/turlando) (Remote host closed the connection) |
| 2022-09-22 01:47:24 +0000 | matijja | (~matijja@193.77.181.201) |
| 2022-09-22 01:48:37 +0000 | turlando | (~turlando@user/turlando) |
| 2022-09-22 01:51:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 01:52:29 +0000 | srz | (~srz@179.36.101.95) |
| 2022-09-22 01:55:35 +0000 | srz | (~srz@179.36.101.95) (Remote host closed the connection) |
| 2022-09-22 01:56:03 +0000 | srz | (~srz@179.36.101.95) |
| 2022-09-22 01:56:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 01:56:19 +0000 | srz | (~srz@179.36.101.95) (Remote host closed the connection) |
| 2022-09-22 02:01:06 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Remote host closed the connection) |
| 2022-09-22 02:01:25 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 02:05:58 +0000 | fjMSX | (~hypni2p@2.92.213.55) |
| 2022-09-22 02:06:53 +0000 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-09-22 02:08:00 +0000 | sammelweis_ | (~quassel@047-225-118-016.res.spectrum.com) |
| 2022-09-22 02:09:35 +0000 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) (Read error: Connection reset by peer) |
| 2022-09-22 02:18:20 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 02:18:20 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 02:18:20 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 02:19:38 +0000 | vglfr | (~vglfr@145.224.94.75) |
| 2022-09-22 02:22:36 +0000 | td_ | (~td@94.134.91.227) (Ping timeout: 264 seconds) |
| 2022-09-22 02:24:14 +0000 | td_ | (~td@94.134.91.59) |
| 2022-09-22 02:24:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 02:25:01 +0000 | edrx | (~Eduardo@2804:56c:d2dc:ac00:dab8:211d:d4eb:fa94) (Killed buffer) |
| 2022-09-22 02:29:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 02:29:39 +0000 | <EvanR> | this list of extensions as a data type in template haskell reveals... NPlusKPatterns... what |
| 2022-09-22 02:31:42 +0000 | <pavonia> | Wasn't that deprecated or so? |
| 2022-09-22 02:41:39 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 02:41:43 +0000 | <c_wraith> | It used to be part of the standard, not an extension. |
| 2022-09-22 02:42:00 +0000 | <c_wraith> | It was removed from the standard and GHC made it an extension - then deprecated the extension |
| 2022-09-22 02:43:28 +0000 | <EvanR> | so n plus k patterns still work?? xD |
| 2022-09-22 02:43:38 +0000 | <EvanR> | if you enable it |
| 2022-09-22 02:43:47 +0000 | <c_wraith> | I believe so |
| 2022-09-22 02:43:52 +0000 | <EvanR> | mind blown |
| 2022-09-22 02:44:09 +0000 | <c_wraith> | not like I've tried. :P |
| 2022-09-22 02:44:11 +0000 | <EvanR> | I'd hate to be making sure that still works in the face of ghc progress |
| 2022-09-22 02:45:24 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2022-09-22 02:46:19 +0000 | ddellacosta | (~ddellacos@89.45.224.135) |
| 2022-09-22 02:47:59 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-09-22 03:00:02 +0000 | haasn | (~nand@haasn.dev) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2022-09-22 03:00:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 03:01:20 +0000 | haasn | (~nand@haasn.dev) |
| 2022-09-22 03:01:48 +0000 | jero98772 | (~jero98772@2800:484:1d80:d8ce:3490:26c5:1782:da8c) (Remote host closed the connection) |
| 2022-09-22 03:02:22 +0000 | jargon | (~jargon@184.101.186.15) |
| 2022-09-22 03:03:06 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 03:05:32 +0000 | sammelweis_ | (~quassel@047-225-118-016.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2022-09-22 03:05:42 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 03:06:39 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 03:11:01 +0000 | ddellacosta | (~ddellacos@89.45.224.135) (Ping timeout: 265 seconds) |
| 2022-09-22 03:13:18 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) |
| 2022-09-22 03:14:48 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-22 03:16:19 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 03:16:28 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-09-22 03:17:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-09-22 03:17:43 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 03:18:18 +0000 | <ski> | i believe i tried it last year or so |
| 2022-09-22 03:18:19 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 03:18:45 +0000 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) |
| 2022-09-22 03:20:37 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 03:34:55 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 252 seconds) |
| 2022-09-22 03:35:18 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 258 seconds) |
| 2022-09-22 03:36:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 03:38:20 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 03:45:27 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) (Read error: Connection reset by peer) |
| 2022-09-22 03:45:57 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) |
| 2022-09-22 03:48:05 +0000 | frost | (~frost@user/frost) |
| 2022-09-22 03:50:04 +0000 | jargon | (~jargon@184.101.186.15) (Remote host closed the connection) |
| 2022-09-22 03:50:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 03:52:20 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-09-22 03:52:45 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 03:55:46 +0000 | zxx7529 | (~Thunderbi@user/zxx7529) (Remote host closed the connection) |
| 2022-09-22 03:59:07 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 03:59:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 03:59:29 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-22 04:00:33 +0000 | causal | (~user@50.35.83.177) (Quit: WeeChat 3.6) |
| 2022-09-22 04:00:37 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 04:01:28 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 04:03:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 04:03:40 +0000 | king_gs1 | (~Thunderbi@187.201.192.184) |
| 2022-09-22 04:04:00 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 264 seconds) |
| 2022-09-22 04:04:00 +0000 | king_gs1 | king_gs |
| 2022-09-22 04:06:01 +0000 | Vajb | (~Vajb@hag-jnsbng11-58c3a5-27.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-09-22 04:06:10 +0000 | Vajb | (~Vajb@2001:999:504:1841:9e47:1ec7:a52e:1d57) |
| 2022-09-22 04:07:40 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-09-22 04:07:40 +0000 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-09-22 04:07:40 +0000 | wroathe | (~wroathe@user/wroathe) |
| 2022-09-22 04:08:12 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2022-09-22 04:09:56 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 260 seconds) |
| 2022-09-22 04:11:03 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-22 04:13:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 04:18:12 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 04:18:41 +0000 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-09-22 04:20:12 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-22 04:20:46 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 04:20:51 +0000 | <johnw> | I've never tried that extension before |
| 2022-09-22 04:20:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 04:21:55 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 04:23:09 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 04:23:29 +0000 | <dolio> | That's probably one of the least problematic extensions to keep up to date. |
| 2022-09-22 04:23:36 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 04:25:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 04:26:01 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 04:27:45 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-22 04:28:07 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 04:34:27 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 04:36:15 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 04:39:24 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 264 seconds) |
| 2022-09-22 04:42:21 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 04:42:37 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 04:44:12 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2022-09-22 04:46:00 +0000 | sammelweis | (~quassel@047-225-118-016.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2022-09-22 04:51:13 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 04:55:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 04:55:54 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 265 seconds) |
| 2022-09-22 04:56:24 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-22 04:58:59 +0000 | mbuf | (~Shakthi@49.204.133.2) |
| 2022-09-22 04:59:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 05:03:20 +0000 | Guest93 | (~Guest93@86.55.245.100) |
| 2022-09-22 05:04:15 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a3a8:3af3:359:8caf) |
| 2022-09-22 05:04:34 +0000 | Guest93 | (~Guest93@86.55.245.100) (Client Quit) |
| 2022-09-22 05:19:11 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 05:26:56 +0000 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2022-09-22 05:30:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 05:35:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 05:37:14 +0000 | odnes | (~odnes@ppp089210198232.access.hol.gr) |
| 2022-09-22 05:40:55 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-09-22 05:45:30 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 05:48:33 +0000 | razetime | (~quassel@117.254.34.240) |
| 2022-09-22 05:50:48 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 268 seconds) |
| 2022-09-22 06:06:43 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 06:09:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 06:11:45 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2022-09-22 06:11:48 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 264 seconds) |
| 2022-09-22 06:12:08 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d93e:b2d9:ab9e:5f05) |
| 2022-09-22 06:12:46 +0000 | michalz | (~michalz@185.246.207.217) |
| 2022-09-22 06:13:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 06:27:08 +0000 | hrberg | (~quassel@171.79-160-161.customer.lyse.net) |
| 2022-09-22 06:28:02 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) |
| 2022-09-22 06:35:10 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-22 06:39:05 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-22 06:39:21 +0000 | freeside | (~mengwong@103.252.202.193) (Ping timeout: 265 seconds) |
| 2022-09-22 06:41:19 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 06:43:29 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 06:43:45 +0000 | freeside | (~mengwong@bb115-66-48-84.singnet.com.sg) |
| 2022-09-22 06:45:30 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 06:47:39 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 06:47:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 06:47:50 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 244 seconds) |
| 2022-09-22 06:48:07 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 06:49:46 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 06:50:13 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 06:55:15 +0000 | notzmv | (~zmv@user/notzmv) |
| 2022-09-22 06:55:36 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) |
| 2022-09-22 07:00:49 +0000 | MoC | (~moc@user/moc) |
| 2022-09-22 07:01:24 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 07:05:33 +0000 | f-a | (~f-a@151.68.234.1) |
| 2022-09-22 07:06:37 +0000 | <f-a> | I want to spell check comments in a .hs file. For sure I can’t be the first person doing that, what is your way to feed haskell files to aspell or similar programs/ |
| 2022-09-22 07:09:02 +0000 | <dminuoso> | f-a: You could just craft a attoparsec/megaparsec parser to extract them for you |
| 2022-09-22 07:09:43 +0000 | <f-a> | that could be a way, I hoped for “oh there is unix utility xyz that does that for you” |
| 2022-09-22 07:11:05 +0000 | <dminuoso> | oh there is unix utility https://manpages.ubuntu.com/manpages/bionic/man1/lu-comment-extractor.1.html that does that for you |
| 2022-09-22 07:11:29 +0000 | <dminuoso> | Sorry, couldn't resist. :-) |
| 2022-09-22 07:12:17 +0000 | <f-a> | hehe |
| 2022-09-22 07:14:41 +0000 | <f-a> | pretty nice, thanks |
| 2022-09-22 07:15:36 +0000 | akegalj | (~akegalj@93-138-68-202.adsl.net.t-com.hr) |
| 2022-09-22 07:16:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 07:17:02 +0000 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 07:17:30 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Read error: Connection reset by peer) |
| 2022-09-22 07:18:37 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 07:19:20 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 07:20:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 07:21:45 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-22 07:24:05 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 252 seconds) |
| 2022-09-22 07:26:48 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 264 seconds) |
| 2022-09-22 07:38:12 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:a3a8:3af3:359:8caf) (Ping timeout: 264 seconds) |
| 2022-09-22 07:43:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 07:43:42 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 258 seconds) |
| 2022-09-22 07:44:22 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-09-22 07:46:16 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-09-22 07:46:34 +0000 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-09-22 07:49:23 +0000 | razetime | (~quassel@117.254.34.240) (Ping timeout: 252 seconds) |
| 2022-09-22 07:50:08 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 07:51:34 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-22 07:51:53 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 07:52:54 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 07:53:27 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-09-22 07:54:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 07:54:42 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-09-22 07:55:03 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2022-09-22 07:58:08 +0000 | Unhammerd | (~Unhammer@user/unhammer) |
| 2022-09-22 08:00:18 +0000 | <Unhammerd> | Has anyone noticed performance differences with process (which seems to use String input/output) vs typed-process (lazy bytestring)? |
| 2022-09-22 08:03:03 +0000 | nschoe | (~quassel@178.251.84.79) |
| 2022-09-22 08:04:15 +0000 | f-a | (~f-a@151.68.234.1) () |
| 2022-09-22 08:05:42 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 08:10:15 +0000 | ubert | (~Thunderbi@77.119.165.8.wireless.dyn.drei.com) |
| 2022-09-22 08:12:37 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 08:15:35 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 08:17:48 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 264 seconds) |
| 2022-09-22 08:19:28 +0000 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) |
| 2022-09-22 08:19:30 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 08:20:31 +0000 | razetime | (~quassel@117.254.34.119) |
| 2022-09-22 08:23:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 08:25:14 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2022-09-22 08:27:09 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 08:28:03 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 08:28:06 +0000 | razetime | (~quassel@117.254.34.119) (Ping timeout: 265 seconds) |
| 2022-09-22 08:28:21 +0000 | razetime_ | (~quassel@2401:4900:628d:3843:e405:c667:a1e8:5879) |
| 2022-09-22 08:31:36 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 08:35:17 +0000 | razetime_ | (~quassel@2401:4900:628d:3843:e405:c667:a1e8:5879) (Ping timeout: 244 seconds) |
| 2022-09-22 08:39:21 +0000 | razetime | (~quassel@117.254.35.198) |
| 2022-09-22 08:44:02 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Ping timeout: 265 seconds) |
| 2022-09-22 08:44:42 +0000 | shriekingnoise | (~shrieking@186.137.167.202) (Quit: Quit) |
| 2022-09-22 08:44:53 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-22 08:47:02 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2022-09-22 08:53:53 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 08:55:58 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-09-22 08:58:24 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 08:58:54 +0000 | kuribas | (~user@silversquare.silversquare.eu) |
| 2022-09-22 08:59:02 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) (Quit: Lost terminal) |
| 2022-09-22 08:59:40 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 09:00:11 +0000 | polykernel[m] | (~polykerne@user/polykernel) (Quit: You have been kicked for being idle) |
| 2022-09-22 09:02:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 09:03:39 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 09:04:45 +0000 | CoolGuy228xxX | (~CoolGuy22@95.165.158.51) |
| 2022-09-22 09:05:46 +0000 | CoolGuy228xxX | (~CoolGuy22@95.165.158.51) (Client Quit) |
| 2022-09-22 09:07:33 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-09-22 09:08:01 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-09-22 09:08:19 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 248 seconds) |
| 2022-09-22 09:08:53 +0000 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) |
| 2022-09-22 09:08:56 +0000 | <pagnol> | Does anyone have a robust setup to use Haskell with org-babel? |
| 2022-09-22 09:13:31 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) (Ping timeout: 244 seconds) |
| 2022-09-22 09:14:13 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) |
| 2022-09-22 09:14:26 +0000 | razetime | (~quassel@117.254.35.198) (Ping timeout: 260 seconds) |
| 2022-09-22 09:14:40 +0000 | razetime | (~quassel@117.254.34.59) |
| 2022-09-22 09:19:09 +0000 | califax | (~califax@user/califx) (Ping timeout: 258 seconds) |
| 2022-09-22 09:19:34 +0000 | califax | (~califax@user/califx) |
| 2022-09-22 09:20:05 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 09:20:44 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 09:21:39 +0000 | pagnol | (~user@213-205-209-87.ftth.glasoperator.nl) (Ping timeout: 248 seconds) |
| 2022-09-22 09:22:11 +0000 | razetime | (~quassel@117.254.34.59) (Ping timeout: 250 seconds) |
| 2022-09-22 09:22:56 +0000 | razetime | (~quassel@117.193.5.254) |
| 2022-09-22 09:23:33 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 268 seconds) |
| 2022-09-22 09:24:22 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-22 09:35:31 +0000 | peutri_ | peutri |
| 2022-09-22 09:35:44 +0000 | eikke | (~NicolasT@user/NicolasT) (Ping timeout: 244 seconds) |
| 2022-09-22 09:37:46 +0000 | eikke | (~NicolasT@user/NicolasT) |
| 2022-09-22 09:39:09 +0000 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 09:44:31 +0000 | einfair_ | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 244 seconds) |
| 2022-09-22 09:49:18 +0000 | bgs | (~bgs@212-85-160-171.dynamic.telemach.net) (Remote host closed the connection) |
| 2022-09-22 09:49:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 09:54:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 09:55:01 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 09:56:32 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 265 seconds) |
| 2022-09-22 09:56:58 +0000 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-09-22 09:57:57 +0000 | razetime | (~quassel@117.193.5.254) (Ping timeout: 244 seconds) |
| 2022-09-22 10:02:46 +0000 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-09-22 10:04:20 +0000 | razetime | (~quassel@2401:4900:629f:7da9:8407:e36f:13d1:1011) |
| 2022-09-22 10:04:41 +0000 | DavidBinder | (~DavidBind@134.2.10.18) (Remote host closed the connection) |
| 2022-09-22 10:08:38 +0000 | hsw | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Remote host closed the connection) |
| 2022-09-22 10:08:42 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) |
| 2022-09-22 10:10:49 +0000 | einfair | (~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) |
| 2022-09-22 10:20:02 +0000 | elkcl | (~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) |
| 2022-09-22 10:23:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 10:25:20 +0000 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2022-09-22 10:27:29 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2022-09-22 10:27:39 +0000 | king_gs | (~Thunderbi@187.201.192.184) |
| 2022-09-22 10:27:39 +0000 | king_gs | (~Thunderbi@187.201.192.184) (Client Quit) |
| 2022-09-22 10:27:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 10:29:52 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-09-22 10:29:54 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-22 10:36:33 +0000 | eikke | (~NicolasT@user/NicolasT) (Quit: leaving) |
| 2022-09-22 10:39:26 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:2dfd:13d3:f366:7e03) |
| 2022-09-22 10:40:19 +0000 | razetime | (~quassel@2401:4900:629f:7da9:8407:e36f:13d1:1011) (Ping timeout: 244 seconds) |
| 2022-09-22 10:44:06 +0000 | razetime | (~quassel@117.254.34.28) |
| 2022-09-22 10:44:39 +0000 | odnes | (~odnes@ppp089210198232.access.hol.gr) (Quit: Leaving) |
| 2022-09-22 10:49:36 +0000 | Guest68 | (~Guest68@2a02:8388:a241:e80:41cb:c9b8:ceb9:d9d6) |
| 2022-09-22 10:54:00 +0000 | <MangoIV[m]> | Hi, did anyone here have any luck with that evaluation in place plug-in for HLS in nvim? Thanks in advance! |
| 2022-09-22 10:55:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 10:59:57 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 11:03:52 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 11:09:32 +0000 | Guest68 | (~Guest68@2a02:8388:a241:e80:41cb:c9b8:ceb9:d9d6) (Quit: Client closed) |
| 2022-09-22 11:12:36 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 11:14:25 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) (Ping timeout: 244 seconds) |
| 2022-09-22 11:19:49 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-22 11:21:56 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 11:25:02 +0000 | oak- | (~oakuniver@2001:470:69fc:105::fcd) () |
| 2022-09-22 11:25:08 +0000 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2022-09-22 11:26:26 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2022-09-22 11:26:41 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 11:30:36 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 11:31:08 +0000 | akegalj | (~akegalj@93-138-68-202.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-09-22 11:38:12 +0000 | ubert | (~Thunderbi@77.119.165.8.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2022-09-22 11:38:22 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 11:40:35 +0000 | lyle | (~lyle@104.246.145.85) |
| 2022-09-22 11:40:36 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds) |
| 2022-09-22 11:42:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 11:44:05 +0000 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 268 seconds) |
| 2022-09-22 11:44:23 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 11:46:10 +0000 | <mesaoptimizer> | I feel like implicit associativity of Haskell operators is one very... un-functional programming feature |
| 2022-09-22 11:47:36 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-09-22 11:48:36 +0000 | <tdammers> | what does associativity have to do with functional-ness? |
| 2022-09-22 11:48:38 +0000 | <mesaoptimizer> | at least for non-commutative operators. You _have_ to memorize the associativity and messing up the associativity in your head is an error that Haskell cannot catch |
| 2022-09-22 11:49:02 +0000 | <tdammers> | but that has nothing to do with whether the language is "functional" or not |
| 2022-09-22 11:49:18 +0000 | waldo | (~waldo@user/waldo) |
| 2022-09-22 11:49:24 +0000 | <dminuoso> | I would argue that the term "functional" is very imprecise and means very different things for different people. |
| 2022-09-22 11:49:31 +0000 | <dminuoso> | There is no universally accepted sharp definition of it. |
| 2022-09-22 11:49:53 +0000 | <dminuoso> | Arguing whether something "is functional or not" is only with respect to your personal beliefs and definitions. |
| 2022-09-22 11:50:08 +0000 | <tdammers> | unfortunately there isn't, but most reasonable definitions revolve around the concept of a "function" (and more specifically, "pure function") |
| 2022-09-22 11:50:10 +0000 | <mesaoptimizer> | sure, which is why I used un- "functional programming", implying that it goes against the usual main draws of functional programming, at least from my beginner-level perspective |
| 2022-09-22 11:51:18 +0000 | <mesaoptimizer> | agree I could have worded it better but that's a minor sidenote |
| 2022-09-22 11:51:25 +0000 | <byorgey> | mesaoptimizer: what do you mean by "implicit associativity of Haskell operators"? Can you give an example? |
| 2022-09-22 11:51:26 +0000 | <dminuoso> | Superficially I would argue that association is a grammatical artifact, and being "functional" is usually something on the semantic level. |
| 2022-09-22 11:51:27 +0000 | <geekosaur> | LC doesn't even have operators, just functions and parens for grouping |
| 2022-09-22 11:51:29 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-09-22 11:51:38 +0000 | <ski> | mesaoptimizer : do you mean how operators get `infixl 9', if none specified ? |
| 2022-09-22 11:51:47 +0000 | <tdammers> | either way, "functional" is generally about language semantics, not syntax - but operator precedence is a syntactic concern (once the operator has been parsed into an AST, its precedence and associativity is erased) |
| 2022-09-22 11:51:58 +0000 | <tdammers> | so yeah |
| 2022-09-22 11:51:58 +0000 | dminuoso | high fives tdammers |
| 2022-09-22 11:52:01 +0000 | <tdammers> | woo hoo |
| 2022-09-22 11:52:07 +0000 | <ski> | mesaoptimizer : also, i don't see what commutativity has to do with the associativity-disambiguation rules for operators |
| 2022-09-22 11:52:39 +0000 | <ski> | (if you said "non-associative operators", that'd be a different thing ..) |
| 2022-09-22 11:52:40 +0000 | <dminuoso> | Indeed. Commutatitivity too is a semantic thing, association is a grammatic thing. |
| 2022-09-22 11:53:39 +0000 | <dminuoso> | But for what it is worth, I do have some sympathy for disliking operators since their associativity is invisible on editors most of the time. |
| 2022-09-22 11:54:04 +0000 | <mesaoptimizer> | for example, the exponentiation operator ^ has infixr 8. that's TWO types of data one needs to keep in their head. Sure, you can memorize it, or look it up, and the benefit of making this implicit is conciseness, but I don't like how one can mistakenly assume the wrong infix or precedence and make logic errors |
| 2022-09-22 11:54:32 +0000 | <geekosaur> | you can a;ways parenthesize |
| 2022-09-22 11:54:40 +0000 | <dminuoso> | mesaoptimizer: I would argue that if its not visibly clear, you should be using (redundant) parenthesis anyway. |
| 2022-09-22 11:55:12 +0000 | <ski> | imho, it would probably be better to assign relative strengths to different operators (or sets of them), rather than assign absolute (even totally ordered) ones to them |
| 2022-09-22 11:55:17 +0000 | <tdammers> | another nasty consequence of the way Haskell does operators is that when you define aliases for them (e.g. for re-exporting), you have to define the fixity again |
| 2022-09-22 11:56:16 +0000 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Ping timeout: 244 seconds) |
| 2022-09-22 11:56:26 +0000 | <mesaoptimizer> | using redundant parentheses seems like a good best practice. I'll keep that in mind. |
| 2022-09-22 11:56:54 +0000 | <ski> | > let foo (+) x = x + x + x where infixr 5 + in foo (-) 2 -- i don't know a way to specify precedence and associativity here |
| 2022-09-22 11:56:56 +0000 | <lambdabot> | error: |
| 2022-09-22 11:56:56 +0000 | <lambdabot> | The fixity signature for ‘+’ lacks an accompanying binding |
| 2022-09-22 11:56:56 +0000 | <lambdabot> | (The fixity signature must be given where ‘+’ is declared) |
| 2022-09-22 11:57:12 +0000 | <geekosaur> | (and then HLS bitches at you for using unnecessary parens. shaddap already!) |
| 2022-09-22 11:57:58 +0000 | <ski> | HLS, or hlint ? |
| 2022-09-22 11:58:10 +0000 | <geekosaur> | hlint via HLS in my editor |
| 2022-09-22 11:58:38 +0000 | <dminuoso> | Dont use hlint then! |
| 2022-09-22 11:58:54 +0000 | <dminuoso> | Addressed other headaches you get too |
| 2022-09-22 12:00:08 +0000 | ski | is generally a fan of avoiding redundant brackets, but will occasionally go out of their way to include some, for emphasis, or even just to avoid having to recall the relative precedence of some two operators not seen together too often |
| 2022-09-22 12:02:06 +0000 | <ski> | (hence i write `sort :: Ord a => ..a..', not `sort :: (Ord a) => ..a..'; `data Blah = ... deriving Show', `let x:xs = ...', `case ... of x:xs -> ...', `Just x +*+ Just y = ...', &c.) |
| 2022-09-22 12:02:47 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 12:03:42 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) |
| 2022-09-22 12:04:20 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Remote host closed the connection) |
| 2022-09-22 12:04:23 +0000 | <ski> | (also, occasionally, i find i'd like to be able to say `(foo x y) z = ...', not just `(x +*+ y) z = ...') |
| 2022-09-22 12:07:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 12:10:26 +0000 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-09-22 12:15:28 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 12:17:50 +0000 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 12:18:10 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2022-09-22 12:20:22 +0000 | yvan-sraka | (~yvan-srak@109.135.29.128) |
| 2022-09-22 12:22:51 +0000 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 260 seconds) |
| 2022-09-22 12:24:29 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 12:37:17 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 12:38:54 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 12:39:48 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-22 12:41:50 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 12:42:10 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-09-22 12:42:55 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 12:43:19 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Remote host closed the connection) |
| 2022-09-22 12:44:06 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 12:44:19 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 248 seconds) |
| 2022-09-22 12:44:24 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Remote host closed the connection) |
| 2022-09-22 12:44:36 +0000 | yvan-sraka | (~yvan-srak@109.135.29.128) (Ping timeout: 252 seconds) |
| 2022-09-22 12:44:46 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) |
| 2022-09-22 12:47:10 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) (Ping timeout: 265 seconds) |
| 2022-09-22 12:47:20 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 12:49:33 +0000 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-09-22 12:50:48 +0000 | hsw__ | (~hsw@112-104-87-196.adsl.dynamic.seed.net.tw) |
| 2022-09-22 12:51:50 +0000 | matijja | (~matijja@193.77.181.201) |
| 2022-09-22 12:53:46 +0000 | hsw_ | (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Ping timeout: 260 seconds) |
| 2022-09-22 12:58:51 +0000 | benin0 | (~benin@183.82.206.30) (Ping timeout: 252 seconds) |
| 2022-09-22 13:00:32 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) |
| 2022-09-22 13:02:52 +0000 | bahamas | (~lucian@188.24.138.239) |
| 2022-09-22 13:05:10 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 13:09:07 +0000 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 244 seconds) |
| 2022-09-22 13:09:26 +0000 | bontaq | (~user@165.1.205.23) |
| 2022-09-22 13:09:38 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 244 seconds) |
| 2022-09-22 13:10:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 13:13:05 +0000 | DavidBinder | (~DavidBind@134.2.10.18) |
| 2022-09-22 13:15:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 13:16:05 +0000 | thatcher | (~lp0@heathens.club) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-22 13:18:56 +0000 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-09-22 13:20:48 +0000 | xff0x | (~xff0x@ai071162.d.east.v6connect.net) (Ping timeout: 264 seconds) |
| 2022-09-22 13:30:07 +0000 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-09-22 13:30:36 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 13:30:38 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 13:30:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 13:31:51 +0000 | bontaq | (~user@165.1.205.23) (Ping timeout: 252 seconds) |
| 2022-09-22 13:35:28 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) (Remote host closed the connection) |
| 2022-09-22 13:37:55 +0000 | hgolden | (~hgolden@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-09-22 13:42:08 +0000 | xff0x | (~xff0x@2405:6580:b080:900:c9c6:ea14:444b:6072) |
| 2022-09-22 13:45:28 +0000 | coot | (~coot@213.134.176.158) |
| 2022-09-22 13:47:11 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-22 13:53:13 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.6) |
| 2022-09-22 13:56:56 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 13:58:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 13:58:59 +0000 | yvan-sraka | (~yvan-srak@37.173.65.198) |
| 2022-09-22 13:59:31 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d93e:b2d9:ab9e:5f05) (Quit: WeeChat 2.8) |
| 2022-09-22 13:59:46 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Quit: WeeChat 3.6) |
| 2022-09-22 13:59:50 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-09-22 14:01:03 +0000 | gurkenglas | (~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2022-09-22 14:07:54 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 264 seconds) |
| 2022-09-22 14:14:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 14:15:07 +0000 | `2jt | (~jtomas@105.red-88-17-232.dynamicip.rima-tde.net) (Ping timeout: 252 seconds) |
| 2022-09-22 14:15:43 +0000 | shriekingnoise | (~shrieking@186.137.167.202) |
| 2022-09-22 14:16:01 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Ping timeout: 260 seconds) |
| 2022-09-22 14:17:43 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 14:18:08 +0000 | Guest2730 | (e99e97ef8e@2604:bf00:561:2000::2a2) (Remote host closed the connection) |
| 2022-09-22 14:18:16 +0000 | Ankhers | (e99e97ef8e@2604:bf00:561:2000::2a2) |
| 2022-09-22 14:18:52 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 244 seconds) |
| 2022-09-22 14:19:01 +0000 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 250 seconds) |
| 2022-09-22 14:19:43 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 14:24:59 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 14:25:38 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-22 14:25:49 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) |
| 2022-09-22 14:27:28 +0000 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) |
| 2022-09-22 14:28:33 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 250 seconds) |
| 2022-09-22 14:34:10 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 14:43:44 +0000 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) |
| 2022-09-22 14:43:45 +0000 | dibblego | (~dibblego@122-199-1-30.ip4.superloop.com) (Changing host) |
| 2022-09-22 14:43:45 +0000 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2022-09-22 14:52:51 +0000 | Feuermagier_ | (~Feuermagi@216.24.213.93) (Quit: Leaving) |
| 2022-09-22 14:54:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Remote host closed the connection) |
| 2022-09-22 15:00:58 +0000 | <oats> | huh, effectful looks neat |
| 2022-09-22 15:01:18 +0000 | <oats> | don't know how I missed its announcement in r/haskell a couple months ago, it looks well-received |
| 2022-09-22 15:03:00 +0000 | <Hecate> | oats: :D don't hesitate to create bindings to other libraries! |
| 2022-09-22 15:05:11 +0000 | <oats> | I've heard about various effects libraries for a while now, but idk if the community has really coalesced around any in particular |
| 2022-09-22 15:05:16 +0000 | <oats> | could effectful be that one? |
| 2022-09-22 15:05:17 +0000 | <Hecate> | not yet |
| 2022-09-22 15:05:31 +0000 | <Hecate> | but I hope effectful + delconts will be nice |
| 2022-09-22 15:06:38 +0000 | <oats> | delconts? |
| 2022-09-22 15:07:33 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a23300810a445eaf94c.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2022-09-22 15:09:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:14:09 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 15:14:10 +0000 | <bahamas> | how can I convert NominalDiffTime to seconds, if I'm using a version of time before 1.9.1 (when nominalDiffTimeToSeconds was introduced)? |
| 2022-09-22 15:14:42 +0000 | <bahamas> | basically, I want to know if the current time is before or past a certain time |
| 2022-09-22 15:17:15 +0000 | <johnw> | might this work? |
| 2022-09-22 15:17:16 +0000 | <johnw> | let (myNominalDiffTimeInSeconds, _) = properFraction myNominalDiffTime |
| 2022-09-22 15:17:51 +0000 | raehik | (~raehik@global-5-15.n-1.net.cam.ac.uk) (Ping timeout: 260 seconds) |
| 2022-09-22 15:22:42 +0000 | <Hecate> | oats: delimited continuations |
| 2022-09-22 15:24:48 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 15:29:08 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 244 seconds) |
| 2022-09-22 15:29:20 +0000 | <EvanR> | bahamas, a NominalDiffTime is a number in units of seconds (with a fractional part), but it's a different type so needs a conversion |
| 2022-09-22 15:29:36 +0000 | <EvanR> | try realToFrac or floor |
| 2022-09-22 15:30:31 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 15:30:36 +0000 | <EvanR> | oh, but comparing it to some official Time, that doesn't require that. But it does require getting the types straight |
| 2022-09-22 15:31:09 +0000 | <EvanR> | NominalDiffTime is a diff time, while times are a different animal. So you just need to convert one to the other then use < |
| 2022-09-22 15:31:22 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 15:32:41 +0000 | <EvanR> | e.g. if you have a UTCTime, you can diff that with some reference UTCTime to get a NominalDiffTime |
| 2022-09-22 15:33:07 +0000 | <EvanR> | or, you can add NominalDiffTime to the reference UTCTime to get a UTCTime. Either way you need the same type for comparison |
| 2022-09-22 15:34:18 +0000 | <EvanR> | POSIXTime is like a hybrid, we all agree on the reference date, but it's technically a diff |
| 2022-09-22 15:39:47 +0000 | <EvanR> | (if you convert to a float with floor or realToFrac, you will lose a bunch of precision, if the number is as big as unix time) |
| 2022-09-22 15:40:17 +0000 | <EvanR> | (so it's better to do your time math directly like I just explained) |
| 2022-09-22 15:42:02 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 15:42:53 +0000 | <bahamas> | EvanR: well, I can get both times to be UTCTime than use the corresponding function |
| 2022-09-22 15:43:08 +0000 | <bahamas> | but that function returns NominalDiffTime, so that's the issue |
| 2022-09-22 15:43:10 +0000 | <EvanR> | hell yeah, UTCTime is an instance of Ord so you can just compare them |
| 2022-09-22 15:43:20 +0000 | <EvanR> | what function? |
| 2022-09-22 15:43:30 +0000 | <bahamas> | diffUTCTime I think it's called |
| 2022-09-22 15:43:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 15:43:37 +0000 | <EvanR> | :thonk: |
| 2022-09-22 15:43:42 +0000 | <bahamas> | but if I can compare them, I think that should be enough |
| 2022-09-22 15:44:03 +0000 | <EvanR> | yeah, I'm not sure it makes sense to diff two times, then ask if the result is before or after a UTCTime |
| 2022-09-22 15:44:24 +0000 | <bahamas> | EvanR: no, I was checking if the number of seconds is greater than 0 |
| 2022-09-22 15:44:39 +0000 | nschoe | (~quassel@178.251.84.79) (Ping timeout: 268 seconds) |
| 2022-09-22 15:44:40 +0000 | <bahamas> | but now that you mentioned Ord, it sounds like my solution is a roundabout way |
| 2022-09-22 15:44:44 +0000 | <EvanR> | use compare with the two UTCTimes xD |
| 2022-09-22 15:44:49 +0000 | <EvanR> | :t compare |
| 2022-09-22 15:44:50 +0000 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2022-09-22 15:44:50 +0000 | <bahamas> | right :) |
| 2022-09-22 15:45:01 +0000 | <bahamas> | thanks! |
| 2022-09-22 15:45:21 +0000 | <EvanR> | > floor (fromInteger 1663861268 :: Float) -- :scream: |
| 2022-09-22 15:45:23 +0000 | <lambdabot> | 1663861248 |
| 2022-09-22 15:45:57 +0000 | <bahamas> | a, actually, in another instance I need to know if current time is below 5 minutes before a certain time |
| 2022-09-22 15:45:58 +0000 | <EvanR> | > let n = 1663861268 in floor (fromInteger n :: Float) - n |
| 2022-09-22 15:46:00 +0000 | <lambdabot> | -20 |
| 2022-09-22 15:46:10 +0000 | <bahamas> | for that I do need to compute a difference, no? |
| 2022-09-22 15:46:29 +0000 | <EvanR> | the opposite |
| 2022-09-22 15:46:30 +0000 | <geekosaur> | does it really use Float instead of Double? |
| 2022-09-22 15:46:34 +0000 | waldo | (~waldo@user/waldo) |
| 2022-09-22 15:46:35 +0000 | <EvanR> | no, I'm just saying |
| 2022-09-22 15:47:03 +0000 | <EvanR> | bahamas, opposite, you want to shift your UTCTime down by 5 minutes to get another UTCTime to compare |
| 2022-09-22 15:47:24 +0000 | <EvanR> | addUTCTime :: NominalDiffTime -> UTCTime -> UTCTime |
| 2022-09-22 15:47:53 +0000 | <bahamas> | EvanR: oh, you mean add 5 minutes to currentTime and check if it's greater or lower than startTime |
| 2022-09-22 15:48:05 +0000 | <EvanR> | earlier = addUTCTime (-5 * 60) limitTime |
| 2022-09-22 15:48:25 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 15:48:54 +0000 | <bahamas> | EvanR: anyway, I will figure this out. thanks for pointing me in the right direction |
| 2022-09-22 15:49:28 +0000 | <EvanR> | geekosaur, it doesn't use float or double... but somebody might try to convert to floats to do comparisons. If they use double it won't lose 20 seconds but it does lose something compared to the raw time data |
| 2022-09-22 15:49:50 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 15:50:01 +0000 | geekosaur | thinks Float should be removed (and similarly float from C) |
| 2022-09-22 15:50:13 +0000 | <geekosaur> | it's a trap |
| 2022-09-22 15:50:23 +0000 | <EvanR> | the godot game engine is nothing but single precision floats ;_; |
| 2022-09-22 15:50:34 +0000 | <EvanR> | they claim they need to support low end mobile |
| 2022-09-22 15:50:55 +0000 | <EvanR> | (most graphics can work with single precision... it's fine...) |
| 2022-09-22 15:51:07 +0000 | <EvanR> | (or even less precision) |
| 2022-09-22 15:52:54 +0000 | ski | . o O ( `short double' ) |
| 2022-09-22 15:53:58 +0000 | <geekosaur> | I'd be fine with that |
| 2022-09-22 15:54:35 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 15:54:59 +0000 | <EvanR> | B's got your back. No float or double. Or any types... |
| 2022-09-22 15:55:20 +0000 | <ski> | 5-byte floating points are where it's at |
| 2022-09-22 15:56:02 +0000 | <EvanR> | by the 1990s we will probably be totally using decimals anyway |
| 2022-09-22 15:57:04 +0000 | <geekosaur> | someone's been programming HP calculators |
| 2022-09-22 16:00:31 +0000 | hippoid | (~idris@ec2-107-22-56-196.compute-1.amazonaws.com) (Changing host) |
| 2022-09-22 16:00:31 +0000 | hippoid | (~idris@user/hippoid) |
| 2022-09-22 16:01:10 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 244 seconds) |
| 2022-09-22 16:04:23 +0000 | bahamas | (~lucian@188.24.138.239) (Ping timeout: 252 seconds) |
| 2022-09-22 16:04:44 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) |
| 2022-09-22 16:06:59 +0000 | kuribas | (~user@silversquare.silversquare.eu) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-09-22 16:08:01 +0000 | zeenk | (~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!) |
| 2022-09-22 16:15:40 +0000 | Guest|30 | (~Guest|30@129.205.124.145) |
| 2022-09-22 16:16:43 +0000 | <Guest|30> | Hey every one, every time I try to install ghc, I get the following error: |
| 2022-09-22 16:16:51 +0000 | <Guest|30> | Get-CimInstance : Invalid class |
| 2022-09-22 16:16:51 +0000 | <Guest|30> | At line:206 char:17 |
| 2022-09-22 16:16:51 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 16:16:52 +0000 | <Guest|30> | + $partitions = Get-CimInstance win32_logicaldisk |
| 2022-09-22 16:16:52 +0000 | <Guest|30> | + ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 2022-09-22 16:16:52 +0000 | <Guest|30> | + CategoryInfo : MetadataError: (root\cimv2:win32_logicaldisk:String) [Get-CimInstance], CimException |
| 2022-09-22 16:16:53 +0000 | <Guest|30> | + FullyQualifiedErrorId : HRESULT 0x80041010,Microsoft.Management.Infrastructure.CimCmdlets.GetCimInstanceCommand |
| 2022-09-22 16:21:26 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 16:27:07 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-22 16:27:32 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 16:31:44 +0000 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-09-22 16:32:09 +0000 | yvan-sraka | (~yvan-srak@37.173.65.198) (Remote host closed the connection) |
| 2022-09-22 16:32:10 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 268 seconds) |
| 2022-09-22 16:36:24 +0000 | raehik | (~raehik@global-5-14.n-1.net.cam.ac.uk) (Ping timeout: 264 seconds) |
| 2022-09-22 16:37:43 +0000 | econo | (uid147250@user/econo) |
| 2022-09-22 16:37:56 +0000 | shapr | (~user@68.54.166.125) |
| 2022-09-22 16:45:14 +0000 | MajorBiscuit | (~MajorBisc@c-001-009-018.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.5) |
| 2022-09-22 16:45:41 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-09-22 16:48:00 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 16:48:31 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Quit: ZNC - https://znc.in) |
| 2022-09-22 16:48:54 +0000 | Guest|30 | (~Guest|30@129.205.124.145) (Quit: Connection closed) |
| 2022-09-22 16:49:00 +0000 | mvk | (~mvk@2607:fea8:5ce3:8500::778c) |
| 2022-09-22 16:50:52 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 16:50:55 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 16:54:04 +0000 | causal | (~user@2001:470:ea0f:3:329c:23ff:fe3f:1e0e) |
| 2022-09-22 16:54:56 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Client Quit) |
| 2022-09-22 16:55:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 16:55:45 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 16:57:47 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 16:58:02 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-09-22 17:01:26 +0000 | qwedfg | (~qwedfg@user/qwedfg) (Client Quit) |
| 2022-09-22 17:01:55 +0000 | shapr | (~user@68.54.166.125) (Ping timeout: 248 seconds) |
| 2022-09-22 17:03:36 +0000 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-09-22 17:03:37 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 17:06:41 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 17:09:27 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 17:10:12 +0000 | qwedfg | (~qwedfg@user/qwedfg) |
| 2022-09-22 17:11:31 +0000 | mbuf | (~Shakthi@49.204.133.2) (Quit: Leaving) |
| 2022-09-22 17:11:33 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-22 17:15:01 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 17:15:22 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 17:16:02 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 17:21:36 +0000 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 17:22:41 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 17:25:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 17:25:37 +0000 | DavidBinder | (~DavidBind@134.2.10.18) (Quit: Leaving) |
| 2022-09-22 17:27:34 +0000 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 17:30:02 +0000 | benin0 | (~benin@183.82.204.58) (Client Quit) |
| 2022-09-22 17:30:35 +0000 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 258 seconds) |
| 2022-09-22 17:31:14 +0000 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 17:31:55 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-09-22 17:33:12 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a970cc5a84df7b45360.dip0.t-ipconnect.de) |
| 2022-09-22 17:38:10 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-09-22 17:45:46 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-09-22 17:46:55 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-09-22 17:47:44 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 17:49:59 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2022-09-22 17:50:48 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 17:52:58 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 17:54:39 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 17:56:11 +0000 | cheater | (~Username@user/cheater) (Quit: BitchX: EPIC on steroids.) |
| 2022-09-22 17:56:32 +0000 | <EvanR> | > foldl1 (\a x -> a*10 + x) [1,2,3,4] -- 😎 |
| 2022-09-22 17:56:34 +0000 | <lambdabot> | 1234 |
| 2022-09-22 17:56:59 +0000 | <EvanR> | this has been your daily haskell |
| 2022-09-22 17:57:27 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 17:59:27 +0000 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-09-22 17:59:31 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 248 seconds) |
| 2022-09-22 18:00:41 +0000 | _abrantesasf_ | (~abrantesa@187.64.158.2) |
| 2022-09-22 18:00:51 +0000 | _abrantesasf_ | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 18:01:20 +0000 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 18:01:21 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 18:02:56 +0000 | abrantesasf | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 18:04:19 +0000 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 18:04:27 +0000 | cheater | (~Username@user/cheater) |
| 2022-09-22 18:05:21 +0000 | abrantesasf | (~abrantesa@187.64.158.2) (Remote host closed the connection) |
| 2022-09-22 18:06:09 +0000 | <monochrom> | Can you do little endian too? Find g s.t. g [4,3,2,1] = 1234. |
| 2022-09-22 18:07:02 +0000 | <johnw> | ". reverse" :) |
| 2022-09-22 18:07:27 +0000 | <monochrom> | That's cheating! |
| 2022-09-22 18:07:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 18:07:49 +0000 | <johnw> | wait, functional programming isn't just input -> output, but has a fairness component too?? |
| 2022-09-22 18:08:19 +0000 | <EvanR> | the function is pure, and total, but is it fair |
| 2022-09-22 18:08:21 +0000 | razetime | (~quassel@117.254.34.28) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-09-22 18:08:29 +0000 | <monochrom> | No, but I am highly opinionated and subjective! |
| 2022-09-22 18:09:37 +0000 | <darkling> | Doesn't game theory tell us that a function of two parameters must be either unfair or boring? |
| 2022-09-22 18:10:59 +0000 | <int-e> | monochrom: How is it cheating? The next step will be... foldl1 f . reverse = foldr1 (flip f) |
| 2022-09-22 18:11:17 +0000 | <monochrom> | I think unfair implies boring, so "unfair or boring" is simplifiable to "boring". |
| 2022-09-22 18:11:48 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a970cc5a84df7b45360.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 2022-09-22 18:11:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 18:12:38 +0000 | <int-e> | . o O ( monochrom :: a -> IRC Opinion ) |
| 2022-09-22 18:12:55 +0000 | <darkling> | I think in the original theorem, "unfair" means the first player always wins (or the second player always wins); "boring" means that the best either player can do is force a draw. |
| 2022-09-22 18:13:41 +0000 | <int-e> | just add randomness |
| 2022-09-22 18:13:51 +0000 | <int-e> | or hidden information |
| 2022-09-22 18:15:02 +0000 | <monochrom> | I was joking! |
| 2022-09-22 18:15:30 +0000 | <monochrom> | Unpopular opinion: randomness implies hidden information :) |
| 2022-09-22 18:15:55 +0000 | <monochrom> | (OK OK you can cite quantum mechanics for randomness without hidden information. I was joking too!) |
| 2022-09-22 18:15:58 +0000 | <darkling> | Sorry, I was being too serious. :) |
| 2022-09-22 18:16:00 +0000 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-09-22 18:16:02 +0000 | waldo | (~waldo@user/waldo) |
| 2022-09-22 18:16:05 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) |
| 2022-09-22 18:16:11 +0000 | <dolio> | Quantum-ness implies hidden information. :þ |
| 2022-09-22 18:16:26 +0000 | monochrom | tries to increase silliness, as agreed upon yesterday! |
| 2022-09-22 18:16:39 +0000 | <darkling> | :D |
| 2022-09-22 18:17:38 +0000 | <monochrom> | I happen to think that quantumness implies lack of information altogether! |
| 2022-09-22 18:17:56 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8cc:ae19:96a3:90f3) |
| 2022-09-22 18:18:28 +0000 | <monochrom> | But I guess you reply that "lack implies hidden, vacuously". |
| 2022-09-22 18:20:20 +0000 | <geekosaur> | another "all variables are hidden" proponent \o/ |
| 2022-09-22 18:20:58 +0000 | cheater | (~Username@user/cheater) (Quit: (BitchX) It's a huge shit sandwich and we're all gonna have to take a bite.) |
| 2022-09-22 18:24:12 +0000 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-09-22 18:26:28 +0000 | <dolio> | Here's how you get Bell violations using hidden variables and describing your experiment in an overly-idealized way (which is standard in quantum mechanics :þ): https://hub.darcs.net/dolio/haskell-share/browse/quantum/Main.hs |
| 2022-09-22 18:28:04 +0000 | cheater | (~Username@user/cheater) |
| 2022-09-22 18:28:53 +0000 | <mniip> | the quantum vs hidden information part is mostly about the difference between values that uniquely identify a state where each can be measured in principle, and values that can be simultaneously measured on a single instance of a system |
| 2022-09-22 18:29:55 +0000 | <mniip> | with some reasoning about compound systems we conclude that the former have to grow quadratically wrt to the latter |
| 2022-09-22 18:30:53 +0000 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2022-09-22 18:31:50 +0000 | <mniip> | mostly referring to https://arxiv.org/abs/quant-ph/0101012 |
| 2022-09-22 18:31:55 +0000 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 258 seconds) |
| 2022-09-22 18:33:41 +0000 | abrantesasf | (~abrantesa@187.64.158.2) |
| 2022-09-22 18:34:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) |
| 2022-09-22 18:34:25 +0000 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-09-22 18:37:19 +0000 | cheater | (~Username@user/cheater) |
| 2022-09-22 18:42:15 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 18:46:45 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 18:48:15 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 18:51:08 +0000 | benin0 | (~benin@183.82.204.58) (Quit: The Lounge - https://thelounge.chat) |
| 2022-09-22 18:51:59 +0000 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-09-22 18:52:12 +0000 | chexum_ | (~quassel@gateway/tor-sasl/chexum) |
| 2022-09-22 18:52:12 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2022-09-22 18:52:25 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-09-22 18:52:27 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 2022-09-22 18:54:45 +0000 | Lord_of_Life_ | Lord_of_Life |
| 2022-09-22 18:57:54 +0000 | benin0 | (~benin@183.82.204.58) |
| 2022-09-22 18:58:36 +0000 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2022-09-22 19:02:29 +0000 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-22 19:07:48 +0000 | slack1256 | (~slack1256@181.43.224.87) |
| 2022-09-22 19:08:08 +0000 | ft | (~ft@p3e9bc57b.dip0.t-ipconnect.de) |
| 2022-09-22 19:09:21 +0000 | <slack1256> | Is there a `stack` command to just generate the corresponding .cabal file via hpack? |
| 2022-09-22 19:11:27 +0000 | <geekosaur[m]> | I think you just run hpack? |
| 2022-09-22 19:11:47 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 260 seconds) |
| 2022-09-22 19:13:10 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 19:13:27 +0000 | slack8060 | (~slack1256@191.125.227.214) |
| 2022-09-22 19:15:54 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 19:16:00 +0000 | slack1256 | (~slack1256@181.43.224.87) (Ping timeout: 264 seconds) |
| 2022-09-22 19:17:30 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 19:17:33 +0000 | <slack8060> | geekosaur[m]: mmmm that. |
| 2022-09-22 19:17:55 +0000 | slack8060 | slack1256 |
| 2022-09-22 19:18:18 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b118:ce88:f1f7:8f6c) |
| 2022-09-22 19:19:15 +0000 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds) |
| 2022-09-22 19:20:31 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 19:21:03 +0000 | caryhartline | (~caryhartl@2600:1700:2d0:8d30:8cc:ae19:96a3:90f3) (Quit: caryhartline) |
| 2022-09-22 19:21:45 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 258 seconds) |
| 2022-09-22 19:22:36 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 264 seconds) |
| 2022-09-22 19:23:49 +0000 | gmg | (~user@user/gehmehgeh) |
| 2022-09-22 19:25:33 +0000 | lechner | (lechner@debian/lechner) (Quit: WeeChat 3.5) |
| 2022-09-22 19:25:46 +0000 | <sm> | stack build --dry-run |
| 2022-09-22 19:26:48 +0000 | <sm> | (ensures you use the hpack version in stack and avoid spurious diffs) |
| 2022-09-22 19:29:00 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) |
| 2022-09-22 19:29:27 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 19:35:17 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-09-22 19:35:35 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 244 seconds) |
| 2022-09-22 19:43:24 +0000 | <slack1256> | sm: Marvelous! |
| 2022-09-22 19:45:55 +0000 | lechner | (lechner@debian/lechner) |
| 2022-09-22 19:47:45 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 19:51:05 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) (Quit: WeeChat 3.6) |
| 2022-09-22 19:52:07 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:b118:ce88:f1f7:8f6c) (Quit: WeeChat 2.8) |
| 2022-09-22 19:55:18 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 19:57:59 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-09-22 19:59:52 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 20:00:20 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 20:01:01 +0000 | m1dnight | (~christoph@78-22-0-121.access.telenet.be) |
| 2022-09-22 20:04:18 +0000 | pavonia | (~user@user/siracusa) |
| 2022-09-22 20:09:29 +0000 | lyle | (~lyle@104.246.145.85) (Quit: WeeChat 3.6) |
| 2022-09-22 20:09:42 +0000 | raehik | (~raehik@zone3.jesus.cam.ac.uk) |
| 2022-09-22 20:11:49 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 20:18:08 +0000 | kenran | (~kenran@200116b82b23c300cebe7b294bbc801c.dip.versatel-1u1.de) |
| 2022-09-22 20:18:34 +0000 | Midjak | (~Midjak@82.66.147.146) |
| 2022-09-22 20:26:05 +0000 | slack1256 | (~slack1256@191.125.227.214) (Read error: Connection reset by peer) |
| 2022-09-22 20:26:10 +0000 | slac78474 | (~slack1256@181.43.224.87) |
| 2022-09-22 20:28:10 +0000 | valzant | (~parsival@209.141.195.79) |
| 2022-09-22 20:30:46 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 20:32:08 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 20:33:32 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-09-22 20:35:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 20:35:47 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-09-22 20:38:14 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2022-09-22 20:38:26 +0000 | jgeerds_ | (~jgeerds@55d46bad.access.ecotel.net) |
| 2022-09-22 20:39:39 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 20:40:36 +0000 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2022-09-22 20:43:43 +0000 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Ping timeout: 246 seconds) |
| 2022-09-22 20:44:18 +0000 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) (Ping timeout: 244 seconds) |
| 2022-09-22 20:45:09 +0000 | kenran | (~kenran@200116b82b23c300cebe7b294bbc801c.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-09-22 20:45:17 +0000 | dsrt^ | (~dsrt@173-160-76-137-atlanta.hfc.comcastbusiness.net) |
| 2022-09-22 20:47:10 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 20:47:19 +0000 | waleee | (~waleee@h-176-10-137-138.NA.cust.bahnhof.se) |
| 2022-09-22 20:50:52 +0000 | __monty__ | (~toonn@user/toonn) |
| 2022-09-22 20:52:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 20:54:34 +0000 | valzant | (~parsival@209.141.195.79) (Ping timeout: 246 seconds) |
| 2022-09-22 20:54:39 +0000 | bontaq` | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 2022-09-22 20:55:02 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 20:56:11 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 21:04:49 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 21:08:12 +0000 | nate2 | (~nate@98.45.169.16) |
| 2022-09-22 21:10:03 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-34.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-09-22 21:13:12 +0000 | nate2 | (~nate@98.45.169.16) (Ping timeout: 265 seconds) |
| 2022-09-22 21:16:33 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 21:23:46 +0000 | coot | (~coot@213.134.176.158) (Quit: coot) |
| 2022-09-22 21:29:58 +0000 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-09-22 21:33:07 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 21:40:56 +0000 | kimjetwav | (~user@2607:fea8:235e:b600:9d02:5eae:f964:930) |
| 2022-09-22 21:45:35 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 265 seconds) |
| 2022-09-22 21:51:01 +0000 | acidjnk_new | (~acidjnk@p200300d6e7137a97958fabe0efe8f0df.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-09-22 21:52:44 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 268 seconds) |
| 2022-09-22 21:58:21 +0000 | raehik | (~raehik@zone3.jesus.cam.ac.uk) (Ping timeout: 268 seconds) |
| 2022-09-22 22:02:12 +0000 | michalz | (~michalz@185.246.207.217) (Remote host closed the connection) |
| 2022-09-22 22:08:56 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-09-22 22:12:09 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 252 seconds) |
| 2022-09-22 22:16:13 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 22:18:18 +0000 | cpli | aaaaaaaaaaaaaaaa |
| 2022-09-22 22:19:03 +0000 | aaaaaaaaaaaaaaaa | bbbbbbbbbbbbbbbb |
| 2022-09-22 22:19:15 +0000 | bbbbbbbbbbbbbbbb | cccccccccccccccc |
| 2022-09-22 22:19:29 +0000 | cccccccccccccccc | cpli |
| 2022-09-22 22:20:28 +0000 | emmanuelux | (~emmanuelu@2a01cb0000f393002df2f41052616626.ipv6.abo.wanadoo.fr) |
| 2022-09-22 22:23:06 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 22:25:28 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 22:30:01 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 22:33:14 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2022-09-22 22:39:48 +0000 | pottsy | (~pottsy@90.pool85-52-231.static.orange.es) (Ping timeout: 268 seconds) |
| 2022-09-22 22:40:00 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-09-22 22:40:49 +0000 | jpds1 | (~jpds@gateway/tor-sasl/jpds) |
| 2022-09-22 22:48:54 +0000 | Oiyqlk | (~IceChat95@2804:d45:8833:a600:b110:5345:c0fc:21cf) |
| 2022-09-22 22:50:50 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-22 22:52:40 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Quit: ChaiTRex) |
| 2022-09-22 22:52:44 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 22:53:20 +0000 | oak- | (~oakuniver@2001:470:69fc:105::fcd) () |
| 2022-09-22 22:53:32 +0000 | oak- | (~oakuniver@2001:470:69fc:105::fcd) |
| 2022-09-22 22:54:48 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-09-22 22:57:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 23:02:31 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 23:05:41 +0000 | yin | zzz |
| 2022-09-22 23:09:19 +0000 | sagax | (~sagax_nb@user/sagax) (Excess Flood) |
| 2022-09-22 23:10:50 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-09-22 23:12:06 +0000 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) (Quit: EashanHatti) |
| 2022-09-22 23:12:33 +0000 | EashanHatti | (~Thunderbi@c-24-126-44-70.hsd1.wv.comcast.net) |
| 2022-09-22 23:21:56 +0000 | Oiyqlk | (~IceChat95@2804:d45:8833:a600:b110:5345:c0fc:21cf) (Quit: First shalt thou take out the Holy Pin. Then, shalt thou count to three. No more. No less.) |
| 2022-09-22 23:23:32 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 23:27:34 +0000 | titibandit | (~titibandi@xdsl-87-78-162-143.nc.de) (Remote host closed the connection) |
| 2022-09-22 23:28:05 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 244 seconds) |
| 2022-09-22 23:29:59 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 265 seconds) |
| 2022-09-22 23:30:35 +0000 | rockymarine | (~rocky@user/rockymarine) |
| 2022-09-22 23:31:45 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-09-22 23:43:35 +0000 | chomwitt | (~chomwitt@2a02:587:dc14:f500:2dfd:13d3:f366:7e03) (Ping timeout: 244 seconds) |
| 2022-09-22 23:47:53 +0000 | matthewmosior | (~matthewmo@173.170.253.91) |
| 2022-09-22 23:52:21 +0000 | matthewmosior | (~matthewmo@173.170.253.91) (Ping timeout: 260 seconds) |
| 2022-09-22 23:55:56 +0000 | slack1256 | (~slack1256@191.126.227.65) |
| 2022-09-22 23:57:48 +0000 | king_gs | (~Thunderbi@2806:103e:29:ac5e:a16e:4ac9:a89b:4d) |
| 2022-09-22 23:58:30 +0000 | slac78474 | (~slack1256@181.43.224.87) (Ping timeout: 265 seconds) |
| 2022-09-22 23:59:43 +0000 | rockymarine | (~rocky@user/rockymarine) (Ping timeout: 246 seconds) |