| 2022-04-16 00:00:31 +0200 | chomwitt | (~chomwitt@2a02:587:dc0f:ad00:3949:ab21:9834:ebc) (Remote host closed the connection) |
| 2022-04-16 00:03:54 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-16 00:04:18 +0200 | chargen | (~chargen@8.31.163.33) (Remote host closed the connection) |
| 2022-04-16 00:04:43 +0200 | chargen | (~chargen@8.31.163.33) |
| 2022-04-16 00:05:21 +0200 | <dminuoso> | zebrag: I dont think it is, as with all papers you have to read it in context. |
| 2022-04-16 00:06:16 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-16 00:06:16 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-16 00:06:16 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-16 00:07:43 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 00:08:09 +0200 | <hpc> | i prefer context-free papers |
| 2022-04-16 00:08:21 +0200 | <hpc> | you don't need to read anything else to understand them, and they always have balanced parens |
| 2022-04-16 00:10:22 +0200 | <hpc> | yeah, that sentence is fine |
| 2022-04-16 00:10:31 +0200 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2022-04-16 00:10:35 +0200 | <hpc> | it's not perfect, but it's just to get the reader to where you can talk about what the paper's actually about |
| 2022-04-16 00:12:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 00:12:25 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 00:12:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 00:13:20 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-16 00:13:32 +0200 | <monochrom> | Every tautology is useless, and every non-tautology is misleading. >:) |
| 2022-04-16 00:15:32 +0200 | <hpc> | ill do you one better, every non-tautology is false |
| 2022-04-16 00:15:47 +0200 | <hpc> | proof: LEM |
| 2022-04-16 00:15:53 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 00:17:20 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-16 00:20:55 +0200 | <monochrom> | That's misleading. :) |
| 2022-04-16 00:21:58 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 272 seconds) |
| 2022-04-16 00:22:36 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 00:24:03 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-16 00:24:39 +0200 | <hpc> | the best kind of leading |
| 2022-04-16 00:24:52 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-16 00:25:41 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-16 00:26:22 +0200 | michalz | (~michalz@185.246.204.57) (Remote host closed the connection) |
| 2022-04-16 00:27:27 +0200 | acidjnk | (~acidjnk@p200300d0c722df163de54779254e8f5b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-16 00:27:52 +0200 | chargen | (~chargen@8.31.163.33) (Remote host closed the connection) |
| 2022-04-16 00:28:17 +0200 | chargen | (~chargen@8.31.163.33) |
| 2022-04-16 00:30:11 +0200 | phma | (phma@2001:5b0:211c:1d48:c79f:ef32:78e6:f8b1) (Read error: Connection reset by peer) |
| 2022-04-16 00:31:23 +0200 | phma | (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) |
| 2022-04-16 00:32:12 +0200 | chargen | (~chargen@8.31.163.33) (Remote host closed the connection) |
| 2022-04-16 00:32:37 +0200 | chargen | (~chargen@8.31.163.33) |
| 2022-04-16 00:34:04 +0200 | Macbethwin_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 00:35:59 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2022-04-16 00:36:58 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-1000.res6.spectrum.com) (Quit: Konversation terminated!) |
| 2022-04-16 00:38:16 +0200 | chargen | (~chargen@8.31.163.33) (Ping timeout: 248 seconds) |
| 2022-04-16 00:41:50 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-16 00:42:00 +0200 | Macbethwin_ | chargen |
| 2022-04-16 00:45:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 00:49:25 +0200 | little_mac | (~little_ma@2601:410:4300:3ce0::fa0b) |
| 2022-04-16 00:49:47 +0200 | <DigitalKiwi> | way to bury the lead |
| 2022-04-16 00:49:49 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 00:49:50 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::d5c4) (Ping timeout: 250 seconds) |
| 2022-04-16 00:50:43 +0200 | nosewings | (~ngpc@2603-8081-3e05-e2d0-ce01-d944-1ed6-f501.res6.spectrum.com) (Remote host closed the connection) |
| 2022-04-16 00:50:50 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 00:50:52 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 246 seconds) |
| 2022-04-16 00:52:32 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-16 00:52:51 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 00:55:20 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-16 00:55:50 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-16 01:05:04 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-16 01:05:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-16 01:06:32 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-16 01:06:39 +0200 | <dmj`> | I wish there was a way to carry around type level state in a Num instance |
| 2022-04-16 01:07:26 +0200 | <dmj`> | something like (+) :: Calc xs -> Calc ys -> Calc (xs ++ ys) |
| 2022-04-16 01:07:38 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-16 01:10:45 +0200 | <glguy> | The type of (+) is pretty restrictive |
| 2022-04-16 01:11:01 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-16 01:12:25 +0200 | <geekosaur> | instance Num a => Num (Calc a) where … |
| 2022-04-16 01:12:32 +0200 | <dmj`> | unfortunately so, I can make my own class, but then I forego the benefits of fromInteger and the syntactic sugar that makes it feel all like a cool DSL |
| 2022-04-16 01:14:59 +0200 | <dmj`> | I guess I could just NoImplicitPrelude and define my own (+) |
| 2022-04-16 01:15:20 +0200 | <dmj`> | but I still lose the fromInteger goodness |
| 2022-04-16 01:18:12 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Ping timeout (120 seconds)) |
| 2022-04-16 01:18:45 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-16 01:18:52 +0200 | res0nat0r0844 | (~Fletch@dia.whatbox.ca) (Quit: Ping timeout (120 seconds)) |
| 2022-04-16 01:18:53 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-04-16 01:20:08 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-16 01:22:32 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-16 01:23:31 +0200 | <dmj`> | glguy: It's a cool idea, basically users can define formulas with variables and arithmetic operators (e.g. profit :: Calc Free; profit = ("revenue" - "expenses") * 1 -- this typechecks thanks to Num and IsString) . To evaluate the formula, the users provide a Map of values to bind the free variables, when all variables are bound (i.e. "profit :: Calc Bound") the formulas can then be evaluated (interpret :: Calc Bound -> Rational). |
| 2022-04-16 01:25:42 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 01:26:01 +0200 | <dmj`> | The problem is that substitution can fail so an Either Error is needed ... but, if there was a way to carry along all of the variables in a type level list, and then progressively remove them as new variables are bound then the Either could be removed, since there's proof all variables are bound (i.e.. interpret :: Calc '[] -> Rational). This leads me back to my original problem of Num not allowing type level state |
| 2022-04-16 01:26:46 +0200 | <dmj`> | The aforementioned is possible, but it comes at the cost of the Num and IsString instances which make the entire thing worth it |
| 2022-04-16 01:27:02 +0200 | <dmj`> | bcuz of the syntactic sugar ofc |
| 2022-04-16 01:28:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 01:29:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-16 01:30:53 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 01:33:00 +0200 | lifter_ | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-16 01:33:04 +0200 | <monochrom> | I wonder if RebindableSyntax helps you. |
| 2022-04-16 01:33:59 +0200 | <monochrom> | (It already can let you hijack do-notation. There is almost no restriction on how wild your >>='s type is. People have done indexed monads with this.) |
| 2022-04-16 01:36:45 +0200 | <geekosaur> | I don't think RebindableSyntax lets you hijack Num, only replacing the Prelude does |
| 2022-04-16 01:36:51 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) (Quit: Client closed) |
| 2022-04-16 01:37:04 +0200 | lifter_ | lifter |
| 2022-04-16 01:37:32 +0200 | <hpc> | RebindableSyntax lets you get creative with numeric literals iirc |
| 2022-04-16 01:37:40 +0200 | <hpc> | but yeah, everything else is wrapped up in type classes |
| 2022-04-16 01:38:03 +0200 | <geekosaur> | I do wonder if a variant of what I initially suggested would work |
| 2022-04-16 01:38:33 +0200 | <geekosaur> | would need FlexibleInstancesand possibly UndecidableInstances |
| 2022-04-16 01:39:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 01:40:39 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 01:40:57 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) () |
| 2022-04-16 01:41:14 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) |
| 2022-04-16 01:44:24 +0200 | <dmj`> | here is the initial version, no type-fu, just a type tag to indicate if the expression able to be evaluated. https://gist.github.com/d2ffa8c27f0e8ece076f765c416862dd |
| 2022-04-16 01:45:13 +0200 | <dmj`> | but the nice thing is the pretty printing of the formulas, w/ and w/o the free vars |
| 2022-04-16 01:47:12 +0200 | Ishan_ | (~Ishan@2600:8802:1906:a300:3c43:30d3:b634:b795) |
| 2022-04-16 01:47:37 +0200 | axeman | (~quassel@2a02:8109:a380:78:f9f8:e887:926:d1ed) (Ping timeout: 248 seconds) |
| 2022-04-16 01:48:03 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 01:49:57 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-16 01:50:58 +0200 | <dmj`> | second formulation is where I run into problems https://gist.github.com/dmjio/d2ffa8c27f0e8ece076f765c416862dd#file-dsl2-hs |
| 2022-04-16 01:52:01 +0200 | Ishan_ | (~Ishan@2600:8802:1906:a300:3c43:30d3:b634:b795) (Client Quit) |
| 2022-04-16 01:52:15 +0200 | IshD | (~IshD@2600:8802:1906:a300:3c43:30d3:b634:b795) |
| 2022-04-16 01:52:43 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 01:52:43 +0200 | <IshD> | Hi! Is this the right place to ask about Google Summer of Code? |
| 2022-04-16 01:54:00 +0200 | <juri_> | Maybe. :) |
| 2022-04-16 01:54:52 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-16 01:55:04 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-16 01:55:44 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-04-16 01:56:10 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-16 01:58:32 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 01:58:51 +0200 | IshD | (~IshD@2600:8802:1906:a300:3c43:30d3:b634:b795) (Quit: Leaving) |
| 2022-04-16 02:00:23 +0200 | <dmj`> | there should be easier ways to hijack Num |
| 2022-04-16 02:01:46 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-16 02:02:43 +0200 | califax | (~califax@user/califx) |
| 2022-04-16 02:04:12 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-16 02:04:24 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 02:07:56 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-16 02:08:39 +0200 | <lifter> | I'm thinking of adding Haskeline to an existing project where I'm already using "Data.Text" for all my strings. It appears that Haskeline supports "String" but not "Text"... What might be the recommended approach in the situation? Should I just manually pack/unpack when I need to use a function from Haskeline? |
| 2022-04-16 02:08:47 +0200 | mmhat | (~mmh@55d499ca.access.ecotel.net) (Quit: WeeChat 3.5) |
| 2022-04-16 02:09:02 +0200 | <monochrom> | Yeah I think just pack and unpack. |
| 2022-04-16 02:10:40 +0200 | <lifter> | OK, thanks. |
| 2022-04-16 02:11:37 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-16 02:12:44 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 02:13:18 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 02:13:20 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 02:17:27 +0200 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-04-16 02:17:28 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-16 02:23:47 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-04-16 02:27:27 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-16 02:28:12 +0200 | DNH | (~DNH@2a09:bac0:48::82b:7a43) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-16 02:29:40 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 2022-04-16 02:34:06 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 02:37:45 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-04-16 02:39:05 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-16 02:40:53 +0200 | <lifter> | Is there a technical term for what "runAbcT" functions do (replace "AbcT" with any monad transformer)? I'm thinking of something like "get or pull out the inner monad..." |
| 2022-04-16 02:40:53 +0200 | <abastro[m]> | You can simulate pattern matching with lens, right? |
| 2022-04-16 02:42:51 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-16 02:42:51 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-16 02:42:51 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-16 02:42:52 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-16 02:46:33 +0200 | <waleee> | abastro[m]: why on earth do you want to do that |
| 2022-04-16 02:46:55 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-16 02:50:03 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-16 02:55:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-16 03:00:57 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-04-16 03:01:13 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-04-16 03:02:32 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) |
| 2022-04-16 03:05:00 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-16 03:07:15 +0200 | <abastro[m]> | Unification of concepts waleee |
| 2022-04-16 03:10:42 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.1)) |
| 2022-04-16 03:10:54 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::e45d) (Quit: lainon) |
| 2022-04-16 03:10:59 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-16 03:11:27 +0200 | <waleee> | abastro[m]: ah, it was a theoretical question, you weren't pondering actually doing it |
| 2022-04-16 03:11:50 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-16 03:12:03 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-16 03:14:50 +0200 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 2022-04-16 03:16:01 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-16 03:17:07 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-16 03:20:10 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 03:20:19 +0200 | <abastro[m]> | I was also a bit pondering doing it |
| 2022-04-16 03:20:24 +0200 | <abastro[m]> | (If it turns out to be ergonomic) |
| 2022-04-16 03:20:33 +0200 | <abastro> | Tho not in haskell, ya |
| 2022-04-16 03:27:36 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-16 03:29:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 03:29:57 +0200 | andrey_ | (~andrey@p200300dbcf2fb5008488c657f5155c0c.dip0.t-ipconnect.de) |
| 2022-04-16 03:30:23 +0200 | nate1 | (~nate@98.45.152.91) |
| 2022-04-16 03:32:40 +0200 | andrey__ | (~andrey@p200300dbcf086f005d691fef4faa01bb.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 03:45:03 +0200 | foul_owl | (~kerry@23.82.193.88) (Ping timeout: 256 seconds) |
| 2022-04-16 03:46:03 +0200 | nate1 | (~nate@98.45.152.91) (Ping timeout: 256 seconds) |
| 2022-04-16 03:46:08 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 03:50:35 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 03:56:44 +0200 | banas61 | (~banas@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 2022-04-16 03:56:56 +0200 | banas61 | (~banas@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Client Quit) |
| 2022-04-16 03:57:12 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 2022-04-16 03:58:01 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 03:58:07 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 246 seconds) |
| 2022-04-16 04:00:23 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-16 04:00:25 +0200 | foul_owl | (~kerry@23.82.193.87) |
| 2022-04-16 04:02:32 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-16 04:02:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 04:04:14 +0200 | <lifter> | @unmtl InputT (ReaderT Env ((StateT GoiState IO))) a |
| 2022-04-16 04:04:14 +0200 | <lambdabot> | InputT (ReaderT Env (StateT GoiState IO)) a |
| 2022-04-16 04:04:40 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 04:04:42 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-16 04:13:20 +0200 | razetime | (~quassel@117.254.35.31) |
| 2022-04-16 04:16:28 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 2022-04-16 04:17:43 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-04-16 04:24:45 +0200 | <lifter> | I'm introducing InputT from Haskeline into an existing monad transformer stack. I'm wrestling with where to put InputT in the stack. Presently I've got "ReaderT MyEnv (StateT MyState (InputT IO)) a". I guess this works but I have to lift the InputT functions from Haskeline twice. Do you think I'm on the right track? |
| 2022-04-16 04:26:11 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 2022-04-16 04:26:20 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 04:26:58 +0200 | nate1 | (~nate@98.45.152.91) |
| 2022-04-16 04:28:00 +0200 | <sarupbanskota> | hey everyone 👋 i'm new here! building some coding exercises in haskell & other languages :) |
| 2022-04-16 04:29:10 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 04:30:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 04:33:16 +0200 | nf | (~n@monade.li) (Ping timeout: 245 seconds) |
| 2022-04-16 04:34:13 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 04:35:04 +0200 | nate1 | (~nate@98.45.152.91) (Ping timeout: 248 seconds) |
| 2022-04-16 04:35:12 +0200 | nf | (~n@monade.li) |
| 2022-04-16 04:42:05 +0200 | <sm> | welcome sarupbanskota |
| 2022-04-16 04:42:41 +0200 | <sm> | does anyone know how do what `error` does, but without prefixing the program name to the output ? |
| 2022-04-16 04:43:16 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-16 04:44:30 +0200 | terrorjack | (~terrorjac@2a01:4f8:1c1e:509a::1) |
| 2022-04-16 04:45:22 +0200 | <glguy> | sm: either throw a different exception, or catch the one error throws at the top-level and print differently |
| 2022-04-16 04:45:43 +0200 | <sm> | thanks |
| 2022-04-16 04:47:27 +0200 | <glguy> | error "like this" `catch` \(ErrorCall a) -> putStrLn ("stuff " ++ a) |
| 2022-04-16 04:48:08 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 2022-04-16 04:48:55 +0200 | <glguy> | sm: I feel like I made an example of this for hledger at one point |
| 2022-04-16 04:51:12 +0200 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-04-16 04:51:37 +0200 | <sm> | really.. helpful example, thanks glguy |
| 2022-04-16 04:52:08 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-16 04:57:37 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 04:58:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-16 04:58:12 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-16 05:01:59 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 05:02:03 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-16 05:04:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 05:04:47 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-16 05:08:08 +0200 | <sm> | good inspiration anyway |
| 2022-04-16 05:08:12 +0200 | sm | goes slightly mad trying to customise parse errors |
| 2022-04-16 05:08:28 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 05:09:35 +0200 | <sm> | brain is fried I guess. Close: |
| 2022-04-16 05:09:35 +0200 | <sm> | error' :: String -> a |
| 2022-04-16 05:09:35 +0200 | <sm> | error' msg = errorWithoutStackTrace ("Error: "<> msg) |
| 2022-04-16 05:09:35 +0200 | <sm> | -- `catch` \(ErrorCall a) -> putStrLn $ "Test: " ++ msg |
| 2022-04-16 05:20:43 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 05:22:49 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-16 05:25:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 05:29:29 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 248 seconds) |
| 2022-04-16 05:34:14 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 05:35:39 +0200 | mud | (~mud@user/kadoban) |
| 2022-04-16 05:45:37 +0200 | oxide | (~lambda@user/oxide) (Ping timeout: 256 seconds) |
| 2022-04-16 05:46:28 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-16 05:56:38 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-04-16 06:02:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-16 06:08:15 +0200 | leungbk | (~brian@cpe-142-129-149-172.socal.res.rr.com) |
| 2022-04-16 06:08:40 +0200 | leungbk | (~brian@cpe-142-129-149-172.socal.res.rr.com) (Client Quit) |
| 2022-04-16 06:15:21 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-16 06:15:29 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 06:17:56 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-16 06:18:30 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 06:23:07 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-16 06:24:03 +0200 | lifter | (~lifter@2600:1702:37d0:4310:9deb:4d0f:8697:18f6) () |
| 2022-04-16 06:25:49 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 246 seconds) |
| 2022-04-16 06:44:33 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-04-16 06:45:10 +0200 | nate1 | (~nate@98.45.152.91) |
| 2022-04-16 06:47:52 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-16 06:51:43 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-16 06:55:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 06:56:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 06:58:47 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 07:02:16 +0200 | mbuf | (~Shakthi@182.64.223.167) |
| 2022-04-16 07:11:07 +0200 | nate1 | (~nate@98.45.152.91) (Ping timeout: 240 seconds) |
| 2022-04-16 07:14:32 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 07:26:34 +0200 | razetime_ | (~quassel@117.254.35.31) |
| 2022-04-16 07:26:37 +0200 | razetime_ | (~quassel@117.254.35.31) (Client Quit) |
| 2022-04-16 07:27:07 +0200 | <razetime> | is there a method in ghc to run literal haskell? |
| 2022-04-16 07:27:25 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 2022-04-16 07:28:57 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-16 07:29:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-16 07:29:46 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 07:32:02 +0200 | <abastro[m]> | IIRC e.g. runghc work on lhs as well |
| 2022-04-16 07:32:07 +0200 | <abastro[m]> | Tho my memory might be wrong |
| 2022-04-16 07:33:28 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 07:35:06 +0200 | <razetime> | i will try |
| 2022-04-16 07:39:21 +0200 | gawen | (~gawen@user/gawen) (Quit: cya) |
| 2022-04-16 07:41:51 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-16 07:42:11 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 07:43:15 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 07:45:15 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 07:48:39 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) |
| 2022-04-16 07:50:11 +0200 | littlebo1eep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-16 07:50:16 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-16 07:50:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-16 07:52:17 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-16 07:54:33 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-16 07:55:23 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 07:58:00 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 07:59:47 +0200 | acidjnk | (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) |
| 2022-04-16 08:01:28 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-16 08:04:27 +0200 | elmyr | (sid3438@user/dy) |
| 2022-04-16 08:06:19 +0200 | Guest53 | (~Guest53@S01069050ca4e3573.cg.shawcable.net) |
| 2022-04-16 08:09:12 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-16 08:11:50 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-16 08:13:55 +0200 | slack1256 | (~slack1256@191.125.227.205) |
| 2022-04-16 08:16:49 +0200 | <Guest53> | cool toy language |
| 2022-04-16 08:17:26 +0200 | <Guest53> | I made one too |
| 2022-04-16 08:17:31 +0200 | <Guest53> | but its not as popular lol |
| 2022-04-16 08:19:41 +0200 | <Guest53> | was relatively easy to do tbh |
| 2022-04-16 08:22:18 +0200 | Guest53 | (~Guest53@S01069050ca4e3573.cg.shawcable.net) (Quit: Client closed) |
| 2022-04-16 08:32:31 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 2022-04-16 08:34:11 +0200 | <DemiMarieObenour> | <geekosaur> "Demi Marie Obenour, xmonad..." <- bad news about XMonad: distributions may eventually drop their standalone X Server packages (as opposed to XWayland) |
| 2022-04-16 08:35:16 +0200 | <DemiMarieObenour> | It’s considered legacy and is basically unmaintained, to the point that there are some unpatched vulnerabilities in both the X11 protocol and XCB that probably won’t be fixed. |
| 2022-04-16 08:36:47 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-16 08:37:05 +0200 | <DemiMarieObenour> | X11 is just a protocol, so if you only use Xlib/XCB one option would be to reimplement it in Haskell. |
| 2022-04-16 08:37:20 +0200 | <DemiMarieObenour> | The client part, that is. |
| 2022-04-16 08:42:31 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-16 08:43:14 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) |
| 2022-04-16 08:45:12 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-16 08:45:54 +0200 | phma_ | (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) |
| 2022-04-16 08:47:34 +0200 | <abastro> | <del>Was this xmonad channel</del> |
| 2022-04-16 08:49:47 +0200 | phma | (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) (Ping timeout: 260 seconds) |
| 2022-04-16 08:52:44 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-16 08:57:46 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 09:00:43 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:af86:3007:d527:d573) (Quit: WeeChat 3.4.1) |
| 2022-04-16 09:04:43 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:9d95:c71:11e4:3e0f) |
| 2022-04-16 09:08:04 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-16 09:10:56 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-04-16 09:13:07 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 2022-04-16 09:13:07 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-16 09:13:07 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-16 09:17:09 +0200 | frost | (~frost@user/frost) |
| 2022-04-16 09:17:10 +0200 | frost | (~frost@user/frost) (Write error: Broken pipe) |
| 2022-04-16 09:17:56 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-16 09:19:21 +0200 | haritz | (~hrtz@user/haritz) (Ping timeout: 248 seconds) |
| 2022-04-16 09:25:25 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 09:31:40 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 2022-04-16 09:32:00 +0200 | frost | (~frost@user/frost) |
| 2022-04-16 09:35:05 +0200 | Midjak | (~Midjak@82.66.147.146) |
| 2022-04-16 09:35:37 +0200 | axeman | (~quassel@2a02:8109:a380:78:7836:9b5e:430d:eca5) |
| 2022-04-16 09:37:55 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 2022-04-16 09:44:42 +0200 | slack1256 | (~slack1256@191.125.227.205) (Remote host closed the connection) |
| 2022-04-16 09:46:44 +0200 | abastro | (~abab9579@220.75.216.63) (Ping timeout: 250 seconds) |
| 2022-04-16 09:48:34 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-16 09:49:07 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-16 09:49:27 +0200 | axeman | (~quassel@2a02:8109:a380:78:7836:9b5e:430d:eca5) (Ping timeout: 240 seconds) |
| 2022-04-16 09:52:18 +0200 | abastro[m] | uploaded an image: (64KiB) < https://libera.ems.host/_matrix/media/r0/download/matrix.org/CQIMLeaLtEoYwkuXFyZctuUf/20210125_230… > |
| 2022-04-16 09:52:22 +0200 | <abastro[m]> | When I thought this was goof |
| 2022-04-16 09:52:24 +0200 | <abastro[m]> | Good |
| 2022-04-16 09:52:49 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-16 09:55:33 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-16 09:58:58 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-179.hive.is) (Ping timeout: 246 seconds) |
| 2022-04-16 09:59:29 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-16 10:00:00 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-16 10:06:01 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-16 10:06:03 +0200 | crazazy | (~user@2001:1c00:831:4700:87ff:c2e8:bcc3:e6aa) |
| 2022-04-16 10:12:08 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-16 10:16:59 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) (Read error: Connection reset by peer) |
| 2022-04-16 10:17:27 +0200 | ralu1 | (~ralu@static.211.245.203.116.clients.your-server.de) |
| 2022-04-16 10:21:53 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:577:b10c:6bcc:4643) |
| 2022-04-16 10:30:51 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 10:42:54 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-04-16 10:43:13 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-16 10:43:35 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 10:43:36 +0200 | mmhat | (~mmh@55d49a6a.access.ecotel.net) |
| 2022-04-16 10:51:50 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 2022-04-16 10:57:03 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-16 10:57:21 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-16 10:57:21 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 10:57:44 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 10:58:31 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-16 11:00:12 +0200 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (Quit: You have been kicked for being idle) |
| 2022-04-16 11:04:46 +0200 | <simeon_> | is there a standard name for the function g = f . (g f)? |
| 2022-04-16 11:07:18 +0200 | simeon_ | simeon |
| 2022-04-16 11:12:47 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-16 11:13:55 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-04-16 11:15:44 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-16 11:20:10 +0200 | lambdap2 | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap2) |
| 2022-04-16 11:20:28 +0200 | lambdap2 | (~lambdap@static.167.190.119.168.clients.your-server.de) |
| 2022-04-16 11:24:50 +0200 | log101 | (~log101@78.178.70.213) |
| 2022-04-16 11:26:13 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Read error: Connection reset by peer) |
| 2022-04-16 11:26:18 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-16 11:26:45 +0200 | <merijn> | simeon: That seems awfully specific, tbh |
| 2022-04-16 11:26:52 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) |
| 2022-04-16 11:26:57 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-16 11:27:17 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 11:27:38 +0200 | <Franciman> | which is the unknown? g or f ? |
| 2022-04-16 11:27:41 +0200 | lucifero | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Quit: WeeChat 3.5) |
| 2022-04-16 11:28:08 +0200 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) |
| 2022-04-16 11:28:55 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 11:28:55 +0200 | neceve | (~quassel@2.29.116.221) |
| 2022-04-16 11:29:56 +0200 | belphegor666 | (~satan@ip-046-223-003-068.um13.pools.vodafone-ip.de) (Changing host) |
| 2022-04-16 11:29:56 +0200 | belphegor666 | (~satan@user/belphegor666) |
| 2022-04-16 11:29:56 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-16 11:33:00 +0200 | chenqisu1 | (~chenqisu1@183.217.200.38) (Quit: Leaving) |
| 2022-04-16 11:33:20 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 250 seconds) |
| 2022-04-16 11:36:13 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-16 11:36:56 +0200 | <supersven> | juri_: Guessing that your math issue has to deal with vectors in space: Have you tried to offload it to a GPU, e.g. with https://hackage.haskell.org/package/accelerate ? |
| 2022-04-16 11:39:33 +0200 | <supersven> | Asking out of curiosity. Might be a big refactoring to rewrite things in this DSL. |
| 2022-04-16 11:40:21 +0200 | chargen | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2022-04-16 11:41:23 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-16 11:46:35 +0200 | <simeon> | sorry, I meant g f = f . (g f), and let's constrain g to have type (a -> a) -> (a -> a) |
| 2022-04-16 11:46:36 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-16 11:48:03 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) (Ping timeout: 260 seconds) |
| 2022-04-16 11:48:27 +0200 | <simeon> | merijn: I don't think so, suppose I want to define an infinite structure (g f)(x) = f(f(f...f(x)) |
| 2022-04-16 11:48:48 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-16 11:49:19 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-16 11:49:55 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Remote host closed the connection) |
| 2022-04-16 11:52:48 +0200 | <abastro[m]> | Well it is more specific than: |
| 2022-04-16 11:52:50 +0200 | <Franciman> | this violently reminds me of the Y combinator |
| 2022-04-16 11:52:56 +0200 | <abastro[m]> | :t fix |
| 2022-04-16 11:52:57 +0200 | <lambdabot> | (a -> a) -> a |
| 2022-04-16 11:53:01 +0200 | <Franciman> | yups |
| 2022-04-16 11:53:11 +0200 | <abastro[m]> | `fix f = f (fix f)` |
| 2022-04-16 11:59:11 +0200 | DNH | (~DNH@8.43.122.67) |
| 2022-04-16 12:00:18 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 12:01:46 +0200 | <simeon> | yes, it's a bit like fix |
| 2022-04-16 12:02:32 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 12:03:49 +0200 | kenran | (~kenran@200116b82b47570048be9f9daa581893.dip.versatel-1u1.de) |
| 2022-04-16 12:04:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-16 12:06:28 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) |
| 2022-04-16 12:10:43 +0200 | phma_ | (phma@2001:5b0:2143:ec78:cdba:58b6:49c7:afc6) (Read error: Connection reset by peer) |
| 2022-04-16 12:11:04 +0200 | acidjnk | (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 12:11:30 +0200 | phma_ | (phma@2001:5b0:211f:3fe8:4742:ae6f:94a2:91e2) |
| 2022-04-16 12:11:39 +0200 | oxide | (~lambda@user/oxide) |
| 2022-04-16 12:17:59 +0200 | <crazazy> | simeon: what you're describing sounds exactly like fix though, what should make your function different? |
| 2022-04-16 12:18:20 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) |
| 2022-04-16 12:19:11 +0200 | dcoutts_ | (~duncan@host213-122-143-81.range213-122.btcentralplus.com) |
| 2022-04-16 12:22:00 +0200 | <abastro[m]> | It has an extra point. |
| 2022-04-16 12:22:24 +0200 | <juri_> | supersven: that's on the radar, but accelerate so far requires non-free nvidia components. I'll have to fix that before i can use it. |
| 2022-04-16 12:22:28 +0200 | <crazazy> | so he wants to compose functions endlessly? |
| 2022-04-16 12:22:35 +0200 | <crazazy> | I don't thing haskell allows that |
| 2022-04-16 12:22:54 +0200 | <crazazy> | seen has it has a problem with "fix const" |
| 2022-04-16 12:23:19 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) |
| 2022-04-16 12:24:25 +0200 | <abastro[m]> | Haskell do allow that |
| 2022-04-16 12:25:41 +0200 | <crazazy> | > fix (+0) 1 |
| 2022-04-16 12:25:43 +0200 | <lambdabot> | error: |
| 2022-04-16 12:25:43 +0200 | <lambdabot> | • Could not deduce (Num t0) |
| 2022-04-16 12:25:43 +0200 | <lambdabot> | from the context: (Num t, Num (t -> t1)) |
| 2022-04-16 12:26:02 +0200 | <abastro[m]> | Tho ye, you cannot have sth useful I think |
| 2022-04-16 12:26:30 +0200 | michalz | (~michalz@185.246.204.58) |
| 2022-04-16 12:27:12 +0200 | <abastro[m]> | > let g f = f . g f in let f x = 3 in g f |
| 2022-04-16 12:27:14 +0200 | <lambdabot> | error: |
| 2022-04-16 12:27:15 +0200 | <lambdabot> | • No instance for (Typeable a0) |
| 2022-04-16 12:27:15 +0200 | <lambdabot> | arising from a use of ‘show_M56310801027013224528’ |
| 2022-04-16 12:27:29 +0200 | <abastro[m]> | .. |
| 2022-04-16 12:27:57 +0200 | <abastro[m]> | > let g f = f . g f in let f x = 3 in g f 10 |
| 2022-04-16 12:27:59 +0200 | <lambdabot> | 3 |
| 2022-04-16 12:29:11 +0200 | <crazazy> | @type let g f = f . g f in g |
| 2022-04-16 12:29:13 +0200 | <lambdabot> | (b -> b) -> a -> b |
| 2022-04-16 12:29:21 +0200 | <crazazy> | ah |
| 2022-04-16 12:30:38 +0200 | <abastro[m]> | I guess one could do like.. |
| 2022-04-16 12:31:23 +0200 | axeman | (~quassel@2a02:8109:a380:78:fb48:68f6:ee82:4e6f) |
| 2022-04-16 12:31:26 +0200 | <abastro[m]> | > let g f = f . g f in let f n = if n * n < 20 then n+1 else error (show n) in g f 0 |
| 2022-04-16 12:31:34 +0200 | <lambdabot> | mueval-core: Time limit exceeded |
| 2022-04-16 12:31:42 +0200 | <abastro[m]> | Huh |
| 2022-04-16 12:31:43 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-16 12:32:05 +0200 | <crazazy> | i guess its just fix mixed with const |
| 2022-04-16 12:32:11 +0200 | <abastro[m]> | Oh right, lazy evaluatiob. Lol |
| 2022-04-16 12:32:57 +0200 | <crazazy> | > let g f = f . g f in let f xs = 1:xs in take 20 $ g f error |
| 2022-04-16 12:32:59 +0200 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] |
| 2022-04-16 12:33:28 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 12:34:07 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) (Ping timeout: 240 seconds) |
| 2022-04-16 12:34:53 +0200 | <abastro[m]> | Oh wow, yea, I guess that one is useful |
| 2022-04-16 12:35:02 +0200 | <abastro[m]> | Can recreate cycle |
| 2022-04-16 12:35:25 +0200 | <crazazy> | i mean its the same as |
| 2022-04-16 12:35:41 +0200 | <crazazy> | > take 20 $ fix (\f -> 1:f) |
| 2022-04-16 12:35:43 +0200 | <lambdabot> | [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1] |
| 2022-04-16 12:35:52 +0200 | <abastro[m]> | The point part is rather useless tho, so you can put `error` and it will never be there |
| 2022-04-16 12:36:11 +0200 | <abastro[m]> | Yea |
| 2022-04-16 12:36:48 +0200 | <abastro[m]> | > let g f x = g f $! (f x) in let f n = if n * n < 20 then n+1 else error (show n) in g f 0 |
| 2022-04-16 12:36:50 +0200 | <lambdabot> | *Exception: 5 |
| 2022-04-16 12:36:59 +0200 | <abastro[m]> | *Cheat* |
| 2022-04-16 12:37:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-16 12:38:01 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 12:38:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-16 12:41:07 +0200 | fciocan | (~fciocan@188.24.47.102) |
| 2022-04-16 12:41:17 +0200 | fciocan | (~fciocan@188.24.47.102) (Client Quit) |
| 2022-04-16 12:41:22 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-16 12:43:52 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-16 12:48:16 +0200 | <Andrew> | juri_: I am here |
| 2022-04-16 12:49:42 +0200 | <juri_> | Andrew: ah. :) |
| 2022-04-16 12:50:32 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 2022-04-16 12:52:57 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-16 12:55:52 +0200 | axeman | (~quassel@2a02:8109:a380:78:fb48:68f6:ee82:4e6f) (Ping timeout: 248 seconds) |
| 2022-04-16 12:56:32 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-04-16 12:56:59 +0200 | DNH | (~DNH@8.43.122.67) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-16 13:00:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 13:00:59 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-16 13:01:01 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-16 13:04:01 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 13:04:48 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 13:07:40 +0200 | Benzi-Junior | (~BenziJuni@dsl-149-64-179.hive.is) |
| 2022-04-16 13:08:14 +0200 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 2022-04-16 13:09:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 13:10:51 +0200 | mixfix41 | (~sdenynine@user/mixfix41) (Quit: need to reboot) |
| 2022-04-16 13:11:07 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 13:12:15 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 13:14:36 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-16 13:14:49 +0200 | chomwitt | (~chomwitt@2a02:587:dc0f:ad00:bf65:8d32:22b6:5d0b) |
| 2022-04-16 13:15:33 +0200 | log101 | (~log101@78.178.70.213) (Ping timeout: 256 seconds) |
| 2022-04-16 13:15:34 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-04-16 13:15:36 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-16 13:16:43 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 246 seconds) |
| 2022-04-16 13:20:28 +0200 | little_mac | (~little_ma@2601:410:4300:3ce0::fa0b) (Remote host closed the connection) |
| 2022-04-16 13:25:30 +0200 | axeman | (~quassel@2a02:8109:a380:78:69da:bb2c:a1f1:3035) |
| 2022-04-16 13:26:39 +0200 | daniii_ | (uid550762@id-550762.ilkley.irccloud.com) |
| 2022-04-16 13:32:26 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-16 13:36:50 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-04-16 13:41:13 +0200 | michalz | (~michalz@185.246.204.58) (Ping timeout: 248 seconds) |
| 2022-04-16 13:43:29 +0200 | fendor | (~fendor@91.141.68.168.wireless.dyn.drei.com) |
| 2022-04-16 13:43:29 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 13:44:05 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-16 13:46:24 +0200 | <abastro> | How do I improve readability of: https://paste.tomsmeding.com/ZXwz0j8D |
| 2022-04-16 13:47:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 13:47:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 13:49:02 +0200 | <hpc> | make the font bigger? :P |
| 2022-04-16 13:49:18 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 13:49:31 +0200 | <abastro> | Welp howwwww |
| 2022-04-16 13:49:44 +0200 | <geekosaur> | DemiMarieObenour, we know. a stable xmonad-like for Wayland is one of our future directions. but as yet Wayland is unstable enough that we expect too be around for a while |
| 2022-04-16 13:50:02 +0200 | <geekosaur> | plus Red Hat has commercial commitments until2030 so it'll be around at least that long |
| 2022-04-16 13:50:04 +0200 | <abastro> | Oh, wayland is also unstable? |
| 2022-04-16 13:50:05 +0200 | <abastro> | Meh. |
| 2022-04-16 13:50:18 +0200 | <geekosaur> | bad things happen when your compositor crashes |
| 2022-04-16 13:50:41 +0200 | <hpc> | abastro: hmm, maybe start by commenting the different sections? |
| 2022-04-16 13:51:02 +0200 | <hpc> | here's how it finds the first letter, here's how it scans forward for the rest of the search query, etc |
| 2022-04-16 14:00:45 +0200 | kenran | (~kenran@200116b82b47570048be9f9daa581893.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-16 14:00:54 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection) |
| 2022-04-16 14:01:16 +0200 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2022-04-16 14:01:28 +0200 | <abastro> | I see, perhaps I should add more comments |
| 2022-04-16 14:01:54 +0200 | <abastro> | How did you know that it was about finding some letters? |
| 2022-04-16 14:02:56 +0200 | <hpc> | mostly the type/name |
| 2022-04-16 14:02:59 +0200 | Maxdamantus | wonders if Wayland will add better support sometime for monitors with different DPIs, so it works as well as Xorg. |
| 2022-04-16 14:03:21 +0200 | <hpc> | it's taking a 2d grid of characters and returning a boolean based on some text |
| 2022-04-16 14:03:35 +0200 | <abastro> | I see, haskellers mostly read types I guess |
| 2022-04-16 14:03:35 +0200 | <hpc> | which you fold over, and then there's an equality test further in |
| 2022-04-16 14:04:12 +0200 | <hpc> | i would have to read it in further detail to tell if there's something like the word is allowed to turn corners or loop back on itself |
| 2022-04-16 14:08:52 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-16 14:11:14 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 14:12:57 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:577:b10c:6bcc:4643) (Read error: Connection reset by peer) |
| 2022-04-16 14:13:23 +0200 | phma_ | phma |
| 2022-04-16 14:14:58 +0200 | log101 | (~log101@78.178.70.213) |
| 2022-04-16 14:15:31 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 14:19:27 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) |
| 2022-04-16 14:21:56 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:cd4b:9144:99bf:c691) |
| 2022-04-16 14:22:16 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-16 14:22:56 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-16 14:25:43 +0200 | <abastro[m]> | Yea, tho e.g. loopback might arguably be trivial detail |
| 2022-04-16 14:33:47 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 14:34:05 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-16 14:35:27 +0200 | log101 | (~log101@78.178.70.213) (Ping timeout: 256 seconds) |
| 2022-04-16 14:36:24 +0200 | <DemiMarieObenour> | geekosaur: I would not be surprised if major distributions drop Wayland support before that |
| 2022-04-16 14:36:49 +0200 | <geekosaur> | I assume you meant X11, but yes, some probably will |
| 2022-04-16 14:37:59 +0200 | <geekosaur> | but that won't necessarily be the end; when gnome 3 came out a bunch of distros dropped support for gnome 2, so someone else took over support for it (mate) and it's back again |
| 2022-04-16 14:38:17 +0200 | <geekosaur> | open source is funny that way |
| 2022-04-16 14:38:51 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-16 14:39:27 +0200 | <geekosaur> | we'll just have to wait and see if people care enough |
| 2022-04-16 14:43:20 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-16 14:43:47 +0200 | <DemiMarieObenour> | Yeah, I meant X11 |
| 2022-04-16 14:43:54 +0200 | <DemiMarieObenour> | I would edit it if it were not for the IRC bridge |
| 2022-04-16 14:44:19 +0200 | <DemiMarieObenour> | The biggest problem with X11, though, is that it is a legitimate security risk. |
| 2022-04-16 14:44:26 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-16 14:45:02 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 14:46:17 +0200 | <Maxdamantus> | Is Wayland really that different in terms of security risk? It seems fairly similar to me. |
| 2022-04-16 14:46:52 +0200 | <Maxdamantus> | afaik both protocols have ways of capturing the screen and of sending input, because those things are sometimes useful. |
| 2022-04-16 14:47:08 +0200 | <Maxdamantus> | and that's basically all you need for there to be a security risk. |
| 2022-04-16 14:47:52 +0200 | <geekosaur> | the real security risk is that in X11 any program can listen on key events sent to any client |
| 2022-04-16 14:47:59 +0200 | <geekosaur> | which is to say, snooppasswords |
| 2022-04-16 14:48:11 +0200 | <geekosaur> | wayland prevents this |
| 2022-04-16 14:48:26 +0200 | <geekosaur> | x11's security model, such as it is, pretty much can't |
| 2022-04-16 14:48:34 +0200 | <Maxdamantus> | Hm, okay, so basically the XRecord extension. |
| 2022-04-16 14:49:10 +0200 | <Maxdamantus> | Well, you could presumably disable XRecord. Not sure if it's that useful. |
| 2022-04-16 14:49:38 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 2022-04-16 14:49:45 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 14:49:59 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) |
| 2022-04-16 14:50:01 +0200 | <geekosaur> | you don't even need XRecord |
| 2022-04-16 14:50:29 +0200 | <geekosaur> | just register interest in key events on the root window (and, by default, all subwindows) |
| 2022-04-16 14:50:51 +0200 | <geekosaur> | XRecord just makes it a little more convenient |
| 2022-04-16 14:52:11 +0200 | <Maxdamantus> | Hm, right. |
| 2022-04-16 14:53:52 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:c589:b201:12b7:bd36) |
| 2022-04-16 14:53:58 +0200 | <Maxdamantus> | Would you have to then deregister/reregister the key events to forward the input to the target window? |
| 2022-04-16 14:56:15 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 14:57:19 +0200 | acidjnk | (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) |
| 2022-04-16 14:58:27 +0200 | <Maxdamantus> | Guess not, since it looks like you can control that using the `propagate` flag in `XSendEvent`. |
| 2022-04-16 14:59:04 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 14:59:07 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 240 seconds) |
| 2022-04-16 14:59:37 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-16 15:00:40 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-16 15:01:21 +0200 | DNH | (~DNH@8.43.122.67) |
| 2022-04-16 15:01:47 +0200 | axeman | (~quassel@2a02:8109:a380:78:69da:bb2c:a1f1:3035) (Ping timeout: 240 seconds) |
| 2022-04-16 15:02:18 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-04-16 15:03:43 +0200 | <geekosaur> | well, there is a way to prevent other clients from seeing key events, and xterm even provides a menu item to activate/deactivate it for when you are typing passwords, but it's an annoying extra step and ~nobody ever bothers, to the point that other terminal emulators pretty much don't even bother with it |
| 2022-04-16 15:04:25 +0200 | <geekosaur> | `man 7 X` also provides some tips for configuring X security to minimize the risk, but it's pretyt limited |
| 2022-04-16 15:04:47 +0200 | <geekosaur> | those GUI popups that ask for passwords use it, though |
| 2022-04-16 15:05:28 +0200 | <geekosaur> | (keyboard grab, if you want to look up the details) |
| 2022-04-16 15:06:07 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-16 15:06:16 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 15:06:25 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 2022-04-16 15:07:17 +0200 | Flonk | (~Flonk@vps-zap441517-1.zap-srv.com) (Quit: Ping timeout (120 seconds)) |
| 2022-04-16 15:11:39 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-16 15:12:01 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-16 15:13:37 +0200 | log101 | (~log101@78.178.70.213) |
| 2022-04-16 15:13:50 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-16 15:17:01 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-16 15:17:25 +0200 | DNH | (~DNH@8.43.122.67) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-04-16 15:17:27 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 15:17:53 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 2022-04-16 15:17:54 +0200 | fciocan | (~fciocan@188.24.47.102) |
| 2022-04-16 15:18:38 +0200 | DNH | (~DNH@8.43.122.67) |
| 2022-04-16 15:22:32 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 248 seconds) |
| 2022-04-16 15:23:08 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-16 15:23:25 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-16 15:25:32 +0200 | <abastro> | Apparently, test code can replace types r8? |
| 2022-04-16 15:25:51 +0200 | <fciocan> | hello! Am I on the right channel for GSoC? |
| 2022-04-16 15:25:53 +0200 | <abastro> | (Btw it seems that programming beginners just do not know that type system could be strong enough for safe refactor) |
| 2022-04-16 15:27:44 +0200 | <exarkun> | Do programming beginners know anything? I guess it depends on how beginner-y they are and what they have been taught. |
| 2022-04-16 15:28:12 +0200 | <abastro> | Well true |
| 2022-04-16 15:28:22 +0200 | kenran | (~kenran@200116b82b4757008ec2f178c01120ce.dip.versatel-1u1.de) |
| 2022-04-16 15:28:29 +0200 | <abastro> | I meant junior developers (typical) |
| 2022-04-16 15:28:31 +0200 | <c_wraith> | fciocan: probably not. this is a general-purpose channel. It could be helpful, but it's probably not the one you're looking for. (I don't know where that one is) |
| 2022-04-16 15:29:01 +0200 | <exarkun> | abastro: I imagine the modal junior developer knows how to write simple functions in javascript to use a DOM manipulation library. |
| 2022-04-16 15:29:18 +0200 | adnaahm | (~adnaahm@119.160.67.116) |
| 2022-04-16 15:29:51 +0200 | <abastro> | Yep |
| 2022-04-16 15:29:59 +0200 | <abastro> | Does not know anything about types |
| 2022-04-16 15:30:13 +0200 | ubert | (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) |
| 2022-04-16 15:31:30 +0200 | axeman | (~quassel@2a02:8109:a380:78:8c29:7464:b7a3:5ddf) |
| 2022-04-16 15:32:20 +0200 | fciocan | (~fciocan@188.24.47.102) (Ping timeout: 250 seconds) |
| 2022-04-16 15:32:23 +0200 | jespada | (~jespada@cpc121022-nmal24-2-0-cust171.19-2.cable.virginm.net) |
| 2022-04-16 15:32:36 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-16 15:33:49 +0200 | adnaahm | (~adnaahm@119.160.67.116) (Ping timeout: 256 seconds) |
| 2022-04-16 15:42:09 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 15:46:31 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 15:48:21 +0200 | oxide | (~lambda@user/oxide) (Quit: oxide) |
| 2022-04-16 15:48:24 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-16 15:52:47 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-16 15:53:16 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 15:53:42 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-16 16:00:10 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 16:01:34 +0200 | log101 | (~log101@78.178.70.213) (Remote host closed the connection) |
| 2022-04-16 16:04:57 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 16:08:15 +0200 | <DemiMarieObenour> | Maxdamantus: one of the goals of in Wayland is to make screenshotting, etc privileged operations, so that sandboxed programs (such as Flatpaks) can’t access them. |
| 2022-04-16 16:08:20 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 16:09:16 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Client Quit) |
| 2022-04-16 16:10:04 +0200 | razetime | (~quassel@117.254.35.31) (Remote host closed the connection) |
| 2022-04-16 16:10:30 +0200 | <hololeap> | is there any way to detect if a build is using v1 or v2 cabal? some kind of conditional I can place in a .cabal file like "if v2-cabal ..." ? |
| 2022-04-16 16:11:07 +0200 | <hololeap> | I have to use a different doctest setup for Setup.hs builds so this would be handy to detect |
| 2022-04-16 16:11:19 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-16 16:15:04 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-16 16:17:19 +0200 | <albet70> | > let xs = [0..9] in zipWith (-) (tail xs) xs |
| 2022-04-16 16:17:21 +0200 | <lambdabot> | [1,1,1,1,1,1,1,1,1] |
| 2022-04-16 16:19:14 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 16:21:39 +0200 | <albet70> | > let xs = [0..9] in (take 1 xs) <> (zipWith (-) (tail xs) xs) |
| 2022-04-16 16:21:40 +0200 | <lambdabot> | [0,1,1,1,1,1,1,1,1,1] |
| 2022-04-16 16:22:24 +0200 | <albet70> | how to do the reverse? turn that [0,1,1...] to [0..9]? |
| 2022-04-16 16:22:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-16 16:23:00 +0200 | <abastro> | > scanl (+) 0 [1,1,1,1,1,1,1,1] |
| 2022-04-16 16:23:02 +0200 | <albet70> | with list compression is possible? |
| 2022-04-16 16:23:02 +0200 | <lambdabot> | [0,1,2,3,4,5,6,7,8] |
| 2022-04-16 16:23:14 +0200 | <abastro> | > scanl1 (+) [0,1,1,1,1,1,1,1,1,1] |
| 2022-04-16 16:23:16 +0200 | <lambdabot> | [0,1,2,3,4,5,6,7,8,9] |
| 2022-04-16 16:23:27 +0200 | <abastro> | Is this satisfactory? |
| 2022-04-16 16:23:33 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-16 16:23:36 +0200 | <albet70> | wow |
| 2022-04-16 16:23:52 +0200 | <albet70> | Data.List is really something |
| 2022-04-16 16:24:10 +0200 | <abastro[m]> | Is it? Hmm |
| 2022-04-16 16:24:34 +0200 | <abastro[m]> | Ppl complain that haskell is battery excluded tho |
| 2022-04-16 16:24:41 +0200 | <abastro[m]> | Wait that is about Text & Vector, nvm |
| 2022-04-16 16:25:12 +0200 | <geekosaur> | mostly this stuff is considered toys. they want Text in base (although I think it comes with ghc so it might as well be for most purposes), etc. |
| 2022-04-16 16:26:07 +0200 | <boxscape_> | tbh I don't have a big problem with batteries excluded. I suppose it'd be nice to have IDE support for quickly adding dependencies |
| 2022-04-16 16:26:20 +0200 | <albet70> | I just learned that Data.List and I got 4kyu in codewars, I think I may the solve medium ones in leetcode |
| 2022-04-16 16:28:16 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 16:28:18 +0200 | <hololeap> | there is quite a bit of good stuff that comes shipped with GHC, including stuff in base |
| 2022-04-16 16:28:31 +0200 | <hololeap> | it's a good idea to become familiar with it |
| 2022-04-16 16:30:14 +0200 | <hololeap> | this chart shows which libraries are shipped with which versions of GHC, so they should be installed on whatever you're using as long as you can figure out what version of GHC is running: https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history |
| 2022-04-16 16:30:40 +0200 | <albet70> | "hololeap :there is quite a bit of good stuff that comes shipped with GHC, including stuff in base", but groupBy is good with the shipping |
| 2022-04-16 16:30:55 +0200 | <albet70> | not good |
| 2022-04-16 16:32:15 +0200 | <hololeap> | if you want something better, then use a better tool for the job, like Map |
| 2022-04-16 16:32:18 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-16 16:32:45 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 16:32:52 +0200 | <albet70> | > groupBy (<=) [1,2,2,3,1,2,0,4,5,2] |
| 2022-04-16 16:32:54 +0200 | <lambdabot> | [[1,2,2,3,1,2],[0,4,5,2]] |
| 2022-04-16 16:33:46 +0200 | <boxscape_> | since groupBy is designed to take an equality predicate, it seems like it shouldn't be too surprising that it behaves strangely when provided something that's not an equality predicate |
| 2022-04-16 16:33:56 +0200 | <hololeap> | I don't see what's wrong with that. it behaves exactly as expected |
| 2022-04-16 16:34:25 +0200 | <hololeap> | all the stuff in the first sublist is (<=1) and all the stuff in the second sublist is (<=0) |
| 2022-04-16 16:34:34 +0200 | <boxscape_> | (the better version in NonEmpty also says in its documentation that it expects an equality predicate, which is admittedly something the [] version docs don't mention https://hackage.haskell.org/package/base-4.16.1.0/docs/Data-List-NonEmpty.html#v:groupBy) |
| 2022-04-16 16:35:23 +0200 | <albet70> | > Data.List.GroupBy.groupBy (<=) [1,2,2,3,1,2,0,4,5,2] |
| 2022-04-16 16:35:25 +0200 | <lambdabot> | error: |
| 2022-04-16 16:35:25 +0200 | <lambdabot> | Not in scope: ‘Data.List.GroupBy.groupBy’ |
| 2022-04-16 16:35:25 +0200 | <lambdabot> | Perhaps you meant ‘Data.List.NonEmpty.groupBy’ (imported from Data.List.... |
| 2022-04-16 16:35:50 +0200 | <boxscape_> | hololeap technically it's the other way around, 1 is <= than all the stuff in the first sublist |
| 2022-04-16 16:36:03 +0200 | <hololeap> | oh, right, sorry :) |
| 2022-04-16 16:36:20 +0200 | <hololeap> | that's what I meant |
| 2022-04-16 16:37:07 +0200 | stackdroid18 | (14094@user/stackdroid) |
| 2022-04-16 16:38:30 +0200 | <hololeap> | if you want to scan a list of items and group them, then something like `Eq k => Map k Int` will give you counts for each item in an efficient way |
| 2022-04-16 16:39:01 +0200 | <albet70> | it supposed to be [[1,2,2,3],[1,2],[0,4,5],[2]] |
| 2022-04-16 16:39:20 +0200 | <boxscape_> | albet70 that's a fine thing to want, it's just not what groupBy is meant for |
| 2022-04-16 16:39:52 +0200 | <albet70> | "🟢 boxscape_ :albet70 that's a fine thing to want, it's just not what groupBy is meant for", but there is Data.List.GroupBy |
| 2022-04-16 16:40:28 +0200 | <boxscape_> | what package is that in? |
| 2022-04-16 16:40:56 +0200 | mixfix41 | (~sdenynine@user/mixfix41) |
| 2022-04-16 16:41:09 +0200 | <albet70> | @hoogle Data.List.GroupBy.groupBy |
| 2022-04-16 16:41:10 +0200 | <lambdabot> | No results found |
| 2022-04-16 16:41:47 +0200 | axeman | (~quassel@2a02:8109:a380:78:8c29:7464:b7a3:5ddf) (Ping timeout: 240 seconds) |
| 2022-04-16 16:42:18 +0200 | <jackson99> | @hoogle groupBy |
| 2022-04-16 16:42:19 +0200 | <lambdabot> | Data.List groupBy :: (a -> a -> Bool) -> [a] -> [[a]] |
| 2022-04-16 16:42:19 +0200 | <lambdabot> | Data.List.NonEmpty groupBy :: Foldable f => (a -> a -> Bool) -> f a -> [NonEmpty a] |
| 2022-04-16 16:42:19 +0200 | <lambdabot> | GHC.OldList groupBy :: (a -> a -> Bool) -> [a] -> [[a]] |
| 2022-04-16 16:42:55 +0200 | <boxscape_> | looks like this function in utility-ht works that way https://hackage.haskell.org/package/utility-ht-0.0.16/docs/Data-List-HT.html#v:groupBy |
| 2022-04-16 16:42:58 +0200 | <jackson99> | @hoogle groupOn |
| 2022-04-16 16:42:58 +0200 | <lambdabot> | Data.List.Extra groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 2022-04-16 16:42:58 +0200 | <lambdabot> | Extra groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 2022-04-16 16:42:58 +0200 | <lambdabot> | Intro groupOn :: Eq b => (a -> b) -> [a] -> [[a]] |
| 2022-04-16 16:44:02 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 250 seconds) |
| 2022-04-16 16:44:07 +0200 | <albet70> | in the groupBy-0.1.0.0 package |
| 2022-04-16 16:44:26 +0200 | <boxscape_> | I see |
| 2022-04-16 16:44:35 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-16 16:44:40 +0200 | <boxscape_> | I suppose it's fair to say that it would have been a good idea to have groupBy in base work that way |
| 2022-04-16 16:45:34 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 16:46:38 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 16:47:50 +0200 | <hololeap> | but now it's "locked in" because if they change the behavior of groupBy in base, it could break existing code |
| 2022-04-16 16:48:21 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-16 16:48:44 +0200 | <c_wraith> | well, not really. I mean, it could break existing code, but only code that depended on undocumented behavior |
| 2022-04-16 16:48:48 +0200 | <albet70> | "hololeap :but now it's "locked in" because if they change the behavior of groupBy in base, it could break existing code", and change that /= in Eq or Ord something won't? |
| 2022-04-16 16:49:15 +0200 | <albet70> | I forgot, what's the biggest thing lately, that related to /= |
| 2022-04-16 16:49:57 +0200 | <hololeap> | I don't understand |
| 2022-04-16 16:50:02 +0200 | <geekosaur> | actually I thinkthat was the straw that broke the camel's back |
| 2022-04-16 16:50:03 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) |
| 2022-04-16 16:50:18 +0200 | <geekosaur> | there's a massive backlash about that kind of breaking change going on currently |
| 2022-04-16 16:50:29 +0200 | <c_wraith> | there was an effort to remove (/=) from Eq. Which.. I dunno, is fine by me, but leaving it is also fine by me. |
| 2022-04-16 16:51:15 +0200 | <hololeap> | I could see situations where defining (/=) would make more sense than defining (==) |
| 2022-04-16 16:51:40 +0200 | <hololeap> | I can't think of a good example off the top of my head... (==) is much more common |
| 2022-04-16 16:51:49 +0200 | <boxscape_> | one important difference though is that removing (/=) from Eq will cause compile-time errors, whereas changing the behavior of groupBy could change the behavior without causing any errors at all, compile- or runtime |
| 2022-04-16 16:51:55 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 16:52:10 +0200 | <boxscape_> | (i.e. it could introduce bugs unnoticed) |
| 2022-04-16 16:52:11 +0200 | <geekosaur> | especially since the list discussion leaned against the change, then the proposer went ahead and proposed it to the CLC anyway |
| 2022-04-16 16:52:19 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 16:52:29 +0200 | <c_wraith> | just following the Linear Types example |
| 2022-04-16 16:52:37 +0200 | <c_wraith> | ignore all criticism! full speed ahead! |
| 2022-04-16 16:53:43 +0200 | <abastro[m]> | Hm actually |
| 2022-04-16 16:53:43 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-16 16:53:44 +0200 | <boxscape_> | hm I think the responsibility of taking into account community opinion lies more with the CLC when deciding on a proposal, than with a proposer when deciding whether or not to propose |
| 2022-04-16 16:54:03 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 16:54:18 +0200 | <abastro[m]> | When ppl complain about "not batteries included" and that is basically due to missing `Text` and `Vector`.. that one is not really about "batteries" I think |
| 2022-04-16 16:54:24 +0200 | <abastro[m]> | Some critical component is missing, rather |
| 2022-04-16 16:54:49 +0200 | <hololeap> | batteries aren't critical? :p |
| 2022-04-16 16:55:04 +0200 | <boxscape_> | not if the device can run off of wallpower, too |
| 2022-04-16 16:55:28 +0200 | <abastro> | XD |
| 2022-04-16 16:55:50 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-16 16:55:52 +0200 | <hololeap> | fair enough... I suppose the furby doesn't have to talk either... |
| 2022-04-16 16:55:52 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-16 16:56:12 +0200 | <hpc> | cabal is so much better than other package managers that maybe the right phrase here is "power outlet included" |
| 2022-04-16 16:56:49 +0200 | <abastro> | Hmm I forgot how to do self-contained script with cabal |
| 2022-04-16 16:57:31 +0200 | <boxscape_> | #!~/.ghcup/bin/cabal --build-depends=package1,package2? I haven't tried that though |
| 2022-04-16 16:58:08 +0200 | <c_wraith> | there's actually a file header that cabal will recognize to get its options from |
| 2022-04-16 16:58:17 +0200 | <boxscape_> | oh, nice |
| 2022-04-16 16:58:18 +0200 | <abastro> | What is the file header |
| 2022-04-16 16:58:33 +0200 | <abastro> | Yea I don't think `~/.ghcup/bin/cabal` would be good |
| 2022-04-16 16:58:34 +0200 | <c_wraith> | https://stackoverflow.com/a/65541020/383200 |
| 2022-04-16 16:59:39 +0200 | <abastro> | Where is it recorded in the std doc reference? |
| 2022-04-16 16:59:58 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-16 17:00:42 +0200 | <hololeap> | does anyone know how to point "cabal repl --with-compiler=doctest" to the doctest exe in a sandbox, like github actions? |
| 2022-04-16 17:00:49 +0200 | <abastro> | Oh, and HLS is not particularly happy about it |
| 2022-04-16 17:00:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 17:02:13 +0200 | kenran | (~kenran@200116b82b4757008ec2f178c01120ce.dip.versatel-1u1.de) (Quit: WeeChat info:version) |
| 2022-04-16 17:02:55 +0200 | <abastro> | Anyway, thank you! |
| 2022-04-16 17:02:57 +0200 | <albet70> | https://github.com/haskell/core-libraries-committee/issues/3 |
| 2022-04-16 17:03:27 +0200 | <hololeap> | https://github.com/hololeap/hackport/runs/6048104718?check_suite_focus=true#step:8:5 |
| 2022-04-16 17:05:01 +0200 | <albet70> | "geekosaur :especially since the list discussion leaned against the change, then the proposer went ahead and proposed it to the CLC anyway", what's CLC? |
| 2022-04-16 17:05:37 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 17:05:38 +0200 | <c_wraith> | Core Library Committee |
| 2022-04-16 17:07:18 +0200 | <albet70> | haha, remove /= from Eq is really a big news to haskell, even some friends of mine which don't use haskell knew this news |
| 2022-04-16 17:07:45 +0200 | <albet70> | and aske me why they do it |
| 2022-04-16 17:08:07 +0200 | <abastro> | How would they hear of it |
| 2022-04-16 17:08:20 +0200 | jackson98 | (~bc8147f2@cerf.good1.com) |
| 2022-04-16 17:08:39 +0200 | <albet70> | twitter I guess |
| 2022-04-16 17:08:43 +0200 | <abastro> | Also was it already implemented? |
| 2022-04-16 17:08:57 +0200 | <abastro> | Oh so that is how ppl learn to do hate speech towards haskell |
| 2022-04-16 17:08:59 +0200 | <albet70> | and also I got this news by twitter |
| 2022-04-16 17:09:06 +0200 | <hololeap> | I also have it in a cabal-defined test, sort of... it just ends up running the same command using System.Process ... I would like to have cabal tell me where it put the doctest exe |
| 2022-04-16 17:09:15 +0200 | <hololeap> | https://github.com/hololeap/hackport/blob/master/hackport.cabal#L662-L671 https://github.com/hololeap/hackport/blob/master/tests/doctests-v2.hs |
| 2022-04-16 17:09:47 +0200 | <albet70> | "abastro :Oh so that is how ppl learn to do hate speech towards haskell", what's ppl short for? |
| 2022-04-16 17:10:55 +0200 | <abastro> | people |
| 2022-04-16 17:12:18 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-04-16 17:12:33 +0200 | jackson98 | jackson99 |
| 2022-04-16 17:14:58 +0200 | <abastro> | How do I make it so that HLS ignores a hs file.. |
| 2022-04-16 17:15:08 +0200 | <albet70> | hate speech towards haskell is better than no one talk about it... |
| 2022-04-16 17:15:34 +0200 | <hololeap> | abastro: I recommend generating a hie.yml for the project using gen-hie (from the implicit-hie package) |
| 2022-04-16 17:16:00 +0200 | <abastro> | Well, I have one with `#!/usr/bin/env cabal` |
| 2022-04-16 17:16:05 +0200 | <abastro> | Would it recognize? |
| 2022-04-16 17:16:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-16 17:16:27 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-16 17:16:27 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-16 17:16:30 +0200 | <hololeap> | you have that at the top of hie.yml? |
| 2022-04-16 17:16:39 +0200 | <hololeap> | seems weird |
| 2022-04-16 17:16:43 +0200 | <abastro> | Oh, I mean |
| 2022-04-16 17:16:52 +0200 | <abastro> | I have a script file which I want HLS to ignore |
| 2022-04-16 17:17:25 +0200 | <abastro> | which starts with `#!/usr/bin/env cabal` but nonetheless is .hs file |
| 2022-04-16 17:18:26 +0200 | <hololeap> | once you generate the hie.yml file you should be able to edit it and remove that file. HLS will read hie.yml and override where it looks for .hs files |
| 2022-04-16 17:18:39 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 17:18:54 +0200 | <hololeap> | *hie.yaml |
| 2022-04-16 17:20:03 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-16 17:20:05 +0200 | <hololeap> | can you run a bash file as a test from cabal, instead of needing a .hs source file? |
| 2022-04-16 17:20:35 +0200 | <abastro> | Oh, I mean, I want the syntax highlighting at least |
| 2022-04-16 17:20:44 +0200 | <abastro> | gen-hie only recognize one branch... meh |
| 2022-04-16 17:20:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 17:21:11 +0200 | <hololeap> | abastro: is there a way I can see the project? |
| 2022-04-16 17:21:36 +0200 | <abastro> | Sorry but it is not public atm |
| 2022-04-16 17:21:52 +0200 | <abastro> | Tho, I have a project which has 2 submodules in 2 subfolders |
| 2022-04-16 17:22:00 +0200 | <abastro> | Each submodule has project description. |
| 2022-04-16 17:22:32 +0200 | <hololeap> | hm, yeah I think that might get tricky. you could ask in #haskell-language-server |
| 2022-04-16 17:22:45 +0200 | <abastro> | I see. |
| 2022-04-16 17:23:10 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-04-16 17:23:43 +0200 | <hololeap> | I would think you would want one hie.yaml for each submodule |
| 2022-04-16 17:24:10 +0200 | abastro | (~abab9579@220.75.216.63) () |
| 2022-04-16 17:24:36 +0200 | abastro | (~abab9579@220.75.216.63) |
| 2022-04-16 17:24:52 +0200 | <abastro> | haskell-language-server does not exist hmm |
| 2022-04-16 17:24:59 +0200 | <abastro> | Yep, one hie.yaml for each submodule |
| 2022-04-16 17:25:49 +0200 | <hololeap> | the channel definitely exists in libera.chat. you need the leading '#' on the channel name |
| 2022-04-16 17:26:13 +0200 | <hololeap> | this also has a lot of good info: https://www.reddit.com/r/haskell/comments/hcu5sf/mystified_by_hieyaml/ |
| 2022-04-16 17:26:19 +0200 | <abastro> | I cannot find it |
| 2022-04-16 17:26:30 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-16 17:26:39 +0200 | <abastro> | `/join #haskell-language-server` seem to redirect to an empty server. |
| 2022-04-16 17:27:18 +0200 | <hololeap> | [Notice] -alis- Returning maximum of 64 channel names matching '*haskell-lang*' |
| 2022-04-16 17:27:25 +0200 | <hololeap> | [Notice] -alis- #haskell-language-server 62 |
| 2022-04-16 17:28:49 +0200 | <hololeap> | maybe you have to be registered? |
| 2022-04-16 17:29:08 +0200 | <boxscape_> | abastro in matrix it would have to be #haskell-language-server:libera.chat but yeah in a regular IRC client the one you wrote should be it |
| 2022-04-16 17:29:08 +0200 | <hololeap> | ask in #libera |
| 2022-04-16 17:29:50 +0200 | <abastro> | Yep I am in libera |
| 2022-04-16 17:30:39 +0200 | <hololeap> | https://github.com/haskell/hie-bios#readme |
| 2022-04-16 17:32:01 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-16 17:32:20 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2022-04-16 17:37:34 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 2022-04-16 17:37:56 +0200 | <abastro> | cradle direct works! |
| 2022-04-16 17:38:00 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-16 17:39:41 +0200 | zmt01 | (~zmt00@user/zmt00) |
| 2022-04-16 17:39:55 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 17:39:58 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-16 17:39:58 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-16 17:39:58 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-16 17:40:08 +0200 | acidjnk | (~acidjnk@p200300d0c722df62a43b1a632e0518cf.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 17:40:22 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 250 seconds) |
| 2022-04-16 17:41:08 +0200 | acidjnk | (~acidjnk@p200300d0c722df62ec24d2aa56361374.dip0.t-ipconnect.de) |
| 2022-04-16 17:41:33 +0200 | <abastro> | Realized problem with scripts: cabal update will try to update bunch of dependencies.. |
| 2022-04-16 17:43:18 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-16 17:43:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 17:44:07 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-16 17:46:04 +0200 | ubert | (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 2022-04-16 17:46:20 +0200 | ubert | (~Thunderbi@p200300ecdf15883338aa5c9dba4a51bd.dip0.t-ipconnect.de) |
| 2022-04-16 17:46:32 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2022-04-16 17:47:04 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 248 seconds) |
| 2022-04-16 17:47:44 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 2022-04-16 17:48:04 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 17:48:18 +0200 | <hololeap> | nice :) |
| 2022-04-16 17:48:40 +0200 | acidjnk | (~acidjnk@p200300d0c722df62ec24d2aa56361374.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 17:49:05 +0200 | xff0x_ | (~xff0x@om126033110024.35.openmobile.ne.jp) (Read error: Connection reset by peer) |
| 2022-04-16 17:49:09 +0200 | <c_wraith> | I'm sure you can use the standard cabal syntax for specifying versions |
| 2022-04-16 17:50:14 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 17:51:26 +0200 | pnotequalnp | (~pnotequal@user/pnotequalnp) (Ping timeout: 250 seconds) |
| 2022-04-16 17:51:52 +0200 | CiaoSen | (~Jura@p200300c9572d40002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-16 17:55:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-16 17:56:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-04-16 17:57:41 +0200 | <jackson99> | I don't suppose it is possible to allow user of the library to deconstruct my data, while still not allowing constructing it? (I want to force constructing with smart constructor) |
| 2022-04-16 17:57:45 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 17:57:56 +0200 | <jackson99> | if I just expert constructor both will work |
| 2022-04-16 17:58:30 +0200 | <monochrom> | Maybe make and export unidirectional pattern synonyms. |
| 2022-04-16 17:59:06 +0200 | <monochrom> | In simple cases, a smart constructor can be a pattern synonym too. |
| 2022-04-16 17:59:36 +0200 | <boxscape_> | yeah sounds like you might want a bidirectional pattern synonym to combine the deconstruction and smart construction |
| 2022-04-16 18:01:29 +0200 | carrotahma | (~star@86.32.51.33) |
| 2022-04-16 18:01:56 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Quit: Connection closed) |
| 2022-04-16 18:02:03 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-16 18:02:40 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) |
| 2022-04-16 18:03:01 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) |
| 2022-04-16 18:04:13 +0200 | <carrotahma> | 😀😁😂🤣😃😄😅😆😉😊😋😎😍😘😗😙😚☺🙂🤗🤩🤔🤨😐😑😶🙄😏😣😥😮🤐😯😪😫😴😌😛😜😝🤤😒😓😔😕🙃🤑😲☹🙁😖😞😟😤😢😭😦😧😱😳🤪😇🤠🤓🤡💩 |
| 2022-04-16 18:04:20 +0200 | carrotahma | (~star@86.32.51.33) (Read error: Connection reset by peer) |
| 2022-04-16 18:04:32 +0200 | carrotahma | (~star@86.32.51.33) |
| 2022-04-16 18:04:42 +0200 | ChanServ | +o monochrom |
| 2022-04-16 18:05:45 +0200 | <tomsmeding> | I mean, it's better than freenode spam like we got after we made the switch |
| 2022-04-16 18:06:43 +0200 | <carrotahma> | 😀😁😂🤣😃😄😅😆😉😊😋😎😍😘😗😙😚☺🙂🤗🤩🤔🤨😐😑😶🙄😏😣😥😮🤐😯😪😫😴😌😛😜😝🤤😒😓😔😕🙃🤑😲☹🙁😖😞😟😤😢😭😦😧😱😳🤪😇🤠🤓🤡💩 |
| 2022-04-16 18:06:53 +0200 | monochrom | +b *!*@86.32.51.33 |
| 2022-04-16 18:06:53 +0200 | carrotahma | monochrom (carrotahma) |
| 2022-04-16 18:07:17 +0200 | monochrom | -o monochrom |
| 2022-04-16 18:07:23 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 18:07:55 +0200 | <abastro> | Hmmmm |
| 2022-04-16 18:09:51 +0200 | <tomsmeding> | Though, what even is the point |
| 2022-04-16 18:10:19 +0200 | <tomsmeding> | Someone found a script or somethint |
| 2022-04-16 18:10:25 +0200 | <tomsmeding> | *-g |
| 2022-04-16 18:10:37 +0200 | <tomsmeding> | Yeah lots of code points there |
| 2022-04-16 18:12:06 +0200 | <tomsmeding> | Here's a more interesting code point: 🫥 |
| 2022-04-16 18:12:51 +0200 | <tomsmeding> | It's a new unicode 14 or 15 thing |
| 2022-04-16 18:14:49 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-04-16 18:15:40 +0200 | <boxscape_> | I was just thinking "if only we had an emoji of a face with dotted lines" |
| 2022-04-16 18:18:27 +0200 | <Zemyla> | I can't see most of those emoji. |
| 2022-04-16 18:18:47 +0200 | <abastro> | I dislike how I could see some of the emotes |
| 2022-04-16 18:19:05 +0200 | <geekosaur> | I can see the noise but not tomsmeding'scontribution. I assume I need a newer font with support for the new codepoints |
| 2022-04-16 18:19:09 +0200 | <tomsmeding> | boxscape_: right? We really needed that |
| 2022-04-16 18:19:20 +0200 | boxscape_ | nods |
| 2022-04-16 18:19:50 +0200 | <tomsmeding> | geekosaur: the thing I sent displays fine in my android browser and another chat app, but not here in my android irc app |
| 2022-04-16 18:21:03 +0200 | <tomsmeding> | geekosaur: at least you can look up its description here https://tomsmeding.com/unicode#%F0%9F%AB%A5 |
| 2022-04-16 18:23:52 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 248 seconds) |
| 2022-04-16 18:25:31 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-16 18:28:04 +0200 | <boxscape_> | phew, constructing an AST for "let var = val in expr" with the GHC API takes more work than I thought https://paste.tomsmeding.com/ru8f7YjN |
| 2022-04-16 18:28:55 +0200 | <albet70> | can scanl1 be implemented by list compression? |
| 2022-04-16 18:29:09 +0200 | <boxscape_> | (type LExpr = LHsExpr GhcPs) |
| 2022-04-16 18:29:34 +0200 | <albet70> | or no recursive way |
| 2022-04-16 18:30:04 +0200 | <boxscape_> | do you mean "list comprehension"? |
| 2022-04-16 18:30:15 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2022-04-16 18:30:35 +0200 | <abastro> | Wow boxscape_, why th does it take so much expressions hmm |
| 2022-04-16 18:30:39 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-16 18:31:05 +0200 | <Zemyla> | No, list comprehensions take only one value from the list at a time, and don't allow storing state in between. |
| 2022-04-16 18:31:07 +0200 | <boxscape_> | abastro mainly because at each step, there's a ton of information attached to each node, like the source location, comments, and annotations |
| 2022-04-16 18:31:40 +0200 | <abastro> | So this is why macros would be hard in haskell |
| 2022-04-16 18:32:16 +0200 | <boxscape_> | one reason |
| 2022-04-16 18:32:23 +0200 | <abastro> | Ye |
| 2022-04-16 18:32:28 +0200 | <albet70> | "boxscape_ :do you mean "list comprehension"?", yes |
| 2022-04-16 18:32:41 +0200 | <geekosaur> | see Zemyla's answer |
| 2022-04-16 18:32:57 +0200 | <Zemyla> | scanl1 is basically a fold or traversal. |
| 2022-04-16 18:33:29 +0200 | abastro | (~abab9579@220.75.216.63) (Remote host closed the connection) |
| 2022-04-16 18:34:02 +0200 | <geekosaur> | list comprehension is a map. you can write a map in terms of a fold, but not a fold in terms of a map |
| 2022-04-16 18:34:26 +0200 | <albet70> | storing state, is there other way? no recursive |
| 2022-04-16 18:34:58 +0200 | <geekosaur> | uh, both are recursive, they just hide it |
| 2022-04-16 18:35:44 +0200 | <geekosaur> | @undo [ x | x <- [0..2] ] |
| 2022-04-16 18:35:44 +0200 | <lambdabot> | concatMap (\ x -> [x]) [0 .. 2] |
| 2022-04-16 18:35:51 +0200 | <geekosaur> | @src concatMap |
| 2022-04-16 18:35:51 +0200 | <lambdabot> | concatMap f = foldr ((++) . f) [] |
| 2022-04-16 18:35:58 +0200 | <albet70> | I'd implement scanl1 in other languages, but they don't support tco |
| 2022-04-16 18:36:37 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-16 18:37:01 +0200 | <albet70> | storing state with OO seems an option |
| 2022-04-16 18:37:21 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Quit: Client closed) |
| 2022-04-16 18:37:25 +0200 | <albet70> | I haven't used OO in haskell yet |
| 2022-04-16 18:38:49 +0200 | <albet70> | could object's attribute can be modified in haskell? |
| 2022-04-16 18:39:05 +0200 | <geekosaur> | we don't really have OO in Haskell |
| 2022-04-16 18:39:44 +0200 | <abastro[m]> | Inheritance is missing in haskell yea |
| 2022-04-16 18:40:49 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-16 18:42:14 +0200 | <albet70> | so is there dict comprehension? since list comprehension can't storing state, but dict can update its value |
| 2022-04-16 18:42:27 +0200 | <albet70> | or called Map? |
| 2022-04-16 18:42:40 +0200 | <abastro[m]> | Haskell base does not contain Map |
| 2022-04-16 18:43:12 +0200 | <albet70> | oh, fromList |
| 2022-04-16 18:43:12 +0200 | <abastro[m]> | There is containers library instead, but its updates are immutable i.e. it constructs new map instead of modification |
| 2022-04-16 18:43:24 +0200 | <geekosaur> | a "dict comprehension" would still not be able to store state |
| 2022-04-16 18:43:39 +0200 | <geekosaur> | it would visit each node in turn, just as the list comprehension does |
| 2022-04-16 18:44:21 +0200 | <geekosaur> | and you would only have the node, not the "dict" it belonged to |
| 2022-04-16 18:44:26 +0200 | <albet70> | so storing state is really only the recursive way? |
| 2022-04-16 18:44:27 +0200 | <abastro[m]> | You can do stateful operations if you include StateT tho |
| 2022-04-16 18:44:53 +0200 | <abastro[m]> | Well I guess you could do e.g. IO or ST as wrll |
| 2022-04-16 18:44:56 +0200 | <geekosaur> | as I told you earlier, you can do map via a fold, but you can't do a fold via a map |
| 2022-04-16 18:45:55 +0200 | <abastro[m]> | Hm I wonder |
| 2022-04-16 18:46:15 +0200 | <abastro[m]> | Does "single responsibility principle" really hold/work? |
| 2022-04-16 18:46:27 +0200 | <abastro[m]> | In terms of functions ofc |
| 2022-04-16 18:47:28 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-16 18:48:10 +0200 | mbuf | (~Shakthi@182.64.223.167) (Quit: Leaving) |
| 2022-04-16 18:48:31 +0200 | <monochrom> | It used to be called "cohesion" long before OO existed. |
| 2022-04-16 18:48:42 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-16 18:49:49 +0200 | <monochrom> | To break cohesion, you could define "data Op = Square | SquareRoot" and "f :: Op -> Double -> Double" so that f Square is squaring, f SquareRoot is sqrt. |
| 2022-04-16 18:50:20 +0200 | <monochrom> | If you can afford dynamic typing, you can even do more. |
| 2022-04-16 18:50:25 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 18:50:41 +0200 | <abastro[m]> | Cohesion? |
| 2022-04-16 18:50:46 +0200 | <monochrom> | cohesion. |
| 2022-04-16 18:50:55 +0200 | <abastro[m]> | Oh so it is a well-established practice then |
| 2022-04-16 18:51:08 +0200 | <abastro[m]> | (Which is as easy to break) |
| 2022-04-16 18:51:11 +0200 | <monochrom> | A function/procedure violates cohesion iff it takes on multiple personalities. |
| 2022-04-16 18:51:38 +0200 | <monochrom> | Oh we have social principles precisely because they are machine-uncheckable >:) |
| 2022-04-16 18:56:42 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-16 18:57:31 +0200 | <abastro[m]> | Personally I feel e.g.... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/170b7f8229295cead218cba093c49cdc1943…) |
| 2022-04-16 18:58:48 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 18:58:49 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-16 18:58:58 +0200 | <abastro[m]> | For some reason, similar code in JS leads to clean codebase I guess |
| 2022-04-16 19:00:44 +0200 | berberman | (~berberman@user/berberman) (Remote host closed the connection) |
| 2022-04-16 19:00:56 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-16 19:01:04 +0200 | berberman | (~berberman@user/berberman) |
| 2022-04-16 19:01:53 +0200 | <abastro[m]> | By naming `doesA`, `doesB` and `doesC` separately |
| 2022-04-16 19:02:07 +0200 | boxscape_ | (~boxscape_@p4ff0b7be.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-04-16 19:02:32 +0200 | <tomsmeding> | abastro[m]: I mean, whether it is really depends on the complexity of the functionality involved |
| 2022-04-16 19:03:02 +0200 | <tomsmeding> | If the code is this large, it's probably clearer to just put it in do notation — less looking around to where what name is defined |
| 2022-04-16 19:03:20 +0200 | <tomsmeding> | But if those 3 definitions are more complicated, it might make perfect sense |
| 2022-04-16 19:04:35 +0200 | <abastro[m]> | It was in JS instead but the functionality was literally that |
| 2022-04-16 19:05:13 +0200 | <abastro[m]> | checkA, performB, getMaybeC etc. were indeed separate functions |
| 2022-04-16 19:06:02 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-16 19:06:24 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-16 19:06:49 +0200 | <abastro[m]> | Think it would make more sense indeed if e.g. `checkA` definition is inlined. But no |
| 2022-04-16 19:08:09 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-16 19:08:22 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-16 19:10:49 +0200 | <abastro[m]> | Perhaps it is verbosity?... (full message at https://libera.ems.host/_matrix/media/r0/download/libera.chat/d49708aac1a4c71424c32679776366b8fbf8…) |
| 2022-04-16 19:13:09 +0200 | stackdroid18 | (14094@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-16 19:14:40 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) |
| 2022-04-16 19:16:41 +0200 | finsternis | (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 2022-04-16 19:20:05 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-16 19:21:48 +0200 | cosimone | (~user@93-47-228-79.ip115.fastwebnet.it) (Remote host closed the connection) |
| 2022-04-16 19:23:02 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-16 19:23:26 +0200 | econo | (uid147250@user/econo) |
| 2022-04-16 19:23:53 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-16 19:24:16 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-16 19:26:58 +0200 | sub0 | (~bc8147f2@199.204.85.195) |
| 2022-04-16 19:28:08 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-16 19:28:11 +0200 | <sub0> | hi. what is causing this error? [minBound .. maxBound] :: [Card] works, but [minBound ..] :: [Card] gives me an error.n |
| 2022-04-16 19:29:29 +0200 | <sub0> | https://paste.tomsmeding.com/nCh7hmDO |
| 2022-04-16 19:29:48 +0200 | <monochrom> | That depends on what you wrote for Card's Enum instance. |
| 2022-04-16 19:30:38 +0200 | <sub0> | sorry, included source now. https://paste.tomsmeding.com/P9OheSIb |
| 2022-04-16 19:32:09 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 2022-04-16 19:32:11 +0200 | <monochrom> | So this means you need to hand-code enumFrom too. |
| 2022-04-16 19:33:51 +0200 | <hololeap> | curious why you didn't just derive Enum, sub0? |
| 2022-04-16 19:33:55 +0200 | ozataman[m] | (~ozatamanm@2001:470:69fc:105::1:faa0) |
| 2022-04-16 19:34:03 +0200 | axeman | (~quassel@2a02:8109:a380:78:fc35:b9b7:cb4e:a9bb) |
| 2022-04-16 19:34:06 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-16 19:34:17 +0200 | <monochrom> | It has fields. |
| 2022-04-16 19:34:25 +0200 | <sub0> | yeah it can't be derived |
| 2022-04-16 19:34:35 +0200 | <hololeap> | oh, right you can't do that... |
| 2022-04-16 19:36:57 +0200 | <lyxia> | shameless plug https://hackage.haskell.org/package/generic-data-0.9.2.1/docs/Generic-Data.html#t:FiniteEnumeration |
| 2022-04-16 19:36:58 +0200 | Vajb | (~Vajb@2001:999:504:1dda:267d:6860:bdf7:f68b) (Read error: Connection reset by peer) |
| 2022-04-16 19:37:00 +0200 | <sub0> | adding this made it work: https://hackage.haskell.org/package/base-4.16.1.0/docs/GHC-Enum.html#t:Enum |
| 2022-04-16 19:37:17 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-16 19:37:31 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2022-04-16 19:37:50 +0200 | <monochrom> | https://github.com/MarcusRainbow/Haxcel Haskell + Excel = Haxcel :) |
| 2022-04-16 19:38:42 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-16 19:39:03 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-16 19:39:23 +0200 | <sub0> | I'm not sure why enumFrom and enumFromThen aren't defined like that in the first place? |
| 2022-04-16 19:40:12 +0200 | <monochrom> | It cannot know you type has an upper bound. |
| 2022-04-16 19:40:21 +0200 | <monochrom> | s/you/your/ |
| 2022-04-16 19:40:51 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-16 19:43:08 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) |
| 2022-04-16 19:45:35 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 240 seconds) |
| 2022-04-16 19:45:47 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 240 seconds) |
| 2022-04-16 19:50:17 +0200 | <sub0> | yeah I see, it doesn't require Bounded instance |
| 2022-04-16 19:50:30 +0200 | Macbethwin | chargen |
| 2022-04-16 19:53:01 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) |
| 2022-04-16 19:53:09 +0200 | dlromw^ | (~dlromw@50.226.13.122) |
| 2022-04-16 19:55:25 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-16 19:56:31 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 2022-04-16 19:57:11 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-16 19:57:28 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.135) (Ping timeout: 246 seconds) |
| 2022-04-16 19:57:56 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 20:07:16 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-16 20:07:55 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-16 20:09:32 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-16 20:11:47 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 20:25:16 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-16 20:28:56 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2022-04-16 20:34:32 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 20:38:00 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-16 20:44:42 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 20:48:02 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) |
| 2022-04-16 20:52:51 +0200 | yauhsien | (~yauhsien@61-231-36-20.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-16 21:00:46 +0200 | nahcetan | (~nate@98.45.152.91) (Ping timeout: 272 seconds) |
| 2022-04-16 21:05:53 +0200 | niemand | (~niemand@p5796a546.dip0.t-ipconnect.de) |
| 2022-04-16 21:06:24 +0200 | niemand | (~niemand@p5796a546.dip0.t-ipconnect.de) (Client Quit) |
| 2022-04-16 21:06:35 +0200 | niemand | (~niemand@p5796a546.dip0.t-ipconnect.de) |
| 2022-04-16 21:06:51 +0200 | niemand | (~niemand@p5796a546.dip0.t-ipconnect.de) () |
| 2022-04-16 21:07:53 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-16 21:14:47 +0200 | axeman | (~quassel@2a02:8109:a380:78:fc35:b9b7:cb4e:a9bb) (Quit: No Ping reply in 180 seconds.) |
| 2022-04-16 21:16:02 +0200 | axeman | (~quassel@2a02:8109:a380:78:ab94:2d42:874d:c69b) |
| 2022-04-16 21:20:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-16 21:23:46 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-16 21:27:47 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) (Ping timeout: 240 seconds) |
| 2022-04-16 21:28:07 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) (Ping timeout: 240 seconds) |
| 2022-04-16 21:28:57 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2022-04-16 21:29:52 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-16 21:29:52 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-16 21:29:52 +0200 | finn_elija | FinnElija |
| 2022-04-16 21:29:54 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-16 21:33:04 +0200 | neceve | (~quassel@2.29.116.221) (Ping timeout: 250 seconds) |
| 2022-04-16 21:34:01 +0200 | Trattue- | (~Trattue@152.70.182.158) (Quit: bye) |
| 2022-04-16 21:34:08 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-16 21:34:20 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-16 21:35:01 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-16 21:35:01 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-16 21:35:01 +0200 | finn_elija | FinnElija |
| 2022-04-16 21:35:37 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) |
| 2022-04-16 21:35:52 +0200 | acidjnk | (~acidjnk@p200300d0c722df627ca148a3877b8356.dip0.t-ipconnect.de) |
| 2022-04-16 21:37:21 +0200 | Trattue | (~Trattue@152.70.182.158) |
| 2022-04-16 21:38:07 +0200 | sarupbanskota | (~sarupbans@2601:645:8500:dc0:1cba:bfa3:5d61:5fe2) (Client Quit) |
| 2022-04-16 21:40:02 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-04-16 21:41:11 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-16 21:42:12 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) |
| 2022-04-16 21:42:55 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-16 21:44:27 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
| 2022-04-16 21:44:52 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-16 21:45:02 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-16 21:48:53 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-16 21:49:43 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-16 21:49:45 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-16 21:53:40 +0200 | Digit | (~user@user/digit) |
| 2022-04-16 21:53:46 +0200 | stackdroid18 | (~stackdroi@user/stackdroid) (Quit: hasta la vista... tchau!) |
| 2022-04-16 21:55:10 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-16 21:57:44 +0200 | <Digit> | so, my bot from the irc bot tute has stopped replying to someone who upgraded thier os and client (hexchat). looks like i'll have to muster the energy and skill beyond my aptitudes and adrenals to remedy this bug. or just cathartically mention it in #haskell, and carry on procrastinating/resting to recoup the energy for a proper go at it. |
| 2022-04-16 21:59:48 +0200 | <geekosaur> | is its account registered with nickserv? |
| 2022-04-16 22:00:30 +0200 | <geekosaur> | although that shouldn't change basedon a local system upgrade, it's a libera thing |
| 2022-04-16 22:01:24 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 22:03:28 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-16 22:03:53 +0200 | <geekosaur> | looks like +R defaults off anyway, so that'sunlikely to be it |
| 2022-04-16 22:04:06 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Remote host closed the connection) |
| 2022-04-16 22:04:34 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-16 22:07:23 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-04-16 22:08:05 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-16 22:09:06 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Read error: Connection reset by peer) |
| 2022-04-16 22:09:07 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-16 22:13:07 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 22:15:01 +0200 | kaph_ | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) (Ping timeout: 246 seconds) |
| 2022-04-16 22:17:27 +0200 | sub0 | (~bc8147f2@199.204.85.195) (Quit: quit) |
| 2022-04-16 22:18:18 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 2022-04-16 22:19:37 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-16 22:20:08 +0200 | fendor | (~fendor@91.141.68.168.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2022-04-16 22:20:24 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-16 22:20:24 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-16 22:20:24 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-16 22:21:05 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 2022-04-16 22:21:24 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) |
| 2022-04-16 22:21:33 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-16 22:23:38 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Remote host closed the connection) |
| 2022-04-16 22:23:40 +0200 | ishaan | (~ishaan@122.161.53.177) |
| 2022-04-16 22:23:54 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 22:26:21 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-16 22:27:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-04-16 22:29:05 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-16 22:29:45 +0200 | dextaa | (~dextaa@user/dextaa) (Ping timeout: 256 seconds) |
| 2022-04-16 22:32:32 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-16 22:33:51 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-16 22:37:12 +0200 | matijja | (~matijja@193.77.181.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-16 22:38:27 +0200 | matijja | (~matijja@193.77.181.201) |
| 2022-04-16 22:39:42 +0200 | mmhat | (~mmh@55d49a6a.access.ecotel.net) (Quit: WeeChat 3.5) |
| 2022-04-16 22:40:22 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 22:40:28 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-16 22:42:52 +0200 | kaph | (~kaph@37.39.168.109.cust.ip.kpnqwest.it) |
| 2022-04-16 22:43:52 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2022-04-16 22:44:25 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 246 seconds) |
| 2022-04-16 22:46:10 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-16 22:46:32 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) |
| 2022-04-16 22:55:15 +0200 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-04-16 22:55:31 +0200 | tromp | (~textual@77.249.230.40) |
| 2022-04-16 22:58:20 +0200 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-04-16 22:59:27 +0200 | axeman | (~quassel@2a02:8109:a380:78:ab94:2d42:874d:c69b) (Ping timeout: 240 seconds) |
| 2022-04-16 22:59:32 +0200 | zer0bitz | (~zer0bitz@2001:2003:f444:8f00:cd4b:9144:99bf:c691) (Read error: Connection reset by peer) |
| 2022-04-16 22:59:59 +0200 | echoreply | (~echoreply@45.32.163.16) |
| 2022-04-16 23:00:09 +0200 | erisco_ | (~erisco@d24-57-249-233.home.cgocable.net) |
| 2022-04-16 23:00:40 +0200 | erisco | (~erisco@d24-57-249-233.home.cgocable.net) (Ping timeout: 248 seconds) |
| 2022-04-16 23:00:59 +0200 | erisco_ | erisco |
| 2022-04-16 23:05:45 +0200 | zincy | (~zincy@2a00:23c8:970c:4801:2944:efb3:93ff:a753) (Remote host closed the connection) |
| 2022-04-16 23:06:38 +0200 | odnes | (~odnes@5-203-210-165.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-16 23:07:27 +0200 | MajorBiscuit | (~MajorBisc@2a02-a461-129d-1-6d4c-38a4-18b7-4b48.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2022-04-16 23:11:23 +0200 | tromp | (~textual@77.249.230.40) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-04-16 23:18:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-04-16 23:18:36 +0200 | neceve | (~quassel@2.29.116.221) |
| 2022-04-16 23:24:32 +0200 | axeman | (~quassel@2a02:8109:a380:78:cc32:643d:863c:ed2b) |
| 2022-04-16 23:34:49 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-16 23:36:35 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 2022-04-16 23:36:43 +0200 | mastarija | (~mastarija@2a05:4f46:e04:6000:c16d:6f16:8e31:78a1) (Quit: Leaving) |
| 2022-04-16 23:37:04 +0200 | sander | sndr |
| 2022-04-16 23:37:53 +0200 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-04-16 23:39:19 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-16 23:39:27 +0200 | coot | (~coot@213.134.190.95) (Ping timeout: 256 seconds) |
| 2022-04-16 23:39:27 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 256 seconds) |
| 2022-04-16 23:40:48 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-16 23:44:00 +0200 | dolio | (~dolio@130.44.130.54) |
| 2022-04-16 23:46:59 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:c589:b201:12b7:bd36) (Remote host closed the connection) |
| 2022-04-16 23:51:04 +0200 | gehmehgeh_ | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-16 23:51:38 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
