| 2021-03-11 00:00:55 +0100 | Guest20912 | (~Yassine@105.156.108.211) |
| 2021-03-11 00:00:57 +0100 | <Guest20912> | hi |
| 2021-03-11 00:01:46 +0100 | <Axman6> | carbolymer: Time to use https://hackage.haskell.org/package/unamb-0.2.7/docs/Data-Unamb.html and race all implementations at once! |
| 2021-03-11 00:01:49 +0100 | <Axman6> | Guest20912: hello! |
| 2021-03-11 00:02:39 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-11 00:03:33 +0100 | <carbolymer> | Axman6: what is this? |
| 2021-03-11 00:03:50 +0100 | <Guest20912> | hey guys |
| 2021-03-11 00:03:53 +0100 | <Guest20912> | how are you |
| 2021-03-11 00:04:18 +0100 | <Guest20912> | https://hackage.haskell.org/package/unamb-0.2.7/docs/Data-Unamb.html what this link about |
| 2021-03-11 00:04:24 +0100 | bergey` | (~user@107.181.19.30) (Ping timeout: 246 seconds) |
| 2021-03-11 00:04:38 +0100 | <Axman6> | it's documentation for a haskell library |
| 2021-03-11 00:05:08 +0100 | <Guest20912> | anyone worked with YAML here |
| 2021-03-11 00:05:17 +0100 | mananamenos_ | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 265 seconds) |
| 2021-03-11 00:05:19 +0100 | <monochrom> | No. |
| 2021-03-11 00:05:24 +0100 | <Axman6> | Yes. |
| 2021-03-11 00:05:27 +0100 | <monochrom> | This is not a YAML channel. |
| 2021-03-11 00:05:47 +0100 | <monochrom> | inb4 This is not a directory service either. |
| 2021-03-11 00:05:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-11 00:06:04 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-11 00:06:24 +0100 | <Guest20912> | it was just a question monochrom i get that |
| 2021-03-11 00:06:43 +0100 | Guest20912 | (~Yassine@105.156.108.211) () |
| 2021-03-11 00:06:51 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 2021-03-11 00:07:07 +0100 | <Axman6> | Do you have any questions about Haskell? |
| 2021-03-11 00:07:11 +0100 | hydroxon1um | (7458bdce@116.88.189.206) (Quit: Connection closed) |
| 2021-03-11 00:07:54 +0100 | <Axman6> | I guess not |
| 2021-03-11 00:08:14 +0100 | hazard-pointer_ | (sid331723@gateway/web/irccloud.com/x-rscrbhaeowmswqqn) () |
| 2021-03-11 00:08:27 +0100 | hazard-pointer_ | (sid331723@gateway/web/irccloud.com/x-yguwayyfezbfvngd) |
| 2021-03-11 00:09:02 +0100 | jud^ | (~jud@76.210.187.183) |
| 2021-03-11 00:09:31 +0100 | m-renaud | (sid333785@gateway/web/irccloud.com/x-bkrbrcredfckpflf) () |
| 2021-03-11 00:09:47 +0100 | m-renaud | (sid333785@gateway/web/irccloud.com/x-zqfzcnsyosafkivm) |
| 2021-03-11 00:10:21 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 00:12:44 +0100 | jud | (~jud@unaffiliated/jud) (Ping timeout: 256 seconds) |
| 2021-03-11 00:14:11 +0100 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-03-11 00:14:57 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Ping timeout: 265 seconds) |
| 2021-03-11 00:17:37 +0100 | roconnor | (~roconnor@host-45-58-192-182.dyn.295.ca) |
| 2021-03-11 00:19:48 +0100 | jack1909 | (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) (Ping timeout: 246 seconds) |
| 2021-03-11 00:20:58 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-11 00:21:19 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-11 00:22:03 +0100 | tomku | (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-03-11 00:22:56 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:519a:9076:b242:5207) |
| 2021-03-11 00:28:13 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-vlzznqernbfijtli) () |
| 2021-03-11 00:28:28 +0100 | dani- | (sid341953@gateway/web/irccloud.com/x-tmspjqxdraljonyu) |
| 2021-03-11 00:31:01 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-11 00:31:34 +0100 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-11 00:32:57 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-11 00:34:03 +0100 | bitmagie | (~Thunderbi@200116b80638f2001086a93e70cf6b57.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-11 00:34:36 +0100 | <monochrom> | Yikes, the Yoneda lemma is intuitive in retrospect. I buried my head too deeply in the formal game. |
| 2021-03-11 00:35:10 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-11 00:35:46 +0100 | <monochrom> | Someone gives you "phi :: forall r. (Int -> r) -> [r]" for example. What can phi possibly do without breaking parametricity or naturality? |
| 2021-03-11 00:36:54 +0100 | <monochrom> | It doesn't know what r is, hell it doesn't even know what to do with the Int->r function you give it, except to call it on a few secret Ints and make that [r] list. |
| 2021-03-11 00:36:59 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Client Quit) |
| 2021-03-11 00:37:17 +0100 | elliott_ | (~elliott_@172.58.190.239) |
| 2021-03-11 00:37:35 +0100 | elliott_ | (~elliott_@172.58.190.239) (Read error: Connection reset by peer) |
| 2021-03-11 00:37:36 +0100 | <monochrom> | So it has to go like "phi g = [g secret_number_1, g secret_number_2, g secret_number 3]". |
| 2021-03-11 00:37:59 +0100 | <monochrom> | In that sense, "forall r. (Int -> r) -> [r]" doesn't exceed [Int]. |
| 2021-03-11 00:38:39 +0100 | jud^ | (~jud@76.210.187.183) (Quit: Leaving) |
| 2021-03-11 00:38:56 +0100 | <monochrom> | [] is just an example. You can imagine extending this to other data structures, and other functors. |
| 2021-03-11 00:39:25 +0100 | jud | (~jud@unaffiliated/jud) |
| 2021-03-11 00:39:53 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 00:41:37 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 00:42:17 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-11 00:42:32 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b9595a49e15de1a2c16dc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-11 00:42:49 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 2021-03-11 00:42:51 +0100 | conal | (~conal@198.8.81.80) |
| 2021-03-11 00:43:34 +0100 | Tops21 | (~Tobias@dyndsl-095-033-019-066.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-11 00:45:41 +0100 | <monochrom> | I'm going to put it on the exam. >:) |
| 2021-03-11 00:46:02 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 2021-03-11 00:49:15 +0100 | <hpc> | maybe it'd be easier to remember if it had a descriptive name |
| 2021-03-11 00:49:42 +0100 | <hpc> | if it was "the parametricity suchandsuch", i would barely even have to think about what it is to understand it |
| 2021-03-11 00:50:11 +0100 | Axman6 | phi :: (forall r. Rational -> r) -> Tree r |
| 2021-03-11 00:50:33 +0100 | solidus-river | (~mike@174.127.249.180) |
| 2021-03-11 00:50:41 +0100 | <Axman6> | hmm, those brackets are probablt wrong - does it make a difference in this case? |
| 2021-03-11 00:51:57 +0100 | <solidus-river> | hey all, i'm using haskell-language-server for the first time and just realized it needs to be built with the exact version of ghc that my project is using. whats the best strategy to support working on projects with different ghc targets at the same time? (e.g.) is there a way to build for 8.3 and 8.10 and conditionally use one or the other via a hie.yaml file? |
| 2021-03-11 00:52:17 +0100 | <Axman6> | did you install it using ghcup? |
| 2021-03-11 00:52:38 +0100 | <Axman6> | 8.3 seems like a version you definitely shouldn't be using :) |
| 2021-03-11 00:55:03 +0100 | <solidus-river> | i'm using stack, the projects i'm working on for now are all using 8.10.4 but the installer targetd 8.8.4 |
| 2021-03-11 00:55:32 +0100 | <solidus-river> | not a big problem for now since everythings on 8.10.4, but i'm not sure how smoothly ghc upgrades go or when it might be a problem and was trying to get ahead of it. :) |
| 2021-03-11 00:56:13 +0100 | <monochrom> | Axman6: The parentheses matter a lot. forall r. (Rational -> r) -> Tree r. That would be equiv to Tree Rational. |
| 2021-03-11 00:56:14 +0100 | <solidus-river> | recompiling hls for 8.10.4 (using stack) but it looks like one wrapper bin will be generated (although the others are versioned). maybe the wrapper targets the correct version if compiled? |
| 2021-03-11 00:56:29 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-11 00:56:46 +0100 | jack1909 | (~qpls@cpeb4750e67d202-cmf81d0fad5840.cpe.net.fido.ca) |
| 2021-03-11 00:57:46 +0100 | <Axman6> | I remember having tro go through those hopps in the past but haven't needed to since I started using ghcup to install HLS - in the past you'd do ./install 8.8.4 8.10.4 to build versions which matched GHCs and use the wrapper to choose the right one |
| 2021-03-11 00:59:41 +0100 | <solidus-river> | sounds like wrapper has a parameter i should be able to use then, didn't see anything with --help but digging more at the git docs. maybe it will be awesome and just choose the right bin based on the project version if one is available :) |
| 2021-03-11 01:00:10 +0100 | <Axman6> | the wrapper is supposed to just pick the correct thing for you |
| 2021-03-11 01:00:15 +0100 | <Axman6> | that's like it's entire point |
| 2021-03-11 01:03:25 +0100 | <solidus-river> | then the world makes sense ,,o.O,, |
| 2021-03-11 01:04:01 +0100 | <solidus-river> | it looks like it did just that too, this is slick. |
| 2021-03-11 01:08:13 +0100 | <monochrom> | Nice. |
| 2021-03-11 01:08:36 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-11 01:12:52 +0100 | mayleesia | (590caa9e@dynamic-089-012-170-158.89.12.pool.telefonica.de) (Quit: Connection closed) |
| 2021-03-11 01:15:19 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 2021-03-11 01:15:33 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 01:15:50 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 01:17:23 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 01:17:42 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 01:18:08 +0100 | <Axman6> | Haskell tooling is getting so nice these days. the HLS peeps are doing such a great job |
| 2021-03-11 01:18:09 +0100 | <joebobjoe> | is there a tool that can infer a json schema from a json file? |
| 2021-03-11 01:18:17 +0100 | <Axman6> | yes! |
| 2021-03-11 01:18:22 +0100 | <joebobjoe> | really? |
| 2021-03-11 01:18:25 +0100 | <Axman6> | aeson-autotype |
| 2021-03-11 01:18:28 +0100 | <Axman6> | IIR |
| 2021-03-11 01:18:29 +0100 | <Axman6> | C |
| 2021-03-11 01:18:33 +0100 | <joebobjoe> | thanks! |
| 2021-03-11 01:19:02 +0100 | <Axman6> | not JSON Schema though, though I think there might be something for that too |
| 2021-03-11 01:19:17 +0100 | <Axman6> | https://hackage.haskell.org/package/json-autotype |
| 2021-03-11 01:19:32 +0100 | <joebobjoe> | thank you |
| 2021-03-11 01:20:15 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 01:20:36 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 01:20:45 +0100 | <slack1256> | Axman6: Any guide on how to integrate HLS on nixos at hand? |
| 2021-03-11 01:20:51 +0100 | <Axman6> | no |
| 2021-03-11 01:20:59 +0100 | <slack1256> | I am a veteran from the ghc-mod days... |
| 2021-03-11 01:21:04 +0100 | <Axman6> | I've never touched NixOS, sorry :) |
| 2021-03-11 01:21:33 +0100 | b3zi | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 01:21:46 +0100 | <Axman6> | This looks pretty useful: https://hackage.haskell.org/package/aeson-schemas not sure I've come across it before |
| 2021-03-11 01:21:47 +0100 | nighmi | (~felix@port-92-196-49-206.dynamic.as20676.net) (Quit: WeeChat 3.0.1) |
| 2021-03-11 01:23:22 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 01:23:23 +0100 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 260 seconds) |
| 2021-03-11 01:23:28 +0100 | haritzondo | (~hrtz@62.3.70.206) (Quit: ZNC 1.6.5+deb1+deb9u2 - http://znc.in) |
| 2021-03-11 01:23:46 +0100 | haritz | (~hrtz@62.3.70.206) |
| 2021-03-11 01:23:46 +0100 | haritz | (~hrtz@62.3.70.206) (Changing host) |
| 2021-03-11 01:23:46 +0100 | haritz | (~hrtz@unaffiliated/haritz) |
| 2021-03-11 01:25:03 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-11 01:25:08 +0100 | Tesseraction_y | (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 260 seconds) |
| 2021-03-11 01:25:39 +0100 | <joebobjoe> | is there a haskeller's alternative to the json processing tool jq? |
| 2021-03-11 01:25:46 +0100 | <joebobjoe> | sometimes I wish I had more power |
| 2021-03-11 01:26:00 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-11 01:27:40 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 276 seconds) |
| 2021-03-11 01:27:55 +0100 | bennofs_ | (~quassel@dslb-094-222-060-049.094.222.pools.vodafone-ip.de) |
| 2021-03-11 01:28:25 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 01:28:26 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Client Quit) |
| 2021-03-11 01:30:28 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 01:30:30 +0100 | jdt | (~jdt@208.85.233.130) (Ping timeout: 246 seconds) |
| 2021-03-11 01:31:42 +0100 | bennofs__ | (~quassel@dslb-094-222-058-228.094.222.pools.vodafone-ip.de) (Ping timeout: 260 seconds) |
| 2021-03-11 01:35:25 +0100 | jdt | (~jdt@38.77.195.50) |
| 2021-03-11 01:39:03 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) |
| 2021-03-11 01:40:07 +0100 | <Axman6> | there's lens-aeson which gets you a long way |
| 2021-03-11 01:40:45 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ruipfsajaahduasm) |
| 2021-03-11 01:40:51 +0100 | <Axman6> | and the package I just posted gives you jq style accessors using quasiquotes |
| 2021-03-11 01:42:09 +0100 | Tesseraction | (~Tesseract@unaffiliated/tesseraction) |
| 2021-03-11 01:42:38 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 260 seconds) |
| 2021-03-11 01:42:56 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 01:46:14 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 2021-03-11 01:47:39 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-11 01:47:57 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-11 01:48:23 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 245 seconds) |
| 2021-03-11 01:48:29 +0100 | ajc_ | (~ajc@69.231.232.79) |
| 2021-03-11 01:48:33 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 01:51:02 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-11 01:51:08 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-03-11 01:54:55 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 01:57:48 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 01:59:33 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-11 02:02:09 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-11 02:02:29 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 02:03:02 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:4e2:5952:361b:951a) (Ping timeout: 264 seconds) |
| 2021-03-11 02:08:36 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 02:08:40 +0100 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:d07:73d7:6ea:cc71) |
| 2021-03-11 02:09:48 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 02:11:08 +0100 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-03-11 02:13:42 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 02:20:44 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 02:20:44 +0100 | bergey`` | (~user@107.181.19.30) |
| 2021-03-11 02:34:54 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 246 seconds) |
| 2021-03-11 02:35:08 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-11 02:37:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-11 02:37:09 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 264 seconds) |
| 2021-03-11 02:39:44 +0100 | drbean | (~drbean@TC210-63-209-161.static.apol.com.tw) |
| 2021-03-11 02:41:21 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-11 02:42:13 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:2026:8325:bd4b:a2d3) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 02:45:28 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-11 02:50:03 +0100 | epicte7us | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-11 02:50:25 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3150:8d29:fcc4:e9e5) |
| 2021-03-11 02:51:44 +0100 | denisse_ | (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-11 02:52:13 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection) |
| 2021-03-11 02:53:12 +0100 | thc202 | (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 2021-03-11 02:53:34 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-gbfjzprbmmawtnrl) (Quit: Connection closed for inactivity) |
| 2021-03-11 02:53:48 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 245 seconds) |
| 2021-03-11 02:54:11 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (Ping timeout: 268 seconds) |
| 2021-03-11 02:54:13 +0100 | denisse_ | denisse |
| 2021-03-11 02:55:51 +0100 | Khisanth | (~Khisanth@24.sub-174-244-147.myvzw.com) |
| 2021-03-11 02:57:18 +0100 | gxt | (~gxt@gateway/tor-sasl/gxt) |
| 2021-03-11 02:57:30 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 03:01:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-11 03:07:55 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 03:08:13 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-11 03:10:29 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-11 03:11:24 +0100 | conal | (~conal@198.8.81.80) (Quit: Computer has gone to sleep.) |
| 2021-03-11 03:15:46 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds) |
| 2021-03-11 03:17:25 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-11 03:22:58 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-11 03:25:47 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 03:30:32 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 03:31:33 +0100 | gzj | (~gzj@unaffiliated/gzj) (Quit: Leaving) |
| 2021-03-11 03:31:50 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-11 03:32:09 +0100 | unlink_ | (~unlink2@p200300ebcf13b600588c7881abb1ea42.dip0.t-ipconnect.de) |
| 2021-03-11 03:32:20 +0100 | ralu9 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2021-03-11 03:32:21 +0100 | poljar | (~poljar@93-139-44-107.adsl.net.t-com.hr) |
| 2021-03-11 03:32:28 +0100 | ambiso992 | (~ambiso@209.182.239.205) |
| 2021-03-11 03:32:33 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-11 03:32:48 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-11 03:32:59 +0100 | gothos_ | (~gothos@antsy.jhz.name) |
| 2021-03-11 03:33:18 +0100 | ViCi | (daniel@10PLM.ro) |
| 2021-03-11 03:33:24 +0100 | rembo10_ | (~rembo10@wally.codeshy.com) |
| 2021-03-11 03:33:38 +0100 | gabiruh_ | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-03-11 03:34:54 +0100 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 260 seconds) |
| 2021-03-11 03:35:31 +0100 | bitmagie | (~Thunderbi@200116b80638f200dd76d6fc8d720955.dip.versatel-1u1.de) |
| 2021-03-11 03:35:32 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-11 03:35:43 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 276 seconds) |
| 2021-03-11 03:35:57 +0100 | bergey`` | (~user@107.181.19.30) (Ping timeout: 264 seconds) |
| 2021-03-11 03:36:01 +0100 | comboy_ | (~quassel@tesuji.pl) |
| 2021-03-11 03:36:30 +0100 | poljar1 | (~poljar@93-139-44-107.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-03-11 03:36:30 +0100 | unlink2 | (~unlink2@p5b0883d5.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-11 03:36:30 +0100 | gothos | (~gothos@antsy.jhz.name) (Read error: Connection reset by peer) |
| 2021-03-11 03:36:30 +0100 | ralu | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: Ping timeout (120 seconds)) |
| 2021-03-11 03:36:30 +0100 | ambiso99 | (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 2021-03-11 03:36:30 +0100 | xsperry | (~as@unaffiliated/xsperry) (Read error: Connection reset by peer) |
| 2021-03-11 03:36:30 +0100 | rembo10 | (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-11 03:36:30 +0100 | ViCi^ | (daniel@10PLM.ro) (Quit: Quit!) |
| 2021-03-11 03:36:30 +0100 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-03-11 03:36:30 +0100 | comboy | (~quassel@tesuji.pl) (Remote host closed the connection) |
| 2021-03-11 03:36:30 +0100 | yahb | (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 2021-03-11 03:36:30 +0100 | Firedancer_ | (~Firedance@178.62.203.79) (Ping timeout: 260 seconds) |
| 2021-03-11 03:36:30 +0100 | quaestor | (~quaestor@griffith.christophrauch.de) (Ping timeout: 260 seconds) |
| 2021-03-11 03:36:30 +0100 | rookie101 | (~rookie@207.154.204.166) (Ping timeout: 260 seconds) |
| 2021-03-11 03:36:30 +0100 | gothos_ | gothos |
| 2021-03-11 03:36:30 +0100 | ralu9 | ralu |
| 2021-03-11 03:36:33 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 03:37:46 +0100 | Firedancer_ | (~Firedance@178.62.203.79) |
| 2021-03-11 03:38:02 +0100 | yahb | (xsbot@178.219.36.155) |
| 2021-03-11 03:38:02 +0100 | yahb | (xsbot@178.219.36.155) (Changing host) |
| 2021-03-11 03:38:02 +0100 | yahb | (xsbot@haskell/bot/yahb) |
| 2021-03-11 03:39:00 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 03:43:31 +0100 | lewky | (816b5083@129.107.80.131) |
| 2021-03-11 03:44:57 +0100 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-03-11 03:45:27 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:5fa0:5449:e803:13b0) |
| 2021-03-11 03:45:54 +0100 | Lord_of_Life_ | (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-03-11 03:46:06 +0100 | Lord_of_Life | (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 2021-03-11 03:47:18 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2021-03-11 03:48:43 +0100 | xff0x | (~xff0x@port-92-193-251-184.dynamic.as20676.net) (Ping timeout: 276 seconds) |
| 2021-03-11 03:49:47 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 03:50:37 +0100 | shailangsa | (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) () |
| 2021-03-11 03:50:59 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-11 03:53:24 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-11 03:54:06 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-11 03:54:19 +0100 | ADG1089__ | (~aditya@122.163.164.53) |
| 2021-03-11 03:54:26 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-11 03:55:05 +0100 | gzj | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-11 03:55:19 +0100 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-11 03:55:27 +0100 | gzj | (~gzj@unaffiliated/gzj) |
| 2021-03-11 03:55:46 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 03:55:54 +0100 | conal | (~conal@66.115.157.138) |
| 2021-03-11 03:55:55 +0100 | bitmagie | (~Thunderbi@200116b80638f200dd76d6fc8d720955.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-11 04:00:28 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-11 04:02:14 +0100 | CrazyPyt_ | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-11 04:02:15 +0100 | rookie101 | (~rookie@207.154.204.166) |
| 2021-03-11 04:02:39 +0100 | quaestor | (~quaestor@griffith.christophrauch.de) |
| 2021-03-11 04:03:20 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 04:04:33 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 2021-03-11 04:05:20 +0100 | elfets_ | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-11 04:05:31 +0100 | uberj | (~uberj@unaffiliated/uberj) (Remote host closed the connection) |
| 2021-03-11 04:05:38 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) (Max SendQ exceeded) |
| 2021-03-11 04:05:50 +0100 | uberj | (~uberj@unaffiliated/uberj) |
| 2021-03-11 04:05:57 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 2021-03-11 04:06:46 +0100 | ntkr | (uid491148@gateway/web/irccloud.com/x-dcjykuvxwerbfwae) |
| 2021-03-11 04:06:57 +0100 | beka | (~beka@gothdyke.mom) (Ping timeout: 265 seconds) |
| 2021-03-11 04:07:05 +0100 | DataComputist | (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-11 04:07:54 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 04:08:13 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-11 04:08:28 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 2021-03-11 04:08:28 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-03-11 04:09:10 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-11 04:09:20 +0100 | bergey`` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-11 04:10:13 +0100 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-03-11 04:10:13 +0100 | finn_elija | Guest44129 |
| 2021-03-11 04:10:13 +0100 | FinnElija | finn_elija |
| 2021-03-11 04:10:36 +0100 | plutoniix | (~q@184.82.199.159) |
| 2021-03-11 04:11:42 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-03-11 04:12:14 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-11 04:12:54 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 04:12:57 +0100 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-03-11 04:12:59 +0100 | beka | (~beka@gothdyke.mom) |
| 2021-03-11 04:13:27 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-11 04:13:36 +0100 | bergey`` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 246 seconds) |
| 2021-03-11 04:13:44 +0100 | Guest44129 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 2021-03-11 04:16:51 +0100 | alx741 | (~alx741@186.178.108.206) (Quit: alx741) |
| 2021-03-11 04:17:26 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-03-11 04:18:52 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 04:19:41 +0100 | kini | (~kini@unaffiliated/kini) (Remote host closed the connection) |
| 2021-03-11 04:19:56 +0100 | tomku | (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-03-11 04:21:00 +0100 | kini | (~kini@unaffiliated/kini) |
| 2021-03-11 04:21:16 +0100 | Jeanne-Kamikaze | elusive |
| 2021-03-11 04:21:58 +0100 | <hololeap> | i asked this in here before, but does anyone know of a package that has a version of the Endo monoid but for any Category? |
| 2021-03-11 04:23:47 +0100 | elusive | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-11 04:23:56 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) |
| 2021-03-11 04:26:16 +0100 | carlomagno1 | (~cararell@148.87.23.11) (Quit: Leaving.) |
| 2021-03-11 04:26:26 +0100 | raym | (~ray@45.64.220.113) |
| 2021-03-11 04:28:05 +0100 | <slack1256> | I have a long running program I would like to profile. All options on the RTS write the .prof files at the end of the execution. I would like it to keep runnning and only take snapshots when told. What are my options? |
| 2021-03-11 04:28:14 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-03-11 04:28:46 +0100 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-03-11 04:31:21 +0100 | conal | (~conal@66.115.157.138) (Quit: Computer has gone to sleep.) |
| 2021-03-11 04:32:10 +0100 | shailangsa | (~shailangs@host86-162-150-241.range86-162.btcentralplus.com) |
| 2021-03-11 04:33:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 04:34:09 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-11 04:34:17 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-11 04:35:31 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 04:35:57 +0100 | theDon | (~td@muedsl-82-207-238-252.citykom.de) (Ping timeout: 264 seconds) |
| 2021-03-11 04:36:54 +0100 | conal | (~conal@192.145.118.125) |
| 2021-03-11 04:37:47 +0100 | theDon | (~td@94.134.91.64) |
| 2021-03-11 04:39:16 +0100 | <qih> | What is the best method of installing Haskell_Latest & Stack on Debian 10? Package manager or via 'Get Haskell Stack'? |
| 2021-03-11 04:39:17 +0100 | tomku | (~tomku@unaffiliated/tomku) (Quit: Lost terminal) |
| 2021-03-11 04:40:26 +0100 | <koz_> | Debian anything is crufty and antique. Definitely get it from _outside_ the package manager if you wanna develop. |
| 2021-03-11 04:40:34 +0100 | <koz_> | (for like, system executables it depends) |
| 2021-03-11 04:41:42 +0100 | lewky | (816b5083@129.107.80.131) (Ping timeout: 240 seconds) |
| 2021-03-11 04:41:45 +0100 | <qih> | koz_: fair call, thank you. |
| 2021-03-11 04:42:06 +0100 | <qih> | Option B it is. |
| 2021-03-11 04:42:12 +0100 | graingert | graingert[m] |
| 2021-03-11 04:42:46 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 04:43:10 +0100 | graingert[m] | graingert |
| 2021-03-11 04:47:14 +0100 | <qih> | koz_: The Haskell Stack install said to append the /home/$user/.local/bin to the front of the $PATH, is this critical? |
| 2021-03-11 04:47:33 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-11 04:47:51 +0100 | <koz_> | qih: If you do 'which stack' do you get a path to an executable? |
| 2021-03-11 04:47:56 +0100 | <koz_> | If no, then yes; if yes, the no. |
| 2021-03-11 04:48:01 +0100 | <koz_> | s/the /then / |
| 2021-03-11 04:48:11 +0100 | <qih> | /usr/local/bin/stack <= yes |
| 2021-03-11 04:48:25 +0100 | <qih> | Hahaha, got it, ty |
| 2021-03-11 04:49:01 +0100 | <koz_> | This is where stack puts executables via 'stack install' I think. |
| 2021-03-11 04:49:10 +0100 | <koz_> | But if you don't plan to use 'stack install', it doesn't matter. |
| 2021-03-11 04:49:18 +0100 | tessier | (~treed@98.171.210.130) |
| 2021-03-11 04:49:18 +0100 | tessier | (~treed@98.171.210.130) (Changing host) |
| 2021-03-11 04:49:18 +0100 | tessier | (~treed@kernel-panic/copilotco) |
| 2021-03-11 04:49:45 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 264 seconds) |
| 2021-03-11 04:50:02 +0100 | <qih> | Well I do plan to use 'stack install', so then I am sorted. |
| 2021-03-11 04:50:41 +0100 | <koz_> | Yeah, if you wanna use 'stack install', you want /home/$user/.local/bin on your path. |
| 2021-03-11 04:50:50 +0100 | <qih> | Right, got it. |
| 2021-03-11 04:51:07 +0100 | machined1od | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 276 seconds) |
| 2021-03-11 04:52:05 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-03-11 04:52:57 +0100 | tomku | (~tomku@unaffiliated/tomku) (Client Quit) |
| 2021-03-11 04:55:12 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 04:55:46 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-11 04:55:58 +0100 | tomku | (~tomku@unaffiliated/tomku) |
| 2021-03-11 04:56:22 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 04:58:08 +0100 | <qih> | Interesting, fixed the path, sourced it, ran 'stack repl', and it pulled in the latest GHCI package. |
| 2021-03-11 05:00:03 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-11 05:01:12 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-11 05:01:14 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) (Ping timeout: 264 seconds) |
| 2021-03-11 05:04:03 +0100 | redmp_ | (~redmp@172.58.75.1) |
| 2021-03-11 05:04:12 +0100 | Lycurgus | (~niemand@98.4.114.199) |
| 2021-03-11 05:05:22 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 2021-03-11 05:06:23 +0100 | marinell1 | (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-11 05:07:09 +0100 | redmp | (~redmp@172.58.35.235) (Ping timeout: 264 seconds) |
| 2021-03-11 05:07:24 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-11 05:07:53 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 05:08:14 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-11 05:08:37 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Ping timeout: 268 seconds) |
| 2021-03-11 05:13:42 +0100 | forgottenone | (~forgotten@176.42.29.216) |
| 2021-03-11 05:15:45 +0100 | hollisb | (~hollisb@185.163.110.108) |
| 2021-03-11 05:21:18 +0100 | elfets_ | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 245 seconds) |
| 2021-03-11 05:21:37 +0100 | crestfallen | (~John@135-180-46-152.fiber.dynamic.sonic.net) |
| 2021-03-11 05:25:21 +0100 | Benzi-Junior | (~BenziJuni@88-149-64-40.du.xdsl.is) (Ping timeout: 246 seconds) |
| 2021-03-11 05:25:47 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-11 05:29:22 +0100 | Maxed | (~maxed@pool-108-46-41-239.nycmny.fios.verizon.net) |
| 2021-03-11 05:31:27 +0100 | Benzi-Junior | (~BenziJuni@88-149-64-40.du.xdsl.is) |
| 2021-03-11 05:34:24 +0100 | bitmagie | (~Thunderbi@200116b806741e00649f3f505ce69f1a.dip.versatel-1u1.de) |
| 2021-03-11 05:35:51 +0100 | Benzi-Junior | (~BenziJuni@88-149-64-40.du.xdsl.is) (Ping timeout: 246 seconds) |
| 2021-03-11 05:36:00 +0100 | B-J | (~BenziJuni@88-149-64-40.du.xdsl.is) |
| 2021-03-11 05:37:54 +0100 | <zebrag> | monochrom: The question you formulated related to Yoneda Lemma got me confused for a while. I think the wording "secret number" had too much of an air of mystery. And/or I thought you were meaning something else, I was confused. (you know, what about replacing "secret" by "magic", hum, just kidding.) |
| 2021-03-11 05:38:20 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-11 05:40:22 +0100 | <zebrag> | Beside that, yes, a good question, I mean, very enlightening. |
| 2021-03-11 05:40:45 +0100 | B-J | (~BenziJuni@88-149-64-40.du.xdsl.is) (Ping timeout: 264 seconds) |
| 2021-03-11 05:40:58 +0100 | <monochrom> | I fully intended mystery. |
| 2021-03-11 05:41:08 +0100 | <zebrag> | yes I understand that |
| 2021-03-11 05:42:53 +0100 | conal | (~conal@192.145.118.125) (Quit: Computer has gone to sleep.) |
| 2021-03-11 05:43:50 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 264 seconds) |
| 2021-03-11 05:46:31 +0100 | electricityZZZZ | (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2021-03-11 05:46:42 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-11 05:48:03 +0100 | orion_ | orion |
| 2021-03-11 05:48:29 +0100 | orion | (~orion@c-76-19-236-20.hsd1.nh.comcast.net) (Changing host) |
| 2021-03-11 05:48:29 +0100 | orion | (~orion@unaffiliated/orion) |
| 2021-03-11 05:49:55 +0100 | conal | (~conal@66.115.157.109) |
| 2021-03-11 05:51:36 +0100 | Benzi-Junior | (~BenziJuni@dsl-149-64-40.hive.is) |
| 2021-03-11 05:54:01 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 272 seconds) |
| 2021-03-11 05:56:41 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 05:57:12 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-11 05:57:20 +0100 | <ADG1089__> | getting wierd errors while compiling: `error: undefined reference to 'unorderedzmcontainerszm0zi2zi13zi0zm3awuPgUx2yvAACRZZkw6am3_DataziHashMapziInternalziArray_undefinedElem_closure'` |
| 2021-03-11 05:57:28 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-134-155.cust.tzulo.com) (Quit: Leaving) |
| 2021-03-11 05:57:33 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-11 05:58:35 +0100 | lewky | (4cba4096@cpe-76-186-64-150.tx.res.rr.com) |
| 2021-03-11 05:58:43 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 2021-03-11 05:59:22 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 276 seconds) |
| 2021-03-11 05:59:34 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 260 seconds) |
| 2021-03-11 05:59:46 +0100 | ADG1089__ | (~aditya@122.163.164.53) (Quit: Konversation terminated!) |
| 2021-03-11 06:01:35 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 06:01:45 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-11 06:02:19 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-11 06:02:59 +0100 | Maxed | (~maxed@pool-108-46-41-239.nycmny.fios.verizon.net) () |
| 2021-03-11 06:05:24 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-11 06:06:04 +0100 | bitmagie | (~Thunderbi@200116b806741e00649f3f505ce69f1a.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-03-11 06:06:15 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 06:07:54 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 06:08:13 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) |
| 2021-03-11 06:08:54 +0100 | <solidus-river> | exit |
| 2021-03-11 06:08:58 +0100 | <solidus-river> | :X |
| 2021-03-11 06:09:00 +0100 | solidus-river | (~mike@174.127.249.180) (Quit: leaving) |
| 2021-03-11 06:11:03 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 06:12:27 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-11 06:12:43 +0100 | crestfallen | (~John@135-180-46-152.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2021-03-11 06:14:04 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 265 seconds) |
| 2021-03-11 06:14:55 +0100 | ajc_ | (~ajc@69.231.232.79) (Read error: Connection reset by peer) |
| 2021-03-11 06:15:18 +0100 | gitgoood | (~gitgood@82-132-217-249.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-11 06:16:50 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 06:20:29 +0100 | JokerAscensionEx | (~egp_@2.95.74.168) (Remote host closed the connection) |
| 2021-03-11 06:23:26 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3150:8d29:fcc4:e9e5) (Ping timeout: 264 seconds) |
| 2021-03-11 06:24:19 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:b988:e81f:8033:2988) |
| 2021-03-11 06:24:25 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) |
| 2021-03-11 06:25:53 +0100 | drbean | (~drbean@TC210-63-209-161.static.apol.com.tw) (Ping timeout: 245 seconds) |
| 2021-03-11 06:35:14 +0100 | zq | (~zq@xorshift.org) () |
| 2021-03-11 06:37:01 +0100 | zceejkr | (~wintermut@cpe-92-37-88-51.dynamic.amis.net) |
| 2021-03-11 06:37:12 +0100 | Lycurgus | wishes peoples would quit the magic and magisteria and other bs as if and because real, not superstition is the way |
| 2021-03-11 06:37:19 +0100 | Lycurgus | (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-11 06:37:36 +0100 | zebrag | (~inkbottle@aaubervilliers-654-1-1-238.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 06:40:06 +0100 | <edwardk> | monochrom: spent an hour or so porting coyoneda onto 'distributive' with topos/tapas just now actually. |
| 2021-03-11 06:41:20 +0100 | <edwardk> | https://github.com/ekmett/distributive/blob/1/src/Data/Distributive/Coyoneda.hs#L29 whee |
| 2021-03-11 06:41:33 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 06:44:05 +0100 | <tapas> | wheeeeee |
| 2021-03-11 06:46:45 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 264 seconds) |
| 2021-03-11 06:47:13 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-11 06:54:00 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 06:55:49 +0100 | sablib1 | (~sablib@59.173.154.87) (Remote host closed the connection) |
| 2021-03-11 06:56:13 +0100 | sablib1 | (~sablib@171.113.166.178) |
| 2021-03-11 06:57:21 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-03-11 06:57:35 +0100 | Tario | (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-03-11 06:57:47 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-11 06:59:10 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 276 seconds) |
| 2021-03-11 07:01:42 +0100 | polyrain | (~polyrain@124.177.21.171) |
| 2021-03-11 07:02:21 +0100 | Tario | (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 2021-03-11 07:02:26 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:b988:e81f:8033:2988) (Ping timeout: 264 seconds) |
| 2021-03-11 07:02:35 +0100 | jophish | (~jophish@li1766-207.members.linode.com) |
| 2021-03-11 07:03:02 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 07:03:44 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 07:04:38 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 245 seconds) |
| 2021-03-11 07:04:54 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c134:a326:f47b:885b) |
| 2021-03-11 07:07:00 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 07:08:53 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 07:12:20 +0100 | jophish | (~jophish@li1766-207.members.linode.com) (Quit: WeeChat 3.1) |
| 2021-03-11 07:13:23 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-11 07:13:51 +0100 | jophish | (~jophish@li1766-207.members.linode.com) |
| 2021-03-11 07:15:16 +0100 | toorevitimirp | (~tooreviti@117.182.183.154) |
| 2021-03-11 07:17:44 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-11 07:23:40 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 07:24:30 +0100 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-03-11 07:26:43 +0100 | crobbins_ | (~crobbins@c-73-76-34-113.hsd1.tx.comcast.net) |
| 2021-03-11 07:30:02 +0100 | crobbins | (~crobbins@2601:2c1:200:ec50:30f7:9e8e:ec2a:2032) (Ping timeout: 264 seconds) |
| 2021-03-11 07:31:42 +0100 | crobbins_ | (~crobbins@c-73-76-34-113.hsd1.tx.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-11 07:33:33 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-11 07:34:30 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-hvyfxukatujiwcjk) (Quit: Connection closed for inactivity) |
| 2021-03-11 07:34:38 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 07:35:15 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-11 07:35:37 +0100 | lewky | (4cba4096@cpe-76-186-64-150.tx.res.rr.com) (Quit: Connection closed) |
| 2021-03-11 07:36:39 +0100 | marinell1 | (~marinelli@gateway/tor-sasl/marinelli) (Quit: marinell1) |
| 2021-03-11 07:38:25 +0100 | mayleesia28 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) |
| 2021-03-11 07:38:26 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-11 07:39:55 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-hvixwxeomfxyoqsc) (Quit: Connection closed for inactivity) |
| 2021-03-11 07:44:48 +0100 | arrowsvc_ | (~arr@2.93.163.35) |
| 2021-03-11 07:45:01 +0100 | johannes | (~johannes@b2b-37-24-119-189.unitymedia.biz) |
| 2021-03-11 07:46:16 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-xmnmssabcgdtuskn) |
| 2021-03-11 07:46:35 +0100 | ADG1089__ | (~aditya@122.163.164.53) |
| 2021-03-11 07:47:04 +0100 | mayleesia28 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) (Quit: mayleesia28) |
| 2021-03-11 07:49:05 +0100 | johannes | (~johannes@b2b-37-24-119-189.unitymedia.biz) (Client Quit) |
| 2021-03-11 07:50:10 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-03-11 07:50:28 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:5fa0:5449:e803:13b0) (Remote host closed the connection) |
| 2021-03-11 07:50:46 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:b725:f596:28db:d858) |
| 2021-03-11 07:51:59 +0100 | drbean | (~drbean@TC210-63-209-216.static.apol.com.tw) |
| 2021-03-11 07:54:48 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-11 07:56:18 +0100 | polyrain | (~polyrain@124.177.21.171) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 07:56:41 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:b725:f596:28db:d858) (Remote host closed the connection) |
| 2021-03-11 07:56:59 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:b747:35a4:f7cb:93f9) |
| 2021-03-11 07:57:22 +0100 | ezrakilty | (~ezrakilty@97-113-55-149.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-11 07:57:34 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 07:58:01 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-11 07:58:02 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 07:59:00 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-11 07:59:46 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) |
| 2021-03-11 07:59:50 +0100 | hongminhee | (hongminhee@gateway/web/irccloud.com/x-fsrpgumqewqqpots) (Quit: Updating details, brb) |
| 2021-03-11 08:00:01 +0100 | hongminhee | (sid295@gateway/web/irccloud.com/x-reqeofkcspifcxav) |
| 2021-03-11 08:01:16 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-03-11 08:03:20 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-zipyvhzkdivpihoa) (Quit: Connection closed for inactivity) |
| 2021-03-11 08:03:21 +0100 | lupulo | (~lupulo@163.117.64.56) (Remote host closed the connection) |
| 2021-03-11 08:04:15 +0100 | joebobjoe | (~joebobjoe@unaffiliated/joebobjoe) (Ping timeout: 246 seconds) |
| 2021-03-11 08:04:27 +0100 | lupulo | (~lupulo@163.117.64.56) |
| 2021-03-11 08:04:45 +0100 | redmp | (~redmp@172.58.27.233) |
| 2021-03-11 08:06:05 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) |
| 2021-03-11 08:06:52 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 08:07:45 +0100 | redmp_ | (~redmp@172.58.75.1) (Ping timeout: 246 seconds) |
| 2021-03-11 08:10:29 +0100 | CaptainIRS | (9d31e24f@157.49.226.79) |
| 2021-03-11 08:10:45 +0100 | exarkun57 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) |
| 2021-03-11 08:11:15 +0100 | exarkun57 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) (Client Quit) |
| 2021-03-11 08:11:57 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 2021-03-11 08:12:19 +0100 | freestyle | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) |
| 2021-03-11 08:12:25 +0100 | freestyle | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) (Client Quit) |
| 2021-03-11 08:13:09 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 264 seconds) |
| 2021-03-11 08:13:17 +0100 | Boomerang | (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16) |
| 2021-03-11 08:13:31 +0100 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-11 08:13:52 +0100 | mayleesia16 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) |
| 2021-03-11 08:14:27 +0100 | mayleesia16 | (4e37ef66@dynamic-078-055-239-102.78.55.pool.telefonica.de) () |
| 2021-03-11 08:14:27 +0100 | asheshambasta | (~user@ptr-e1lysav9wm55yti8rns.18120a2.ip6.access.telenet.be) |
| 2021-03-11 08:14:41 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-03-11 08:16:30 +0100 | Jd007 | (~Jd007@162.156.11.151) (Quit: Jd007) |
| 2021-03-11 08:16:32 +0100 | <qih> | I just installed 'Bench' using Stack, went fine, works. |
| 2021-03-11 08:17:04 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-03-11 08:17:42 +0100 | <qih> | I thought I just installed 'Turtle' using Stack, was very fast. The wrote a simple Hello_World.hs, execute and now the system is pulling in GHC, Cabal packages etc. What gives? |
| 2021-03-11 08:17:54 +0100 | <qih> | s/The/Then |
| 2021-03-11 08:19:13 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-11 08:21:20 +0100 | ggole | (~ggole@2001:8003:8119:7200:f166:e0e1:fa1e:acf8) |
| 2021-03-11 08:22:23 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-11 08:22:39 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:c134:a326:f47b:885b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 08:25:26 +0100 | ADG1089__ | (~aditya@122.163.164.53) (Quit: Konversation terminated!) |
| 2021-03-11 08:25:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 08:26:27 +0100 | <qih> | NFI what happened there, however it is all installed correctly. |
| 2021-03-11 08:29:53 +0100 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-03-11 08:30:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-11 08:30:33 +0100 | Unhammer | (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-03-11 08:30:43 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-11 08:31:32 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 08:33:58 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 268 seconds) |
| 2021-03-11 08:35:56 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-11 08:36:14 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-03-11 08:37:57 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 08:40:47 +0100 | <tomsmeding> | qih: with what stackage LTS did you install Bench and Turtle, and with what stackage LTS are you writing your hello world? |
| 2021-03-11 08:41:22 +0100 | <tomsmeding> | stack downloads whatever it needs to run your stuff at the stackage version you specified, up to and including downloading GHC |
| 2021-03-11 08:41:24 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 08:41:27 +0100 | mananamenos_ | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 2021-03-11 08:42:06 +0100 | MrMobius | (~MrMobius@208.58.206.154) (Read error: Connection reset by peer) |
| 2021-03-11 08:42:16 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 08:44:02 +0100 | polyrain | (~polyrain@130.102.13.112) |
| 2021-03-11 08:51:04 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-11 08:51:04 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Read error: Connection reset by peer) |
| 2021-03-11 08:52:33 +0100 | mozzarella | (~sam@unaffiliated/sam113101) (Ping timeout: 260 seconds) |
| 2021-03-11 08:54:52 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 08:56:23 +0100 | <tomjaguarpaw> | I was astonished to discover that this is allowed without BangPatterns: example = let !x = error "x" in () |
| 2021-03-11 08:56:35 +0100 | Matthias1 | (~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer) |
| 2021-03-11 08:57:44 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 08:58:40 +0100 | lambda-11235 | (~lambda-11@2600:1700:7c70:4600:519a:9076:b242:5207) (Quit: Bye) |
| 2021-03-11 08:58:43 +0100 | <MarcelineVQ> | not in my ghc it's not :> |
| 2021-03-11 08:59:38 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-11 08:59:42 +0100 | patrick2 | (~tarpk@ool-182dca76.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 2021-03-11 08:59:42 +0100 | Yumasi | (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 2021-03-11 08:59:57 +0100 | sablib1 | (~sablib@171.113.166.178) (Ping timeout: 264 seconds) |
| 2021-03-11 09:00:04 +0100 | encod3 | (~encod3@45-154-157-94.ftth.glasoperator.nl) () |
| 2021-03-11 09:00:08 +0100 | Tene_ | (~tene@mail.digitalkingdom.org) (Ping timeout: 260 seconds) |
| 2021-03-11 09:00:08 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) (Ping timeout: 260 seconds) |
| 2021-03-11 09:00:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 09:00:14 +0100 | patrick2 | (~tarpk@ool-182dca76.dyn.optonline.net) |
| 2021-03-11 09:00:41 +0100 | Tene | (~tene@mail.digitalkingdom.org) |
| 2021-03-11 09:00:41 +0100 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-03-11 09:00:41 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2021-03-11 09:01:18 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds) |
| 2021-03-11 09:01:32 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) |
| 2021-03-11 09:01:52 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
| 2021-03-11 09:02:13 +0100 | <tomjaguarpaw> | Interesting. Seems to have been allowed in 8.4 but not from 8.6 onwards |
| 2021-03-11 09:02:16 +0100 | <tomjaguarpaw> | Maybe a bug |
| 2021-03-11 09:03:45 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 246 seconds) |
| 2021-03-11 09:04:08 +0100 | cyphase | (~cyphase@unaffiliated/cyphase) |
| 2021-03-11 09:05:03 +0100 | gzj | (~gzj@unaffiliated/gzj) (Ping timeout: 245 seconds) |
| 2021-03-11 09:06:38 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 09:06:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-03-11 09:07:52 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 09:08:37 +0100 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-03-11 09:09:01 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 09:10:50 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-11 09:10:59 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:6193:a9fe:af70:ae6e) (Ping timeout: 272 seconds) |
| 2021-03-11 09:13:26 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-11 09:17:57 +0100 | dhouthoo | (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-11 09:19:22 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:b747:35a4:f7cb:93f9) (Ping timeout: 260 seconds) |
| 2021-03-11 09:19:57 +0100 | nomeata | (~jojo@dslb-002-202-161-084.002.202.pools.vodafone-ip.de) |
| 2021-03-11 09:20:13 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:e9a5:fa18:9407:1091) |
| 2021-03-11 09:22:50 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:87c4:91bb:9a2c:df87) |
| 2021-03-11 09:25:48 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b95955d3c722039acad7c.dip0.t-ipconnect.de) |
| 2021-03-11 09:28:44 +0100 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-03-11 09:29:37 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-11 09:29:41 +0100 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-03-11 09:30:36 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 09:31:11 +0100 | zaquest | (~notzaques@5.128.210.178) |
| 2021-03-11 09:32:31 +0100 | forgottenone | (~forgotten@176.42.29.216) (Quit: Konversation terminated!) |
| 2021-03-11 09:36:54 +0100 | graf_blutwurst | (~user@2001:171b:226e:adc0:81da:cf62:15f1:d8b5) |
| 2021-03-11 09:39:24 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-11 09:40:24 +0100 | knupfer | (~Thunderbi@200116b82c08c0006ce99ffffe88cc76.dip.versatel-1u1.de) |
| 2021-03-11 09:40:25 +0100 | knupfer | (~Thunderbi@200116b82c08c0006ce99ffffe88cc76.dip.versatel-1u1.de) (Client Quit) |
| 2021-03-11 09:40:40 +0100 | knupfer | (~Thunderbi@i59F7FF85.versanet.de) |
| 2021-03-11 09:40:55 +0100 | redmp_ | (~redmp@172.58.22.188) |
| 2021-03-11 09:44:28 +0100 | redmp | (~redmp@172.58.27.233) (Ping timeout: 260 seconds) |
| 2021-03-11 09:47:00 +0100 | nomeata | (~jojo@dslb-002-202-161-084.002.202.pools.vodafone-ip.de) (Quit: Client exiting) |
| 2021-03-11 09:48:10 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2021-03-11 09:48:46 +0100 | <invaser> | Hey, anyone having problems with latest haskell-language-server version on VSCode? |
| 2021-03-11 09:50:08 +0100 | <invaser> | I have a message "Downloading haskell-language-server 1.0.0 for GHC 8.10.3" pop up and stay |
| 2021-03-11 09:50:22 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-11 09:51:47 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) |
| 2021-03-11 09:55:03 +0100 | yoneda | (~mike@193.206.102.122) |
| 2021-03-11 09:55:30 +0100 | michalz | (~user@185.246.204.111) |
| 2021-03-11 09:56:41 +0100 | Aquazi | (uid312403@gateway/web/irccloud.com/x-ruqfhmrhwkcudnys) |
| 2021-03-11 09:57:09 +0100 | <tomjaguarpaw> | How do you get ghci to print the time taken and bytes allocated after every command? |
| 2021-03-11 09:57:34 +0100 | invaser | (~Thunderbi@31.148.23.125) (Remote host closed the connection) |
| 2021-03-11 09:58:26 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 09:58:32 +0100 | <Boomerang> | :set +s |
| 2021-03-11 09:58:47 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-11 09:58:50 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-11 09:59:06 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 09:59:17 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-11 09:59:55 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-xmnmssabcgdtuskn) (Quit: Connection closed for inactivity) |
| 2021-03-11 10:00:04 +0100 | polyrain | (~polyrain@130.102.13.112) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 10:00:14 +0100 | kritzefitz | (~kritzefit@p548c9398.dip0.t-ipconnect.de) |
| 2021-03-11 10:01:07 +0100 | polyrain | (~polyrain@130.102.13.112) |
| 2021-03-11 10:01:43 +0100 | drbean | (~drbean@TC210-63-209-216.static.apol.com.tw) (Ping timeout: 265 seconds) |
| 2021-03-11 10:02:12 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-11 10:02:54 +0100 | neiluj_ | (~jco@91-167-203-101.subs.proxad.net) (Remote host closed the connection) |
| 2021-03-11 10:03:10 +0100 | polyrain | (~polyrain@130.102.13.112) (Client Quit) |
| 2021-03-11 10:03:36 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-11 10:04:05 +0100 | invaser | (~Thunderbi@31.148.23.125) |
| 2021-03-11 10:04:28 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-03-11 10:04:52 +0100 | ubert | (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-11 10:05:27 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 10:09:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 10:11:59 +0100 | bergey`` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-11 10:14:48 +0100 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-03-11 10:16:06 +0100 | <pjb> | esch |
| 2021-03-11 10:16:32 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-03-11 10:16:33 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 2021-03-11 10:16:33 +0100 | bergey`` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 10:16:52 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-11 10:17:22 +0100 | lupulo | (~lupulo@163.117.64.56) (Ping timeout: 256 seconds) |
| 2021-03-11 10:19:11 +0100 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-03-11 10:19:38 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 256 seconds) |
| 2021-03-11 10:21:37 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 10:22:07 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 10:22:25 +0100 | <ukari> | is the typeclass a better practise than the type synonym when the signature needs to be simplied? https://gist.github.com/ukari/527531c4e23de7ad5d6d94613bbed9d2 |
| 2021-03-11 10:25:18 +0100 | kritzefitz | (~kritzefit@p548c9398.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2021-03-11 10:25:37 +0100 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-03-11 10:25:53 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-03-11 10:26:46 +0100 | jackdk | (sid373013@gateway/web/irccloud.com/x-lqgqplxheakucczf) () |
| 2021-03-11 10:27:02 +0100 | jackdk | (sid373013@gateway/web/irccloud.com/x-glkhsmxnqrqntahu) |
| 2021-03-11 10:29:13 +0100 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-03-11 10:30:03 +0100 | srhb | (sid400352@NixOS/user/srhb) () |
| 2021-03-11 10:30:04 +0100 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) (Read error: Connection reset by peer) |
| 2021-03-11 10:30:20 +0100 | srhb | (sid400352@NixOS/user/srhb) |
| 2021-03-11 10:30:36 +0100 | agander_m | (sid407952@gateway/web/irccloud.com/x-wqacywbdoyeeptul) () |
| 2021-03-11 10:30:52 +0100 | agander_m | (sid407952@gateway/web/irccloud.com/x-weptnobpezywiofc) |
| 2021-03-11 10:31:56 +0100 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-11 10:33:13 +0100 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) (Quit: ciao kakao) |
| 2021-03-11 10:34:06 +0100 | <lortabac> | ukari: the simplest solution is probably to define a synonym for the context only (it requires ConstraintKinds) |
| 2021-03-11 10:35:07 +0100 | kmein | (~weechat@static.173.83.99.88.clients.your-server.de) |
| 2021-03-11 10:36:27 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 10:36:59 +0100 | ed12 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) |
| 2021-03-11 10:38:29 +0100 | <ed12> | hi guys im trying to write a function that gives me the second argument if the first statement is true or the third argument if the first is false |
| 2021-03-11 10:38:41 +0100 | <ed12> | this is what I have so far |
| 2021-03-11 10:38:43 +0100 | <ed12> | (&&) :: Bool -> Int -> Int -> Int |
| 2021-03-11 10:38:44 +0100 | <ed12> | (&&) a b c | a == True = b | a == False = c |
| 2021-03-11 10:39:07 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-11 10:39:17 +0100 | <ed12> | e.g. (4 > 7) 5 10 would give 10 |
| 2021-03-11 10:39:18 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-03-11 10:39:30 +0100 | <ed12> | im getting errors |
| 2021-03-11 10:39:32 +0100 | <dibblego> | \p t f -> if p then t else f |
| 2021-03-11 10:39:36 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) |
| 2021-03-11 10:40:25 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-11 10:40:25 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-11 10:40:25 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-03-11 10:41:10 +0100 | JokerAscensionEx | (~egp_@2.95.74.168) |
| 2021-03-11 10:41:21 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-03-11 10:42:46 +0100 | <merijn> | ed12: "a == True" is just "a" |
| 2021-03-11 10:43:33 +0100 | <merijn> | dibblego: That's just bool with its arguments flipped ;) |
| 2021-03-11 10:44:45 +0100 | <ed12> | and then just "not a" for false? |
| 2021-03-11 10:44:58 +0100 | <ed12> | sorry im very new don't really understand it yet |
| 2021-03-11 10:49:04 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 10:50:03 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-11 10:50:14 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 2021-03-11 10:51:02 +0100 | shad0w_ | (67573b43@103.87.59.67) |
| 2021-03-11 10:51:45 +0100 | <shad0w_> | i can't seem to use my existing gitlab account with the gitlab haskell instance? |
| 2021-03-11 10:52:21 +0100 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-03-11 10:52:36 +0100 | <maerwald> | shad0w_: you mean gitlab.com? |
| 2021-03-11 10:52:43 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 10:52:44 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-11 10:52:48 +0100 | <shad0w_> | gitlab.haskell.com |
| 2021-03-11 10:52:50 +0100 | <shad0w_> | or org |
| 2021-03-11 10:53:02 +0100 | <maerwald> | shad0w_: what existing account are you talking about? |
| 2021-03-11 10:53:12 +0100 | <shad0w_> | i already have a gitlab.com account |
| 2021-03-11 10:53:20 +0100 | <shad0w_> | i want to clone GHC |
| 2021-03-11 10:53:24 +0100 | <lortabac> | ed12: try choosing a different name, (&&) is already defined in Prelude |
| 2021-03-11 10:53:31 +0100 | ed12 | (5619784f@cpc143846-cosh20-2-0-cust78.6-1.cable.virginm.net) (Quit: Connection closed) |
| 2021-03-11 10:53:33 +0100 | <maerwald> | shad0w_: gitlab.haskell.org is unaffiliated with gitlab.com |
| 2021-03-11 10:53:44 +0100 | <maerwald> | it's a self-managed gitlab instance |
| 2021-03-11 10:53:58 +0100 | <shad0w_> | but it tells me my email is in use. |
| 2021-03-11 10:54:13 +0100 | <shad0w_> | : p |
| 2021-03-11 10:54:25 +0100 | <merijn> | maerwald: I think you can authenticate with gitlab.haskell.org using github/gitlab accounts |
| 2021-03-11 10:56:00 +0100 | <merijn> | shad0w_: Try a password reset if it's in use? |
| 2021-03-11 10:56:09 +0100 | <shad0w_> | merijn: yea, it was. |
| 2021-03-11 10:56:35 +0100 | <shad0w_> | guess i wanted to clone it in the past but didn't : P |
| 2021-03-11 10:57:51 +0100 | <maerwald> | merijn: only gitub |
| 2021-03-11 11:05:21 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 11:10:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 11:10:38 +0100 | son0p | (~son0p@181.58.39.182) |
| 2021-03-11 11:12:42 +0100 | Waifod | (~Waifod@91.106.123.186) (Ping timeout: 260 seconds) |
| 2021-03-11 11:14:21 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) |
| 2021-03-11 11:14:58 +0100 | ADG1089__ | (~aditya@122.163.164.53) |
| 2021-03-11 11:15:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 11:16:03 +0100 | <ADG1089__> | ghc -o ... -i ... <flags> <source file> . How can I build a profiling binary without using cabal/stack? |
| 2021-03-11 11:16:26 +0100 | <ADG1089__> | added -prof -fprop-auto but it says I need to isntall the profiling libraries for package dependencies |
| 2021-03-11 11:16:50 +0100 | <merijn> | ADG1089__: Well, you gotta install all the profiling libraries |
| 2021-03-11 11:17:07 +0100 | <merijn> | ADG1089__: Which is another way of saying "use cabal/stack" |
| 2021-03-11 11:17:17 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-11 11:18:37 +0100 | <ADG1089__> | merijn: cabal install --enable-profiling <dependency> ? |
| 2021-03-11 11:19:09 +0100 | <merijn> | ADG1089__: If you build your code with cabal then --enable-profiling will automatically install all the needed versions |
| 2021-03-11 11:19:40 +0100 | <merijn> | ADG1089__: If you want to manually update/install dependencies...well, then you're mostly out of luck, because that workflow isn't really supported |
| 2021-03-11 11:19:43 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-tkzznzrfaknmepwe) |
| 2021-03-11 11:20:53 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 11:21:18 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:89fc:c37b:7346:f63b) (Quit: ZNC - http://znc.sourceforge.net) |
| 2021-03-11 11:21:32 +0100 | Athas | (athas@2a01:7c8:aaac:1cf:f7dd:80de:d3d3:680b) |
| 2021-03-11 11:21:55 +0100 | <tomjaguarpaw> | Boomerang: thanks! |
| 2021-03-11 11:22:32 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-tkzznzrfaknmepwe) (Max SendQ exceeded) |
| 2021-03-11 11:23:23 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-efbamewtqcojtowf) |
| 2021-03-11 11:23:27 +0100 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-03-11 11:24:46 +0100 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-03-11 11:24:55 +0100 | <nshepperd2> | https://github.com/nshepperd/cabbage installs profiling libraries by default |
| 2021-03-11 11:25:07 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-11 11:25:25 +0100 | <nshepperd2> | come to think of it, it also does --library-profiling-detail=all-functions by default which i'm not sure is a good idea |
| 2021-03-11 11:26:06 +0100 | <merijn> | I mean, if you set profiling true in ~/.cabal/config that works too |
| 2021-03-11 11:26:13 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-efbamewtqcojtowf) (Max SendQ exceeded) |
| 2021-03-11 11:27:04 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-fblthjmxlahgrfna) |
| 2021-03-11 11:27:35 +0100 | <merijn> | But "I don't wanna use stack/cabal" is not something that's actively supported by anyone and I doubt cabbage is acceptable to anyone who doesn't wanna use cabal/stack :) |
| 2021-03-11 11:28:06 +0100 | aqd | (~aqd@84.20.147.33) |
| 2021-03-11 11:28:53 +0100 | shad0w_ | (67573b43@103.87.59.67) (Quit: Connection closed) |
| 2021-03-11 11:29:54 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-fblthjmxlahgrfna) (Max SendQ exceeded) |
| 2021-03-11 11:29:55 +0100 | <tomsmeding> | ADG1089__: how are your system dependencies installed? Did you build them yourself or did they come from a system package manager? |
| 2021-03-11 11:30:18 +0100 | <tomsmeding> | (with system dependencies I meant haskell dependencies...) |
| 2021-03-11 11:30:45 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-wauwbyjpxaklcqhy) |
| 2021-03-11 11:30:53 +0100 | <tomsmeding> | If you built them yourself, well, you need to build their profiling versions too; if they came from a system package manager (arch linux?), then don't do that :p |
| 2021-03-11 11:31:39 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 11:31:41 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 11:32:14 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-03-11 11:32:21 +0100 | mananamenos_ | (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 2021-03-11 11:33:35 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-wauwbyjpxaklcqhy) (Max SendQ exceeded) |
| 2021-03-11 11:34:24 +0100 | denisse_ | (~spaceCat@gateway/tor-sasl/alephzer0) |
| 2021-03-11 11:34:26 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-wagwtqglemcdvolt) |
| 2021-03-11 11:34:52 +0100 | denisse | (~spaceCat@gateway/tor-sasl/alephzer0) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-03-11 11:35:23 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-03-11 11:36:12 +0100 | denisse_ | denisse |
| 2021-03-11 11:36:17 +0100 | <tomjaguarpaw> | q |
| 2021-03-11 11:36:19 +0100 | <nshepperd2> | i think 90% of not wanting to use cabal/stack is just not wanting to write foo.cabal files all the time, which i what i wrote cabbage for |
| 2021-03-11 11:36:59 +0100 | <nshepperd2> | that is, just being able to invoke ghc like a normal program |
| 2021-03-11 11:37:44 +0100 | <nshepperd2> | yeah, never install haskell libraries from a system package manager, if you do that you will cry |
| 2021-03-11 11:38:18 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Quit: jpds) |
| 2021-03-11 11:41:31 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 11:42:05 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 11:42:24 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 11:42:32 +0100 | adaj | (~azureuser@51.103.155.240) (Remote host closed the connection) |
| 2021-03-11 11:42:42 +0100 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-03-11 11:43:37 +0100 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2021-03-11 11:43:47 +0100 | p3n | (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-03-11 11:44:59 +0100 | p3n | (~p3n@217.198.124.246) |
| 2021-03-11 11:49:01 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-11 11:49:27 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-03-11 11:51:57 +0100 | <ADG1089__> | what is the difference between xyz.cabal and cabal.project? |
| 2021-03-11 11:52:56 +0100 | <nshepperd2> | cabal.project is for local configuration of how to build things |
| 2021-03-11 11:53:07 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 11:53:08 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-03-11 11:53:10 +0100 | <nshepperd2> | 'local' as in you don't check it into your source code repository |
| 2021-03-11 11:53:38 +0100 | <nshepperd2> | stuff like "i want to build this with profiling and optimization level 2" |
| 2021-03-11 11:54:38 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 11:55:30 +0100 | <nshepperd2> | xyz.cabal is the official information like the list of dependencies and module names and other stuff which is sorta part of the source code |
| 2021-03-11 11:55:53 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-11 11:57:00 +0100 | <merijn> | ADG1089__: xyz.cabal defines a package and its dependencies, cabal.project defines a specific build configuration of (one or more packages) on one specific machine, possibly overriding stuff from the cabal file |
| 2021-03-11 11:57:33 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 11:58:04 +0100 | nf | (~n@monade.li) (Quit: Fairfarren.) |
| 2021-03-11 11:58:13 +0100 | nf | (~n@monade.li) |
| 2021-03-11 12:00:23 +0100 | michalz | (~user@185.246.204.111) (Remote host closed the connection) |
| 2021-03-11 12:01:50 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 264 seconds) |
| 2021-03-11 12:01:51 +0100 | michalz | (~user@185.246.204.111) |
| 2021-03-11 12:01:58 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 12:04:50 +0100 | <ADG1089__> | nice. |
| 2021-03-11 12:04:51 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-11 12:05:33 +0100 | sablib1 | (~sablib@171.113.166.178) |
| 2021-03-11 12:07:58 +0100 | Varis | (~Tadas@unaffiliated/varis) (Ping timeout: 245 seconds) |
| 2021-03-11 12:09:47 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) |
| 2021-03-11 12:10:18 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-03-11 12:11:21 +0100 | sablib1 | (~sablib@171.113.166.178) (Ping timeout: 264 seconds) |
| 2021-03-11 12:11:39 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 12:11:53 +0100 | sablib1 | (~sablib@171.113.166.178) |
| 2021-03-11 12:12:27 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 12:13:27 +0100 | ADG1089__ | (~aditya@122.163.164.53) (Ping timeout: 246 seconds) |
| 2021-03-11 12:13:33 +0100 | ADG1089_ | (~aditya@223.226.229.230) |
| 2021-03-11 12:16:14 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 12:21:53 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 12:21:58 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-11 12:22:31 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-11 12:24:54 +0100 | lupulo | (~lupulo@163.117.64.56) |
| 2021-03-11 12:25:09 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) |
| 2021-03-11 12:28:07 +0100 | idhugo_ | (~idhugo@80-62-116-208-mobile.dk.customer.tdc.net) |
| 2021-03-11 12:30:08 +0100 | forgottenone | (~forgotten@176.42.24.172) |
| 2021-03-11 12:30:38 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-11 12:30:48 +0100 | tungki | (~tngk@116.206.14.43) |
| 2021-03-11 12:33:37 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection) |
| 2021-03-11 12:34:50 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) (Ping timeout: 260 seconds) |
| 2021-03-11 12:41:41 +0100 | ADG1089_ | (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-11 12:42:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-11 12:44:04 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 12:45:38 +0100 | APugNamedPugsley | (~13052@2601:58a:8300:f6a0:58b8:b5d0:d1ef:978a) (Ping timeout: 264 seconds) |
| 2021-03-11 12:47:42 +0100 | redmp | (~redmp@172.58.19.94) |
| 2021-03-11 12:48:06 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-11 12:49:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-11 12:49:34 +0100 | alx741 | (~alx741@186.178.108.206) |
| 2021-03-11 12:49:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 12:50:25 +0100 | alx741 | (~alx741@186.178.108.206) (Client Quit) |
| 2021-03-11 12:51:29 +0100 | redmp_ | (~redmp@172.58.22.188) (Ping timeout: 272 seconds) |
| 2021-03-11 12:52:39 +0100 | alx741 | (~alx741@186.178.108.206) |
| 2021-03-11 12:53:26 +0100 | Yumasi | (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 264 seconds) |
| 2021-03-11 12:55:13 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-11 12:55:52 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 12:56:04 +0100 | plutoniix | (~q@184.82.199.159) (Quit: Leaving) |
| 2021-03-11 12:58:06 +0100 | ixlun | (~user@213.205.241.136) |
| 2021-03-11 13:00:09 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 13:00:27 +0100 | peanut_ | (~peanut@2a02:8388:a101:2600:e3ba:c092:d4d7:f23d) |
| 2021-03-11 13:00:28 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 245 seconds) |
| 2021-03-11 13:00:29 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 13:01:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-11 13:01:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:01:54 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 2021-03-11 13:02:26 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) |
| 2021-03-11 13:05:15 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-03-11 13:07:00 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-11 13:07:16 +0100 | ADG1089__ | (~aditya@223.226.229.230) |
| 2021-03-11 13:07:32 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:08:03 +0100 | tungki | (~tngk@116.206.14.43) (Ping timeout: 260 seconds) |
| 2021-03-11 13:08:34 +0100 | tungki | (~tngk@subs20-114-142-172-43.three.co.id) |
| 2021-03-11 13:08:36 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-11 13:11:21 +0100 | invaser | (~Thunderbi@31.148.23.125) (Ping timeout: 264 seconds) |
| 2021-03-11 13:12:21 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 13:13:01 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-03-11 13:13:10 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 13:13:43 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:16:50 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 13:17:30 +0100 | Guest49 | (~textual@host31-51-7-202.range31-51.btcentralplus.com) |
| 2021-03-11 13:18:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 13:19:09 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-11 13:19:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:22:12 +0100 | Copperis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 13:23:23 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-11 13:24:58 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-11 13:25:03 +0100 | Varis | (~Tadas@unaffiliated/varis) (Ping timeout: 245 seconds) |
| 2021-03-11 13:25:22 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:25:35 +0100 | hollisb | (~hollisb@185.163.110.108) (Remote host closed the connection) |
| 2021-03-11 13:27:45 +0100 | _xor | (~xor@74.215.46.133) (Quit: WeeChat 3.0.1) |
| 2021-03-11 13:28:06 +0100 | dyniec[m] | (dyniecmatr@gateway/shell/matrix.org/x-scnkbpqnqrebckvs) |
| 2021-03-11 13:28:28 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 13:29:40 +0100 | _xor | (~xor@74.215.46.133) |
| 2021-03-11 13:30:28 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-11 13:30:57 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:31:08 +0100 | drbean | (~drbean@TC210-63-209-84.static.apol.com.tw) |
| 2021-03-11 13:31:46 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 2021-03-11 13:33:57 +0100 | knupfer | (~Thunderbi@i59F7FF85.versanet.de) (Ping timeout: 246 seconds) |
| 2021-03-11 13:34:36 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-11 13:34:36 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-03-11 13:36:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-11 13:37:03 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 13:40:20 +0100 | dhart | (~dhart@37.120.211.188) |
| 2021-03-11 13:41:03 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-11 13:41:09 +0100 | ph88_ | (~ph88@ip5f5af71a.dynamic.kabel-deutschland.de) |
| 2021-03-11 13:42:18 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-11 13:42:47 +0100 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-03-11 13:43:06 +0100 | tungki | (~tngk@subs20-114-142-172-43.three.co.id) (Remote host closed the connection) |
| 2021-03-11 13:45:13 +0100 | ph88^ | (~ph88@2a02:8109:9e00:7e5c:5981:8991:829b:4f1d) (Ping timeout: 265 seconds) |
| 2021-03-11 13:45:58 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 260 seconds) |
| 2021-03-11 13:48:58 +0100 | ADG1089__ | (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-11 13:48:59 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-03-11 13:49:16 +0100 | Yumasi | (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) |
| 2021-03-11 13:49:25 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-11 13:51:38 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Client Quit) |
| 2021-03-11 13:52:29 +0100 | centril | (~centril@213-66-146-92-no250.tbcn.telia.com) (Quit: WeeChat 3.0) |
| 2021-03-11 13:56:19 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) (Remote host closed the connection) |
| 2021-03-11 13:59:18 +0100 | gitgood | (~gitgood@82-132-218-168.dab.02.net) |
| 2021-03-11 14:00:13 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 14:00:15 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-03-11 14:01:11 +0100 | MVQq | (~anja@198.254.199.42) |
| 2021-03-11 14:02:05 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-11 14:02:26 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) |
| 2021-03-11 14:02:32 +0100 | lukelau_ | (~lukelau@46.101.13.214) |
| 2021-03-11 14:02:36 +0100 | hvr_ | (~hvr@haskell/developer/hvr) |
| 2021-03-11 14:02:53 +0100 | leafiest7 | (~leafiest@165.227.53.12) |
| 2021-03-11 14:02:59 +0100 | samebchase-7 | (~samebchas@51.15.68.182) |
| 2021-03-11 14:03:40 +0100 | quinn | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 2021-03-11 14:03:43 +0100 | connrs- | (~connrs@runciter.connrs.uk) |
| 2021-03-11 14:03:47 +0100 | lockshaw | (~lockshaw@165.22.163.71) |
| 2021-03-11 14:03:53 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-03-11 14:04:13 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-03-11 14:04:14 +0100 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-03-11 14:04:29 +0100 | PragCypher_ | (~cypher@li1507-98.members.linode.com) |
| 2021-03-11 14:04:40 +0100 | nek06 | (~nek0@mail.nek0.eu) |
| 2021-03-11 14:04:40 +0100 | SquidDev7 | (~SquidDev@autoclave.squiddev.cc) |
| 2021-03-11 14:05:04 +0100 | pdxleif_ | (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) |
| 2021-03-11 14:05:04 +0100 | mrus | (~mrus@128.199.8.231) |
| 2021-03-11 14:05:05 +0100 | SoF7 | (~SoF@unaffiliated/skillyonfire) |
| 2021-03-11 14:05:06 +0100 | davl_ | (~davl@207.154.228.18) |
| 2021-03-11 14:05:14 +0100 | sujeet` | (sujeet@unaffiliated/freeboson) |
| 2021-03-11 14:05:17 +0100 | Reiser7 | (~0a2a0001@static.210.242.216.95.clients.your-server.de) |
| 2021-03-11 14:05:30 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-11 14:05:37 +0100 | dpl | (~dpl@ec2-18-133-105-122.eu-west-2.compute.amazonaws.com) |
| 2021-03-11 14:05:38 +0100 | mawk` | (mawk@serveur.io) |
| 2021-03-11 14:05:47 +0100 | WarzoneCommand | (~Frank@77-162-168-71.fixed.kpn.net) |
| 2021-03-11 14:05:52 +0100 | ps-auxw | (~arneb@p548d56ce.dip0.t-ipconnect.de) (Disconnected by services) |
| 2021-03-11 14:05:53 +0100 | sshine_ | (~simon@hubris.eta.solutions) |
| 2021-03-11 14:05:53 +0100 | Philonous | (~Philonous@unaffiliated/philonous) |
| 2021-03-11 14:06:00 +0100 | haveo | (~haveo@sl35.iuwt.fr) |
| 2021-03-11 14:06:01 +0100 | ps-auxw | (~arneb@p548d56ce.dip0.t-ipconnect.de) |
| 2021-03-11 14:06:02 +0100 | aweinsto1k | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) |
| 2021-03-11 14:06:09 +0100 | freeside_ | (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) |
| 2021-03-11 14:06:11 +0100 | Tops2 | (~Tobias@dyndsl-095-033-091-112.ewe-ip-backbone.de) |
| 2021-03-11 14:06:13 +0100 | Rembane_ | (~Rembane@li346-36.members.linode.com) |
| 2021-03-11 14:06:15 +0100 | quintasan_ | (~quassel@quintasan.pl) |
| 2021-03-11 14:06:16 +0100 | LambdaDu1k | (~anka@ksit.fixme.fi) |
| 2021-03-11 14:06:20 +0100 | cheater1 | (~user@unaffiliated/cheater) |
| 2021-03-11 14:06:22 +0100 | tasuki | (~tasuki@198.211.120.27) |
| 2021-03-11 14:06:23 +0100 | kaychaks_ | (sid236345@gateway/web/irccloud.com/x-sxfxtovvduuheewn) |
| 2021-03-11 14:06:23 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2021-03-11 14:06:23 +0100 | tomjagua1paw | (~tom@li367-225.members.linode.com) |
| 2021-03-11 14:06:25 +0100 | orion_ | (~orion@c-76-19-236-20.hsd1.ct.comcast.net) |
| 2021-03-11 14:06:25 +0100 | dustinm | (~dustinm@static.38.6.217.95.clients.your-server.de) |
| 2021-03-11 14:06:29 +0100 | noctux`` | (t29LXXdf5w@unaffiliated/noctux) |
| 2021-03-11 14:06:29 +0100 | neobit | (~neobit@159.65.243.9) |
| 2021-03-11 14:06:41 +0100 | afx237_ | (~afx237@107.170.10.178) |
| 2021-03-11 14:06:45 +0100 | rprosper- | (~adam@186.75.232.35.bc.googleusercontent.com) |
| 2021-03-11 14:06:49 +0100 | abrar_ | (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) |
| 2021-03-11 14:06:53 +0100 | endokqr | (~kqr@vps.xkqr.org) |
| 2021-03-11 14:07:01 +0100 | Flonk_ | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) |
| 2021-03-11 14:07:02 +0100 | zymurgy1 | (~zymurgy@li607-220.members.linode.com) |
| 2021-03-11 14:07:08 +0100 | Ankhers_ | (~Ankhers@unaffiliated/ankhers) |
| 2021-03-11 14:07:11 +0100 | oats_ | (~hurr@durr/im/a/sheep) |
| 2021-03-11 14:07:20 +0100 | panda_man | (~vidar@157.146.251.23.bc.googleusercontent.com) |
| 2021-03-11 14:07:34 +0100 | mrchampion_ | (~mrchampio@38.18.109.23) |
| 2021-03-11 14:07:34 +0100 | MarcelineVQ | (~anja@198.254.199.42) (Read error: Connection reset by peer) |
| 2021-03-11 14:07:34 +0100 | quinn_ | (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | lukelau | (~lukelau@46.101.13.214) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | lockshaw_ | (~lockshaw@165.22.163.71) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | dustinm- | (~dustinm@static.38.6.217.95.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | connrs | (~connrs@runciter.connrs.uk) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | meck | (~meck@li1809-18.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | Cthalupa- | (~cthulhu@47.186.47.75) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:34 +0100 | madnight_ | (~madnight@static.59.103.201.195.clients.your-server.de) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | PragCypher | (~cypher@li1507-98.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | sigmundv | (~sigmundv@178.62.72.87) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | davl | (~davl@207.154.228.18) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | pdxleif | (~pdxleif@ec2-54-68-166-10.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | zymurgy | (~zymurgy@li607-220.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | avp | (~avp@unaffiliated/avp) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | DirefulSalt | (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | WzC | (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | datajerk_ | (~datajerk@sense.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | afx237 | (~afx237@107.170.10.178) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | loli | (~loli@024-171-017-003.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | leafiest | (~leafiest@165.227.53.12) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | mrusme | (~mrus@128.199.8.231) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | quintasan | (~quassel@ubuntu/member/quintasan) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | samebchase- | (~samebchas@51.15.68.182) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | aweinstock | (~aweinstoc@cpe-67-248-65-250.nycap.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | kaychaks | (sid236345@gateway/web/irccloud.com/x-ubijiresjoyryppu) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Flonk | (~Flonk@ec2-52-40-29-25.us-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | sshine | (~simon@hubris.eta.solutions) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Ankhers | (~Ankhers@unaffiliated/ankhers) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | dpl- | (~dpl@ec2-18-133-105-122.eu-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | orion | (~orion@unaffiliated/orion) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Ekho | (~Ekho@unaffiliated/ekho) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | rkvist | (~user@138.197.72.132) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | abrar | (~abrar@static-108-30-103-121.nycmny.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | noctux` | (Bk2iLb2JsC@unaffiliated/noctux) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | sujeet | (sujeet@unaffiliated/freeboson) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | kosmikus_ | (~kosmikus@nullzig.kosmikus.org) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | neobit_ | (~neobit@159.65.243.9) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Philonous_ | (~Philonous@unaffiliated/philonous) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | tasuki_ | (~tasuki@198.211.120.27) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | haveo_ | (~haveo@sl35.iuwt.fr) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | mawk | (mawk@serveur.io) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | forell | (~forell@unaffiliated/forell) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Majoo | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | SquidDev | (~SquidDev@autoclave.squiddev.cc) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | brkscnce_ | (~obaum@37.120.59.241) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | oats | (~hurr@durr/im/a/sheep) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | hyperfekt | (end@bnc.hyperfekt.net) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | tomjaguarpaw | (~tom@li367-225.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | sagax | (~sagax_nb@213.138.71.146) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Dykam | (Dykam@dykam.nl) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | nek0 | (~nek0@mail.nek0.eu) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Kneiva | (kneiva@raah.fi) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Reiser | (~0a2a0001@unaffiliated/reisen) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | jmsx | (~jordan@li1158-85.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | hvr | (~hvr@haskell/developer/hvr) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | canta | (~canta@cvm0.d5k.one) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | vent | (~vent@185.62.190.213) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | rprospero | (~adam@186.75.232.35.bc.googleusercontent.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | SoF | (~SoF@unaffiliated/skillyonfire) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | koala_man | (~vidar@unaffiliated/koala-man/x-2491903) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Rembane | (~Rembane@li346-36.members.linode.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | ring0` | (~ringo@unaffiliated/ring0/x-8667941) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | kqr | (~kqr@vps.xkqr.org) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | freeside | (~ubuntu@ec2-52-58-69-57.eu-central-1.compute.amazonaws.com) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | LambdaDuck | (~anka@ksit.fixme.fi) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | ammar2 | (admin@i.diddled.with.the.opers.so.they.klined.me) (Ping timeout: 256 seconds) |
| 2021-03-11 14:07:35 +0100 | Kneiva | (kneiva@raah.fi) |
| 2021-03-11 14:07:35 +0100 | vent | (~vent@185.62.190.213) |
| 2021-03-11 14:07:35 +0100 | jmsx | (~jordan@li1158-85.members.linode.com) |
| 2021-03-11 14:07:35 +0100 | datajerk | (~datajerk@sense.net) |
| 2021-03-11 14:07:35 +0100 | kosmikus | (~kosmikus@nullzig.kosmikus.org) |
| 2021-03-11 14:07:35 +0100 | canta | (~canta@cvm0.d5k.one) |
| 2021-03-11 14:07:35 +0100 | ring0` | (~ringo@157.230.117.128) |
| 2021-03-11 14:07:35 +0100 | sigmundv | (~sigmundv@178.62.72.87) |
| 2021-03-11 14:07:35 +0100 | loli | (~loli@024-171-017-003.res.spectrum.com) |
| 2021-03-11 14:07:36 +0100 | kosmikus | (~kosmikus@nullzig.kosmikus.org) (Changing host) |
| 2021-03-11 14:07:36 +0100 | kosmikus | (~kosmikus@haskell/developer/kosmikus) |
| 2021-03-11 14:07:36 +0100 | ring0` | (~ringo@157.230.117.128) (Changing host) |
| 2021-03-11 14:07:36 +0100 | ring0` | (~ringo@unaffiliated/ring0/x-8667941) |
| 2021-03-11 14:07:37 +0100 | pdxleif_ | pdxleif |
| 2021-03-11 14:07:37 +0100 | Majiir | (~Majiir@pool-96-237-149-35.bstnma.fios.verizon.net) |
| 2021-03-11 14:07:37 +0100 | sujeet` | sujeet |
| 2021-03-11 14:07:37 +0100 | Reiser7 | Reiser |
| 2021-03-11 14:07:37 +0100 | leafiest7 | leafiest |
| 2021-03-11 14:07:37 +0100 | SoF7 | SoF |
| 2021-03-11 14:07:38 +0100 | hyperfekt_ | (end@bnc.hyperfekt.net) |
| 2021-03-11 14:07:38 +0100 | davl_ | davl |
| 2021-03-11 14:07:39 +0100 | Cthalupa | (~cthulhu@47.186.47.75) |
| 2021-03-11 14:07:39 +0100 | kaychaks_ | kaychaks |
| 2021-03-11 14:07:43 +0100 | Ankhers_ | Ankhers |
| 2021-03-11 14:07:44 +0100 | forell | (~forell@unaffiliated/forell) |
| 2021-03-11 14:07:46 +0100 | rkv | (~user@138.197.72.132) |
| 2021-03-11 14:07:57 +0100 | nek06 | nek0 |
| 2021-03-11 14:08:10 +0100 | rkv | rkvist |
| 2021-03-11 14:08:19 +0100 | SquidDev7 | SquidDev |
| 2021-03-11 14:08:32 +0100 | avp | (~avp@unaffiliated/avp) |
| 2021-03-11 14:08:48 +0100 | cheater | (~user@unaffiliated/cheater) (Ping timeout: 245 seconds) |
| 2021-03-11 14:08:55 +0100 | cheater1 | cheater |
| 2021-03-11 14:09:35 +0100 | Dykam | (Dykam@dykam.nl) |
| 2021-03-11 14:09:38 +0100 | mawk` | mawk |
| 2021-03-11 14:10:00 +0100 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 246 seconds) |
| 2021-03-11 14:10:00 +0100 | conal | (~conal@66.115.157.109) (Ping timeout: 246 seconds) |
| 2021-03-11 14:10:19 +0100 | hyperfekt_ | (end@bnc.hyperfekt.net) (Max SendQ exceeded) |
| 2021-03-11 14:10:28 +0100 | hyperfekt | (end@bnc.hyperfekt.net) |
| 2021-03-11 14:10:39 +0100 | meck | (~meck@li1809-18.members.linode.com) |
| 2021-03-11 14:11:11 +0100 | brkscnce_ | (~obaum@37.120.59.241) |
| 2021-03-11 14:11:21 +0100 | michalz | (~user@185.246.204.111) (Ping timeout: 264 seconds) |
| 2021-03-11 14:11:24 +0100 | jdt | (~jdt@38.77.195.50) (Ping timeout: 246 seconds) |
| 2021-03-11 14:11:25 +0100 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 276 seconds) |
| 2021-03-11 14:11:42 +0100 | oats_ | oats |
| 2021-03-11 14:13:11 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 14:13:11 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 14:14:48 +0100 | conal | (~conal@66.115.157.109) |
| 2021-03-11 14:15:16 +0100 | poljar | (~poljar@93-139-44-107.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-03-11 14:15:19 +0100 | ammar2 | (admin@i.diddled.with.the.opers.so.they.klined.me) |
| 2021-03-11 14:15:28 +0100 | poljar1 | (~poljar@93-139-44-107.adsl.net.t-com.hr) |
| 2021-03-11 14:15:32 +0100 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-03-11 14:16:46 +0100 | jdt | (~jdt@38.77.195.50) |
| 2021-03-11 14:18:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 14:18:36 +0100 | centril | (~centril@213-66-146-92-no250.tbcn.telia.com) |
| 2021-03-11 14:18:46 +0100 | xlei | (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
| 2021-03-11 14:20:31 +0100 | xlei | (znc@unaffiliated/xlei) |
| 2021-03-11 14:20:51 +0100 | Ekho | (~Ekho@unaffiliated/ekho) |
| 2021-03-11 14:21:16 +0100 | ixlun | (~user@213.205.241.136) (Read error: Connection reset by peer) |
| 2021-03-11 14:22:47 +0100 | ixlun | (~user@213.205.241.136) |
| 2021-03-11 14:23:25 +0100 | dsrt^ | (~hph@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-11 14:23:45 +0100 | knupfer | (~Thunderbi@dynamic-046-114-148-059.46.114.pool.telefonica.de) |
| 2021-03-11 14:24:00 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 14:24:19 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 14:28:27 +0100 | <merijn> | Is there a convenient operator for applying a function only to non-empty lists? I guess not? |
| 2021-03-11 14:28:48 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 245 seconds) |
| 2021-03-11 14:30:14 +0100 | <fendor> | merijn, depending on your usage, maybe https://hackage.haskell.org/package/relude-0.7.0.0/docs/Relude-List-NonEmpty.html#v:whenNotNull ? |
| 2021-03-11 14:30:21 +0100 | knupfer | (~Thunderbi@dynamic-046-114-148-059.46.114.pool.telefonica.de) (Quit: knupfer) |
| 2021-03-11 14:31:04 +0100 | <merijn> | fendor: My usage is "in projects that are not picking up too many dependencies, let alone custom preludes" ;) |
| 2021-03-11 14:31:32 +0100 | <merijn> | I was just wondering if there was something nicer than "case foo of [] -> []; xs -> bar xs" |
| 2021-03-11 14:31:50 +0100 | troydm | (~troydm@unaffiliated/troydm) (Ping timeout: 264 seconds) |
| 2021-03-11 14:32:57 +0100 | <fendor> | that's reasonable |
| 2021-03-11 14:35:24 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 2021-03-11 14:39:45 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 14:40:22 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-11 14:42:25 +0100 | xlei | (znc@unaffiliated/xlei) (Quit: ZNC - https://znc.in) |
| 2021-03-11 14:42:58 +0100 | eyenx | (~eyenxeyen@unaffiliated/eye/x-1653358) (Quit: Bridge terminating on SIGTERM) |
| 2021-03-11 14:43:34 +0100 | Lycurgus | (~niemand@98.4.114.199) |
| 2021-03-11 14:43:45 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 264 seconds) |
| 2021-03-11 14:44:10 +0100 | troydm | (~troydm@unaffiliated/troydm) |
| 2021-03-11 14:44:58 +0100 | drbean | (~drbean@TC210-63-209-84.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-11 14:46:11 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-11 14:46:43 +0100 | raym | (~ray@45.64.220.113) (Quit: leaving) |
| 2021-03-11 14:48:19 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 14:48:38 +0100 | son0p | (~son0p@181.58.39.182) (Quit: Lost terminal) |
| 2021-03-11 14:49:51 +0100 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-03-11 14:50:05 +0100 | <tomsmeding> | :t \f -> maybe [] f . Data.List.NonEmpty.nonEmpty |
| 2021-03-11 14:50:08 +0100 | <lambdabot> | (NonEmpty a1 -> [a2]) -> [a1] -> [a2] |
| 2021-03-11 14:50:19 +0100 | <tomsmeding> | though "something nicer" is debatable merijn |
| 2021-03-11 14:50:21 +0100 | toorevitimirp | (~tooreviti@117.182.183.154) (Ping timeout: 264 seconds) |
| 2021-03-11 14:50:41 +0100 | xlei | (znc@unaffiliated/xlei) |
| 2021-03-11 14:52:09 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 14:53:05 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 14:53:31 +0100 | Tario | (~Tario@201.192.165.173) |
| 2021-03-11 14:53:39 +0100 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-03-11 14:54:27 +0100 | idhugo_ | (~idhugo@80-62-116-208-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 2021-03-11 14:56:57 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 14:57:57 +0100 | bergey`` | (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 2021-03-11 14:58:14 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 14:58:58 +0100 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-03-11 14:59:15 +0100 | jollygood2 | (~bc8134e3@217.29.117.252) |
| 2021-03-11 14:59:30 +0100 | marinelli | (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2021-03-11 15:00:39 +0100 | bergey`` | bergey |
| 2021-03-11 15:01:13 +0100 | LKoen | (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-03-11 15:03:12 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 15:04:21 +0100 | lewky | (816b5083@129.107.80.131) |
| 2021-03-11 15:05:04 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) |
| 2021-03-11 15:05:47 +0100 | royal_screwup214 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 15:06:15 +0100 | <jollygood2> | . |
| 2021-03-11 15:07:12 +0100 | fr33domlover | (~fr33domlo@fsf/member/fr33domlover) (Quit: fr33domlover) |
| 2021-03-11 15:07:13 +0100 | tzlil | (~tzlil@unaffiliated/tzlil) |
| 2021-03-11 15:07:15 +0100 | <geekosaur> | ! |
| 2021-03-11 15:07:36 +0100 | fr33domlover | (~fr33domlo@fsf/member/fr33domlover) |
| 2021-03-11 15:08:21 +0100 | GZJ0X_ | (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 2021-03-11 15:09:33 +0100 | b3z | (~b3z@vmd41962.contaboserver.net) (Ping timeout: 264 seconds) |
| 2021-03-11 15:11:17 +0100 | Psybur | (~user@unaffiliated/psybur) |
| 2021-03-11 15:11:33 +0100 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-03-11 15:12:36 +0100 | son0p | (~son0p@181.136.122.143) |
| 2021-03-11 15:12:44 +0100 | Waifod | (Waifod@gateway/vpn/protonvpn/waifod) (Ping timeout: 272 seconds) |
| 2021-03-11 15:12:58 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) |
| 2021-03-11 15:12:58 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-03-11 15:13:41 +0100 | ep1ctetus | (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-03-11 15:13:53 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 15:14:24 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 15:15:14 +0100 | aweinsto1k | aweinstock |
| 2021-03-11 15:17:14 +0100 | ubert | (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2021-03-11 15:18:02 +0100 | poscat | (~poscat@2408:8207:4829:8650::1) (Remote host closed the connection) |
| 2021-03-11 15:18:13 +0100 | ubert | (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) |
| 2021-03-11 15:18:18 +0100 | Waifod | (~Waifod@91.106.123.186) |
| 2021-03-11 15:18:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 15:20:03 +0100 | poscat | (~poscat@123.116.89.28) |
| 2021-03-11 15:20:55 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 15:21:33 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 15:23:22 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 15:24:01 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 15:24:21 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 15:25:11 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 15:25:31 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 15:25:50 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 15:26:30 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 15:28:22 +0100 | Wuzzy | (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 2021-03-11 15:29:04 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-11 15:30:35 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) |
| 2021-03-11 15:33:27 +0100 | carlomagno | (~cararell@148.87.23.9) |
| 2021-03-11 15:34:29 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 15:34:52 +0100 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-03-11 15:35:56 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 15:36:06 +0100 | redmp | (~redmp@172.58.19.94) (Ping timeout: 246 seconds) |
| 2021-03-11 15:38:28 +0100 | usr25 | (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-03-11 15:39:15 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Ping timeout: 246 seconds) |
| 2021-03-11 15:42:02 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b95955d3c722039acad7c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-11 15:43:00 +0100 | redmp | (~redmp@172.58.38.165) |
| 2021-03-11 15:45:08 +0100 | __monty__ | (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-03-11 15:45:58 +0100 | MrMobius | (~MrMobius@208.58.206.154) |
| 2021-03-11 15:46:43 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 15:48:52 +0100 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-03-11 15:50:37 +0100 | NinjaTrappeur | (~ninja@unaffiliated/ninjatrappeur) (Ping timeout: 272 seconds) |
| 2021-03-11 15:51:47 +0100 | NinjaTrappeur | (~ninja@unaffiliated/ninjatrappeur) |
| 2021-03-11 15:52:08 +0100 | sablib1 | (~sablib@171.113.166.178) (Quit: WeeChat 3.0) |
| 2021-03-11 15:52:45 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 15:53:27 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 15:55:21 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) (Ping timeout: 246 seconds) |
| 2021-03-11 15:58:46 +0100 | ShalokShalom | (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) |
| 2021-03-11 15:59:12 +0100 | zangi | (~azure@103.154.230.250) (Ping timeout: 246 seconds) |
| 2021-03-11 15:59:31 +0100 | zangi | (~azure@103.154.230.250) |
| 2021-03-11 16:00:57 +0100 | bitmapper | (uid464869@gateway/web/irccloud.com/x-skqtalghxubvhphg) |
| 2021-03-11 16:01:25 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) |
| 2021-03-11 16:02:02 +0100 | redmp | (~redmp@172.58.38.165) (Ping timeout: 260 seconds) |
| 2021-03-11 16:03:04 +0100 | alexandros-liaro | (~veritas@2a02:587:2419:271c:d0ae:3a3:c92:5deb) |
| 2021-03-11 16:03:12 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 16:05:04 +0100 | ADG1089__ | (~aditya@223.226.229.230) |
| 2021-03-11 16:05:38 +0100 | CrazyPyt_ | (~crazypyth@98.122.164.118) |
| 2021-03-11 16:05:42 +0100 | <alexandros-liaro> | hi there! I want to process a family of mutually recursive datatypes. From skimming through it seems that most interesting libraries are multirec, compdata and generics-mrsop |
| 2021-03-11 16:06:15 +0100 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-03-11 16:06:18 +0100 | teardown_ | (~user@gateway/tor-sasl/mrush) |
| 2021-03-11 16:06:42 +0100 | <alexandros-liaro> | from my understanding multirec and generics-mrsop auto-generate the HFunctor and then one writes algebras using the auto-generated representation (which is awkward since I mostly want to write algebras) |
| 2021-03-11 16:06:53 +0100 | teardown | (~user@gateway/tor-sasl/mrush) (Remote host closed the connection) |
| 2021-03-11 16:08:08 +0100 | <alexandros-liaro> | compdata seems to support writing the HFunctor data type directly and it can auto derive the HFunctor instance directly. This means one writes algebras using the HFunctor datatype directly instead of some intermediate representation. |
| 2021-03-11 16:09:30 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 16:09:50 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:09:51 +0100 | <alexandros-liaro> | so eg I want to write the open recursion HFunctor GADT and automatically make it an HFunctor, HFoldable, HTraversable, ShowHF etc. |
| 2021-03-11 16:10:02 +0100 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-03-11 16:10:25 +0100 | <alexandros-liaro> | is this possible with the multirec/generics-mrsop packages or must I write algebras using the auto-generated HFunctor representation? |
| 2021-03-11 16:10:31 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 16:10:51 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:10:56 +0100 | <alexandros-liaro> | my goal is to reduce boilerplate as much as possible since my AST actually has around 20 different node types |
| 2021-03-11 16:11:04 +0100 | <ADG1089__> | cabal run is v2-run or v1-run? |
| 2021-03-11 16:11:14 +0100 | <merijn> | ADG1089__: Depends on your version |
| 2021-03-11 16:11:27 +0100 | <ADG1089__> | 3.4.0 |
| 2021-03-11 16:11:28 +0100 | <merijn> | ADG1089__: In 3.x run is v2-run, before 3.0 it's v1-run |
| 2021-03-11 16:11:45 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 16:11:49 +0100 | <alexandros-liaro> | or is there perhaps another alternative I am not aware of ? |
| 2021-03-11 16:12:04 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:12:22 +0100 | ShalokShalom | (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) (Quit: Connection closed) |
| 2021-03-11 16:15:00 +0100 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-03-11 16:15:51 +0100 | <ADG1089__> | ok then there's a bug in cabal: https://github.com/haskell/cabal/issues/7325 |
| 2021-03-11 16:16:58 +0100 | ADG1089__ | (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-11 16:17:00 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-03-11 16:17:16 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 16:17:48 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 16:18:07 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:19:13 +0100 | Lycurgus | (~niemand@98.4.114.199) (Quit: Exeunt) |
| 2021-03-11 16:19:58 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds) |
| 2021-03-11 16:20:40 +0100 | samebchase-7 | samebchase- |
| 2021-03-11 16:20:41 +0100 | cfvnhtsp^ | (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-11 16:21:08 +0100 | geowiesnot_bis | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 2021-03-11 16:21:57 +0100 | Jd007 | (~Jd007@162.156.11.151) |
| 2021-03-11 16:22:11 +0100 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-03-11 16:23:02 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-03-11 16:23:02 +0100 | polyphem | (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-11 16:23:11 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) |
| 2021-03-11 16:25:06 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 16:27:54 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-11 16:28:03 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:29:10 +0100 | crobbins | (~crobbins@2601:2c1:200:ec50:ed83:1b67:2330:2bb4) |
| 2021-03-11 16:29:18 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 16:29:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:30:23 +0100 | DataComputist | (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 2021-03-11 16:31:12 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 16:36:36 +0100 | minoru_shiraeesh | (~shiraeesh@5.101.59.76) (Ping timeout: 265 seconds) |
| 2021-03-11 16:40:09 +0100 | Anthaas_ | (~Anthaas@unaffiliated/anthaas) (Ping timeout: 264 seconds) |
| 2021-03-11 16:42:29 +0100 | Anthaas | (~Anthaas@unaffiliated/anthaas) |
| 2021-03-11 16:42:31 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 16:42:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-03-11 16:42:53 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) |
| 2021-03-11 16:42:56 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 16:44:46 +0100 | lewky- | (~lewky@159.65.37.240) |
| 2021-03-11 16:45:58 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-11 16:46:43 +0100 | lupulo | (~lupulo@163.117.64.56) (Ping timeout: 245 seconds) |
| 2021-03-11 16:47:37 +0100 | lupulo | (~lupulo@163.117.64.56) |
| 2021-03-11 16:47:57 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 2021-03-11 16:48:07 +0100 | lewky- | (~lewky@159.65.37.240) (Client Quit) |
| 2021-03-11 16:48:07 +0100 | lewky_ | (~lewky@159.65.37.240) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in) |
| 2021-03-11 16:54:20 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-03-11 16:57:12 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 16:59:00 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 17:00:27 +0100 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-03-11 17:01:22 +0100 | latarneu | (83ff0494@131.255.4.148) |
| 2021-03-11 17:01:31 +0100 | latarneu | (83ff0494@131.255.4.148) () |
| 2021-03-11 17:01:54 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 17:03:38 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 17:07:00 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 17:07:37 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 17:07:57 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 17:08:49 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded) |
| 2021-03-11 17:09:09 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 17:09:25 +0100 | alexandros-liaro | (~veritas@2a02:587:2419:271c:d0ae:3a3:c92:5deb) (Quit: Leaving) |
| 2021-03-11 17:10:13 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-03-11 17:10:27 +0100 | lewky_ | (~lewky@159.65.37.240) (Remote host closed the connection) |
| 2021-03-11 17:10:32 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-03-11 17:11:27 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-11 17:11:43 +0100 | kam1 | (~kam1@83.123.154.198) |
| 2021-03-11 17:11:48 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 17:12:04 +0100 | kam1 | (~kam1@83.123.154.198) (Read error: Connection reset by peer) |
| 2021-03-11 17:12:34 +0100 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-jncmlyhymogdqmtq) |
| 2021-03-11 17:13:54 +0100 | Deide | (~Deide@217.155.19.23) |
| 2021-03-11 17:14:36 +0100 | st8less | (~st8less@2603:a060:11fd:0:a2c4:2734:f287:8b07) |
| 2021-03-11 17:15:02 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 17:15:16 +0100 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) (Ping timeout: 265 seconds) |
| 2021-03-11 17:15:34 +0100 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 2021-03-11 17:15:36 +0100 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-03-11 17:16:46 +0100 | rond_ | (594020c5@89-64-32-197.dynamic.chello.pl) |
| 2021-03-11 17:18:02 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds) |
| 2021-03-11 17:20:03 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 245 seconds) |
| 2021-03-11 17:20:26 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 17:21:42 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-03-11 17:23:47 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-11 17:23:48 +0100 | Copperis | (~Tadas@unaffiliated/varis) (Ping timeout: 245 seconds) |
| 2021-03-11 17:25:03 +0100 | <hololeap> | is there a way to link to a module on hackage where it always goes to the latest version of the package? |
| 2021-03-11 17:26:08 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 17:30:03 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds) |
| 2021-03-11 17:30:26 +0100 | CoconutCrab | (~Cua@unaffiliated/coconutcrab) |
| 2021-03-11 17:32:18 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 2021-03-11 17:33:10 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-11 17:34:17 +0100 | <infinisi1> | hololeap: https://hackage.haskell.org/package/base/docs/Control-Arrow.html |
| 2021-03-11 17:35:29 +0100 | <mikoto-chan> | How do I debug failed cabal installations as a noob? I'm trying to install a package and cabal says it can't find a dependency when the correct version is already installed |
| 2021-03-11 17:35:53 +0100 | CoconutCrab | (~Cua@unaffiliated/coconutcrab) (Ping timeout: 245 seconds) |
| 2021-03-11 17:36:46 +0100 | <hololeap> | infinisi1: thanks |
| 2021-03-11 17:37:24 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 17:38:39 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 17:39:16 +0100 | <merijn> | mikoto-chan: Which version of cabal install? |
| 2021-03-11 17:39:41 +0100 | <merijn> | Also, which exact error? Which OS? Do you have system (Haskell) packages installed? |
| 2021-03-11 17:40:46 +0100 | <mikoto-chan> | merijn: Might've asked for help too early, let me first try to fix it myself |
| 2021-03-11 17:40:57 +0100 | <mikoto-chan> | How do I upgrade all installed packages? |
| 2021-03-11 17:42:31 +0100 | <merijn> | mikoto-chan: You don't |
| 2021-03-11 17:42:51 +0100 | <merijn> | mikoto-chan: Assuming you have a fairly recent cabal-install, that question means you are thinking about the cabal workflow wrong |
| 2021-03-11 17:43:09 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 17:43:21 +0100 | <mikoto-chan> | True, there isn't that much information on https://www.haskell.org/cabal |
| 2021-03-11 17:43:28 +0100 | <merijn> | mikoto-chan: In cabal 3.0 later there isn't really a sensible notion of "globally installed package" (because that's a terrible idea for development) |
| 2021-03-11 17:43:52 +0100 | <merijn> | And lacking a notion like "globally installed" there's also not really a reason to ever need to upgrade things |
| 2021-03-11 17:44:11 +0100 | <merijn> | mikoto-chan: What are you trying to do? |
| 2021-03-11 17:46:01 +0100 | lewky- | (~lewky@159.65.37.240) |
| 2021-03-11 17:48:24 +0100 | st8less | (~st8less@2603:a060:11fd:0:a2c4:2734:f287:8b07) (Quit: WeeChat 2.9) |
| 2021-03-11 17:48:38 +0100 | clynamen_ | (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2021-03-11 17:49:04 +0100 | clynamen | (~clynamen@net-93-66-1-11.cust.vodafonedsl.it) |
| 2021-03-11 17:50:46 +0100 | yoneda | (~mike@193.206.102.122) (Quit: leaving) |
| 2021-03-11 17:51:06 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 17:51:19 +0100 | toorevitimirp | (~tooreviti@117.182.180.50) |
| 2021-03-11 17:51:52 +0100 | lewky- | (~lewky@159.65.37.240) (Remote host closed the connection) |
| 2021-03-11 17:51:59 +0100 | st8less | (~st8less@2603:a060:11fd:0:69bb:1dd0:f53e:7d5b) |
| 2021-03-11 17:52:03 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-11 17:52:45 +0100 | lewky- | (~lewky@159.65.37.240) |
| 2021-03-11 17:52:46 +0100 | peanut_ | (~peanut@2a02:8388:a101:2600:e3ba:c092:d4d7:f23d) (Quit: Leaving) |
| 2021-03-11 17:52:46 +0100 | Feuermagier | (~Feuermagi@2a02:2488:4211:3400:246e:bf09:8453:9d6) |
| 2021-03-11 17:52:58 +0100 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:ac7b:d5c9:2180:6a41) |
| 2021-03-11 17:54:37 +0100 | toorevitimirp | (~tooreviti@117.182.180.50) (Remote host closed the connection) |
| 2021-03-11 17:55:07 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 17:55:33 +0100 | sayola | (~vekto@dslb-002-201-085-157.002.201.pools.vodafone-ip.de) |
| 2021-03-11 17:55:44 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 17:55:45 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-11 17:56:26 +0100 | nbloomf | (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a) (Ping timeout: 264 seconds) |
| 2021-03-11 17:57:07 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 17:57:53 +0100 | lewky- | (~lewky@159.65.37.240) (Remote host closed the connection) |
| 2021-03-11 17:58:20 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 17:59:25 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 18:00:27 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:87c4:91bb:9a2c:df87) (Ping timeout: 272 seconds) |
| 2021-03-11 18:00:28 +0100 | lewky_ | (~lewky@159.65.37.240) (Remote host closed the connection) |
| 2021-03-11 18:01:11 +0100 | jespada | (~jespada@90.254.243.187) (Ping timeout: 272 seconds) |
| 2021-03-11 18:01:35 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 18:02:26 +0100 | jespada | (~jespada@90.254.243.187) |
| 2021-03-11 18:02:37 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 2021-03-11 18:03:43 +0100 | lewky_ | (~lewky@159.65.37.240) (Client Quit) |
| 2021-03-11 18:04:09 +0100 | st8less | (~st8less@2603:a060:11fd:0:69bb:1dd0:f53e:7d5b) (Quit: WeeChat 2.9) |
| 2021-03-11 18:05:30 +0100 | infinisi1 | infinisil |
| 2021-03-11 18:06:42 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 18:06:51 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 18:08:10 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-11 18:08:36 +0100 | <mikoto-chan> | merijn: My bad, forgot the reason for the v2 commands. Anyway, I just wanted to install a package to play around with the library. |
| 2021-03-11 18:08:38 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 18:08:39 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-03-11 18:08:53 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 18:08:54 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-03-11 18:09:07 +0100 | <mikoto-chan> | I'm currently running 'cabal install Cabal cabal-install' which is compiling 245 packages |
| 2021-03-11 18:09:08 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 18:09:09 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-03-11 18:09:23 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 18:09:24 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Max SendQ exceeded) |
| 2021-03-11 18:09:34 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 18:09:41 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 2021-03-11 18:09:48 +0100 | ixlun` | (~user@213.205.241.136) |
| 2021-03-11 18:10:30 +0100 | <geekosaur> | probably installing Cabal is a mistake, since it's a library |
| 2021-03-11 18:10:34 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: mew wew) |
| 2021-03-11 18:10:44 +0100 | <geekosaur> | cabal-install would install it properly as a library dependency |
| 2021-03-11 18:11:18 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 245 seconds) |
| 2021-03-11 18:11:26 +0100 | <mikoto-chan> | Weird, I just ran what I found on https://www.haskell.org/cabal/index.html |
| 2021-03-11 18:11:32 +0100 | <mikoto-chan> | See upgrading cabal |
| 2021-03-11 18:11:44 +0100 | supercoven | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2021-03-11 18:11:44 +0100 | supercoven_ | (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (K-Lined) |
| 2021-03-11 18:11:51 +0100 | <maerwald> | I've never seen that page |
| 2021-03-11 18:11:57 +0100 | <mikoto-chan> | I'm running 3.2 with ghcup bt |
| 2021-03-11 18:12:08 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-11 18:12:15 +0100 | <maerwald> | mikoto-chan: it has 3.4 |
| 2021-03-11 18:12:22 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 18:12:25 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:ee7c:e063:1bfa:d7d1) |
| 2021-03-11 18:12:37 +0100 | <mikoto-chan> | maerwald: Wdym? |
| 2021-03-11 18:12:38 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 18:12:43 +0100 | <maerwald> | ghcup has 3.4 |
| 2021-03-11 18:12:50 +0100 | <maerwald> | not sure why you're installing it |
| 2021-03-11 18:13:17 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-03-11 18:13:30 +0100 | <maerwald> | `cabal install cabal-install` can be a bumpy ride and make only work on some specific GHC versions |
| 2021-03-11 18:13:38 +0100 | <maerwald> | s/make/may/ |
| 2021-03-11 18:13:40 +0100 | <mikoto-chan> | Can I easily upgrade by just reinstalling ghcup? |
| 2021-03-11 18:13:52 +0100 | ixlun | (~user@213.205.241.136) (Ping timeout: 276 seconds) |
| 2021-03-11 18:13:55 +0100 | lewky_ | (~lewky@159.65.37.240) (Client Quit) |
| 2021-03-11 18:13:56 +0100 | <maerwald> | mikoto-chan: run `ghcup tui` |
| 2021-03-11 18:14:25 +0100 | <mikoto-chan> | maerwald: Wow ... a lot of red crosses |
| 2021-03-11 18:14:46 +0100 | <maerwald> | :D |
| 2021-03-11 18:15:10 +0100 | <mikoto-chan> | Is the tui built with brick? (I was trying to install exactly that) |
| 2021-03-11 18:15:12 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 265 seconds) |
| 2021-03-11 18:15:14 +0100 | <maerwald> | yes |
| 2021-03-11 18:15:36 +0100 | <mikoto-chan> | Installing != compiling? (cabal always compiles) |
| 2021-03-11 18:16:51 +0100 | howdoi | (uid224@gateway/web/irccloud.com/x-sqjdgtmozwssawhg) |
| 2021-03-11 18:17:57 +0100 | redmp | (~redmp@172.58.38.165) |
| 2021-03-11 18:18:33 +0100 | Sgeo | (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-03-11 18:19:50 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:e9a5:fa18:9407:1091) (Ping timeout: 264 seconds) |
| 2021-03-11 18:20:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-11 18:20:30 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:e04c:47fc:a26:1d1) |
| 2021-03-11 18:21:59 +0100 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) |
| 2021-03-11 18:22:18 +0100 | APugNamedPugsley | (~13052@2601:58a:8300:f6a0:70c9:fc3c:b74d:902d) |
| 2021-03-11 18:22:39 +0100 | gienah | (~mwright@gentoo/developer/gienah) |
| 2021-03-11 18:22:47 +0100 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-03-11 18:24:33 +0100 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-03-11 18:25:30 +0100 | gienah_ | (~mwright@119-18-2-241.771202.syd.nbn.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-03-11 18:30:00 +0100 | CaptainIRS | (9d31e24f@157.49.226.79) (Quit: Connection closed) |
| 2021-03-11 18:32:04 +0100 | <geekosaur> | ghcup can install precompiled binaries, yes |
| 2021-03-11 18:33:17 +0100 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-03-11 18:33:56 +0100 | <maerwald> | or compile uncompiled binaries and install them |
| 2021-03-11 18:34:12 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 18:34:16 +0100 | electricityZZZZ | (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 2021-03-11 18:34:36 +0100 | jneira | (5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) (Ping timeout: 246 seconds) |
| 2021-03-11 18:37:33 +0100 | gienah_ | (~mwright@119-18-2-23.771202.syd.nbn.aussiebb.net) |
| 2021-03-11 18:40:32 +0100 | son0p | (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 2021-03-11 18:40:33 +0100 | gienah | (~mwright@gentoo/developer/gienah) (Ping timeout: 246 seconds) |
| 2021-03-11 18:40:59 +0100 | Boomerang | (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16) (Ping timeout: 272 seconds) |
| 2021-03-11 18:41:33 +0100 | <Gurkenglas_> | Recall unit_or :: () -> () -> (), which runs both inputs in parallel and returns the first that succeeds. Could one build the following? or :: a -> a -> a, which runs both inputs in parallel and returns the constructor of the first to get to WHNF; then once forced further, both keep running; to the extent that they contradict, the first trumps; the second might overtake the first in the race to get ever more defined. |
| 2021-03-11 18:41:36 +0100 | st8less | (~st8less@2603:a060:11fd:0:a7cf:8774:67e6:aff8) |
| 2021-03-11 18:42:18 +0100 | todda7 | (~torstein@2a02:587:1b10:ea00:db5:2d40:d00d:cce4) |
| 2021-03-11 18:42:32 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 18:42:53 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) |
| 2021-03-11 18:42:55 +0100 | redmp_ | (~redmp@172.58.75.6) |
| 2021-03-11 18:43:10 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 18:43:45 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 2021-03-11 18:44:10 +0100 | <Gurkenglas_> | Left (fix (trace "left")) `or` Right (fix (trace "right")), evaluated fully, would trace either lots of "left" or lots of "right", because the runner-up is abandoned once it's clear that he has chosen another constructor |
| 2021-03-11 18:44:32 +0100 | <Gurkenglas_> | f `or` g would presumably be \x -> f x `or` g x |
| 2021-03-11 18:45:53 +0100 | redmp | (~redmp@172.58.38.165) (Ping timeout: 245 seconds) |
| 2021-03-11 18:46:17 +0100 | <Gurkenglas_> | (1,1,fix id) `or` (fix id,0,fix id) could be (1,1,fix id) `or` (1,0,fix id) |
| 2021-03-11 18:47:34 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-11 18:48:45 +0100 | <geekosaur> | one hopes not, unless it's in IO |
| 2021-03-11 18:49:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-03-11 18:49:38 +0100 | <Gurkenglas_> | (reading domain theory and trying to construct the closest thing we get to the least value more defined than two given values, or the closest thing we can get) |
| 2021-03-11 18:49:48 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Client Quit) |
| 2021-03-11 18:49:52 +0100 | Yumasi | (~guillaume@2a01cb0506313c00e14be01ac4a050f7.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2021-03-11 18:50:03 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-03-11 18:50:16 +0100 | <Gurkenglas_> | (((scratch last ,-clause ._.))) |
| 2021-03-11 18:51:24 +0100 | <Gurkenglas_> | "could be (1,1,fix id) `or` (1,0,fix id)" i meant to write "could be (1,1,fix id) or (1,0,fix id)", but this is surprisingly appropriate |
| 2021-03-11 18:51:28 +0100 | rajivr | (uid269651@gateway/web/irccloud.com/x-ruipfsajaahduasm) (Quit: Connection closed for inactivity) |
| 2021-03-11 18:55:27 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 18:56:22 +0100 | <Gurkenglas_> | (i guess simply erroring out whenever the two arguments don't have a value that's more defined than both is close enough) |
| 2021-03-11 18:56:26 +0100 | st8less | (~st8less@2603:a060:11fd:0:a7cf:8774:67e6:aff8) (Ping timeout: 264 seconds) |
| 2021-03-11 18:57:10 +0100 | st8less | (~st8less@2603:a060:11fd:0:a7cf:8774:67e6:aff8) |
| 2021-03-11 18:57:31 +0100 | <Gurkenglas_> | when implementing this, one would wish that ghc could hand the knowledge that one of the two thunks has returned a constructor to the other thunk, so that it might use the knowledge to finish faster |
| 2021-03-11 18:58:02 +0100 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-11 18:58:45 +0100 | zebrag | (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-03-11 18:58:48 +0100 | aqd | (~aqd@84.20.147.33) (Ping timeout: 245 seconds) |
| 2021-03-11 18:58:53 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-11 19:01:17 +0100 | <Gurkenglas_> | although that would change the behavior... fix (fmap (2:)) `or` (fix id : fix id) would be more defined than either |
| 2021-03-11 19:01:35 +0100 | <Gurkenglas_> | wait, thats the wrong term uhh |
| 2021-03-11 19:02:05 +0100 | <Gurkenglas_> | fix (fmap (2:)) `or` Just (fix id) <- there, that's what I meant |
| 2021-03-11 19:02:15 +0100 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-03-11 19:05:00 +0100 | graf_blutwurst | (~user@2001:171b:226e:adc0:81da:cf62:15f1:d8b5) (Remote host closed the connection) |
| 2021-03-11 19:09:15 +0100 | lewky_ | (~lewky@159.65.37.240) |
| 2021-03-11 19:10:15 +0100 | kuribas | (~user@ip-188-118-57-242.reverse.destiny.be) (Remote host closed the connection) |
| 2021-03-11 19:12:01 +0100 | lewky_ | (~lewky@159.65.37.240) (Client Quit) |
| 2021-03-11 19:13:14 +0100 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-03-11 19:13:51 +0100 | <Gurkenglas_> | i suppose if or were implemented, it's thinkable that ghc might apply this knowledge: If the x thunk in "let x = fmap (2:) x in x" is the same thunk as the return thunk in `or`, then at some point the "Just (fix id)" could put Just at the front of x, after which point whatever fmaps have accumulated can resolve. hmm, not really optimally fast, but combined two looping programs into a colooping one :) |
| 2021-03-11 19:15:10 +0100 | <Gurkenglas_> | All hell breaks loose though if the assumption is broken that the two values have a value that's more defined than both - fix (2:) `or` fix (1:) could come out 1:1:2:1:2:2:1:... :D |
| 2021-03-11 19:17:41 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-03-11 19:18:10 +0100 | Gurkenglas_ | .oO(so huh, this optimization gives me just some value more defined than both instead of the least one. I've been wondering why in this domain theory book, directed sets only require some upper bound rather than the least one.) |
| 2021-03-11 19:18:55 +0100 | aarvar | (~foewfoiew@2601:602:a080:fa0:f5c0:50eb:5dcd:a8d4) |
| 2021-03-11 19:18:59 +0100 | <ski> | Gurkenglas_ : is that like `unamb' ? |
| 2021-03-11 19:19:36 +0100 | <monochrom> | Domain theory books try to require the minimum required to explain most existing programming languages. |
| 2021-03-11 19:19:45 +0100 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 264 seconds) |
| 2021-03-11 19:20:16 +0100 | <monochrom> | Err, misread. |
| 2021-03-11 19:20:23 +0100 | <Gurkenglas_> | monochrom, i read some of the first chapter and ran off trying to invent the math myself :P |
| 2021-03-11 19:20:33 +0100 | <ski> | @hackage unamb |
| 2021-03-11 19:20:33 +0100 | <lambdabot> | https://hackage.haskell.org/package/unamb |
| 2021-03-11 19:20:38 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 19:20:45 +0100 | <Gurkenglas_> | ski, nice! better yet according to unamb, https://hackage.haskell.org/package/lub |
| 2021-03-11 19:21:56 +0100 | <ski> | @hackage lvish |
| 2021-03-11 19:21:56 +0100 | <lambdabot> | https://hackage.haskell.org/package/lvish |
| 2021-03-11 19:22:06 +0100 | <monochrom> | Actually what I said applies, despite a misread. |
| 2021-03-11 19:22:16 +0100 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-03-11 19:23:27 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 19:23:56 +0100 | <Gurkenglas_> | monochrom, well yea, the book might as well apply its own theory :3 |
| 2021-03-11 19:24:12 +0100 | gitgoood | (~gitgood@82-132-217-138.dab.02.net) |
| 2021-03-11 19:25:29 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-11 19:25:54 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2021-03-11 19:26:39 +0100 | rond_ | (594020c5@89-64-32-197.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-03-11 19:26:52 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 19:27:02 +0100 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 2021-03-11 19:27:07 +0100 | gitgood | (~gitgood@82-132-218-168.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-11 19:30:02 +0100 | st8less | (~st8less@2603:a060:11fd:0:a7cf:8774:67e6:aff8) (Ping timeout: 264 seconds) |
| 2021-03-11 19:30:53 +0100 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-11 19:31:22 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 19:31:23 +0100 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-03-11 19:31:59 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-03-11 19:32:31 +0100 | conal | (~conal@66.115.157.109) (Quit: Computer has gone to sleep.) |
| 2021-03-11 19:33:15 +0100 | conal | (~conal@66.115.157.109) |
| 2021-03-11 19:36:35 +0100 | <Gurkenglas_> | yep lub sure looks like it'll combine fix (fmap (2:)) and Just (fix id) into Just (repeat 2), time to test and issue report that his library and all the functions have the wrong name :D |
| 2021-03-11 19:37:21 +0100 | asheshambasta | (~user@ptr-e1lysav9wm55yti8rns.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 2021-03-11 19:39:15 +0100 | chele | (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 2021-03-11 19:39:20 +0100 | Mrbuck | (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 2021-03-11 19:40:09 +0100 | frozenErebus | (~frozenEre@94.128.82.20) (Ping timeout: 264 seconds) |
| 2021-03-11 19:45:28 +0100 | Guest49 | (~textual@host31-51-7-202.range31-51.btcentralplus.com) (Ping timeout: 245 seconds) |
| 2021-03-11 19:46:05 +0100 | ADG1089__ | (~aditya@223.226.229.230) |
| 2021-03-11 19:46:35 +0100 | dfeuer | (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) |
| 2021-03-11 19:48:37 +0100 | JMSL | (2f955e8b@47.149.94.139) |
| 2021-03-11 19:48:41 +0100 | cfvnhtsp^ | (cfvnhtsp@ip98-184-89-2.mc.at.cox.net) () |
| 2021-03-11 19:49:37 +0100 | <JMSL> | what’s up |
| 2021-03-11 19:50:35 +0100 | JMSL | (2f955e8b@47.149.94.139) () |
| 2021-03-11 19:50:50 +0100 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-11 19:52:16 +0100 | <codolio> | Counterpoint: I don't want GHC to waste time on a slower execution model just so that I can define functions in less obvious ways that domain theory says 'should' exist. |
| 2021-03-11 19:53:02 +0100 | geekosaur | (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 2021-03-11 19:55:51 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 19:56:53 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-11 19:58:34 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 19:58:42 +0100 | codolio | dolio |
| 2021-03-11 19:58:53 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-11 19:59:55 +0100 | pounce- | pounce |
| 2021-03-11 20:00:38 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds) |
| 2021-03-11 20:00:43 +0100 | ggole | (~ggole@2001:8003:8119:7200:f166:e0e1:fa1e:acf8) (Quit: Leaving) |
| 2021-03-11 20:02:26 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 264 seconds) |
| 2021-03-11 20:03:11 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:ee7c:e063:1bfa:d7d1) (Ping timeout: 265 seconds) |
| 2021-03-11 20:03:35 +0100 | berberman_ | (~berberman@unaffiliated/berberman) |
| 2021-03-11 20:04:09 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 264 seconds) |
| 2021-03-11 20:04:31 +0100 | lewky | (816b5083@129.107.80.131) (Quit: Connection closed) |
| 2021-03-11 20:04:35 +0100 | berberman | (~berberman@unaffiliated/berberman) (Ping timeout: 272 seconds) |
| 2021-03-11 20:04:50 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-03-11 20:05:27 +0100 | minoru_shiraeesh | (~shiraeesh@46.34.206.154) |
| 2021-03-11 20:07:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 20:09:02 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-03-11 20:10:09 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 20:12:22 +0100 | sagax | (~sagax_nb@213.138.71.146) |
| 2021-03-11 20:12:32 +0100 | conal | (~conal@66.115.157.109) (Quit: Computer has gone to sleep.) |
| 2021-03-11 20:14:56 +0100 | matryoshka | (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 2021-03-11 20:15:07 +0100 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-11 20:17:04 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 20:17:13 +0100 | conal | (~conal@192.145.118.119) |
| 2021-03-11 20:17:44 +0100 | crobbins_ | (~crobbins@2601:2c1:200:ec50:b5d9:21da:3ea0:b726) |
| 2021-03-11 20:18:38 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 264 seconds) |
| 2021-03-11 20:19:32 +0100 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 2021-03-11 20:19:40 +0100 | danso | (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 2021-03-11 20:21:02 +0100 | crobbins | (~crobbins@2601:2c1:200:ec50:ed83:1b67:2330:2bb4) (Ping timeout: 264 seconds) |
| 2021-03-11 20:22:14 +0100 | crobbins_ | (~crobbins@2601:2c1:200:ec50:b5d9:21da:3ea0:b726) (Ping timeout: 264 seconds) |
| 2021-03-11 20:24:00 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 20:24:53 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:7dbd:671b:4d2e:c5b4) |
| 2021-03-11 20:25:24 +0100 | dhart | (~dhart@37.120.211.188) (Remote host closed the connection) |
| 2021-03-11 20:27:02 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:e04c:47fc:a26:1d1) (Ping timeout: 264 seconds) |
| 2021-03-11 20:27:11 +0100 | DavidEichmann | (~david@234.109.45.217.dyn.plus.net) (Remote host closed the connection) |
| 2021-03-11 20:27:40 +0100 | jrqc | (~rofl@96.78.87.197) (Ping timeout: 256 seconds) |
| 2021-03-11 20:27:45 +0100 | xff0x_ | (~xff0x@2001:1a81:53d2:5300:7d58:fd61:d678:3ab7) |
| 2021-03-11 20:27:59 +0100 | curiousgay | (~gay@178.217.208.8) (Remote host closed the connection) |
| 2021-03-11 20:29:34 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-03-11 20:30:32 +0100 | jrqc | (~rofl@96.78.87.197) |
| 2021-03-11 20:31:38 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 256 seconds) |
| 2021-03-11 20:32:43 +0100 | pera | (~pera@unaffiliated/pera) |
| 2021-03-11 20:33:48 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 20:34:03 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 20:37:58 +0100 | crobbins | (~crobbins@2600:1700:48eb:8490:3c7c:49f3:78e9:cf98) |
| 2021-03-11 20:38:30 +0100 | ADG1089__ | (~aditya@223.226.229.230) (Remote host closed the connection) |
| 2021-03-11 20:38:57 +0100 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2021-03-11 20:41:22 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 20:41:25 +0100 | Alex4 | (~Alex@185.204.1.185) |
| 2021-03-11 20:41:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-03-11 20:42:39 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 20:42:49 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-03-11 20:44:08 +0100 | ystael | (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 2021-03-11 20:45:13 +0100 | ystael | (~ystael@209.6.50.55) |
| 2021-03-11 20:45:56 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) |
| 2021-03-11 20:45:58 +0100 | pera | (~pera@unaffiliated/pera) (Ping timeout: 276 seconds) |
| 2021-03-11 20:47:03 +0100 | elliott__ | (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) |
| 2021-03-11 20:47:23 +0100 | geekosaur | (82650c7a@130.101.12.122) |
| 2021-03-11 20:47:47 +0100 | cynick | (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) (Ping timeout: 246 seconds) |
| 2021-03-11 20:48:05 +0100 | cynick | (~worm@ec2-52-206-86-1.compute-1.amazonaws.com) |
| 2021-03-11 20:48:59 +0100 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-11 20:50:29 +0100 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-03-11 20:52:48 +0100 | tzlil | (~tzlil@unaffiliated/tzlil) (Remote host closed the connection) |
| 2021-03-11 20:53:13 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-11 20:54:37 +0100 | abc15 | (575c80e2@87-92-128-226.rev.dnainternet.fi) |
| 2021-03-11 20:55:15 +0100 | abc15 | (575c80e2@87-92-128-226.rev.dnainternet.fi) (Client Quit) |
| 2021-03-11 20:56:27 +0100 | conal | (~conal@192.145.118.119) (Quit: Computer has gone to sleep.) |
| 2021-03-11 20:58:34 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 20:58:53 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-11 20:59:51 +0100 | conal | (~conal@192.145.118.121) |
| 2021-03-11 21:01:07 +0100 | astroanax | (astroanax@gateway/shell/ircnow/x-hxzrgpotzvfczuis) (Ping timeout: 260 seconds) |
| 2021-03-11 21:05:03 +0100 | petersen | (~petersen@redhat/juhp) (Ping timeout: 245 seconds) |
| 2021-03-11 21:06:42 +0100 | conal | (~conal@192.145.118.121) (Quit: Computer has gone to sleep.) |
| 2021-03-11 21:07:24 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 21:07:55 +0100 | petersen | (~petersen@redhat/juhp) |
| 2021-03-11 21:08:09 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-11 21:09:27 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) |
| 2021-03-11 21:11:04 +0100 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:7bb5:9401:98a2:564d) |
| 2021-03-11 21:11:54 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) (Ping timeout: 260 seconds) |
| 2021-03-11 21:12:20 +0100 | astroanax | (astroanax@gateway/shell/ircnow/x-soogubkvrbnfsoqt) |
| 2021-03-11 21:12:40 +0100 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-03-11 21:12:50 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) (Ping timeout: 260 seconds) |
| 2021-03-11 21:13:22 +0100 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-03-11 21:14:06 +0100 | Forlorn | (~Forlorn@unaffiliated/forlorn) (Quit: leaving) |
| 2021-03-11 21:15:33 +0100 | arrowsvc_ | (~arr@2.93.163.35) (Ping timeout: 264 seconds) |
| 2021-03-11 21:19:04 +0100 | ByronJohnson | (~bairyn@unaffiliated/bob0) |
| 2021-03-11 21:23:29 +0100 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Quit: Leaving) |
| 2021-03-11 21:23:43 +0100 | Tene | (~tene@mail.digitalkingdom.org) |
| 2021-03-11 21:23:43 +0100 | Tene | (~tene@mail.digitalkingdom.org) (Changing host) |
| 2021-03-11 21:23:43 +0100 | Tene | (~tene@poipu/supporter/slacker/tene) |
| 2021-03-11 21:24:09 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-11 21:26:30 +0100 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-03-11 21:28:52 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) |
| 2021-03-11 21:29:13 +0100 | myShoggoth | (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-11 21:35:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 2021-03-11 21:35:22 +0100 | gitgoood | (~gitgood@82-132-217-138.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-11 21:36:03 +0100 | nhs | (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-11 21:36:03 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Read error: Connection reset by peer) |
| 2021-03-11 21:36:09 +0100 | jneira | (5127adbf@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.173.191) |
| 2021-03-11 21:36:17 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-11 21:40:46 +0100 | forgottenone | (~forgotten@176.42.24.172) (Quit: Konversation terminated!) |
| 2021-03-11 21:43:33 +0100 | redmp | (~redmp@172.58.22.241) |
| 2021-03-11 21:44:57 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 264 seconds) |
| 2021-03-11 21:45:19 +0100 | son0p | (~son0p@181.58.39.182) |
| 2021-03-11 21:47:00 +0100 | redmp_ | (~redmp@172.58.75.6) (Ping timeout: 256 seconds) |
| 2021-03-11 21:47:17 +0100 | kupi | (uid212005@gateway/web/irccloud.com/x-opxyvcrmwhvgrwjf) |
| 2021-03-11 21:49:03 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-03-11 21:50:23 +0100 | conal | (~conal@ip-66-115-176-219.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2021-03-11 21:50:42 +0100 | tasuki | (~tasuki@198.211.120.27) (Quit: WeeChat 1.9.1) |
| 2021-03-11 21:50:54 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-11 21:50:55 +0100 | mouseghost | (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-11 21:50:55 +0100 | mouseghost | (~draco@wikipedia/desperek) |
| 2021-03-11 21:51:48 +0100 | tasuki | (~tasuki@198.211.120.27) |
| 2021-03-11 21:53:48 +0100 | myShoggoth | (~myShoggot@75.164.81.55) |
| 2021-03-11 21:55:38 +0100 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-11 21:55:39 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-03-11 21:57:40 +0100 | hexfive | (~hexfive@50.35.83.177) |
| 2021-03-11 21:58:15 +0100 | APic | (apic@apic.name) (Ping timeout: 240 seconds) |
| 2021-03-11 21:58:27 +0100 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-03-11 21:58:32 +0100 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-03-11 22:00:02 +0100 | APic | (apic@apic.name) |
| 2021-03-11 22:00:03 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) |
| 2021-03-11 22:00:51 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-03-11 22:00:52 +0100 | tasuki | (~tasuki@198.211.120.27) (Quit: WeeChat 1.9.1) |
| 2021-03-11 22:01:28 +0100 | tasuki | (~tasuki@198.211.120.27) |
| 2021-03-11 22:02:03 +0100 | Tops2 | (~Tobias@dyndsl-095-033-091-112.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-03-11 22:04:00 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-11 22:04:27 +0100 | subttle | (~anonymous@unaffiliated/subttle) |
| 2021-03-11 22:05:58 +0100 | <kupi> | I am currently reading SICP, is that still relevant today or there is a better alternative? |
| 2021-03-11 22:06:00 +0100 | tasuki | (~tasuki@198.211.120.27) (Client Quit) |
| 2021-03-11 22:06:21 +0100 | tasuki | (~tasuki@198.211.120.27) |
| 2021-03-11 22:06:56 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-11 22:07:02 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-11 22:07:46 +0100 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-03-11 22:08:04 +0100 | fendor_ | (~fendor@77.119.131.133.wireless.dyn.drei.com) |
| 2021-03-11 22:09:58 +0100 | <koz_> | kupi: Define 'relevant'. |
| 2021-03-11 22:10:20 +0100 | <koz_> | Also, SICP uses Scheme, and we're #haskell. |
| 2021-03-11 22:10:29 +0100 | <kupi> | you would recommend to someone who wants to learn how to use FP in the big |
| 2021-03-11 22:10:41 +0100 | <koz_> | kupi: 'In the big' meaning what exactly? |
| 2021-03-11 22:10:54 +0100 | <koz_> | SICP aims to teach principles - not specifically of functional programming I might add. |
| 2021-03-11 22:11:01 +0100 | <koz_> | I'm not really sure how that relates. |
| 2021-03-11 22:11:09 +0100 | <kupi> | designing large programs, like how to structure modules |
| 2021-03-11 22:11:17 +0100 | <kupi> | what to expose and not expose |
| 2021-03-11 22:11:19 +0100 | <koz_> | I would say SICP won't really help you much there. |
| 2021-03-11 22:11:21 +0100 | fendor | (~fendor@77.119.131.80.wireless.dyn.drei.com) (Ping timeout: 264 seconds) |
| 2021-03-11 22:11:25 +0100 | <koz_> | It's not a software engineering book. |
| 2021-03-11 22:11:47 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-11 22:11:57 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-11 22:12:27 +0100 | <dolio> | It's still a good book, though. |
| 2021-03-11 22:12:52 +0100 | <kupi> | for software engineering what do you recommend? I have read Learn you a Haskell and til chapter 17 |
| 2021-03-11 22:13:12 +0100 | <kupi> | *and Real world Haskell til chapter 17 |
| 2021-03-11 22:13:14 +0100 | <koz_> | kupi: I don't really have anything to suggest, sorry. |
| 2021-03-11 22:14:30 +0100 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0.1) |
| 2021-03-11 22:17:00 +0100 | Boomerang | (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16) |
| 2021-03-11 22:17:02 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) |
| 2021-03-11 22:17:33 +0100 | nhs | (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 246 seconds) |
| 2021-03-11 22:17:36 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Ping timeout: 256 seconds) |
| 2021-03-11 22:19:32 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-11 22:19:39 +0100 | Fractalis | (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Client Quit) |
| 2021-03-11 22:19:47 +0100 | gitgood | (~gitgood@82-132-217-138.dab.02.net) |
| 2021-03-11 22:20:36 +0100 | nhs | (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 2021-03-11 22:22:10 +0100 | <minoru_shiraeesh> | kupi: learn it step by step |
| 2021-03-11 22:22:27 +0100 | <minoru_shiraeesh> | stay tuned and you're gonna find something |
| 2021-03-11 22:22:27 +0100 | sz0 | (uid110435@gateway/web/irccloud.com/x-wagwtqglemcdvolt) (Quit: Connection closed for inactivity) |
| 2021-03-11 22:23:20 +0100 | <minoru_shiraeesh> | it doesn't matter which level you are on, you can just play and code for fun |
| 2021-03-11 22:23:37 +0100 | knupfer | (~Thunderbi@i59F7FF85.versanet.de) |
| 2021-03-11 22:23:55 +0100 | <minoru_shiraeesh> | there is a book |
| 2021-03-11 22:23:58 +0100 | <minoru_shiraeesh> | Alexander Granin - Functional Design and Architecture (2020) |
| 2021-03-11 22:24:10 +0100 | <minoru_shiraeesh> | but it's hard to read |
| 2021-03-11 22:24:25 +0100 | <minoru_shiraeesh> | the style is to "dry" |
| 2021-03-11 22:24:59 +0100 | <minoru_shiraeesh> | *too |
| 2021-03-11 22:25:14 +0100 | mikoto-chan | (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 268 seconds) |
| 2021-03-11 22:25:32 +0100 | stree | (~stree@68.36.8.116) (Ping timeout: 256 seconds) |
| 2021-03-11 22:25:46 +0100 | subttle | (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 2021-03-11 22:26:03 +0100 | subttle | (~anonymous@unaffiliated/subttle) |
| 2021-03-11 22:27:23 +0100 | <minoru_shiraeesh> | or maybe not |
| 2021-03-11 22:27:38 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 2021-03-11 22:27:47 +0100 | <sclv> | kupi: have you seen "how to design programs"? |
| 2021-03-11 22:27:58 +0100 | <minoru_shiraeesh> | anyway, idk why but it was hard for me to read |
| 2021-03-11 22:28:28 +0100 | <kupi> | sclv: not yet, all i know wikipedia mentions it at the SICP article |
| 2021-03-11 22:28:34 +0100 | <sclv> | its pretty basic imho but its considered a very good intro text on functional architecture https://htdp.org/2020-8-1/Book/index.html |
| 2021-03-11 22:29:10 +0100 | <sclv> | imho most questions of large scale architecture are sort of the same with or without functional programming tbh |
| 2021-03-11 22:29:13 +0100 | <koz_> | sclv: Thanks for pointing me to that - it seems interesting and I didn't know about it. |
| 2021-03-11 22:29:17 +0100 | <koz_> | And yeah, I agree. |
| 2021-03-11 22:29:25 +0100 | <koz_> | Even medium-scale architecture. |
| 2021-03-11 22:29:27 +0100 | <sclv> | there's a few more "fp" overall things -- ideas you can pick up from hinze's functional perals, etc |
| 2021-03-11 22:29:36 +0100 | <sclv> | the idea of "wholemeal" design, etc |
| 2021-03-11 22:29:41 +0100 | <sclv> | but that's more in terms of algorithmics |
| 2021-03-11 22:29:48 +0100 | <sclv> | and then then there's algebraic thinking and factoring of libraries |
| 2021-03-11 22:29:52 +0100 | <koz_> | sclv: So, design that's good for your gut biome? |
| 2021-03-11 22:30:53 +0100 | <sclv> | but if you are building a large system then a lot of stuff is at a higher level, and idk any good books on it, i acquired through experience. |
| 2021-03-11 22:31:06 +0100 | <sclv> | there's a book on large program architecture that has a chapter on ghc, i forget what book though! |
| 2021-03-11 22:31:15 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) |
| 2021-03-11 22:31:22 +0100 | <sclv> | (oh i should add experience, and lots of articles about many different systems) |
| 2021-03-11 22:31:42 +0100 | <koz_> | I think Sandy Maguire was working on a design-style book too, but I forget its name or whether it's finished. |
| 2021-03-11 22:32:12 +0100 | <sclv> | re wholemeal programming: https://www.cs.ox.ac.uk/people/ralf.hinze/publications/ICFP09.pdf |
| 2021-03-11 22:32:24 +0100 | <sclv> | " Wholemeal programming means to thinkbig: work with an entire list, rather than a sequence of elements; de-velop a solution space, rather than an individual solution; imaginea graph, rather than a single path." |
| 2021-03-11 22:32:32 +0100 | <kupi> | i once read a program made by one person who had 20 years of experience, about 10 of it was java. That program was full of god classes cyclically dependent on each other! |
| 2021-03-11 22:33:10 +0100 | <kupi> | that was when I learnt "experience" is not enough, books and code reviews are essential |
| 2021-03-11 22:34:05 +0100 | <koz_> | To be fair, experience in Java is inversely proportional, so it's 10 - 10 = 0 years of actual experience. :P |
| 2021-03-11 22:34:10 +0100 | <sclv> | oh here's the book i was thinking of: https://www.aosabook.org/en/index.html |
| 2021-03-11 22:34:28 +0100 | roconnor | (~roconnor@host-45-58-192-182.dyn.295.ca) (Ping timeout: 260 seconds) |
| 2021-03-11 22:34:33 +0100 | <sclv> | maybe marlow's book on concurrency would pair well |
| 2021-03-11 22:34:45 +0100 | <koz_> | I would recommend that book regardless (Marlow's). |
| 2021-03-11 22:34:52 +0100 | <koz_> | It's _really_ useful. |
| 2021-03-11 22:36:53 +0100 | frozenErebus | (~frozenEre@94.128.82.20) |
| 2021-03-11 22:37:44 +0100 | stree | (~stree@68.36.8.116) |
| 2021-03-11 22:37:45 +0100 | <kupi> | is there newer version of this? https://twitter.com/lambda_conf/status/803695008100466688 |
| 2021-03-11 22:37:59 +0100 | cake_eater | (~kiweun@2607:fea8:2a62:9600:2c7a:ef2c:8374:86d) |
| 2021-03-11 22:38:01 +0100 | <sclv> | I hope not! |
| 2021-03-11 22:38:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 22:38:09 +0100 | <sclv> | its a terrible idea and we all dunked on it at the time |
| 2021-03-11 22:38:28 +0100 | geekosaur | (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 2021-03-11 22:38:33 +0100 | <kupi> | is there an alternative? |
| 2021-03-11 22:39:36 +0100 | <sclv> | imho there's no "right" way to construct such a thing |
| 2021-03-11 22:39:42 +0100 | <subttle> | 1 |
| 2021-03-11 22:39:50 +0100 | <koz_> | subttle: 2 |
| 2021-03-11 22:39:54 +0100 | qih | (~pi@210-54-120-166.adsl.xtra.co.nz) (Quit: Lost terminal) |
| 2021-03-11 22:40:02 +0100 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-11 22:40:04 +0100 | <subttle> | haha sorry typo meant to be "/1" to change windows :) |
| 2021-03-11 22:41:08 +0100 | <Psybur> | Anybody have an idea on how to fix 'cannot find ld' when using stack build? It appears to be on my path, dont know why im getting this https://pastebin.com/Xp5gSjtN |
| 2021-03-11 22:41:26 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:7dbd:671b:4d2e:c5b4) (Ping timeout: 264 seconds) |
| 2021-03-11 22:43:03 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:3c91:d3d3:8013:3404) |
| 2021-03-11 22:44:26 +0100 | cake_eater | (~kiweun@2607:fea8:2a62:9600:2c7a:ef2c:8374:86d) (Ping timeout: 264 seconds) |
| 2021-03-11 22:44:53 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 22:45:00 +0100 | <sclv> | kupi: the "right" metric is to keep reading code and writing code and learning as youo go |
| 2021-03-11 22:45:12 +0100 | <sclv> | there's no "ladder" to climb |
| 2021-03-11 22:45:22 +0100 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-03-11 22:45:52 +0100 | DataComputist | (~lumeng@50.43.26.251) (Ping timeout: 265 seconds) |
| 2021-03-11 22:46:12 +0100 | son0p | (~son0p@181.58.39.182) (Quit: leaving) |
| 2021-03-11 22:47:31 +0100 | DataComputist | (~lumeng@50.43.26.251) |
| 2021-03-11 22:48:02 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:3c91:d3d3:8013:3404) (Ping timeout: 264 seconds) |
| 2021-03-11 22:48:05 +0100 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-03-11 22:48:23 +0100 | danvet_ | (~danvet@212-51-149-181.fiber7.init7.net) |
| 2021-03-11 22:48:26 +0100 | idhugo__ | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Read error: Connection reset by peer) |
| 2021-03-11 22:48:38 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 2021-03-11 22:50:35 +0100 | <minoru_shiraeesh> | sclv: "imho most questions of large scale architecture are sort of the same with or without functional programming tbh" |
| 2021-03-11 22:50:57 +0100 | <minoru_shiraeesh> | but the language can encourage or discourage certain decisions |
| 2021-03-11 22:51:25 +0100 | <minoru_shiraeesh> | I heard that in erlang everything is an actor |
| 2021-03-11 22:51:50 +0100 | <sclv> | sure. but there's actor style libs for java even |
| 2021-03-11 22:51:56 +0100 | <minoru_shiraeesh> | so an erlang programmer will probably lean towards a solution that involves actors |
| 2021-03-11 22:51:57 +0100 | [exa] | (exa@unaffiliated/exa/x-5381537) (Read error: Connection reset by peer) |
| 2021-03-11 22:52:42 +0100 | <minoru_shiraeesh> | js encouraged callbacks |
| 2021-03-11 22:52:57 +0100 | <sclv> | many languages do |
| 2021-03-11 22:53:12 +0100 | <sclv> | its common in python libs too |
| 2021-03-11 22:53:33 +0100 | <hololeap> | kupi: it reminds me a bit of this: http://dev.stephendiehl.com/hask/index.html |
| 2021-03-11 22:53:56 +0100 | <sclv> | i'm not saying language doesn't matter. i'm saying that large scale architecture is something that lives at a higher level of abstraction than "functional programming" |
| 2021-03-11 22:54:13 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Remote host closed the connection) |
| 2021-03-11 22:54:29 +0100 | <sclv> | and by large scale i mean systems with say at least three different interacting processes, typically more |
| 2021-03-11 22:54:29 +0100 | <minoru_shiraeesh> | I think they intersect |
| 2021-03-11 22:54:39 +0100 | <sclv> | ok good for you |
| 2021-03-11 22:54:43 +0100 | <kupi> | thanks a lot, so many links I am completely unsure what to do? shall I finish SICP? then what's next? |
| 2021-03-11 22:55:08 +0100 | <minoru_shiraeesh> | in fp there is a distinction between pure and impure code |
| 2021-03-11 22:55:40 +0100 | <minoru_shiraeesh> | that's a whole perspective of its own on the design process |
| 2021-03-11 22:55:41 +0100 | <koz_> | kupi: My suggestion? Build stuff. |
| 2021-03-11 22:55:43 +0100 | <sclv> | kupi: finishing SICP is good. if you got a lot out of it you'd probably be at a level where you get a lot out of HTDP ttoo |
| 2021-03-11 22:55:48 +0100 | <sclv> | but yes, build stuff! |
| 2021-03-11 22:55:58 +0100 | <koz_> | Like, you can read and theorize all you like, but building stuff helps put it into practice and show you what you're missing. |
| 2021-03-11 22:56:13 +0100 | Boomerang | (~Boomerang@2a05:f6c7:2179:0:ccd0:d305:d616:ff16) (Ping timeout: 272 seconds) |
| 2021-03-11 22:56:30 +0100 | <sclv> | read things you enjoy and teach you things. and if you stop enjoying and learning from something, then go do something else, or read something else. |
| 2021-03-11 22:56:51 +0100 | <koz_> | sclv: Yes, this times a million. |
| 2021-03-11 22:56:53 +0100 | <sclv> | all you can get are recommendations, you need to sort thru them and prioritize yourself, you know best |
| 2021-03-11 22:57:26 +0100 | <sclv> | minoru_shiraeesh: i think you do not understand what i mean by "large scale" and that's ok |
| 2021-03-11 22:58:34 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 22:58:48 +0100 | mouseghost | (~draco@wikipedia/desperek) (Quit: goodnight, sleep tight) |
| 2021-03-11 22:58:53 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |
| 2021-03-11 22:59:20 +0100 | <minoru_shiraeesh> | sclv: so what is it? examples |
| 2021-03-11 22:59:51 +0100 | <sclv> | "systems with say at least three different interacting processes, typically more" |
| 2021-03-11 23:01:38 +0100 | <sclv> | say six long running server processes, multiple protocols and serialization formats, twelve db tables, at least two dbs, multiple supervisors, a databroker and also direct RPC apis of various sorts. |
| 2021-03-11 23:01:53 +0100 | <Psybur> | Why did nobody warn me about stack build --verbose |
| 2021-03-11 23:01:54 +0100 | <sclv> | a thing you need a whole whiteboard to diagram |
| 2021-03-11 23:02:44 +0100 | <sclv> | whether any individual component is written in java, haskell, rust or whatever is a Lot less relevant at that point |
| 2021-03-11 23:03:18 +0100 | <sclv> | I would prefer they all be written in haskell, of course. but the architecture questions involved don't relate to that |
| 2021-03-11 23:03:32 +0100 | <koz_> | In fact, there is a good chance chunks of it are written in something rather different. |
| 2021-03-11 23:03:36 +0100 | <koz_> | (databases for example) |
| 2021-03-11 23:03:50 +0100 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:ac7b:d5c9:2180:6a41) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-03-11 23:04:09 +0100 | <sclv> | yep -- in all such systems i've worked on there have been at least three languages in play, not to mention the DBs |
| 2021-03-11 23:04:39 +0100 | <koz_> | In the system I'm currently dealing with, there's three. |
| 2021-03-11 23:04:43 +0100 | jollygood2 | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-03-11 23:04:53 +0100 | <koz_> | (well, four technically) |
| 2021-03-11 23:05:07 +0100 | <sclv> | let me guess, there are three teams! |
| 2021-03-11 23:05:48 +0100 | idhugo_ | (~idhugo@80-62-117-241-mobile.dk.customer.tdc.net) |
| 2021-03-11 23:05:50 +0100 | <koz_> | sclv: There are considerably more than three teams. |
| 2021-03-11 23:05:57 +0100 | ubert | (~Thunderbi@p200300ecdf25d965e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2021-03-11 23:06:03 +0100 | <sclv> | lol i was going for a conway's law thing |
| 2021-03-11 23:06:03 +0100 | <koz_> | In fact, I discover new ones almost daily. |
| 2021-03-11 23:06:21 +0100 | <koz_> | Yeah, lol. |
| 2021-03-11 23:06:22 +0100 | <minoru_shiraeesh> | sounds like we make a sudden jump from designing chairs and tables to designing cities, but there are things in between that you can design too |
| 2021-03-11 23:06:43 +0100 | <minoru_shiraeesh> | you can design a cross-roads for example |
| 2021-03-11 23:06:43 +0100 | <sclv> | anyway that's me clarifying what i meant by "large" |
| 2021-03-11 23:06:58 +0100 | <Gurkenglas_> | "stack --resolver nightly-2020-12-14 install ghc" says "ghc-8.6.5" but https://www.stackage.org/nightly-2020-12-14 says "ghc-8.10.2". Hm? |
| 2021-03-11 23:07:16 +0100 | <minoru_shiraeesh> | ok, at that level the fp is often irrelevant |
| 2021-03-11 23:08:03 +0100 | Rembane_ | Rembane |
| 2021-03-11 23:08:18 +0100 | idhugo | (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 260 seconds) |
| 2021-03-11 23:08:35 +0100 | acidjnk_new | (~acidjnk@p200300d0c72b95695d3c722039acad7c.dip0.t-ipconnect.de) |
| 2021-03-11 23:10:54 +0100 | <minoru_shiraeesh> | the point I'm trying to make is that there should be a spot on the "scale" axis where the fp is very relevant |
| 2021-03-11 23:11:20 +0100 | dfeuer | (~dfeuer@pool-173-79-253-62.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-03-11 23:11:25 +0100 | <monochrom> | We already know. I think we can stop beating a dead horse now. |
| 2021-03-11 23:12:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-03-11 23:15:05 +0100 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-03-11 23:15:53 +0100 | dwt | (~dwt@2601:2c6:8080:618:7090:bcee:c3c7:64ac) |
| 2021-03-11 23:17:36 +0100 | smol | (b0259152@host-176-37-145-82.b025.la.net.ua) |
| 2021-03-11 23:19:05 +0100 | <minoru_shiraeesh> | don't assume that other people know what you know. |
| 2021-03-11 23:19:31 +0100 | Psybur | (~user@unaffiliated/psybur) (Read error: Connection reset by peer) |
| 2021-03-11 23:19:55 +0100 | <minoru_shiraeesh> | that's a theory of mind thing |
| 2021-03-11 23:20:22 +0100 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 2021-03-11 23:20:25 +0100 | dhouthoo | (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 2021-03-11 23:21:27 +0100 | gitgood | (~gitgood@82-132-217-138.dab.02.net) (Read error: Connection reset by peer) |
| 2021-03-11 23:22:02 +0100 | smol | (b0259152@host-176-37-145-82.b025.la.net.ua) (Ping timeout: 240 seconds) |
| 2021-03-11 23:22:35 +0100 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 2021-03-11 23:23:13 +0100 | ces | (~ces@fsf/member/ces) |
| 2021-03-11 23:24:37 +0100 | borne | (~fritjof@200116b86413620065fd8eaafdc5f06e.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2021-03-11 23:25:31 +0100 | borne | (~fritjof@2a06:8782:ffbb:1337:e811:68d9:a46:a27f) |
| 2021-03-11 23:26:03 +0100 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-03-11 23:27:10 +0100 | smol | (b0259152@host-176-37-145-82.b025.la.net.ua) |
| 2021-03-11 23:27:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-11 23:27:46 +0100 | <inkbottle> | There must be something I'm confused about in this "Yoneda Lemma" comment: "The Yoneda lemma tells us that all Set-valued functors can be obtained from hom-functors through natural transformations, and it explicitly enumerates all such transformations" (https://bartoszmilewski.com/2015/09/01/the-yoneda-lemma/) |
| 2021-03-11 23:28:10 +0100 | slack1256 | (~slack1256@dvc-186-186-101-190.movil.vtr.net) |
| 2021-03-11 23:29:01 +0100 | <monochrom> | One thing the sentence doesn't say is: natural transformtions from who to whom? |
| 2021-03-11 23:29:22 +0100 | <inkbottle> | hum... |
| 2021-03-11 23:29:34 +0100 | <monochrom> | If you don't know, the sentence is vague. |
| 2021-03-11 23:30:12 +0100 | Franciman | (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 2021-03-11 23:30:16 +0100 | <inkbottle> | What I thought, the first time, after quite some time. |
| 2021-03-11 23:30:16 +0100 | <monochrom> | So I recommend looking at the detailed theorem statement before revisiting "summarizing" sentences. |
| 2021-03-11 23:30:47 +0100 | <inkbottle> | Right |
| 2021-03-11 23:31:18 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 2021-03-11 23:32:10 +0100 | <monochrom> | As it happens, I made a much better comment yesterday. http://tunes.org/~nef/logs/haskell/21.03.10 then look for the time 15:34:58. |
| 2021-03-11 23:32:43 +0100 | <Gurkenglas_> | There's these two packages not on stackage, one depends on the other, I can stack install one but that doesnt let me stack init the other |
| 2021-03-11 23:33:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-03-11 23:33:43 +0100 | <inkbottle> | Thanks |
| 2021-03-11 23:34:08 +0100 | kiweun | (~kiweun@2607:fea8:2a62:9600:dc3f:d8f8:3e53:f67a) |
| 2021-03-11 23:35:21 +0100 | <Gurkenglas_> | Oh that was guessable enough, I put the dependency folder into the depending folder before calling stack init again. |
| 2021-03-11 23:36:42 +0100 | <Gurkenglas_> | (and not aborting stack install on the depending one when i saw that it was trying a bunch of resolvers with no hope let it tell me about --omit-packages, which told me it was looking for a subfolder with the name of that dependency.) |
| 2021-03-11 23:38:03 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 246 seconds) |
| 2021-03-11 23:41:44 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-03-11 23:42:14 +0100 | puffnfresh | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-03-11 23:42:16 +0100 | tfl^ | (tfl@ip98-184-89-2.mc.at.cox.net) |
| 2021-03-11 23:42:42 +0100 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-03-11 23:45:03 +0100 | elliott_ | (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-03-11 23:45:51 +0100 | mirrorbird | (dwsjeid911@gateway/vpn/mullvad/dwsjeid911) (Remote host closed the connection) |
| 2021-03-11 23:46:08 +0100 | dbmikus | (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-11 23:49:04 +0100 | hololeap | (~hololeap@unaffiliated/hololeap) (Quit: KVIrc 5.0.1 Aria http://www.kvirc.net/) |
| 2021-03-11 23:51:19 +0100 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-03-11 23:51:33 +0100 | danvet_ | (~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 264 seconds) |
| 2021-03-11 23:51:57 +0100 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 2021-03-11 23:54:57 +0100 | heatsink | (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) |
| 2021-03-11 23:57:53 +0100 | crobbins | (~crobbins@2600:1700:48eb:8490:3c7c:49f3:78e9:cf98) (Remote host closed the connection) |
| 2021-03-11 23:58:32 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-03-11 23:58:53 +0100 | inkbottle | (~inkbottle@aaubervilliers-654-1-101-29.w86-212.abo.wanadoo.fr) |