Logs on 2020-11-12 (freenode/#haskell)
| 00:00:01 | × | paulk-collins quits (~paulk-col@195.206.169.184) () |
| 00:00:44 | <dminuoso> | How does one impost a young person with that.. etymology monochrom? |
| 00:00:54 | <dminuoso> | You should make an entry in merriam webster |
| 00:01:27 | <dminuoso> | Or is this some obscure form of Canadian humor? |
| 00:01:38 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 246 seconds) |
| 00:01:59 | <jackdk> | Does anyone know if the isos with the following types have a canonical name anywhere? `Iso' (Compose f Identity a) (f a)` and `Iso' (Compose Identity f a) (f a)` |
| 00:02:00 | <monochrom> | perhaps simply ESL |
| 00:02:04 | × | gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 00:02:37 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 264 seconds) |
| 00:03:54 | <dminuoso> | jackdk: categories calls them idl and idr |
| 00:04:06 | <dminuoso> | https://hackage.haskell.org/package/categories-1.0.7/docs/Control-Category-Monoidal.html |
| 00:04:24 | <dminuoso> | Not sure whether that's "canonical" |
| 00:04:45 | <dminuoso> | But I'd suspect they'd always go with `idr` `identityR` or some such. |
| 00:05:25 | <dminuoso> | (or you could call them lambda/rho) |
| 00:08:13 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 00:10:58 | → | conal joins (~conal@64.71.133.70) |
| 00:11:08 | × | bquest_123_ quits (~bquest_12@5.112.15.240) (Ping timeout: 260 seconds) |
| 00:14:40 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds) |
| 00:15:15 | <bqv> | Anyone used lazyio? |
| 00:15:23 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 00:16:33 | → | replay joins (~default@pdpc/supporter/student/replay) |
| 00:17:49 | <sm[m]> | has anybody seen automated tests for a vty/brick app ? I tried with expect and empty but did not get there - https://github.com/simonmichael/hledger/tree/master/tests/ui |
| 00:17:50 | × | Feuermagier_ quits (~Feuermagi@213.178.26.41) (Ping timeout: 256 seconds) |
| 00:18:36 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 00:19:37 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 00:20:17 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 00:20:19 | × | LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 00:20:37 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 00:21:42 | → | bquest_123_ joins (~bquest_12@5.112.15.240) |
| 00:27:39 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 00:27:59 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 00:28:30 | → | LKoen joins (~LKoen@77.174.9.109.rev.sfr.net) |
| 00:28:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:29:17 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 246 seconds) |
| 00:30:03 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 00:31:19 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 00:32:44 | × | lemmih quits (~lemmih@2406:3003:2072:44:45cb:65e7:796d:adde) (Remote host closed the connection) |
| 00:33:15 | → | Tario joins (~Tario@201.192.165.173) |
| 00:33:56 | → | danso joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 00:33:59 | × | borne quits (~fritjof@200116b864a609004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 00:34:42 | × | bquest_123_ quits (~bquest_12@5.112.15.240) (Ping timeout: 258 seconds) |
| 00:35:58 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:36:00 | × | timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Ping timeout: 272 seconds) |
| 00:36:12 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 00:36:13 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 00:37:28 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 00:39:47 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:41:30 | hackage | polysemy-extra 0.1.2.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.2.0 (locallycompact) |
| 00:41:37 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 246 seconds) |
| 00:44:11 | → | christo joins (~chris@81.96.113.213) |
| 00:46:13 | <bqv> | Ooh.. |
| 00:46:44 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 256 seconds) |
| 00:47:08 | × | jneira quits (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) (Quit: Connection closed) |
| 00:47:16 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 00:48:31 | hackage | polysemy-vinyl 0.1.1.0 - Functions for mapping vinyl records in polysemy. https://hackage.haskell.org/package/polysemy-vinyl-0.1.1.0 (locallycompact) |
| 00:49:07 | × | nf quits (~n@2001:19f0:6801:413:5400:2ff:feff:23e0) (Quit: Fairfarren.) |
| 00:49:44 | → | nf joins (~n@monade.li) |
| 00:50:21 | → | dominicusin[m] joins (dominicusi@gateway/shell/matrix.org/x-itajzxotiwilhjzz) |
| 00:50:58 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 00:53:42 | → | alp joins (~alp@2a01:e0a:58b:4920:a07f:dbae:be53:fee0) |
| 00:54:32 | × | Tops2 quits (~Tobias@dyndsl-091-249-083-161.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 00:56:37 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 00:56:56 | → | TheCavalry joins (~TheCavalr@185.204.1.185) |
| 00:59:48 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) |
| 01:02:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 01:06:24 | → | macrover joins (~macrover@ip70-189-231-35.lv.lv.cox.net) |
| 01:06:49 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 264 seconds) |
| 01:10:37 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) |
| 01:10:46 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Remote host closed the connection) |
| 01:10:47 | → | jedws joins (~jedws@101.184.175.183) |
| 01:11:23 | → | FreeBirdLjj joins (~freebirdl@101.228.42.108) |
| 01:11:37 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 01:12:37 | × | alp quits (~alp@2a01:e0a:58b:4920:a07f:dbae:be53:fee0) (Ping timeout: 272 seconds) |
| 01:14:09 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 256 seconds) |
| 01:15:43 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 258 seconds) |
| 01:16:25 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 01:17:50 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:18:11 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 01:18:27 | → | nf joins (~n@monade.li) |
| 01:19:21 | → | jedws joins (~jedws@101.184.175.183) |
| 01:21:07 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@66.115.189.189) |
| 01:21:19 | → | ashbreeze joins (~mark@72-161-252-32.dyn.centurytel.net) |
| 01:21:23 | × | jedws quits (~jedws@101.184.175.183) (Client Quit) |
| 01:21:32 | → | conal joins (~conal@64.71.133.70) |
| 01:22:05 | × | Rudd0^ quits (~Rudd0@185.189.115.98) (Ping timeout: 256 seconds) |
| 01:23:28 | × | _ashbreeze_ quits (~mark@72-161-252-32.dyn.centurytel.net) (Ping timeout: 260 seconds) |
| 01:25:24 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 01:26:05 | × | dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 01:26:35 | × | replay quits (~default@pdpc/supporter/student/replay) (Read error: Connection reset by peer) |
| 01:26:37 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 264 seconds) |
| 01:28:23 | → | Lord_of_Life_ joins (~Lord@46.217.216.229) |
| 01:28:54 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 01:29:30 | hackage | implicit-hie 0.1.2.1 - Auto generate hie-bios cradles & hie.yaml https://hackage.haskell.org/package/implicit-hie-0.1.2.1 (Avi_Dessauer) |
| 01:30:28 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 01:31:00 | hackage | implicit-hie-cradle 0.3.0.0 - Auto generate hie-bios cradles https://hackage.haskell.org/package/implicit-hie-cradle-0.3.0.0 (Avi_Dessauer) |
| 01:31:25 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 01:32:01 | × | wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 246 seconds) |
| 01:33:48 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) |
| 01:34:11 | → | wwwww joins (~wwwww@unaffiliated/wwwww) |
| 01:35:07 | × | xff0x quits (~fox@2001:1a81:5388:cb00:8fe4:ec20:878e:f666) (Ping timeout: 260 seconds) |
| 01:35:30 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 260 seconds) |
| 01:35:39 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 258 seconds) |
| 01:36:05 | → | xff0x joins (~fox@2001:1a81:5388:cb00:38e6:5a6a:4097:75d1) |
| 01:38:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 01:39:05 | × | Varis quits (~Tadas@unaffiliated/varis) (Ping timeout: 256 seconds) |
| 01:39:20 | → | shailangsa joins (~shailangs@host86-186-136-90.range86-186.btcentralplus.com) |
| 01:42:50 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 01:43:13 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 01:44:24 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 01:44:28 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 01:44:45 | × | wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 256 seconds) |
| 01:45:51 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:46:07 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@67.23.55.162) |
| 01:46:36 | → | wwwww joins (~wwwww@unaffiliated/wwwww) |
| 01:50:49 | → | maroloccio joins (~marolocci@2a02:8084:221:ce00:164f:8aff:fed8:411d) |
| 01:53:32 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 01:54:01 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 01:54:49 | × | Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 264 seconds) |
| 01:57:05 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 01:57:52 | <bqv> | Translating imperative code to funct |
| 01:57:59 | <bqv> | onal is a pain |
| 01:57:59 | → | tabemann joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 01:58:17 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 01:58:36 | <bqv> | requires full redesign, not just porting |
| 01:59:03 | × | wwwww quits (~wwwww@unaffiliated/wwwww) (Ping timeout: 260 seconds) |
| 02:00:41 | <sm[m]> | it's often said that you can replicate imperative code in haskell. It's true, but not often done. If the techniques were better known it might be used a bit more |
| 02:01:01 | → | wwwww joins (~wwwww@unaffiliated/wwwww) |
| 02:01:56 | <bqv> | I mean you can, it's just not ergonomic to write or efficient to run |
| 02:02:05 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 02:02:52 | × | dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 258 seconds) |
| 02:03:05 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 02:05:47 | × | LKoen quits (~LKoen@77.174.9.109.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.”) |
| 02:10:02 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:11:38 | × | m0rphism quits (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) (Ping timeout: 272 seconds) |
| 02:17:13 | × | lucasb quits (uid333435@gateway/web/irccloud.com/x-pbogwxffcquqlbnb) (Quit: Connection closed for inactivity) |
| 02:17:38 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 02:17:57 | <koz_> | bqv: I dunno why you claim the latter. ST is pretty efficient IIRC. |
| 02:18:09 | × | angerman quits (sid209936@gateway/web/irccloud.com/x-vpzhonusupvskvmg) (Excess Flood) |
| 02:18:19 | → | angerman joins (sid209936@gateway/web/irccloud.com/x-mlhkemfvngmbvuol) |
| 02:19:28 | <bqv> | My gut feeling is it wouldnt be as effective as the pure haskell approach, since its kinda a mixture of both, but im happy to be corrected |
| 02:20:43 | <koz_> | bqv: If you need mutability (which is what I guess the problem in translation would be), you can have it with ST. |
| 02:21:06 | <koz_> | And it's pretty efficient as far as I'm aware. |
| 02:23:22 | <bqv> | For the specific example im looking at (nasty nested for loops) i wouldnt doubt, but if i were to try and use it for the whole port im doing, id have to find an analogue for pointers too, as well as any freaky memory tricks, so i think its fair to assume it'd be less effective without some pretty sharp optimizing |
| 02:23:57 | <koz_> | Uhh, we have pointers in GHC. |
| 02:24:00 | <koz_> | Of various stripes even. |
| 02:24:19 | <koz_> | And you can have 'nasty nested for-loops' in ST using ... wait for it... 'for'? :P |
| 02:24:28 | <koz_> | (or for_ if you just need mutation) |
| 02:25:01 | <koz_> | Like, I admit that it's not the nicest way to write Haskell, but it's neither particularly hard, nor particularly inefficient. |
| 02:25:27 | <bqv> | *shrug* i'll take your word for it, still steering clear |
| 02:27:11 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@67.23.55.162) (Quit: Textual IRC Client: www.textualapp.com) |
| 02:28:41 | → | drbean joins (~drbean@TC210-63-209-169.static.apol.com.tw) |
| 02:30:56 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 02:31:11 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:dc2f:c1a2:afcc:89b0) |
| 02:32:13 | × | aarvar quits (~foewfoiew@c.24.56.239.179.static.broadstripe.net) (Ping timeout: 246 seconds) |
| 02:32:31 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:c30c:e109:135c:6061) (Ping timeout: 244 seconds) |
| 02:34:07 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 02:35:42 | × | dbmikus__ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds) |
| 02:37:31 | <jophish> | Perhaps I'm having a moment, but is there a nicer way of using values at compile time in quasiquotes than: $(lift [q|...|]). For example, lets say I have a quasiquoter doing string interpolation (so [q|$x$y|] becomes `x <> y`) but I'd like to evaluate that at compile time |
| 02:37:41 | <jophish> | $(lift foo) seems pretty weird |
| 02:37:52 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) |
| 02:38:13 | <jophish> | I mean, I guess I could incorporate the lift into the output of the quoter, but $([q|...|]) also looks quite clumsy |
| 02:38:59 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-amyflsszyhqepalq) () |
| 02:39:26 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 02:40:12 | × | thunderrd quits (~thunderrd@183.182.112.251) (Read error: Connection reset by peer) |
| 02:40:33 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 02:41:23 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:41:56 | <koz_> | If you have QuasiQuotes turned on, and 'q' is a quasiquoter you defined, you can just do [q|..|]? |
| 02:43:17 | <jophish> | [q|$x$y|] will insert the expression `x <> y` (for this interpolating quasiquoter), but what I really want is a string literal with contents equal to `x <> y` |
| 02:43:28 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 02:43:41 | <jophish> | stage restrictions notwithstanding |
| 02:44:01 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 264 seconds) |
| 02:44:08 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 02:44:22 | <jophish> | I suppose perhaps a simpler example is, can I write a quasiquoter [file|x|] which will become the results of: `readFile x` |
| 02:44:33 | <jophish> | instead of becoming literally `readFile x` |
| 02:45:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 02:45:28 | <jophish> | This is tantamount to getting the RHS of declarations in a splice |
| 02:45:31 | <jophish> | which GHC doesn't support |
| 02:45:51 | <jophish> | so perhaps this two stage process (i.e. $([q|...|])) is necessary |
| 02:47:12 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 02:48:53 | × | xff0x quits (~fox@2001:1a81:5388:cb00:38e6:5a6a:4097:75d1) (Ping timeout: 272 seconds) |
| 02:50:15 | → | xff0x joins (~fox@2001:1a81:53be:a900:d560:4ea6:2896:65fd) |
| 02:51:18 | <jophish> | Seems quite relevant: https://stackoverflow.com/questions/48489622/why-is-there-no-representation-for-th-in-th |
| 02:53:23 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 02:53:38 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 02:53:40 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) |
| 02:54:53 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 02:56:08 | × | drbean quits (~drbean@TC210-63-209-169.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin1 - https://znc.in) |
| 02:57:58 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 02:58:14 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 02:58:50 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 258 seconds) |
| 03:00:01 | × | TheCavalry quits (~TheCavalr@185.204.1.185) () |
| 03:01:07 | → | toorevitimirp joins (~tooreviti@117.182.180.38) |
| 03:02:47 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 03:04:12 | → | Tario joins (~Tario@201.192.165.173) |
| 03:04:13 | → | adm_ joins (~adm@43.229.89.44) |
| 03:04:56 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 03:05:07 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 03:11:50 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:13:32 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:13:48 | → | SeMas joins (uid32977@gateway/web/irccloud.com/x-ccoximdwznrvbzyv) |
| 03:15:24 | → | feliocrat joins (~feliocrat@95.70.185.239) |
| 03:16:54 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds) |
| 03:17:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:17:45 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 240 seconds) |
| 03:18:45 | → | conal joins (~conal@198.8.81.196) |
| 03:18:59 | × | conal quits (~conal@198.8.81.196) (Client Quit) |
| 03:19:06 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 03:19:29 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 265 seconds) |
| 03:19:31 | hackage | implicit-hie 0.1.2.2 - Auto generate hie-bios cradles & hie.yaml https://hackage.haskell.org/package/implicit-hie-0.1.2.2 (Avi_Dessauer) |
| 03:19:55 | × | mnrmnaughmnrgle quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 03:21:01 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 03:21:21 | → | Saukk joins (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) |
| 03:22:07 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 03:23:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 03:31:31 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:31:54 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 03:37:02 | × | st8less quits (~st8less@2603:a060:11fd:0:e425:75f4:6a4e:b8f8) (Quit: WeeChat 2.7.1) |
| 03:38:25 | × | kish` quits (~oracle@unaffiliated/oracle) (Remote host closed the connection) |
| 03:39:22 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 03:40:44 | → | inkbottle joins (~inkbottle@aaubervilliers-654-1-106-56.w86-212.abo.wanadoo.fr) |
| 03:41:04 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-88-189.w86-212.abo.wanadoo.fr) (Ping timeout: 240 seconds) |
| 03:41:42 | ← | kish` parts (~oracle@unaffiliated/oracle) () |
| 03:43:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 03:45:28 | → | zeta_0 joins (~zeta@2601:8c0:1:2630:dc47:e753:189:9e79) |
| 03:46:32 | <zeta_0> | hey there i'm trying to get hls to work in emacs, but it's throwing this error? `Command "hie-wrapper --lsp -d -l /tmp/hie.log" is not present on the path. |
| 03:46:32 | <zeta_0> | `, I thought that is automatically set by default? https://github.com/emacs-lsp/lsp-haskell |
| 03:47:39 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 03:48:00 | <zeta_0> | note, i installed hls with nix, from nixpkgs, and the binary is there, so I have no idea what the issue is! |
| 03:48:20 | glguy | wonders if hls works with the spacemacs haskell lyaer |
| 03:48:43 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:48:43 | × | tzh quits (~xax@c-24-21-73-154.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
| 03:48:46 | <zeta_0> | i'm using plain generic emacs! |
| 03:49:11 | <glguy> | I'm not; I'm using spacemacs :) |
| 03:50:15 | → | conal joins (~conal@198.8.81.196) |
| 03:50:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:50:33 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:50:51 | → | Tario joins (~Tario@201.192.165.173) |
| 03:54:01 | hackage | implicit-hie 0.1.2.3 - Auto generate hie-bios cradles & hie.yaml https://hackage.haskell.org/package/implicit-hie-0.1.2.3 (Avi_Dessauer) |
| 03:56:03 | <zeta_0> | here's my lsp-config that i'm using in my .emacs config: https://dpaste.org/U7Lb , any tips on how to fix this: `Command "hie-wrapper --lsp -d -l /tmp/hie.log" is not present on the path. |
| 03:56:03 | <zeta_0> | ` issue? |
| 03:56:21 | <zeta_0> | lsp-haskell config that is! |
| 03:56:41 | → | tzh joins (~xax@c-24-21-73-154.hsd1.or.comcast.net) |
| 03:57:29 | → | clynamen joins (~clynamen@net-2-35-88-16.cust.vodafonedsl.it) |
| 03:58:18 | <zeta_0> | i ran hie-gen as well, so that should't be an issue, and I installed hls with nix, and hls's binary is in the path, so i'm not sure where to go from here. |
| 03:58:22 | → | subttle joins (~anonymous@unaffiliated/subttle) |
| 03:58:39 | × | lagothrix quits (~lagothrix@unaffiliated/lagothrix) (Killed (orwell.freenode.net (Nickname regained by services))) |
| 03:58:45 | → | lagothrix joins (~lagothrix@unaffiliated/lagothrix) |
| 03:59:25 | × | theDon quits (~td@muedsl-82-207-238-248.citykom.de) (Ping timeout: 240 seconds) |
| 04:00:01 | × | alexelcu quits (~alexelcu@142.93.180.198) (Quit: ZNC 1.8.2 - https://znc.in) |
| 04:00:54 | → | alexelcu joins (~alexelcu@142.93.180.198) |
| 04:01:22 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:01:26 | → | theDon joins (~td@muedsl-82-207-238-200.citykom.de) |
| 04:02:08 | × | conal quits (~conal@198.8.81.196) (Quit: Computer has gone to sleep.) |
| 04:03:49 | × | adm_ quits (~adm@43.229.89.44) (Ping timeout: 264 seconds) |
| 04:06:19 | × | zeta_0 quits (~zeta@2601:8c0:1:2630:dc47:e753:189:9e79) (Quit: rcirc on GNU Emacs 27.1) |
| 04:06:43 | → | jedws joins (~jedws@101.184.175.183) |
| 04:08:39 | × | crdrost quits (~crdrost@c-98-207-102-156.hsd1.ca.comcast.net) (Quit: This computer has gone to sleep) |
| 04:10:57 | × | dansho quits (~dansho@ip68-108-167-185.lv.lv.cox.net) (Quit: Leaving) |
| 04:11:39 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-agzfvtbmepwymvfy) (Quit: Connection closed for inactivity) |
| 04:11:40 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:12:03 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 260 seconds) |
| 04:14:22 | → | rekahsoft joins (~rekahsoft@fitz10681.telemetry.esentire.com) |
| 04:17:58 | → | jedws joins (~jedws@101.184.175.183) |
| 04:26:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 04:30:30 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 04:31:08 | → | RavenSoft joins (~RavenSoft@185.163.110.116) |
| 04:31:17 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 04:35:27 | → | conal joins (~conal@198.8.81.196) |
| 04:36:45 | × | texasmynsted quits (~texasmyns@185.229.59.103) (Remote host closed the connection) |
| 04:38:48 | × | inkbottle quits (~inkbottle@aaubervilliers-654-1-106-56.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:39:47 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:c3b:76:7192:2636) (Ping timeout: 260 seconds) |
| 04:40:25 | × | conal quits (~conal@198.8.81.196) (Ping timeout: 264 seconds) |
| 04:40:26 | → | seaviewns joins (188a1882@host-24-138-24-130.public.eastlink.ca) |
| 04:41:12 | → | adm_ joins (~adm@43.229.89.44) |
| 04:41:45 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-106-56.w86-212.abo.wanadoo.fr) |
| 04:42:23 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 04:47:02 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 04:47:16 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:d540:265f:6057:f956) |
| 04:47:27 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 04:47:57 | → | adm_ joins (~adm@43.229.89.44) |
| 04:48:35 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 04:51:11 | ← | seaviewns parts (188a1882@host-24-138-24-130.public.eastlink.ca) () |
| 04:52:47 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 04:55:07 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 04:56:37 | × | acidjnk_new quits (~acidjnk@p200300d0c718f6600567fd11fa2fcde0.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 04:56:55 | <glguy> | The answer is that it's very easy to get it working with spacemacs, as it turns out |
| 04:58:49 | → | aarvar joins (~foewfoiew@50.35.43.33) |
| 04:59:16 | → | darjeeling_ joins (~darjeelin@122.245.210.116) |
| 04:59:52 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 05:00:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:00:16 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 05:05:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 05:06:21 | → | neightchan joins (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 05:07:02 | × | natechan quits (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 05:07:26 | → | adm_ joins (~adm@43.229.89.44) |
| 05:07:40 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 05:08:43 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 05:11:26 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 05:11:26 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 264 seconds) |
| 05:12:39 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 05:14:08 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 05:16:02 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 05:18:07 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 05:18:34 | → | SeaviewNS joins (188a1882@host-24-138-24-130.public.eastlink.ca) |
| 05:19:02 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 260 seconds) |
| 05:20:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:20:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Client Quit) |
| 05:20:34 | → | s00pcan joins (~chris@107.181.165.217) |
| 05:21:49 | → | Sanchayan joins (~Sanchayan@122.181.216.76) |
| 05:23:27 | → | star_cloud joins (~star_clou@ec2-34-217-37-165.us-west-2.compute.amazonaws.com) |
| 05:31:24 | ← | SeaviewNS parts (188a1882@host-24-138-24-130.public.eastlink.ca) () |
| 05:32:21 | → | day_ joins (~Unknown@unaffiliated/day) |
| 05:33:15 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-fojftpzadtahwsbd) (Quit: Connection closed for inactivity) |
| 05:35:51 | × | day quits (~Unknown@unaffiliated/day) (Ping timeout: 260 seconds) |
| 05:35:51 | day_ | is now known as day |
| 05:35:58 | → | adm_ joins (~adm@43.229.89.44) |
| 05:36:01 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:42:42 | × | visage_ quits (~visage_@unaffiliated/visage/x-6658724) (Quit: Textual IRC Client: www.textualapp.com) |
| 05:42:53 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 246 seconds) |
| 05:45:34 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 05:48:12 | → | thunderrd joins (~thunderrd@183.182.110.117) |
| 05:56:25 | → | timCF joins (~i.tkachuk@m91-129-105-245.cust.tele2.ee) |
| 05:56:28 | × | Saukk quits (~Saukk@2001:998:f9:2914:1c59:9bb5:b94c:4) (Remote host closed the connection) |
| 05:56:44 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 05:57:25 | → | adm_ joins (~adm@43.229.89.44) |
| 05:59:00 | → | adm__ joins (~adm@43.229.89.44) |
| 06:00:01 | × | RavenSoft quits (~RavenSoft@185.163.110.116) () |
| 06:01:14 | × | subttle quits (~anonymous@unaffiliated/subttle) (Quit: leaving) |
| 06:01:53 | × | adm_ quits (~adm@43.229.89.44) (Ping timeout: 265 seconds) |
| 06:02:09 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) () |
| 06:02:34 | × | adm__ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 06:03:59 | <dsal> | @hoogle ((<&>)) |
| 06:04:00 | <lambdabot> | Prelude undefined :: forall (r :: RuntimeRep) . forall (a :: TYPE r) . HasCallStack => a |
| 06:04:00 | <lambdabot> | Control.Exception.Base absentSumFieldError :: a |
| 06:04:00 | <lambdabot> | Text.Printf errorShortFormat :: a |
| 06:04:17 | <dsal> | Hmm... I'm trying to remember a thing that exists... |
| 06:04:57 | <dsal> | There's a thing like <|> but not applicative. |
| 06:06:32 | <dsal> | Ah, it's <!> |
| 06:07:07 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 06:08:25 | <dsal> | Nah, still not what I want. I think I'm trying to be too fancy. |
| 06:09:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:18:19 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@66.115.189.189) (Ping timeout: 246 seconds) |
| 06:18:20 | → | adm_ joins (~adm@43.229.89.44) |
| 06:20:01 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:20:27 | × | dave_uy quits (~david@108.61.193.26) (Quit: The Lounge - https://thelounge.chat) |
| 06:22:25 | × | adm_ quits (~adm@43.229.89.44) (Ping timeout: 240 seconds) |
| 06:22:25 | → | dave_uy joins (~david@108.61.193.26) |
| 06:25:30 | × | krjst quits (~krjst@2604:a880:800:c1::16b:8001) (Quit: bye) |
| 06:25:52 | → | krjst joins (~krjst@2604:a880:800:c1::16b:8001) |
| 06:29:21 | → | Echosolacre joins (999b6f7e@p320126-omed01.osaka.ocn.ne.jp) |
| 06:29:23 | → | adm_ joins (~adm@43.229.89.44) |
| 06:31:09 | <Echosolacre> | Hey all, I'm still a beginner and I am wondering how to read this... on :: (b -> b -> c) -> (a -> b) -> a -> a -> c. Is this to say that the typeclass of on is defined by a binary function which maps to a unary function which maps to a twice and then outputs c? |
| 06:31:24 | <Echosolacre> | http://hackage.haskell.org/package/base-4.14.0.0/docs/Data-Function.html |
| 06:31:31 | <Echosolacre> | I'm following the above. |
| 06:31:46 | <Echosolacre> | Going through LYAH and this on function is throwing me a bit. |
| 06:32:18 | <Echosolacre> | Any thoughts would be greatly appeciated. |
| 06:34:22 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:dc2f:c1a2:afcc:89b0) (Ping timeout: 260 seconds) |
| 06:39:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:40:54 | → | hiroaki joins (~hiroaki@ip4d168e73.dynamic.kabel-deutschland.de) |
| 06:43:13 | <jackdk> | I think you have the idea right, but avoid using the word "typeclass" to describe this, because that's a specific concept in haskell |
| 06:43:46 | <jackdk> | I think it's clearer if you add parens that are not strictly necessary: `on :: (b -> b -> c) -> (a -> b) -> (a -> a -> c)` |
| 06:43:48 | <jackdk> | gtg |
| 06:43:49 | × | Sanchayan quits (~Sanchayan@122.181.216.76) (Remote host closed the connection) |
| 06:44:37 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 06:46:51 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:2aa9:cfa1:c8c2:4c1f) |
| 06:48:11 | <Echosolacre> | I have a really basic question about what Jackdk just said. When you look at (b -> b -> c) -> (a -> b) -> (a -> a -> c), I think of it like there is a function that takes a variable, maps it to the same variable, and then outputs a different variable. (b -> b-> c). |
| 06:48:18 | → | Sanchayan joins (~Sanchayan@122.181.216.76) |
| 06:48:20 | <Echosolacre> | Sorry, this understanding is probably way off. |
| 06:48:32 | <Echosolacre> | How do you guys read these sections of the code? |
| 06:49:33 | <Echosolacre> | '->' is plain speak is "map to", no? |
| 06:49:44 | <Echosolacre> | plain speak for* |
| 06:55:22 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 06:55:47 | → | adm_ joins (~adm@43.229.89.44) |
| 06:56:49 | → | christo joins (~chris@81.96.113.213) |
| 06:59:54 | → | bitmagie joins (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) |
| 07:00:07 | → | solonarv joins (~solonarv@astrasbourg-653-1-156-155.w90-6.abo.wanadoo.fr) |
| 07:02:02 | <c_wraith> | I generally don't read code in words. |
| 07:02:08 | <c_wraith> | They're too limiting |
| 07:02:44 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 07:02:52 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 07:03:09 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 07:03:52 | → | asheshambasta joins (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) |
| 07:03:52 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 07:03:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:06:33 | → | adm_ joins (~adm@43.229.89.44) |
| 07:08:12 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:08:58 | × | Echosolacre quits (999b6f7e@p320126-omed01.osaka.ocn.ne.jp) (Remote host closed the connection) |
| 07:12:15 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:19:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:22:36 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 07:23:35 | → | adm_ joins (~adm@43.229.89.44) |
| 07:24:06 | → | jedws joins (~jedws@101.184.175.183) |
| 07:25:30 | × | hive-mind quits (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) (Ping timeout: 265 seconds) |
| 07:31:30 | → | RISCi_ATOM1 joins (~RISCi_ATO@185.163.110.116) |
| 07:34:50 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 07:37:49 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 07:40:00 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 07:40:25 | → | jedws joins (~jedws@101.184.175.183) |
| 07:41:07 | → | adm_ joins (~adm@43.229.89.44) |
| 07:49:24 | × | kjak quits (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) (Ping timeout: 258 seconds) |
| 07:51:12 | → | chele joins (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) |
| 07:51:24 | × | danso quits (~dan@69-165-210-185.cable.teksavvy.com) (Quit: WeeChat 2.9) |
| 07:52:52 | <dminuoso> | jackdk: btw did you settle on a name for those isos? |
| 07:53:39 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 07:53:50 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 07:55:38 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 07:56:21 | → | idhugo joins (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) |
| 07:56:38 | × | nados quits (~dan@69-165-210-185.cable.teksavvy.com) (Ping timeout: 260 seconds) |
| 07:56:55 | → | mananamenos joins (~mananamen@84.122.202.215.dyn.user.ono.com) |
| 07:56:59 | → | christo joins (~chris@81.96.113.213) |
| 07:57:03 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 07:57:27 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 07:58:06 | × | adm_ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 07:58:47 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 07:58:50 | → | dhouthoo joins (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) |
| 08:01:24 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:01:56 | → | christo joins (~chris@81.96.113.213) |
| 08:02:08 | × | coco quits (~coco@212-51-146-87.fiber7.init7.net) (Quit: WeeChat 2.9) |
| 08:03:29 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:04:11 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 08:05:19 | → | LKoen joins (~LKoen@77.174.9.109.rev.sfr.net) |
| 08:05:25 | × | idhugo quits (~idhugo@80-62-116-101-mobile.dk.customer.tdc.net) (Ping timeout: 246 seconds) |
| 08:06:56 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 272 seconds) |
| 08:12:35 | → | kuribas joins (~user@ptr-25vy0i7apwgnolcsbyn.18120a2.ip6.access.telenet.be) |
| 08:13:54 | → | coco joins (~coco@212-51-146-87.fiber7.init7.net) |
| 08:16:22 | → | jedws joins (~jedws@101.184.175.183) |
| 08:19:05 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 08:21:16 | × | bitmagie quits (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) (Quit: bitmagie) |
| 08:21:29 | × | tzh quits (~xax@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:21:34 | × | maroloccio quits (~marolocci@2a02:8084:221:ce00:164f:8aff:fed8:411d) (Quit: WeeChat 2.3) |
| 08:22:20 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 08:22:22 | → | bitmagie joins (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) |
| 08:24:23 | × | bitmagie quits (~Thunderbi@200116b8064f2f0039dc0580039a4441.dip.versatel-1u1.de) (Client Quit) |
| 08:26:44 | × | LKoen quits (~LKoen@77.174.9.109.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.”) |
| 08:28:01 | × | timCF quits (~i.tkachuk@m91-129-105-245.cust.tele2.ee) (Quit: leaving) |
| 08:28:07 | × | Alleria_ quits (~AllahuAkb@2604:2000:1484:26:e8c3:181c:d933:4dbd) (Ping timeout: 260 seconds) |
| 08:29:01 | hackage | futhark 0.18.3 - An optimising compiler for a functional, array-oriented language. https://hackage.haskell.org/package/futhark-0.18.3 (TroelsHenriksen) |
| 08:29:48 | → | daydaynatation joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:30:15 | <daydaynatation> | cabal install gtk -f have-quartz-gtk, what does the -f mean? |
| 08:30:30 | <c_wraith> | it sets a flag |
| 08:31:14 | <c_wraith> | the cabal file uses the flag in conditionals that can affect lots of things. in this, most likely the native dependency |
| 08:31:29 | <daydaynatation> | I see. |
| 08:31:41 | <c_wraith> | I'd take that flag to mean it's the quartz version of gtk, rather than the X version |
| 08:32:03 | <c_wraith> | (because even on OS X, you can run an X server and build GTK for X) |
| 08:32:31 | <daydaynatation> | I've successfully build and installed gtk with the above command |
| 08:33:01 | hackage | ghc-exactprint 0.6.3.3 - ExactPrint for GHC https://hackage.haskell.org/package/ghc-exactprint-0.6.3.3 (AlanZimmerman) |
| 08:33:02 | → | jedws joins (~jedws@101.184.175.183) |
| 08:33:04 | <daydaynatation> | but when I try cabal install threadscope which requires gtk, it not only requires me to build gtk again, but it also failed |
| 08:33:15 | × | jedws quits (~jedws@101.184.175.183) (Client Quit) |
| 08:33:40 | × | rekahsoft quits (~rekahsoft@fitz10681.telemetry.esentire.com) (Ping timeout: 256 seconds) |
| 08:35:25 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 08:35:29 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 08:35:52 | × | plakband quits (~plakband@softbank126126238105.bbtec.net) (Quit: WeeChat 2.9) |
| 08:36:05 | <merijn> | Oh, let me guess you have cabal-install 3.0 or later? |
| 08:37:03 | → | raichoo joins (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de) |
| 08:37:22 | → | hive-mind joins (~hivemind@rrcs-67-53-148-69.west.biz.rr.com) |
| 08:37:24 | <merijn> | See, this why we should've banned feature flags from Hackage years ago to stop people from building things that are just cursed and broken >.> |
| 08:38:50 | → | jedws joins (~jedws@101.184.175.183) |
| 08:39:06 | <daydaynatation> | merijn: yes, version 3.2 |
| 08:39:47 | × | jedws quits (~jedws@101.184.175.183) (Client Quit) |
| 08:40:07 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 08:40:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 08:41:52 | <merijn> | daydaynatation: You are getting hosed by gtk abusing things in ways they're not supposed to and that accidentally working for years... |
| 08:42:36 | × | Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer) |
| 08:42:47 | <merijn> | daydaynatation: Try the following: clone threadscope from github, change directory to it, then use "cabal install --projectfile=cabal.project.osx" |
| 08:43:25 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 08:43:33 | → | Alleria_ joins (~AllahuAkb@2604:2000:1484:26:38df:6fa9:13ce:5626) |
| 08:44:05 | → | christo joins (~chris@81.96.113.213) |
| 08:45:31 | <merijn> | daydaynatation: Essentially, flags were never intended to and shouldn't affect the public API/build setup of packages, but people abuse them for that anyway. Which worked fine in old cabal-install's because it would use "whatever version was already installed" (like the gtk you installed just now). But in >3.0 the buildplan doesn't depend on what's already installed |
| 08:45:53 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) |
| 08:46:46 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 08:47:45 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 08:48:49 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 258 seconds) |
| 08:49:00 | <tomsmeding> | can't you tell cabal to set a flag on some particular package in the dependency tree? |
| 08:49:15 | <merijn> | tomsmeding: In cabal.project, yes. Not in your cabal file |
| 08:49:20 | <tomsmeding> | ah right |
| 08:49:22 | <merijn> | tomsmeding: And that is intentional |
| 08:49:43 | <merijn> | So people can't use flags to control what feature/API is exposed |
| 08:49:47 | <tomsmeding> | to be fair, is there another way for packages like gtk to have public "parameters"? |
| 08:49:50 | → | whatisRT joins (~whatisRT@2002:5b41:6a33:0:80a8:2f65:adf1:4c95) |
| 08:49:51 | <merijn> | But, of course, that's not stopped anyone |
| 08:50:20 | <merijn> | tomsmeding: Make a core library that's wrapped by gtk-quartz and gtk-x11 |
| 08:50:53 | <merijn> | Also, the (now mostly stalled) work on backpack |
| 08:50:54 | <tomsmeding> | because this feels like a so-called desire path :p |
| 08:51:12 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 08:51:53 | <merijn> | tomsmeding: You need to invert your interface so instead of conditionally depending on something you wrap. See persistent and the various persistent-postgres, persistent-sqlite, etc. wrappers |
| 08:52:06 | <merijn> | Selda does the same, diagrams does that |
| 08:52:15 | <tomsmeding> | yeah I've seen the pattern |
| 08:52:23 | <benschza> | Good morning everyone! I've been exploring Arrows and Yampa, and have reached a type error that I'm struggling to interpret. The resulting type seems so close, but I'm using this as a project to continue learning Haskell, so I'm in the deep end. `Expected type: SF (SF () State) (Event (SF () State))` and `Actual type: SF State (Event (SF () State))` - here's a gist: https://gist.github.com/BenSchZA/57f1f46ec8e2ecc0f304ede813e5f4eb I think my |
| 08:52:23 | <benschza> | question is two fold, what am I missing, and how can I improve my translation of Arrow proc notation into pure Arrow notation. Appreciate any guidance! |
| 08:52:28 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea6448a1be2d68fad7.ipv6.abo.wanadoo.fr) |
| 08:53:07 | <merijn> | benschza: I think there's, like, a handful of people who actually know/understand Arrow notation :p |
| 08:53:30 | hackage | phonetic-languages-constaints 0.3.0.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constaints-0.3.0.0 (OleksandrZhabenko) |
| 08:54:12 | <merijn> | tomsmeding: The only other option is to modify Cabal to allow people to specify constraints on their *transitive* dependencies, which is clearly a nightmare |
| 08:54:47 | <tomsmeding> | benschza: this is probably ghc doing type inference and showing the error far from where it actually occurred. Suggestion: add lots of manual type signatures on your intermediate values, and see where it doesn't match up with reality |
| 08:55:25 | <tomsmeding> | merijn: indeed that would be interesting if you have two dependencies A and B that both depend on different configurations of a single package C |
| 08:55:31 | <benschza> | tomsmeding: Thanks! I'll give that a try. |
| 08:55:46 | <[exa]> | benschza: btw if you didn't use a type hole yet, now is the time :] |
| 08:56:36 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 08:57:29 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 08:57:40 | <benschza> | [exa]: I'll have to Google that :) Thanks for the pointer. |
| 08:57:51 | <merijn> | tomsmeding: In the end, I understand why the desire path is there, but some things are required/blocked for a reason, see also: people complaining about needing to write out module lists, people complaining about maintaining upperbounds, etc. |
| 08:58:20 | <tomsmeding> | true enough |
| 08:58:23 | <merijn> | As always, these problems are "trivial" if you just throw long term stability/usability under the bus |
| 08:58:44 | <merijn> | But if you think about how things should work long term, it just can't work |
| 08:58:54 | <[exa]> | benschza: basically you add ` :: _ ` after anything and the compiler reports on what it thinks should be in place of the _ |
| 08:59:19 | <[exa]> | (same for values) |
| 09:00:01 | × | RISCi_ATOM1 quits (~RISCi_ATO@185.163.110.116) () |
| 09:00:08 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 272 seconds) |
| 09:00:31 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 09:01:14 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 09:01:57 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 09:01:58 | → | christo joins (~chris@81.96.113.213) |
| 09:06:10 | → | LKoen joins (~LKoen@77.174.9.109.rev.sfr.net) |
| 09:06:39 | <daydaynatation> | merijn: cabal complain that it doesn recognize --projectfile=... |
| 09:06:50 | <daydaynatation> | is it the right flag? I checked ont he user guide, couldn't find |
| 09:06:52 | <merijn> | oh, maybe it's --project-file? |
| 09:07:07 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 09:07:22 | → | kritzefitz joins (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) |
| 09:07:49 | <daydaynatation> | thx |
| 09:08:12 | → | idhugo joins (~idhugo@users-1190.st.net.au.dk) |
| 09:09:54 | × | LKoen quits (~LKoen@77.174.9.109.rev.sfr.net) (Client Quit) |
| 09:10:04 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 09:11:09 | → | avdb joins (~avdb@ip-83-134-68-229.dsl.scarlet.be) |
| 09:12:55 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 09:16:05 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 09:16:39 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection) |
| 09:17:44 | → | christo joins (~chris@81.96.113.213) |
| 09:19:55 | <maerwald> | was there a cabal helper tool that bumps version bounds of your package? |
| 09:20:33 | <merijn> | I think someone was working on one at some point? |
| 09:21:11 | <maerwald> | https://hackage.haskell.org/package/cabal-bounds |
| 09:21:22 | → | p8m_ joins (p8m@gateway/vpn/protonvpn/p8m) |
| 09:21:38 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 246 seconds) |
| 09:24:25 | × | kritzefitz quits (~kritzefit@p2e5a5f99.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 09:27:38 | × | sw1nn quits (~sw1nn@host86-129-29-1.range86-129.btcentralplus.com) (Ping timeout: 260 seconds) |
| 09:30:34 | <dminuoso> | Is there a safe variant of fromIntegral anywhere? |
| 09:30:54 | <dminuoso> | I need runtime verification, not static. |
| 09:31:13 | <merijn> | dminuoso: I recommend a strong whisky and crying :) |
| 09:31:40 | <maerwald> | Glendronach 21 |
| 09:31:57 | <merijn> | Sadness goes better with Islay |
| 09:32:03 | <dminuoso> | maerwald: Does that go well with Cola or better in tea? |
| 09:32:07 | <maerwald> | dude |
| 09:32:17 | <merijn> | dminuoso: I know you're joking and I'm still mad |
| 09:32:28 | × | SeMas quits (uid32977@gateway/web/irccloud.com/x-ccoximdwznrvbzyv) (Quit: Connection closed for inactivity) |
| 09:32:41 | <dminuoso> | merijn: I have quite a few whiskey fans, it triggers them every time. ;) |
| 09:33:09 | <dminuoso> | Or *whisky I guess |
| 09:33:09 | <merijn> | Whisky cola is fine, but just use shitty whisky >.> |
| 09:33:16 | <maerwald> | so you're a whisky? |
| 09:33:38 | <merijn> | Good whisky in cola ruins both your whisky and your cola (and your wallet) :p |
| 09:33:41 | <dminuoso> | Maybe the problem is that whisky connoisseurs don't use high quality cola for mixing their whisky. |
| 09:34:04 | <[exa]> | "high-quality cola" please elaborate |
| 09:34:11 | <dminuoso> | On a slightly more serious note, Im pondering getting these "cooling stones" for whisky. |
| 09:34:18 | <dminuoso> | But not for cooling it, but for heating rum. |
| 09:34:52 | <dminuoso> | Getting rum up to 25-28 degrees brings out quite a few flavors |
| 09:35:09 | <merijn> | I recommend we move this to offtopic :p |
| 09:35:13 | <dminuoso> | Indeed. |
| 09:35:19 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-zfqdguyjlahjbggz) (Quit: Connection closed for inactivity) |
| 09:36:52 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:37:53 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 09:40:30 | hackage | polysemy-extra 0.1.3.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.3.0 (locallycompact) |
| 09:41:10 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:42:33 | → | alp joins (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2) |
| 09:43:28 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 09:47:25 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 09:48:47 | × | xff0x quits (~fox@2001:1a81:53be:a900:d560:4ea6:2896:65fd) (Ping timeout: 272 seconds) |
| 09:49:26 | → | xff0x joins (~fox@2001:1a81:53be:a900:6ffc:a5ea:f6d0:8f5a) |
| 09:50:39 | <dminuoso> | merijn: on a more serious note, am I expected to just manually compare with maxBound? |
| 09:50:58 | <dminuoso> | Why is there no freaking numeric conversion with error handling in base? |
| 09:51:29 | <dminuoso> | Is it just assumed that narrowing cant possibly happening? Or that when it happens, its semantics (what are they?) are obviously what you want? |
| 09:51:33 | <merijn> | dminuoso: On a more seriouse note, I had to handroll it and you get awkward conversion too |
| 09:51:52 | <dminuoso> | Dont people ever deal with numbers? :( |
| 09:52:04 | <dminuoso> | Im so close to just use Integer everywhere. |
| 09:52:06 | <merijn> | dminuoso: I welcome any suggestions/things in GHC that improve this |
| 09:52:29 | <merijn> | dminuoso: It's somewhere down on my yak shaving list |
| 09:54:09 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 09:57:30 | hackage | phonetic-languages-constraints 0.3.0.1 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.0.1 (OleksandrZhabenko) |
| 09:57:46 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:58:29 | × | Yumasi quits (~guillaume@2a01cb09b06b29ea6448a1be2d68fad7.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 09:58:42 | → | adm joins (~adm@43.229.89.44) |
| 09:58:57 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) |
| 10:01:28 | × | daydaynatation quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 10:03:28 | × | adm quits (~adm@43.229.89.44) (Ping timeout: 272 seconds) |
| 10:04:33 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 256 seconds) |
| 10:05:31 | hackage | polysemy-extra 0.1.4.0 - Extra Input and Output functions for polysemy.. https://hackage.haskell.org/package/polysemy-extra-0.1.4.0 (locallycompact) |
| 10:11:23 | × | datajerk quits (~datajerk@sense.net) (Ping timeout: 260 seconds) |
| 10:14:40 | → | datajerk joins (~datajerk@sense.net) |
| 10:16:22 | × | Yumasi quits (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 10:17:42 | → | adm joins (~adm@43.229.89.44) |
| 10:18:19 | → | Yumasi joins (~guillaume@40.72.95.92.rev.sfr.net) |
| 10:21:51 | × | Sanchayan quits (~Sanchayan@122.181.216.76) (Quit: leaving) |
| 10:22:33 | → | ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) |
| 10:27:02 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 10:27:07 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Changing host) |
| 10:27:07 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 10:28:07 | → | acidjnk_new joins (~acidjnk@p200300d0c718f661b553e508bfbf5b58.dip0.t-ipconnect.de) |
| 10:28:14 | → | tsmango joins (~tsmango@178.239.168.171) |
| 10:31:21 | → | da39a3ee5e6b4b0d joins (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) |
| 10:33:06 | × | adm quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 10:34:19 | → | adm joins (~adm@43.229.89.44) |
| 10:36:21 | → | toppler joins (~user@mtop.default.momentoftop.uk0.bigv.io) |
| 10:37:35 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 10:39:05 | × | adm quits (~adm@43.229.89.44) (Ping timeout: 240 seconds) |
| 10:39:22 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:2aa9:cfa1:c8c2:4c1f) (Ping timeout: 260 seconds) |
| 10:41:59 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 10:42:05 | → | falling-edge[m] joins (falling-ed@gateway/shell/matrix.org/x-yiekkkjicabtzpwl) |
| 10:44:46 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 10:45:28 | brown121407 | is now known as b7 |
| 10:46:21 | → | bquest_123_ joins (~bquest_12@5.112.15.240) |
| 10:46:32 | × | rprije quits (~rprije@124.148.131.132) (Ping timeout: 272 seconds) |
| 10:47:40 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 10:49:01 | b7 | is now known as brown |
| 10:49:30 | brown | is now known as Guest62565 |
| 10:49:40 | Guest62565 | is now known as b121407 |
| 10:50:53 | b121407 | is now known as zazavatar |
| 10:51:17 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:997a:f045:9c21:27be) |
| 10:51:54 | → | christo joins (~chris@81.96.113.213) |
| 10:55:31 | × | idhugo quits (~idhugo@users-1190.st.net.au.dk) (Quit: Leaving) |
| 10:56:46 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 10:58:14 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 10:58:17 | zazavatar | is now known as brown121407 |
| 11:01:15 | × | whatisRT quits (~whatisRT@2002:5b41:6a33:0:80a8:2f65:adf1:4c95) (Quit: ZNC 1.7.5 - https://znc.in) |
| 11:03:14 | → | britva joins (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) |
| 11:05:51 | → | wonderworker joins (bc2b8820@188.43.136.32) |
| 11:06:17 | × | wonderworker quits (bc2b8820@188.43.136.32) (Remote host closed the connection) |
| 11:06:19 | → | Sanchayan joins (~Sanchayan@122.181.216.76) |
| 11:09:00 | hackage | phonetic-languages-constraints 0.3.1.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.1.0 (OleksandrZhabenko) |
| 11:11:09 | × | Sanchayan quits (~Sanchayan@122.181.216.76) (Client Quit) |
| 11:14:29 | → | m0rphism joins (~m0rphism@HSI-KBW-095-208-098-207.hsi5.kabel-badenwuerttemberg.de) |
| 11:14:52 | × | Yumasi quits (~guillaume@40.72.95.92.rev.sfr.net) (Ping timeout: 258 seconds) |
| 11:15:11 | → | ski joins (~ski@nc-2504-30.studat.chalmers.se) |
| 11:15:38 | × | leah2 quits (~leah@vuxu.org) (Remote host closed the connection) |
| 11:16:54 | → | leah2 joins (~leah@vuxu.org) |
| 11:21:06 | → | samlamamma joins (~user@h188-122-129-70.cust.a3fiber.se) |
| 11:21:49 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 264 seconds) |
| 11:22:32 | × | avdb quits (~avdb@ip-83-134-68-229.dsl.scarlet.be) (Ping timeout: 256 seconds) |
| 11:24:17 | × | acidjnk_new quits (~acidjnk@p200300d0c718f661b553e508bfbf5b58.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 11:25:27 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 11:31:02 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 11:31:40 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Remote host closed the connection) |
| 11:32:08 | × | p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 272 seconds) |
| 11:33:27 | → | trcc joins (~trcc@2-104-60-169-cable.dk.customer.tdc.net) |
| 11:34:55 | × | samlamamma quits (~user@h188-122-129-70.cust.a3fiber.se) (Remote host closed the connection) |
| 11:36:30 | → | Emerald joins (8ba7aee6@139.167.174.230) |
| 11:37:56 | <trcc> | Hi. I am trying to figure out why the haskell visual studio code extension fails to detect my stack installation. I have just followed the very initial steps of "Start your new project" here: https://docs.haskellstack.org/en/stable/README/. WHen I open the folder in vscode then I get: "ghcide: unable to load package `ghc-prim-0.5.3` compiler [1,1]". Any ideas? |
| 11:38:21 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:38:21 | → | bergsans joins (~bergsans@c80-217-8-29.bredband.comhem.se) |
| 11:39:08 | <benschza> | [exa] and tomsmeding: thanks to your pointers I got the types right for the Arrows/Yampa problem. |
| 11:41:01 | hackage | phonetic-languages-examples 0.4.0.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.0.0 (OleksandrZhabenko) |
| 11:41:47 | × | xff0x quits (~fox@2001:1a81:53be:a900:6ffc:a5ea:f6d0:8f5a) (Ping timeout: 260 seconds) |
| 11:41:51 | → | Iceland_jack joins (~user@95.149.219.123) |
| 11:42:14 | × | britva quits (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Quit: This computer has gone to sleep) |
| 11:42:31 | → | bolver joins (~user@49.207.211.96) |
| 11:42:35 | × | bolver quits (~user@49.207.211.96) (Client Quit) |
| 11:42:37 | → | xff0x joins (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2) |
| 11:43:10 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 11:43:14 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 11:44:47 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 11:45:49 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 11:48:52 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 11:50:51 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 265 seconds) |
| 11:55:37 | × | Emerald quits (8ba7aee6@139.167.174.230) (Remote host closed the connection) |
| 11:56:10 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) |
| 12:00:01 | × | tsmango quits (~tsmango@178.239.168.171) () |
| 12:01:38 | × | da39a3ee5e6b4b0d quits (~da39a3ee5@cm-171-98-69-228.revip7.asianet.co.th) (Ping timeout: 256 seconds) |
| 12:03:23 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 12:07:50 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-pozlvwyabhwikscl) |
| 12:09:38 | × | alp quits (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2) (Ping timeout: 264 seconds) |
| 12:11:13 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 12:14:38 | <nshepperd2> | > fromIntegral 12345678 :: Word8 |
| 12:14:40 | <lambdabot> | 78 |
| 12:15:17 | × | machinedgod quits (~machinedg@207.253.244.210) (Remote host closed the connection) |
| 12:16:43 | <Taneb> | This is because 12345600 = 256 * 48225 and Word8 wraps |
| 12:17:02 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 12:17:38 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 12:17:45 | → | machined1od joins (~machinedg@207.253.244.210) |
| 12:18:34 | × | machinedgod quits (~machinedg@207.253.244.210) (Client Quit) |
| 12:21:15 | <nshepperd> | seems reasonable |
| 12:23:59 | <Taneb> | Dumb idea: Word6.644ish, that wraps at 100 |
| 12:26:31 | hackage | phonetic-languages-constraints 0.3.2.0 - Constraints to filter the needed permutations https://hackage.haskell.org/package/phonetic-languages-constraints-0.3.2.0 (OleksandrZhabenko) |
| 12:31:54 | <nshepperd> | heh |
| 12:34:39 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 12:38:01 | <pjb> | nshepperd: seems idiotic. That's how you destroy rockets. |
| 12:38:25 | → | alp joins (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2) |
| 12:38:46 | <merijn> | pjb: Well, what do you propose, then |
| 12:39:00 | <pjb> | bigints. |
| 12:39:12 | <merijn> | That seems rather unrelated |
| 12:39:13 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 12:39:25 | <pjb> | yeah… |
| 12:39:34 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 12:40:00 | <pjb> | It should signal an error. |
| 12:40:39 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 12:40:56 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 12:41:35 | <merijn> | Feel free to define proper semantics for that |
| 12:41:41 | <merijn> | Many people have tried and failed :) |
| 12:43:30 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 12:43:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 258 seconds) |
| 12:44:01 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 12:48:39 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Ping timeout: 272 seconds) |
| 12:48:48 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 12:49:23 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 12:50:20 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 12:51:13 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 12:51:17 | → | kjak joins (~kjak@pool-173-73-38-16.washdc.fios.verizon.net) |
| 12:51:27 | → | revprez_stg joins (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) |
| 12:51:29 | × | amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Remote host closed the connection) |
| 12:52:43 | × | teardown quits (~user@gateway/tor-sasl/mrush) (Ping timeout: 240 seconds) |
| 12:53:58 | → | amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com) |
| 12:54:24 | → | tw1sted1 joins (~tw1sted@195.206.169.184) |
| 12:54:54 | → | teardown joins (~user@gateway/tor-sasl/mrush) |
| 12:55:37 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 12:55:50 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 12:56:07 | × | revprez_stg quits (~revprez_s@pool-108-49-213-40.bstnma.fios.verizon.net) (Client Quit) |
| 12:56:18 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 12:56:18 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Read error: Connection reset by peer) |
| 12:56:41 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 12:56:57 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 12:57:12 | → | gxt joins (~gxt@gateway/tor-sasl/gxt) |
| 12:57:16 | → | carlomagno1 joins (~cararell@148.87.23.13) |
| 12:57:25 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 12:57:40 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 12:58:11 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 12:58:22 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:58:47 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 272 seconds) |
| 13:00:25 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:2ab7:7f35:48a1:8515) (Remote host closed the connection) |
| 13:01:31 | hackage | vulkan-utils 0.1.3 - Utils for the vulkan package https://hackage.haskell.org/package/vulkan-utils-0.1.3 (jophish) |
| 13:02:52 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 13:03:27 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 13:03:49 | → | z0k joins (~user@101.50.68.94) |
| 13:05:34 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 13:07:11 | <xerox_> | will ghc run on the arm macs straight away? |
| 13:08:04 | <merijn> | Who knows |
| 13:08:18 | <jophish> | do the GHC team have one of the dev boxeS? |
| 13:08:26 | <merijn> | Probably not |
| 13:08:50 | <merijn> | ARM has tier 2 support, currently, iirc |
| 13:10:07 | → | texasmynsted joins (~texasmyns@212.102.45.118) |
| 13:10:14 | <merijn> | So the answer to "will GHC run on ARM macs?" is "that depends how much effort you will contribute to that cause" ;) |
| 13:10:48 | → | texasmyn_ joins (~texasmyns@212.102.45.118) |
| 13:10:54 | × | texasmynsted quits (~texasmyns@212.102.45.118) (Read error: Connection reset by peer) |
| 13:11:41 | <merijn> | I know angerman is doing a lot of stuff w.r.t Aarch64 support in GHC |
| 13:12:19 | → | AlterEgo- joins (~ladew@124-198-158-163.dynamic.caiway.nl) |
| 13:12:31 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 13:12:38 | <angerman> | xerox_: yes; jophish: yes, I have a DTK on my desk. |
| 13:13:05 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 13:13:10 | <angerman> | xerox_: you can use rosetta2, ghc works well enough to build a native ghc. |
| 13:13:47 | <angerman> | here's a fully native, GHC-9.1 with an arm64 NCG: https://dl.dropbox.com/s/jskw2pjpkhquj4g/ghc-9.1.0.20201110-aarch64-apple-darwin.tar.xz |
| 13:14:12 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 13:14:16 | <jophish> | I wonder how the code signing thing is going to impact nixos |
| 13:14:21 | <angerman> | We'll likely need a bit of time to get this (a) merged into master, (b) backported into 9.0 and maybe earlier. |
| 13:14:51 | <angerman> | jophish: it's ok. thefloweringash and I did test, and manage to produce identical binaries. However "nixos" and darwin don't mix well :p |
| 13:15:00 | hackage | apecs-stm 0.1.4 - STM stores for apecs https://hackage.haskell.org/package/apecs-stm-0.1.4 (jonascarpay) |
| 13:15:03 | <angerman> | darwin + nixpkgs, will need some more work, but we'll get there. |
| 13:15:24 | <jophish> | I guess you had to share a key? |
| 13:15:38 | <angerman> | no. adhoc signatures don't need keeys. |
| 13:15:53 | <jophish> | oh, so they always use the same key |
| 13:16:15 | <angerman> | it's just some integrity hash. |
| 13:16:20 | <jophish> | right |
| 13:16:38 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 13:16:40 | <angerman> | I think thefloweringhash did provide some more details in the nixpkgs comments on the issue. |
| 13:17:01 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) |
| 13:17:04 | <angerman> | if you want to use GHC or nix right away on an arm64 mac, maybe hold off for at least a month. |
| 13:17:13 | <angerman> | it's possible, but it's going to be painful. |
| 13:17:24 | <jophish> | heh, I'm probably not getting a mac again any time soon |
| 13:17:35 | <angerman> | your loss :p |
| 13:17:48 | <Uniaika> | that being said there is Rosetta right? |
| 13:17:51 | <angerman> | apple sg doesn't seem to want to sell M1 mac minis :-/ |
| 13:17:56 | <jophish> | used one for quite a while, but coming back to Linux was always such a relief ;) |
| 13:18:06 | <jophish> | also the keyboard suck :) |
| 13:18:15 | <angerman> | did I say mac mini? |
| 13:18:55 | <jophish> | ah, keyboard is probably similar then |
| 13:20:29 | <angerman> | macOS to me is a glorified desktop environment to run terminals that are connected to linux machines 🙊 |
| 13:20:33 | <xerox_> | angerman: grand |
| 13:21:25 | <jophish> | s/1000$ facebook machine/1000$ ssh machine/ |
| 13:21:32 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 13:21:51 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 13:21:59 | <xerox_> | angerman: how long did it take to build? |
| 13:22:17 | <angerman> | xerox_: sorry can't comment on that. Once I get my hands on a proper m1 mac mini, I can. |
| 13:22:28 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 13:22:31 | <jophish> | NDA? |
| 13:22:46 | <angerman> | DTKs come with limits. |
| 13:22:48 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:23:11 | <xerox_> | ah ok |
| 13:23:17 | <jophish> | angerman: can you build me a ghc distribution starting now, upload it the second you are done |
| 13:23:38 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 13:23:58 | <angerman> | lol. |
| 13:24:17 | <angerman> | I'll just say this much: you can develop on ghc on apple arm machines :-) |
| 13:24:34 | <angerman> | without wanting to jump out of the window. |
| 13:24:40 | <xerox_> | I'm just hoping to develop *with* ghc, so that's good |
| 13:25:03 | <angerman> | well you've seen the early benchmarks I guess? |
| 13:25:11 | <xerox_> | nope! |
| 13:25:21 | <angerman> | most of your time developing in haskell is spent looking at the screen, not actually compiling software. |
| 13:25:25 | <angerman> | xerox_: macrumors.com |
| 13:25:29 | × | texasmyn_ quits (~texasmyns@212.102.45.118) (Remote host closed the connection) |
| 13:25:37 | <xerox_> | oh I thought you meant ghc specific benchmarks |
| 13:25:50 | → | texasmynsted joins (~texasmyns@212.102.45.118) |
| 13:28:45 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 13:29:46 | <dminuoso> | angerman: Oh dunno, that kind of depends on what project you're working on. |
| 13:30:21 | <dminuoso> | Depending on what you do with GHC, the feedback loop can be awfully slow there |
| 13:30:26 | <dminuoso> | (Working on GHC) |
| 13:30:30 | × | toorevitimirp quits (~tooreviti@117.182.180.38) (Remote host closed the connection) |
| 13:30:55 | <angerman> | dminuoso: yea, but xerox_ explicitly said he's developing *with* ghc :D |
| 13:31:20 | → | Franciman joins (~francesco@host-82-56-223-169.retail.telecomitalia.it) |
| 13:31:25 | <angerman> | xerox_: well they give you a machine to compare to. Is GHC fast enough on that machine? If the answer is yes, then it's likely fast enough on an apple silicon machine. |
| 13:31:51 | <dminuoso> | angerman: With the llvm backend, the new apple silicon should work out of the box, no? |
| 13:31:54 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 13:32:02 | <dminuoso> | Or are you hinting at apple silicon support in the native backend? |
| 13:32:03 | <angerman> | almost. |
| 13:32:27 | <angerman> | there are some minor changes we need in the llvm backend primarily around configure logic. |
| 13:32:33 | → | toorevitimirp joins (~tooreviti@117.182.180.38) |
| 13:32:37 | <angerman> | trhe llvm pipeline is just very slow. |
| 13:32:55 | <angerman> | substantially so, that a NCG makes sense. |
| 13:34:21 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 13:34:56 | <xerox_> | angerman: (: |
| 13:35:01 | hackage | magicbane 0.5.1 - A web framework that integrates Servant, RIO, EKG, fast-logger, wai-cli… https://hackage.haskell.org/package/magicbane-0.5.1 (myfreeweb) |
| 13:36:35 | → | ndcroos joins (5bb300df@91.179.0.223) |
| 13:39:50 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:40:28 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Quit: This computer has gone to sleep) |
| 13:42:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) |
| 13:44:00 | hackage | phonetic-languages-examples 0.4.1.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.1.0 (OleksandrZhabenko) |
| 13:44:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 13:45:01 | × | encod3 quits (~encod3@45-154-157-94.ftth.glasoperator.nl) () |
| 13:45:26 | → | adm_ joins (~adm@43.229.89.44) |
| 13:46:45 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 13:48:39 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 13:48:49 | → | lucasb joins (uid333435@gateway/web/irccloud.com/x-lsuvezrsvbepowff) |
| 13:48:50 | → | adm__ joins (~adm@43.229.89.44) |
| 13:49:04 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 13:50:07 | × | adm_ quits (~adm@43.229.89.44) (Ping timeout: 258 seconds) |
| 13:52:04 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 13:52:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 13:55:18 | → | fendor_ joins (~fendor@178.165.129.175.wireless.dyn.drei.com) |
| 13:55:40 | × | adm__ quits (~adm@43.229.89.44) (Remote host closed the connection) |
| 13:56:43 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds) |
| 13:57:16 | → | adm_ joins (~adm@43.229.89.44) |
| 13:57:18 | × | adm_ quits (~adm@43.229.89.44) (Client Quit) |
| 13:57:44 | × | fendor quits (~fendor@77.119.130.20.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 13:58:53 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 13:59:03 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:01:23 | → | britva joins (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) |
| 14:02:20 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds) |
| 14:04:16 | → | acidjnk_new joins (~acidjnk@p200300d0c718f66175ef21b7256ec1f4.dip0.t-ipconnect.de) |
| 14:09:15 | → | sdrodge_ joins (~sdrodge@unaffiliated/sdrodge) |
| 14:10:25 | × | sdrodge quits (~sdrodge@unaffiliated/sdrodge) (Ping timeout: 264 seconds) |
| 14:11:00 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Quit: hekkaidekapus_) |
| 14:11:12 | × | sdrodge_ quits (~sdrodge@unaffiliated/sdrodge) (Read error: Connection reset by peer) |
| 14:11:42 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 14:11:48 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 14:13:00 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 14:14:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:90a4:2273:4a7:996a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 14:15:06 | → | encod3 joins (~encod3@45-154-157-94.ftth.glasoperator.nl) |
| 14:15:47 | × | Yumasi quits (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 14:17:26 | → | jonatanb joins (~jonatanb@user-5-173-60-237.play-internet.pl) |
| 14:18:40 | → | todda7 joins (~torstein@ppp-2-84-17-169.home.otenet.gr) |
| 14:23:20 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 14:24:38 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 14:27:30 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 14:27:35 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 14:27:53 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 14:32:56 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 14:33:13 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Quit: Leaving) |
| 14:34:11 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 14:35:50 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 14:36:12 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 14:37:42 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) |
| 14:37:51 | ← | WeChanTonio parts (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) () |
| 14:38:02 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 14:38:10 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Client Quit) |
| 14:38:19 | × | ephemera_ quits (~E@122.34.1.187) (Remote host closed the connection) |
| 14:38:29 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 14:39:36 | → | ephemera_ joins (~E@122.34.1.187) |
| 14:40:36 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:40:56 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 14:42:46 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 14:43:04 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 14:43:47 | × | machined1od quits (~machinedg@207.253.244.210) (Quit: leaving) |
| 14:44:07 | × | Yumasi quits (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 14:44:11 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 14:45:05 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 14:45:30 | hackage | VulkanMemoryAllocator 0.3.8 - Bindings to the VulkanMemoryAllocator library https://hackage.haskell.org/package/VulkanMemoryAllocator-0.3.8 (jophish) |
| 14:46:07 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 260 seconds) |
| 14:51:18 | → | Sanchayan joins (~Sanchayan@122.181.216.76) |
| 14:56:25 | → | Yumasi joins (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) |
| 14:58:09 | × | trcc quits (~trcc@2-104-60-169-cable.dk.customer.tdc.net) (Remote host closed the connection) |
| 14:59:35 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds) |
| 15:00:01 | × | tw1sted1 quits (~tw1sted@195.206.169.184) () |
| 15:00:19 | × | dftxbs3e quits (~dftxbs3e@unaffiliated/dftxbs3e) (Remote host closed the connection) |
| 15:00:27 | → | FreeBirdLjj joins (~freebirdl@101.228.42.108) |
| 15:00:48 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 2.9) |
| 15:01:01 | × | alp quits (~alp@2a01:e0a:58b:4920:5893:9820:69f2:6f2) (Ping timeout: 272 seconds) |
| 15:01:47 | × | jonatanb quits (~jonatanb@user-5-173-60-237.play-internet.pl) (Remote host closed the connection) |
| 15:02:33 | → | ystael joins (~ystael@209.6.50.55) |
| 15:04:27 | × | ystael quits (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 15:04:33 | → | ystael_ joins (~ystael@209.6.50.55) |
| 15:04:53 | × | FreeBirdLjj quits (~freebirdl@101.228.42.108) (Ping timeout: 256 seconds) |
| 15:05:07 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 15:06:38 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:08:03 | ystael_ | is now known as ystael |
| 15:08:05 | × | Sanchayan quits (~Sanchayan@122.181.216.76) (Quit: leaving) |
| 15:09:14 | × | ndcroos quits (5bb300df@91.179.0.223) (Ping timeout: 245 seconds) |
| 15:09:46 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 15:12:21 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Quit: Leaving) |
| 15:13:30 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 15:15:24 | × | encod3 quits (~encod3@45-154-157-94.ftth.glasoperator.nl) () |
| 15:15:29 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 15:16:47 | <raichoo> | Bumping this again here: We are sill looking for contributors for "Advent of Haskell" 2020. www.adventofhaskell.com Would be really cool to get a couple more people on board for this project. I know it's a close call ^^ |
| 15:19:01 | → | christo joins (~chris@81.96.113.213) |
| 15:19:24 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 15:21:08 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Quit: Leaving) |
| 15:21:27 | → | g-belmonte joins (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) |
| 15:21:36 | → | nados joins (~dan@69-165-210-185.cable.teksavvy.com) |
| 15:21:58 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 15:23:30 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Remote host closed the connection) |
| 15:23:51 | → | cosimone joins (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) |
| 15:26:05 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Client Quit) |
| 15:26:43 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 15:28:57 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Client Quit) |
| 15:29:30 | → | WeChanTonio joins (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) |
| 15:30:22 | × | cosimone quits (~cosimone@2001:b07:ae5:db26:d849:743b:370b:b3cd) (Read error: Connection reset by peer) |
| 15:33:01 | → | stackdimes joins (~stackdime@70.39.102.181) |
| 15:37:00 | hackage | moss 0.2.0.0 - Haskell client for Moss https://hackage.haskell.org/package/moss-0.2.0.0 (mbg) |
| 15:41:38 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 15:42:02 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 15:42:35 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 15:43:15 | ← | bscarlet parts (~benjamin@forest.greynode.net) () |
| 15:44:37 | <Franciman> | Hi raichoo, unfortunately I think that haskell is the past, the future is going outside and enjoying the real world. That's why there should be an anti technocratic revolution spreading across the world |
| 15:44:39 | <Franciman> | but thanks |
| 15:44:43 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 15:44:50 | <maerwald> | :D |
| 15:45:45 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:47:22 | × | borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 15:52:20 | → | frdg joins (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) |
| 15:55:18 | → | ClaudiusMaximus joins (~claude@198.123.199.146.dyn.plus.net) |
| 15:55:20 | × | ClaudiusMaximus quits (~claude@198.123.199.146.dyn.plus.net) (Changing host) |
| 15:55:20 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 15:55:40 | <zincy_> | Franciman: It was but then 2020 happened |
| 15:56:05 | <Franciman> | damn, so haskell is the future again? |
| 15:56:07 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 272 seconds) |
| 15:57:08 | <zincy_> | Anything that involves being a hermit is the future |
| 15:57:19 | <frdg> | I am having trouble with `stack exec` not being able to find a module that it should be able to find, yet I am able to compile and run my program. I cannot use GHCID because of this issue. Here is a full outline of the problem that I posted 4 days ago on SO: |
| 15:57:20 | <frdg> | https://stackoverflow.com/questions/64738525/stack-can-not-find-a-local-module-that-it-should-be-able-to-find |
| 15:57:39 | <Franciman> | :D |
| 15:57:45 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 15:57:51 | <Franciman> | ah, maerwald I wanted to ask you a few things about ghcup when you have some time to lose |
| 15:58:35 | <raichoo> | Anything that gives people a bit of fun over the holidays while being isolated. |
| 15:58:40 | <maerwald> | Franciman: what is it? |
| 15:59:00 | <maerwald> | raichoo: so what changed compared to 2019? :p |
| 15:59:37 | <Franciman> | nothing really important, but have you made any further step towards the idea of implementing part of vabal? |
| 15:59:58 | <maerwald> | no practical achievements so far |
| 16:00:05 | × | bonvoyage[m] quits (bonvoyageu@gateway/shell/matrix.org/x-qprbpxmnqsbkebca) (Quit: Idle for 30+ days) |
| 16:00:10 | <Franciman> | because I wanted to ask you how you determine for each ghc what is the base it supports |
| 16:00:23 | <Franciman> | do you do it by hand, or you have some fancy script I could use? |
| 16:00:55 | <maerwald> | that's by hand and recorded: https://gitlab.haskell.org/haskell/ghcup-hs/-/blob/master/ghcup-0.0.3.yaml#L97 |
| 16:01:05 | <Franciman> | arg |
| 16:01:13 | <merijn> | frdg: oh, I think I know :) |
| 16:01:27 | <maerwald> | Franciman: it's static information anyway |
| 16:01:28 | <merijn> | frdg: Can you try replacing ~ with /home/whatever in your filepath? |
| 16:01:36 | <maerwald> | it doesn't change |
| 16:01:39 | <frdg> | sure |
| 16:01:48 | <Franciman> | yes, but ok I understand vabal is not used by anybody, but I keep forgetting to update them |
| 16:02:12 | <merijn> | Franciman: You mean you forget to relax your upperbound on base? |
| 16:02:30 | <Franciman> | yes |
| 16:02:38 | <Franciman> | and update vabal's metadata |
| 16:02:45 | <merijn> | Franciman: Let me introduce you to your saviour with regards to upperbounds :p |
| 16:02:49 | <maerwald> | lol |
| 16:02:56 | <maerwald> | < 10000 |
| 16:03:04 | <merijn> | Franciman: https://packdeps.haskellers.com/feed?needle=paramtree |
| 16:03:04 | <Franciman> | lol |
| 16:03:30 | <merijn> | Franciman: (replace package name as needed) and get an RSS feed of out of date upperbounds (including base) |
| 16:03:45 | <Franciman> | thanks |
| 16:03:48 | <Franciman> | that's cool |
| 16:03:57 | <Franciman> | raichoo, no sorry, you're right |
| 16:04:15 | <merijn> | Franciman: As soon as one of you (direct) dependencies releases a version outside your current upperbound it appears in the RSS feed :) |
| 16:04:16 | <Franciman> | but the doctor said I can't stay sat down for more than 40 minutes in a row |
| 16:04:17 | <frdg> | merijn: same error |
| 16:04:23 | <Franciman> | that's what I meant, in a less pompous way |
| 16:04:27 | <merijn> | frdg: ah, then I dunno |
| 16:04:28 | <maerwald> | Franciman: you also have RSI? |
| 16:04:43 | <frdg> | ill add that to my SO post though. |
| 16:05:05 | <Franciman> | yes, that one too |
| 16:05:17 | <maerwald> | the beauty of programming |
| 16:05:29 | <Franciman> | but also tendonitis in various parts of the arms |
| 16:05:34 | <Franciman> | and posture problems |
| 16:05:43 | <monochrom> | I have a cunning plan. Build a large keyboard on the floor. You walk to step on the keys to type. |
| 16:05:44 | <Franciman> | and circulatory issues to hands |
| 16:06:39 | <maerwald> | yeah, I bought 2 ergonomic keyboards, parts to replace the firmware/boards, all sorts of trackballs and wrist crap etc |
| 16:06:42 | <monochrom> | Although, this may be merely transfering hand RSI to leg-foot RSI. |
| 16:07:02 | <maerwald> | yeah, since I use a 3-foot pedal, my feet hurt |
| 16:07:15 | <Franciman> | maerwald, :< |
| 16:07:18 | <maerwald> | I think that's an improvement though |
| 16:07:20 | <maerwald> | :D |
| 16:07:29 | <maerwald> | feet you can just cut off and be done |
| 16:07:36 | <Franciman> | lol |
| 16:10:59 | <maerwald> | Franciman: https://www.youtube.com/watch?v=fdD7CgN5FGg |
| 16:11:15 | <maerwald> | it seems he recovered and didn't need surgery |
| 16:11:31 | <maerwald> | (I can't but stop wondering if he's an emacs user) |
| 16:12:40 | <maerwald> | I think ppl with heavy alt/ctrl key bindings are at higher risk |
| 16:13:17 | <Franciman> | thanks |
| 16:13:24 | <Franciman> | I do think that too |
| 16:13:26 | → | nbloomf joins (~nbloomf@76.217.43.73) |
| 16:13:42 | <maerwald> | my vim keybindings are very ctrl heavy :/ |
| 16:13:42 | <Franciman> | at least you need to take some care, and presso ctrl/alt with the opposite hand |
| 16:13:48 | <Franciman> | press* |
| 16:14:19 | <maerwald> | yes, my problems got worse when I started using workman keyboard layout (similar to colemak) |
| 16:14:52 | <maerwald> | which focuses on finger rolling (same hand movements). dvorak is supposed to maximize alternating hands, so that might help you too |
| 16:16:29 | <frdg> | merijn: all of a sudden it just worked and I don't know why. |
| 16:16:57 | <raichoo> | Franciman: Sorry to hear that, I hope it'll get better? |
| 16:17:25 | <frdg> | merijn: maybe you were right. But I tried what you said at least 4 times and it didn't work. |
| 16:17:38 | <Franciman> | hm i see maerwald sorry to hear that |
| 16:17:39 | <Franciman> | it sux |
| 16:17:43 | <Franciman> | raichoo, thanks |
| 16:17:54 | <Franciman> | sorry i was a bit rought |
| 16:17:57 | <Franciman> | rough* |
| 16:18:11 | <raichoo> | Happens, don't worry. |
| 16:18:45 | <maerwald> | Franciman: but I do recommend Kinesis advantage 2 keyboard (at least if you have finger strain) |
| 16:19:02 | <maerwald> | the concave design makes a huge difference |
| 16:19:22 | <maerwald> | I wouldn't be able to type without it (and cbd) |
| 16:21:32 | <Franciman> | cool thanks, I keep it noted |
| 16:21:33 | <frdg> | merijn: I am perplexed but it had to have been the file path you suggested because I have been going at this for days and had not tried that. If you want the 50 bounty you can answer the question otherwise ill put the answer up in an hour or so. |
| 16:21:46 | <Franciman> | now sorry my time for computer is left :P |
| 16:21:48 | <Franciman> | thanks maerwald |
| 16:21:51 | <Franciman> | ttyl |
| 16:23:33 | <merijn> | frdg: Basically, bash doesn't expand ~ within '', and when stack exec invoke ghci that path is still not expanded. So it was just a wild guess that ghci does not perform ~ expansion (most programs don't, the shell usually handles that) :) |
| 16:23:42 | → | pieguy128 joins (~pieguy128@bras-base-mtrlpq5031w-grc-39-70-27-244-102.dsl.bell.ca) |
| 16:23:56 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:24:32 | → | christo joins (~chris@81.96.113.213) |
| 16:25:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:25:37 | <frdg> | I see. It all happened so fast but I think I might have opened a new eshell instance in emacs and tried again and that is why it didn't work at first. Thanks though. |
| 16:25:56 | → | Chi1thangoo joins (~Chi1thang@87.112.60.168) |
| 16:26:00 | hackage | tracing 0.0.5.2 - Distributed tracing https://hackage.haskell.org/package/tracing-0.0.5.2 (mtth) |
| 16:26:17 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:28:43 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 246 seconds) |
| 16:29:07 | × | toorevitimirp quits (~tooreviti@117.182.180.38) (Remote host closed the connection) |
| 16:30:37 | × | Franciman quits (~francesco@host-82-56-223-169.retail.telecomitalia.it) (Quit: Leaving) |
| 16:33:42 | <frdg> | I can't recreate this success in a regular terminal though. I am getting the same error as before. In a new instance of eshell it is also failing. wtf I really do not know what I did. |
| 16:34:48 | <frdg> | if I restart ghcid in the shell that is working then it continues to work. |
| 16:34:49 | × | gareth__ quits (~gareth__@104.236.161.134) (Quit: ...uh oh) |
| 16:36:59 | → | christo joins (~chris@81.96.113.213) |
| 16:37:14 | <frdg> | I can also get it to work with ~ in this shell |
| 16:38:19 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:38:52 | → | christo joins (~chris@81.96.113.213) |
| 16:42:10 | → | gareth__ joins (~gareth__@104.236.161.134) |
| 16:43:21 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 16:45:45 | → | conal joins (~conal@64.71.133.70) |
| 16:46:34 | → | conal_ joins (~conal@64.71.133.70) |
| 16:46:59 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 16:48:14 | → | alp joins (~alp@2a01:e0a:58b:4920:ed32:ff85:b3a6:ae06) |
| 16:48:19 | → | christo joins (~chris@81.96.113.213) |
| 16:48:42 | <frdg> | I have solved the problem. If I run `ghcid -c 'stack exec ...` from within the directory that Main.hs is in it is able to find the module. If I start it from anywhere else it says it cannot find the module. The problem was not with ~ I don't think. |
| 16:49:10 | × | chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 16:50:04 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 256 seconds) |
| 16:52:42 | × | acidjnk_new quits (~acidjnk@p200300d0c718f66175ef21b7256ec1f4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:54:08 | → | mputz joins (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) |
| 16:55:19 | × | bliminse quits (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) (Ping timeout: 260 seconds) |
| 16:55:54 | → | bliminse joins (~bliminse@host109-156-197-211.range109-156.btcentralplus.com) |
| 16:56:42 | × | WeChanTonio quits (~WeChanTon@186-130-20-31.ftth.glasoperator.nl) (Quit: Leaving) |
| 16:57:55 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:59:07 | × | Yumasi quits (~guillaume@2a01cb09b06b29ea5faf5572fb93fcc2.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 16:59:25 | → | mrd joins (~mrd@185.163.110.116) |
| 16:59:35 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 17:03:38 | × | mputz quits (~Thunderbi@dslb-084-058-211-084.084.058.pools.vodafone-ip.de) (Ping timeout: 264 seconds) |
| 17:04:10 | → | dbmikus__ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 17:04:22 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:05:23 | × | frdg quits (47b88ff9@pool-71-184-143-249.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 17:10:05 | × | jlamothe quits (~jlamothe@198.251.55.207) (Quit: leaving) |
| 17:10:12 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-mfqotttnhsysdcxs) |
| 17:11:16 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ezpbwntcbzeneljs) |
| 17:11:20 | <glguy> | maerwald: I've asked before but if you answered I missed it. Is there anything I can do to help ghcup 0.1.12 to get out of rc? |
| 17:11:34 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 17:11:47 | <maerwald> | glguy: it just has TUI improvements, I wanted to tackle a few other issues, but haven't gotten around it |
| 17:12:34 | <maerwald> | https://gitlab.haskell.org/haskell/ghcup-hs/-/issues/84 |
| 17:13:22 | <maerwald> | so you can say this bindist works for ubuntu < 18.02 |
| 17:13:25 | <maerwald> | or something |
| 17:14:30 | <glguy> | maerwald: But currently all you can say is that it works for Linux_Ubuntu in general? |
| 17:14:42 | → | jlamothe joins (~jlamothe@198.251.55.207) |
| 17:14:52 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 17:15:02 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 17:15:41 | <glguy> | Oh, no. I see you already say different things about '16.04', '18.04' and unkonwn_versioning: |
| 17:15:53 | <maerwald> | glguy: yeah, we only have EQ |
| 17:16:14 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 17:16:18 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer) |
| 17:16:30 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 17:16:49 | → | phaul joins (~phaul@ruby/staff/phaul) |
| 17:18:01 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 17:19:25 | × | stackdimes quits (~stackdime@70.39.102.181) (Ping timeout: 264 seconds) |
| 17:22:16 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 17:22:34 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:23:05 | × | kipras quits (~Kipras@78-56-235-39.static.zebra.lt) (Ping timeout: 240 seconds) |
| 17:26:42 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 17:26:44 | → | christo joins (~chris@81.96.113.213) |
| 17:28:22 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 17:30:31 | hackage | phonetic-languages-general 0.2.0.0 - A generalization of the uniqueness-periods-vector-general functionality. https://hackage.haskell.org/package/phonetic-languages-general-0.2.0.0 (OleksandrZhabenko) |
| 17:32:04 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 17:33:39 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 17:35:30 | hackage | csv-conduit 0.7.2.0 - A flexible, fast, conduit-based CSV parser library for Haskell. https://hackage.haskell.org/package/csv-conduit-0.7.2.0 (MichaelXavier) |
| 17:36:39 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 17:36:45 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 17:36:53 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:39:00 | → | christo joins (~chris@81.96.113.213) |
| 17:39:59 | × | jakalx quits (~jakalx@base.jakalx.net) (Ping timeout: 272 seconds) |
| 17:40:37 | × | alp quits (~alp@2a01:e0a:58b:4920:ed32:ff85:b3a6:ae06) (Ping timeout: 272 seconds) |
| 17:40:39 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 17:41:06 | × | ubert quits (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233) (Remote host closed the connection) |
| 17:44:03 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-kihpfdwzdbjfjvbb) |
| 17:44:45 | × | g-belmonte quits (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) (Quit: Leaving) |
| 17:45:16 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 17:45:31 | <maralorn> | When cabal tries to find a valid build plan, does it try all possible flag constellation for all dependencies? Or does it only try the default flags of every dependency? |
| 17:45:39 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 17:47:10 | <int-e> | maralorn: it tries toggling the automatic flags, but not the manual ones |
| 17:48:31 | hackage | phonetic-languages-examples 0.4.2.0 - A generalization of the uniqueness-periods-vector-examples functionality. https://hackage.haskell.org/package/phonetic-languages-examples-0.4.2.0 (OleksandrZhabenko) |
| 17:49:12 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:50:07 | → | christo joins (~chris@81.96.113.213) |
| 17:50:13 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:52:42 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: gone to sleep. ZZZzzz…) |
| 17:53:35 | → | christo joins (~chris@81.96.113.213) |
| 17:53:55 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 17:54:39 | → | avdb joins (~avdb@ip-83-134-68-229.dsl.scarlet.be) |
| 18:00:01 | × | mrd quits (~mrd@185.163.110.116) () |
| 18:02:16 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 272 seconds) |
| 18:02:57 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 18:09:15 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:10:37 | → | christo joins (~chris@81.96.113.213) |
| 18:12:55 | × | asheshambasta quits (~user@ptr-e1lysawl9rr13i61o92.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 18:13:30 | hackage | uniqueness-periods-vector-general 0.5.3.0 - Some kind of the optimization approach to data inner structure. https://hackage.haskell.org/package/uniqueness-periods-vector-general-0.5.3.0 (OleksandrZhabenko) |
| 18:14:27 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 18:14:53 | → | thir joins (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) |
| 18:16:22 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 18:17:37 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 18:19:39 | → | christo joins (~chris@81.96.113.213) |
| 18:19:50 | × | borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 18:21:02 | → | kierank1 joins (~kierank@184.75.221.35) |
| 18:21:07 | × | renzhi quits (~renzhi@2607:fa49:655f:e600::28da) (Ping timeout: 260 seconds) |
| 18:21:48 | → | Ariakenom joins (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) |
| 18:25:43 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 18:27:14 | × | bergsans quits (~bergsans@c80-217-8-29.bredband.comhem.se) (Remote host closed the connection) |
| 18:27:47 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 18:27:49 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 264 seconds) |
| 18:28:31 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 18:29:23 | → | chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) |
| 18:31:30 | hackage | uniqueness-periods-vector-examples 0.14.5.0 - Usage examples for the uniqueness-periods-vector series of packages https://hackage.haskell.org/package/uniqueness-periods-vector-examples-0.14.5.0 (OleksandrZhabenko) |
| 18:33:19 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:33:19 | → | electricityZZZZ joins (~electrici@108-216-157-17.lightspeed.sntcca.sbcglobal.net) |
| 18:34:44 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:36:59 | × | chaosmasttter quits (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:37:01 | hackage | polysemy-methodology 0.1.6.0 - Domain modelling algebra for polysemy https://hackage.haskell.org/package/polysemy-methodology-0.1.6.0 (locallycompact) |
| 18:41:12 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Ping timeout: 256 seconds) |
| 18:41:17 | → | alp joins (~alp@2a01:e0a:58b:4920:881:8954:9deb:fcb5) |
| 18:41:41 | × | asnyx quits (~asnyx@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>) |
| 18:41:41 | × | brettgilio quits (~brettgili@brettgilio.com) (Quit: Long live IRC! <https://brettgilio.com/irc.html>) |
| 18:41:54 | → | neiluj joins (~jco@238.106.204.77.rev.sfr.net) |
| 18:43:31 | → | juri_ joins (~juri@178.63.35.222) |
| 18:43:33 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 18:46:03 | → | jedai joins (~jedai@lfbn-dij-1-708-251.w90-100.abo.wanadoo.fr) |
| 18:46:56 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 18:47:20 | → | wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) |
| 18:47:26 | × | thir quits (~thir@p200300f27f0b7e00894576386620b0d0.dip0.t-ipconnect.de) () |
| 18:47:57 | → | asnyx joins (~asnyx@brettgilio.com) |
| 18:51:22 | → | luke joins (~luke@bitnomial/staff/luke) |
| 18:51:50 | × | luke quits (~luke@bitnomial/staff/luke) (Client Quit) |
| 18:53:03 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 18:53:16 | × | xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 246 seconds) |
| 18:53:49 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 18:54:26 | → | brettgilio joins (~brettgili@brettgilio.com) |
| 18:54:49 | → | xerox_ joins (~xerox@unaffiliated/xerox) |
| 18:57:25 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 18:59:26 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 19:00:09 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 19:00:36 | → | gproto23 joins (~gproto23@unaffiliated/gproto23) |
| 19:00:52 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection) |
| 19:01:26 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 19:02:22 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 19:03:18 | <kritzefitz> | In parsec (string "a" >> mzero) `mplus` string "ab" behaves differently than mzero `mplus` string "ab". Does that violate the laws for mzero or am I misinterpreting the laws for mzero? |
| 19:03:34 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:03:57 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:05:08 | → | chaosmasttter joins (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) |
| 19:06:17 | <glguy> | kritzefitz: I think you're misunderstanding the laws |
| 19:06:30 | <glguy> | because MonadPlus doesn't have very many |
| 19:06:52 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 272 seconds) |
| 19:06:52 | <kritzefitz> | I'm specifically talking about v >> mzero = mzero. |
| 19:06:55 | → | conal joins (~conal@64.71.133.70) |
| 19:06:56 | → | coot joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 19:07:33 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 19:07:52 | <glguy> | I think parsec doesn't satisfy the laws as written in Haddock, but also that people often don't agree on how MonadPlus should actually behave |
| 19:07:57 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 19:08:33 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 19:08:46 | <glguy> | IO also fails the laws as implemented there |
| 19:08:58 | <kritzefitz> | Good point |
| 19:09:08 | <electricityZZZZ> | is anyone here also in #rust? can i get a #rust invite? |
| 19:09:22 | → | jonatanb joins (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) |
| 19:09:23 | <glguy> | electricityZZZZ: You're looking for ##rust |
| 19:09:43 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 19:09:53 | <electricityZZZZ> | oh wow ok freenode should change their error message |
| 19:10:14 | <glguy> | #rust automatically forwards to ##rust except you weren't logged in so you weren't allowed in |
| 19:10:27 | <glguy> | (because ##rust requires login for whatever reason) |
| 19:11:26 | <electricityZZZZ> | ok. yeah #rust on irc.mozilla had problems with haxxorz or something so they are a little more paranoid |
| 19:12:06 | → | stackdimes joins (~stackdime@70.39.102.181) |
| 19:12:53 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 19:13:06 | × | kierank1 quits (~kierank@184.75.221.35) (Ping timeout: 265 seconds) |
| 19:13:48 | → | ct2034 joins (uid362550@gateway/web/irccloud.com/x-dodtlcpekbqwcyru) |
| 19:13:59 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 19:16:36 | × | stackdimes quits (~stackdime@70.39.102.181) (Client Quit) |
| 19:18:05 | × | jonatanb quits (~jonatanb@83.24.9.26.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 19:20:37 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 19:21:04 | → | stackdimes joins (~stackdime@70.39.102.174) |
| 19:21:15 | → | acidjnk_new joins (~acidjnk@p200300d0c718f66175ef21b7256ec1f4.dip0.t-ipconnect.de) |
| 19:22:00 | → | gtk joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:22:47 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 19:22:48 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 19:22:56 | <gtk> | when i instance NFData and define the rnf function, what happens if I dont really evalute the value till normal form? |
| 19:23:06 | → | Tario joins (~Tario@201.192.165.173) |
| 19:23:18 | <gtk> | but WHNF instead? |
| 19:23:54 | <jle`> | then it will only evaluate to WHNF |
| 19:24:07 | <monochrom> | breaks a lot of people's hearts |
| 19:24:21 | <monochrom> | baby jesus cries |
| 19:24:33 | <gtk> | Then it would be against the will of NFData |
| 19:24:43 | <gtk> | isn't that a big sin? |
| 19:24:53 | <monochrom> | cardinal sin |
| 19:25:25 | <Uniaika> | most certainly |
| 19:26:05 | → | jneira joins (5127ac76@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.118) |
| 19:26:35 | <monochrom> | https://www.google.ca/search?q=cardinal+zin+zinfandel&source=lnms&tbm=isch&sa=X&ved=2ahUKEwjpuJSX3v3sAhVKOs0KHb-sB_MQ_AUoAXoECBYQAw&biw=1173&bih=622 |
| 19:27:28 | → | evanpro joins (~evanpro@195.206.169.184) |
| 19:27:36 | → | christo joins (~chris@81.96.113.213) |
| 19:28:12 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 260 seconds) |
| 19:28:15 | <monochrom> | Actually I guess just https://www.google.com/search?q=cardinal+zin |
| 19:29:15 | × | britva quits (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Quit: This computer has gone to sleep) |
| 19:30:01 | <monochrom> | Ah, add &tbm=isch for the images. |
| 19:30:29 | → | geekosaur joins (82659a09@host154-009.vpn.uakron.edu) |
| 19:32:26 | × | christo quits (~chris@81.96.113.213) (Ping timeout: 265 seconds) |
| 19:36:38 | × | avdb quits (~avdb@ip-83-134-68-229.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 19:37:29 | <koz_> | :t any |
| 19:37:31 | <lambdabot> | Foldable t => (a -> Bool) -> t a -> Bool |
| 19:41:07 | × | stackdimes quits (~stackdime@70.39.102.174) (Quit: WeeChat 2.9) |
| 19:41:29 | → | stackdimes joins (~stackdime@70.39.102.174) |
| 19:49:32 | → | pfurla joins (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) |
| 19:50:23 | × | AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving) |
| 19:51:25 | × | aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 240 seconds) |
| 19:55:17 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 20:01:01 | hackage | polysemy-vinyl 0.1.2.0 - Functions for mapping vinyl records in polysemy. https://hackage.haskell.org/package/polysemy-vinyl-0.1.2.0 (locallycompact) |
| 20:01:29 | → | taurux joins (~taurux@net-188-152-78-21.cust.vodafonedsl.it) |
| 20:02:40 | → | kimumba joins (5fa8781e@95.168.120.30) |
| 20:03:03 | × | kuribas quits (~user@ptr-25vy0i7apwgnolcsbyn.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 20:03:15 | → | jakov joins (~jakov@95.168.120.30) |
| 20:03:25 | ← | kimumba parts (5fa8781e@95.168.120.30) () |
| 20:03:29 | → | kimumba joins (5fa8781e@95.168.120.30) |
| 20:05:06 | × | jakov quits (~jakov@95.168.120.30) (Client Quit) |
| 20:05:49 | → | britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch) |
| 20:06:07 | × | britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit) |
| 20:06:30 | → | britva joins (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) |
| 20:08:19 | × | britva quits (~britva@2a02:aa13:7240:2980:710d:443e:844f:5480) (Client Quit) |
| 20:08:31 | × | jespada quits (~jespada@90.254.245.49) (Ping timeout: 260 seconds) |
| 20:08:46 | → | christo joins (~chris@81.96.113.213) |
| 20:09:43 | → | atbd joins (~atbd@68.166.138.88.rev.sfr.net) |
| 20:10:10 | → | rprije joins (~rprije@124.148.131.132) |
| 20:11:23 | → | jespada joins (~jespada@90.254.245.49) |
| 20:13:28 | × | macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection) |
| 20:17:17 | → | geekosaur45 joins (82659a09@host154-009.vpn.uakron.edu) |
| 20:17:57 | × | pfurla quits (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…) |
| 20:18:17 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 20:18:26 | × | evanpro quits (~evanpro@195.206.169.184) (Remote host closed the connection) |
| 20:18:31 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 20:19:39 | × | geekosaur quits (82659a09@host154-009.vpn.uakron.edu) (Ping timeout: 245 seconds) |
| 20:19:48 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 20:20:13 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 20:20:53 | → | pfurla joins (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) |
| 20:22:21 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 20:22:53 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 20:27:46 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 246 seconds) |
| 20:27:52 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:27:55 | × | juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!) |
| 20:28:24 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 20:32:45 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Ping timeout: 240 seconds) |
| 20:32:46 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 20:32:56 | → | Suntop1 joins (~Suntop@139.28.218.148) |
| 20:36:45 | × | clog quits (~nef@bespin.org) (Ping timeout: 240 seconds) |
| 20:36:52 | → | clog joins (~nef@bespin.org) |
| 20:37:57 | × | Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 272 seconds) |
| 20:40:29 | × | alp quits (~alp@2a01:e0a:58b:4920:881:8954:9deb:fcb5) (Ping timeout: 272 seconds) |
| 20:40:37 | → | argent0 joins (~argent0@168.227.98.81) |
| 20:41:10 | → | jmcarthur joins (~jmcarthur@104.140.53.251) |
| 20:43:52 | <dminuoso> | Mmm, I have a large code base that I need a quick feedback loop. How can I disable code generation in GHC to speed it up? |
| 20:45:13 | <lortabac> | -fno-code |
| 20:45:48 | <dminuoso> | Mmm, if I add that to cabal it propagates to dependencies it seems |
| 20:45:54 | <dminuoso> | and `primitive` fails to build |
| 20:47:00 | <dminuoso> | lortabac: Mmm, but I can get around that. Cheers, that's so much faster. |
| 20:47:05 | <dminuoso> | Feels like 5-10 times. :) |
| 20:48:51 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 20:49:07 | → | reallymemorable joins (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb) |
| 20:50:19 | → | conal joins (~conal@64.71.133.70) |
| 20:51:09 | → | jakov joins (~jakov@95.168.121.30) |
| 20:51:30 | ← | kimumba parts (5fa8781e@95.168.120.30) () |
| 20:51:47 | × | pfurla quits (~pfurla@pool-108-6-43-243.nycmny.fios.verizon.net) (Quit: gone to sleep. ZZZzzz…) |
| 20:52:31 | hackage | minizinc-process 0.1.4.0 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.4.0 (LucasDiCioccio) |
| 20:52:48 | <sshine> | dminuoso, so you just run type checker? |
| 20:52:56 | <dminuoso> | sshine: Yeah |
| 20:53:00 | <sshine> | why didn't I think of that. |
| 20:53:27 | <dminuoso> | This is 150 modules, and Im modifying a common dependency of them all... |
| 20:53:31 | <sshine> | most of the times I run GHC I just want to know if I made type errors. |
| 20:53:47 | <geekosaur45> | tbh I thought the typechecker was the slowest part of ghc these days |
| 20:53:47 | <dminuoso> | I think ghcid/hie do something similar |
| 20:53:48 | <sshine> | ah :) so you're really feeling it. |
| 20:53:58 | <sshine> | yes, they must. |
| 20:54:47 | <koz_> | Is Data.Text.span (effectively) a combination of Data.Text.takeWhile and Data.Text.dropWhile? |
| 20:55:10 | × | jmcarthur quits (~jmcarthur@104.140.53.251) (Ping timeout: 272 seconds) |
| 20:55:48 | <dminuoso> | geekosaur45: From experience, not really. Degenerate projects seem to take a lot of time in the simplifier. |
| 20:55:52 | × | jakov quits (~jakov@95.168.121.30) (Client Quit) |
| 20:56:09 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:56:16 | <dminuoso> | At least most of them. It's of course not hard to write programs that take a long time to type check |
| 20:56:39 | <dminuoso> | As an example I frequently notice, megaparsec! |
| 20:57:01 | × | neiluj quits (~jco@238.106.204.77.rev.sfr.net) (Changing host) |
| 20:57:01 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 20:57:04 | <sshine> | koz_, it appears that the implementation is more low-level: https://hackage.haskell.org/package/text-1.2.4.0/docs/src/Data.Text.Internal.Private.html#span_ -- it resembles those of takeWhile/dropWhile -- are you asking if takeWhile/dropWhile would fuse to something equally efficient? |
| 20:57:22 | <dminuoso> | https://gitlab.haskell.org/ghc/ghc/-/issues/17370 |
| 20:57:49 | <koz_> | sshine: I'm asking if 'span pred foo == bimap (takeWhile pred) (dropWhile pred) (foo, foo)' |
| 20:58:00 | <davean> | geekosaur45: the optimizer is FAR slower than the type checker IME |
| 20:58:29 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:58:53 | <sshine> | koz_, according to the haddock, it appears so. |
| 20:59:15 | <koz_> | sshine: Maybe I'm just bad at reading comprehension then, lol. |
| 20:59:16 | <davean> | geekosaur45: compare -O0 to -O2, and if you do -fno-code its faster yet again |
| 20:59:50 | <sshine> | koz_, 'takeWhile p' would be "the longest prefix (possibly empty)", and 'dropWhile p' would be "the remainder of the list". |
| 21:00:02 | × | Suntop1 quits (~Suntop@139.28.218.148) () |
| 21:00:02 | <dminuoso> | I guess its in the nature of the simplifier, because depending on code, it can blow up the Core size between passes *a lot* |
| 21:00:07 | <dminuoso> | And there's a lot of passes |
| 21:00:09 | <koz_> | Yeah, the key word there is 'prefix'. |
| 21:00:16 | <dminuoso> | (I think it defaults to 30 passes max?) |
| 21:00:19 | <koz_> | So yeah, just me being bad at reading comprehension. |
| 21:00:24 | <monochrom> | also "longest" |
| 21:00:34 | <sshine> | koz_, for Data.List,span, it even says "span p xs is equivalent to (takeWhile p xs, dropWhile p xs)" :) |
| 21:00:45 | <koz_> | sshine: Yeah, but Data.Text _doesn't_. |
| 21:00:52 | <koz_> | Which is probably part of what threw me. |
| 21:00:55 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:01:00 | <sshine> | koz_, ah. yeah. |
| 21:01:15 | <dminuoso> | I'm starting to burn already, so I thought "it could be cool to start writing this with continuations.. and maybe ContT would be nice too." |
| 21:01:16 | <sshine> | koz_, I think I read that on the inside of my skull. one should be careful of that. |
| 21:01:24 | <dminuoso> | Not even an hour and I cant read my own code anymore. :( |
| 21:02:59 | → | conal joins (~conal@64.71.133.70) |
| 21:04:51 | → | renzhi joins (~renzhi@2607:fa49:655f:e600::28da) |
| 21:05:57 | → | o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) |
| 21:06:30 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 21:07:12 | → | britva joins (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) |
| 21:07:57 | × | reallymemorable quits (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 21:08:19 | → | reallymemorable joins (~quassel@2601:180:8300:8fd0:c5df:6e57:bcff:c1bb) |
| 21:10:15 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 21:12:36 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9) |
| 21:12:58 | × | gproto23 quits (~gproto23@unaffiliated/gproto23) (Ping timeout: 265 seconds) |
| 21:14:37 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Ping timeout: 264 seconds) |
| 21:14:45 | × | geekosaur45 quits (82659a09@host154-009.vpn.uakron.edu) (Remote host closed the connection) |
| 21:16:03 | × | gtk quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 21:16:04 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:19:24 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:20:37 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 21:28:09 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Ping timeout: 244 seconds) |
| 21:28:47 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:31:40 | → | Cale joins (~cale@2607:fea8:9960:563:84a7:cce2:5f88:c726) |
| 21:32:26 | × | ft quits (~ft@shell.chaostreff-dortmund.de) (Ping timeout: 264 seconds) |
| 21:32:27 | <shapr> | Anyone building a hoogle server as a separate step from haddocks produced by CI? |
| 21:33:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 21:34:19 | <Uniaika> | nope, not here |
| 21:36:13 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 264 seconds) |
| 21:36:46 | → | coot_ joins (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) |
| 21:37:14 | × | Cale quits (~cale@2607:fea8:9960:563:84a7:cce2:5f88:c726) (Ping timeout: 264 seconds) |
| 21:37:53 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Read error: Connection reset by peer) |
| 21:37:53 | coot_ | is now known as coot |
| 21:40:16 | → | DTZUZU joins (~DTZUZU@207.81.171.116) |
| 21:42:56 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:44:23 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 260 seconds) |
| 21:44:28 | × | chaosmasttter quits (~chaosmast@p200300c4a70f6201c1c6e7084fdfaaff.dip0.t-ipconnect.de) (Quit: WeeChat 2.9) |
| 21:44:41 | × | Iceland_jack quits (~user@95.149.219.123) (Ping timeout: 258 seconds) |
| 21:46:32 | × | britva quits (~britva@2a02:aa13:7240:2980:bc4b:509a:98e6:5bb0) (Quit: This computer has gone to sleep) |
| 21:51:21 | × | DirefulSalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 21:51:36 | → | Cale joins (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) |
| 21:51:51 | → | DirefulSalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 21:52:20 | → | AstroDroid joins (~AstroDroi@84.39.117.57) |
| 21:53:10 | × | mananamenos quits (~mananamen@84.122.202.215.dyn.user.ono.com) (Ping timeout: 246 seconds) |
| 21:53:47 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 21:54:40 | × | raichoo quits (~raichoo@dslb-092-073-194-199.092.073.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 21:59:24 | → | dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e) |
| 22:01:15 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:03:05 | × | L29Ah quits (~L29Ah@unaffiliated/l29ah) (Ping timeout: 240 seconds) |
| 22:04:05 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:05:03 | → | alp joins (~alp@2a01:e0a:58b:4920:df5:b7f7:a6a:ece) |
| 22:07:36 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:08:04 | → | ft joins (~ft@shell.chaostreff-dortmund.de) |
| 22:08:18 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 22:10:57 | → | kish` joins (~oracle@unaffiliated/oracle) |
| 22:12:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 22:12:47 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 22:14:41 | → | L29Ah joins (~L29Ah@unaffiliated/l29ah) |
| 22:18:17 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 22:19:19 | → | son0p joins (~son0p@181.136.122.143) |
| 22:24:45 | × | coot quits (~coot@37.30.49.253.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 22:24:46 | → | motte joins (~weechat@unaffiliated/motte) |
| 22:27:01 | × | feliocrat quits (~feliocrat@95.70.185.239) (Remote host closed the connection) |
| 22:30:12 | × | lightandlight quits (sid135476@gateway/web/irccloud.com/x-eerqwaqdgkixorsv) (Ping timeout: 260 seconds) |
| 22:30:35 | → | glguy_ joins (x@freenode/staff/haskell.developer.glguy) |
| 22:30:35 | glguy | is now known as Guest5081 |
| 22:30:35 | × | Guest5081 quits (x@freenode/staff/haskell.developer.glguy) (Killed (egan.freenode.net (Nickname regained by services))) |
| 22:30:35 | glguy_ | is now known as glguy |
| 22:31:02 | → | lightandlight joins (sid135476@gateway/web/irccloud.com/x-iidtschrmhcqrxgl) |
| 22:31:21 | × | shadowdao quits (~user@unaffiliated/shadowdaemon) (Read error: Connection reset by peer) |
| 22:31:22 | × | xff0x quits (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2) (Ping timeout: 260 seconds) |
| 22:31:23 | × | jelleke quits (~jelle@2a01:7c8:aac1:50d:5054:ff:fe3b:9b7d) (Ping timeout: 260 seconds) |
| 22:31:23 | × | pong quits (chiya@2406:3003:2077:2341::babe) (Ping timeout: 260 seconds) |
| 22:31:23 | × | komasa quits (~komasa@2a03:b0c0:3:d0::2097:6001) (Ping timeout: 260 seconds) |
| 22:31:39 | → | jelleke joins (~jelle@2a01:7c8:aac1:50d:5054:ff:fe3b:9b7d) |
| 22:31:48 | × | recon_- quits (~quassel@2602:febc:0:b6::6ca2) (Read error: Connection reset by peer) |
| 22:31:57 | → | recon_- joins (~quassel@2602:febc:0:b6::6ca2) |
| 22:32:04 | → | pong joins (chiya@2406:3003:2077:2341::babe) |
| 22:32:49 | → | xff0x joins (~fox@2001:1a81:53be:a900:e888:cf37:a0ae:58b2) |
| 22:32:51 | → | nckx joins (~nckx@tobias.gr) |
| 22:33:00 | hackage | minizinc-process 0.1.4.1 - A set of helpers to call minizinc models. https://hackage.haskell.org/package/minizinc-process-0.1.4.1 (LucasDiCioccio) |
| 22:33:06 | × | ct2034 quits (uid362550@gateway/web/irccloud.com/x-dodtlcpekbqwcyru) (Quit: Connection closed for inactivity) |
| 22:33:22 | → | komasa joins (~komasa@2a03:b0c0:3:d0::2097:6001) |
| 22:34:27 | fendor_ | is now known as fendor |
| 22:34:36 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 256 seconds) |
| 22:36:06 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 22:36:48 | → | Deide joins (~Deide@217.155.19.23) |
| 22:37:27 | → | mojtaba__ joins (~bquest_12@5.200.109.144) |
| 22:39:46 | × | bquest_123_ quits (~bquest_12@5.112.15.240) (Ping timeout: 256 seconds) |
| 22:40:58 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:41:38 | × | Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection) |
| 22:42:53 | <fendor> | is there some global setting I can use to limit the memory usage of ghci? |
| 22:43:15 | <fendor> | so that every invocation of ghci has a memory limit |
| 22:45:17 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 22:46:00 | <Axman6> | Yes, but it's quite complex, you need to write programs that use less memory :P |
| 22:46:09 | × | stackdimes quits (~stackdime@70.39.102.174) (Ping timeout: 256 seconds) |
| 22:46:19 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 22:47:09 | × | alp quits (~alp@2a01:e0a:58b:4920:df5:b7f7:a6a:ece) (Ping timeout: 272 seconds) |
| 22:47:25 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 22:47:39 | × | machinedgod quits (~machinedg@207.253.244.210) (Ping timeout: 260 seconds) |
| 22:48:16 | → | machinedgod joins (~machinedg@207.253.244.210) |
| 22:49:23 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 22:49:32 | × | christo quits (~chris@81.96.113.213) (Remote host closed the connection) |
| 22:52:20 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-106-56.w86-212.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 22:53:02 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-113-241.w86-198.abo.wanadoo.fr) |
| 22:56:06 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 22:56:09 | → | invaser joins (~Thunderbi@31.148.23.125) |
| 22:56:38 | → | christo joins (~chris@81.96.113.213) |
| 22:59:13 | → | alp joins (~alp@2a01:e0a:58b:4920:a000:aac2:57e0:fe16) |
| 22:59:37 | <fendor> | Axman6, tell that to the students that write endless recursive functions :P |
| 23:00:58 | × | alp quits (~alp@2a01:e0a:58b:4920:a000:aac2:57e0:fe16) (Remote host closed the connection) |
| 23:01:16 | → | alp joins (~alp@2a01:e0a:58b:4920:3450:37c2:436b:8f86) |
| 23:01:36 | <Axman6> | Hmm, at ANU we used to have a system which would play student's final assignments off against each other (I can't remember the game now), and I believe we had limits on execution time and memory usage |
| 23:03:08 | <Axman6> | jackdk: do you know anything about the thing I'm talking about? Or was it after/before your time? |
| 23:04:18 | <fendor> | the issue is, students can use the server for developing their solutions... |
| 23:04:30 | <fendor> | so I think I want to limit the memory of every ghci invocation on that server |
| 23:04:51 | <fendor> | I guess the limits of the user system should do that automagically? |
| 23:05:04 | <fendor> | iirc, you can configure the memory limit on a per user basis? |
| 23:05:27 | <Axman6> | I believe so, but I have no idea how |
| 23:05:38 | <jackdk> | Axman6: the versions I was working on were less sophisticated. The runner used System.timeout, the NFData class, and an IORef to enforce time limits on the program runtime |
| 23:05:52 | <fendor> | well, time to ask the sys admin. not my job after all |
| 23:06:00 | <jackdk> | sure this isn't an OS-level problem? I remember everyone crashing the student server the night before a concurrent systems assignment was due |
| 23:06:10 | <jackdk> | then they put in process limits |
| 23:06:19 | <jackdk> | fendor: yeah, I think that's a good idea |
| 23:07:05 | <jackdk> | https://github.com/ndmitchell/spaceleak might have some haskell-side ideas for fiddling with this |
| 23:07:19 | <fendor> | yeah, I agree, it should be solved on the os level. I just though, maybe there are some low haning fruit. But additionally, I just saw some students somehow installed hls on the server and use it for a remote vscode session. |
| 23:07:47 | <fendor> | I am not worrying about space leaks in particular, students write bad code, that is to be expected, but the server should not give them all the memory |
| 23:09:02 | <jackdk> | Yes, but space leaks -> eating memory, and the technique for catching them sooner is to bound the stack size that the rts is allowed to use. Perhaps that part is applicable to how students invoke GHCi |
| 23:09:03 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 240 seconds) |
| 23:09:54 | <fendor> | maybe. Let's see whether we can limit the overall memory |
| 23:12:23 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Ping timeout: 240 seconds) |
| 23:13:28 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 23:15:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 23:15:58 | → | hugh joins (~hugh@79-66-200-43.dynamic.dsl.as9105.com) |
| 23:16:14 | hugh | is now known as aldessa |
| 23:16:46 | <aldessa> | hey, where can i get recursion puzzles? i thought it would be nice to have some puzzles for recursion schemes |
| 23:17:20 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 23:17:27 | × | son0p quits (~son0p@181.136.122.143) (Quit: Lost terminal) |
| 23:22:06 | → | jokester_ joins (~mono@unaffiliated/jokester) |
| 23:22:24 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 23:23:47 | → | HiRE_ joins (~HiRE@2602:ffc5:20::1:512e) |
| 23:23:53 | × | jokester quits (~mono@unaffiliated/jokester) (Ping timeout: 260 seconds) |
| 23:24:27 | × | borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 23:24:27 | × | DeadComaGrayce[m quits (commagra1@gateway/shell/matrix.org/x-mqetgfqfsaaixhog) (Ping timeout: 260 seconds) |
| 23:24:27 | × | psydruid quits (psydruidma@gateway/shell/matrix.org/x-wvuhyqhqelgtcrbj) (Ping timeout: 260 seconds) |
| 23:24:28 | × | aizen_s quits (sid462968@gateway/web/irccloud.com/x-stnqhzxwtvurinhz) (Ping timeout: 260 seconds) |
| 23:24:28 | × | HiRE quits (~HiRE@2602:ffc5:20::1:512e) (Ping timeout: 260 seconds) |
| 23:24:28 | × | grol quits (~quassel@2620:11e:1000:2:250:56ff:fea4:7) (Ping timeout: 260 seconds) |
| 23:24:48 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 23:24:55 | → | DeadComaGrayce[m joins (commagra1@gateway/shell/matrix.org/x-ybppbwirrexxdalc) |
| 23:25:44 | → | grol joins (~quassel@2620:11e:1000:2:250:56ff:fea4:7) |
| 23:26:30 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 23:26:57 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-dxoeoaxpehfltoxm) |
| 23:27:42 | → | aizen_s joins (sid462968@gateway/web/irccloud.com/x-rpdggkhwylxxzxar) |
| 23:28:34 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving) |
| 23:30:24 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Read error: Connection reset by peer) |
| 23:30:49 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 264 seconds) |
| 23:32:17 | × | borne quits (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 23:34:52 | → | DataComputist joins (~lumeng@static-50-43-26-251.bvtn.or.frontiernet.net) |
| 23:37:12 | × | aldessa quits (~hugh@79-66-200-43.dynamic.dsl.as9105.com) (Read error: Connection reset by peer) |
| 23:37:41 | → | borne joins (~fritjof@200116b86423eb004fbf5cd6c83663b1.dip.versatel-1u1.de) |
| 23:37:54 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 23:38:36 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 23:40:36 | × | Ariakenom quits (~Ariakenom@h-82-196-111-82.NA.cust.bahnhof.se) (Quit: Leaving) |
| 23:40:48 | → | jedws joins (~jedws@101.184.175.183) |
| 23:43:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-113-241.w86-198.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 23:43:31 | × | alp quits (~alp@2a01:e0a:58b:4920:3450:37c2:436b:8f86) (Ping timeout: 272 seconds) |
| 23:45:47 | × | nbloomf quits (~nbloomf@76.217.43.73) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:48:28 | × | jedws quits (~jedws@101.184.175.183) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 23:49:26 | → | jedws joins (~jedws@101.184.175.183) |
| 23:49:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 23:49:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection) |
| 23:50:11 | <hekkaidekapus> | fendor: When we have needs like yours this side, we handle it at the OS level by putting setting limits for every user. |
| 23:50:43 | <hekkaidekapus> | Ony a systemd-capable Linux, this will do: |
| 23:50:45 | × | jedws quits (~jedws@101.184.175.183) (Client Quit) |
| 23:51:14 | <hekkaidekapus> | systemd-run --user --scope -p 'MemoryHigh=XXXG' -p 'CPUQuota=YYY%' $argv |
| 23:52:35 | <hekkaidekapus> | Usually, ghc and ghci are symlinks to the previous command where `$argv = ghc(i)`. |
| 23:53:34 | × | dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9) |
| 23:54:06 | <Axman6> | to figure out cpu%, see Erlang (the person, not the language's) work on sharing resources :P |
| 23:54:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-77.w83-200.abo.wanadoo.fr) |
| 23:54:20 | → | jedws joins (~jedws@101.184.175.183) |
| 23:54:29 | × | elliott_ quits (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 23:54:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 23:55:17 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Ping timeout: 256 seconds) |
| 23:56:38 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9) |
| 23:56:44 | → | elliott_ joins (~elliott_@pool-108-51-141-12.washdc.fios.verizon.net) |
| 23:59:57 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
All times are in UTC on 2020-11-12.