| 2022-01-17 00:01:05 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 2022-01-17 00:04:25 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 00:04:58 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@static-198-54-131-125.cust.tzulo.com) (Quit: Leaving) |
| 2022-01-17 00:07:00 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 2022-01-17 00:08:54 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 250 seconds) |
| 2022-01-17 00:11:29 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-01-17 00:13:02 +0100 | you | (~ShmoSeph@c-69-248-83-247.hsd1.nj.comcast.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-01-17 00:14:02 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-01-17 00:17:20 +0100 | benin5 | (~benin@183.82.179.241) |
| 2022-01-17 00:18:17 +0100 | benin | (~benin@106.198.88.241) (Ping timeout: 256 seconds) |
| 2022-01-17 00:18:18 +0100 | benin5 | benin |
| 2022-01-17 00:24:22 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-01-17 00:25:04 +0100 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2022-01-17 00:27:18 +0100 | Topsi | (~Tobias@dyndsl-095-033-024-084.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-01-17 00:27:30 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 00:31:14 +0100 | AlexNoo_ | (~AlexNoo@178.34.162.42) |
| 2022-01-17 00:31:53 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-01-17 00:33:01 +0100 | AlexZenon | (~alzenon@94.233.240.62) (Ping timeout: 256 seconds) |
| 2022-01-17 00:34:43 +0100 | cosimone | (~user@93-47-231-31.ip115.fastwebnet.it) (Ping timeout: 256 seconds) |
| 2022-01-17 00:34:43 +0100 | Alex_test | (~al_test@94.233.240.62) (Ping timeout: 256 seconds) |
| 2022-01-17 00:35:07 +0100 | AlexNoo | (~AlexNoo@94.233.240.62) (Ping timeout: 256 seconds) |
| 2022-01-17 00:35:52 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2022-01-17 00:36:51 +0100 | AlexZenon | (~alzenon@178.34.162.42) |
| 2022-01-17 00:38:19 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) (Remote host closed the connection) |
| 2022-01-17 00:38:47 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 2022-01-17 00:40:05 +0100 | Alex_test | (~al_test@178.34.162.42) |
| 2022-01-17 00:41:10 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 2022-01-17 00:41:30 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 00:41:32 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) (Remote host closed the connection) |
| 2022-01-17 00:42:14 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) |
| 2022-01-17 00:45:53 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2022-01-17 00:49:07 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 00:53:32 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-01-17 01:01:02 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-01-17 01:02:31 +0100 | benin2 | (~benin@183.82.179.241) |
| 2022-01-17 01:03:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-01-17 01:04:45 +0100 | benin | (~benin@183.82.179.241) (Ping timeout: 256 seconds) |
| 2022-01-17 01:04:46 +0100 | benin2 | benin |
| 2022-01-17 01:05:18 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2022-01-17 01:10:28 +0100 | max22- | (~maxime@2a01cb0883359800342882a7243a01c5.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-01-17 01:12:36 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 250 seconds) |
| 2022-01-17 01:13:36 +0100 | Constraintegic | (~DundiDund@ppp-212-114-229-130.dynamic.mnet-online.de) (Remote host closed the connection) |
| 2022-01-17 01:16:04 +0100 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-01-17 01:19:37 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) (Ping timeout: 240 seconds) |
| 2022-01-17 01:19:58 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-01-17 01:25:55 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 01:28:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 01:28:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 01:28:05 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 01:28:11 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2022-01-17 01:32:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-01-17 01:32:39 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 01:34:20 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-157.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-01-17 01:37:12 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2022-01-17 01:38:35 +0100 | Everything | (~Everythin@37.115.210.35) (Quit: leaving) |
| 2022-01-17 01:40:02 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-01-17 01:54:37 +0100 | jkaye | (~jkaye@2601:281:8300:7530:4077:3f1e:888b:24b3) (Ping timeout: 240 seconds) |
| 2022-01-17 01:56:53 +0100 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 256 seconds) |
| 2022-01-17 01:59:33 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2022-01-17 02:02:37 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: Replaced by new connection) |
| 2022-01-17 02:02:43 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-01-17 02:02:48 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2022-01-17 02:03:07 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) () |
| 2022-01-17 02:03:22 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2022-01-17 02:03:53 +0100 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-01-17 02:06:58 +0100 | califax | (~califax@user/califx) |
| 2022-01-17 02:07:05 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 02:09:06 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-01-17 02:09:43 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:1926:260a:1924:1e2) (Remote host closed the connection) |
| 2022-01-17 02:10:12 +0100 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) |
| 2022-01-17 02:11:26 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-01-17 02:11:53 +0100 | nautical | (~nautical@2601:602:900:1630::7cbb) |
| 2022-01-17 02:13:14 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-01-17 02:16:11 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 02:16:11 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 02:16:11 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 02:17:33 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-01-17 02:23:40 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-01-17 02:31:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 02:31:53 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 02:31:53 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 02:36:02 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-01-17 02:40:21 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-01-17 02:42:13 +0100 | nunggu | (~q@user/nunggu) (Quit: nunggu) |
| 2022-01-17 02:42:53 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 02:47:45 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-01-17 02:55:32 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:4437:11a4:119d:8219) |
| 2022-01-17 02:59:32 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-01-17 03:00:56 +0100 | h_ | (rootvegeta@fsf/member/hays) () |
| 2022-01-17 03:01:53 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-43-67-70-144-105.dsl.bell.ca) (Ping timeout: 256 seconds) |
| 2022-01-17 03:03:32 +0100 | hays | (rootvegeta@fsf/member/hays) |
| 2022-01-17 03:06:34 +0100 | chomwitt | (~chomwitt@2a02:587:dc0b:200:12c3:7bff:fe6d:d374) (Ping timeout: 250 seconds) |
| 2022-01-17 03:07:07 +0100 | califax- | (~califax@user/califx) |
| 2022-01-17 03:09:40 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) |
| 2022-01-17 03:09:54 +0100 | califax | (~califax@user/califx) (Ping timeout: 276 seconds) |
| 2022-01-17 03:09:55 +0100 | califax- | califax |
| 2022-01-17 03:10:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 03:10:05 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 03:10:05 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 03:14:32 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) (Ping timeout: 240 seconds) |
| 2022-01-17 03:15:05 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 03:15:48 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-134.dsl.bell.ca) |
| 2022-01-17 03:19:08 +0100 | tommd | (~tommd@75-164-130-101.ptld.qwest.net) (Ping timeout: 250 seconds) |
| 2022-01-17 03:23:17 +0100 | xff0x | (~xff0x@2001:1a81:52d5:6400:be64:2647:1b3d:efbf) (Ping timeout: 240 seconds) |
| 2022-01-17 03:23:33 +0100 | mmhat | (~mmh@55d4c3c9.access.ecotel.net) (Quit: WeeChat 3.4) |
| 2022-01-17 03:24:39 +0100 | neurocyte0917093 | (~neurocyte@92.119.9.203) |
| 2022-01-17 03:24:39 +0100 | neurocyte0917093 | (~neurocyte@92.119.9.203) (Changing host) |
| 2022-01-17 03:24:39 +0100 | neurocyte0917093 | (~neurocyte@user/neurocyte) |
| 2022-01-17 03:25:29 +0100 | xff0x | (~xff0x@2001:1a81:53cb:cc00:21cb:98bd:c9ae:29cb) |
| 2022-01-17 03:26:56 +0100 | neurocyte091709 | (~neurocyte@user/neurocyte) (Ping timeout: 250 seconds) |
| 2022-01-17 03:26:56 +0100 | neurocyte0917093 | neurocyte091709 |
| 2022-01-17 03:26:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 03:26:59 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 03:26:59 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 03:27:23 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-01-17 03:40:01 +0100 | waleee | (~waleee@h-98-128-229-110.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2022-01-17 03:41:48 +0100 | leibniz | (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) |
| 2022-01-17 03:42:28 +0100 | <leibniz> | im wondering if i should open a proposal for a superclass but i cant phrase it |
| 2022-01-17 03:42:46 +0100 | <leibniz> | could anyone help? |
| 2022-01-17 03:43:46 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-01-17 03:43:56 +0100 | <leibniz> | oh, i just checked the logs, doesnt look like anyones online |
| 2022-01-17 03:43:59 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-01-17 03:44:52 +0100 | <EvanR> | netsplit? |
| 2022-01-17 03:45:35 +0100 | <leibniz> | im not sure what that is |
| 2022-01-17 03:46:07 +0100 | <cheater> | it's sunday |
| 2022-01-17 03:46:11 +0100 | <cheater> | it's normal |
| 2022-01-17 03:46:22 +0100 | <cheater> | most haskell people are around CET ish |
| 2022-01-17 03:46:28 +0100 | <cheater> | it's 4 am right now in europe |
| 2022-01-17 03:46:36 +0100 | <leibniz> | fair |
| 2022-01-17 03:47:03 +0100 | <leibniz> | does anyone know about monadic lists? |
| 2022-01-17 03:47:18 +0100 | <cheater> | not me |
| 2022-01-17 03:47:23 +0100 | <EvanR> | i.e. concatMap ? |
| 2022-01-17 03:47:29 +0100 | <leibniz> | :t concatMap |
| 2022-01-17 03:47:30 +0100 | <lambdabot> | Foldable t => (a -> [b]) -> t a -> [b] |
| 2022-01-17 03:47:39 +0100 | <leibniz> | no thats just Foldable |
| 2022-01-17 03:47:40 +0100 | <EvanR> | :t concatMap @[] |
| 2022-01-17 03:47:41 +0100 | <lambdabot> | error: |
| 2022-01-17 03:47:41 +0100 | <lambdabot> | Pattern syntax in expression context: concatMap@[] |
| 2022-01-17 03:47:41 +0100 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2022-01-17 03:47:48 +0100 | <EvanR> | yes, I did |
| 2022-01-17 03:47:57 +0100 | <EvanR> | % :t concatMap @[] |
| 2022-01-17 03:47:57 +0100 | <leibniz> | oh right, no, not the list monad |
| 2022-01-17 03:47:57 +0100 | <yahb> | EvanR: (a -> [b]) -> [a] -> [b] |
| 2022-01-17 03:48:03 +0100 | <leibniz> | i mean when the tail is in a monad |
| 2022-01-17 03:48:19 +0100 | <leibniz> | eg for trees or server calls |
| 2022-01-17 03:48:26 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-01-17 03:48:56 +0100 | <EvanR> | Not sure what you mean |
| 2022-01-17 03:49:03 +0100 | alx741 | (~alx741@157.100.93.160) (Quit: alx741) |
| 2022-01-17 03:49:25 +0100 | <leibniz> | not Foldable t => t a, more like Monad m,Something t => t m a |
| 2022-01-17 03:49:53 +0100 | <leibniz> | i dont think its just Foldable (t m) |
| 2022-01-17 03:50:13 +0100 | <EvanR> | what is Something |
| 2022-01-17 03:50:20 +0100 | <EvanR> | supposed to be |
| 2022-01-17 03:50:21 +0100 | <leibniz> | idk, thats the proposal |
| 2022-01-17 03:50:26 +0100 | <EvanR> | ok, make it |
| 2022-01-17 03:50:28 +0100 | <leibniz> | specifically i think there is some interference with Traversable |
| 2022-01-17 03:50:33 +0100 | <leibniz> | :t traverse |
| 2022-01-17 03:50:34 +0100 | <lambdabot> | (Traversable t, Applicative f) => (a -> f b) -> t a -> f (t b) |
| 2022-01-17 03:50:54 +0100 | <leibniz> | that Applicative f becomes a problem for lazy evaluation |
| 2022-01-17 03:51:04 +0100 | <leibniz> | if it doesnt commute with the monad |
| 2022-01-17 03:51:28 +0100 | <leibniz> | i think this motivates some kind of superclass or something but i cant figure it out |
| 2022-01-17 03:52:17 +0100 | <leibniz> | either you need to make a constraint that the monad and the applicative commute, or you need to only use applicatives like State that commute with arbitrary monads |
| 2022-01-17 03:52:36 +0100 | <leibniz> | :t mapAccumR |
| 2022-01-17 03:52:37 +0100 | <lambdabot> | Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2022-01-17 03:52:49 +0100 | <leibniz> | such as here where StateR is being used |
| 2022-01-17 03:53:03 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-01-17 03:53:43 +0100 | <leibniz> | basically thats the proposal in its current form, but i think if i had help it could be made more precise |
| 2022-01-17 03:54:11 +0100 | <leibniz> | makes sense? |
| 2022-01-17 03:55:44 +0100 | <leibniz> | seems to only be an issue for tails wrapped in monads |
| 2022-01-17 03:56:32 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-01-17 03:56:41 +0100 | <leibniz> | seems quite central to an algebra of stream transducers, ie being able to monoidally compose mapAccumR calls |
| 2022-01-17 03:57:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-01-17 03:57:46 +0100 | <leibniz> | i think you can call them scanners, from if the state gathers the values returned so far, and outputs them |
| 2022-01-17 03:58:07 +0100 | <leibniz> | like scan |
| 2022-01-17 03:58:29 +0100 | <leibniz> | i have to log off now, but ill check back soon to see if anyone has any input |
| 2022-01-17 03:58:32 +0100 | leibniz | (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) (Quit: Connection closed) |
| 2022-01-17 03:58:50 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) |
| 2022-01-17 04:00:02 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-01-17 04:00:21 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 04:03:38 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 04:04:46 +0100 | lemonsni- | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-01-17 04:05:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 04:05:52 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 04:05:52 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 04:06:30 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2022-01-17 04:10:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-01-17 04:11:28 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-01-17 04:11:56 +0100 | nautical | (~nautical@2601:602:900:1630::7cbb) (Quit: WeeChat 3.3) |
| 2022-01-17 04:17:03 +0100 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-01-17 04:31:12 +0100 | theproffesor | (~theproffe@user/theproffesor) (Quit: Leaving) |
| 2022-01-17 04:33:54 +0100 | theproffesor | (~theproffe@user/theproffesor) |
| 2022-01-17 04:37:02 +0100 | td_ | (~td@muedsl-82-207-238-133.citykom.de) (Ping timeout: 240 seconds) |
| 2022-01-17 04:37:39 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 04:38:50 +0100 | td_ | (~td@94.134.91.126) |
| 2022-01-17 04:43:02 +0100 | slack1256 | (~slack1256@186.11.99.46) |
| 2022-01-17 04:45:25 +0100 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-01-17 04:46:52 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-01-17 04:49:16 +0100 | jespada | (~jespada@87.74.36.188) (Ping timeout: 250 seconds) |
| 2022-01-17 04:50:37 +0100 | shapr | (~user@50-206-240-178-static.hfc.comcastbusiness.net) |
| 2022-01-17 04:52:45 +0100 | jespada | (~jespada@87.74.36.188) |
| 2022-01-17 04:54:12 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) |
| 2022-01-17 04:56:06 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-01-17 04:56:19 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-01-17 04:58:03 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 04:58:47 +0100 | yauhsien_ | (~yauhsien@61-231-24-192.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-01-17 05:03:03 +0100 | stevenxl | (~stevenxl@174.128.182.101) |
| 2022-01-17 05:04:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 05:04:00 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 05:04:00 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 05:07:15 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-01-17 05:08:13 +0100 | jlamothe | (~jlamothe@198.251.61.229) (Ping timeout: 240 seconds) |
| 2022-01-17 05:08:52 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2022-01-17 05:12:10 +0100 | leibniz | (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) |
| 2022-01-17 05:12:43 +0100 | slac29495 | (~slack1256@191.126.227.201) |
| 2022-01-17 05:13:48 +0100 | leibniz | (~leibniz@cpc101088-sgyl37-2-0-cust22.18-2.cable.virginm.net) (Client Quit) |
| 2022-01-17 05:14:50 +0100 | slack1256 | (~slack1256@186.11.99.46) (Ping timeout: 250 seconds) |
| 2022-01-17 05:14:54 +0100 | slac29495 | slack1256 |
| 2022-01-17 05:15:12 +0100 | jlamothe | (~jlamothe@198.251.61.229) |
| 2022-01-17 05:19:18 +0100 | rembo10 | (~rembo10@remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-01-17 05:20:21 +0100 | rembo10 | (~rembo10@remulis.com) |
| 2022-01-17 05:26:43 +0100 | <Axman6> | > iterate cos 0.5 |
| 2022-01-17 05:26:44 +0100 | <lambdabot> | [0.5,0.8775825618903728,0.6390124941652592,0.8026851006823349,0.694778026788... |
| 2022-01-17 05:26:53 +0100 | <Axman6> | > drop 100 $ iterate cos 0.5 |
| 2022-01-17 05:26:54 +0100 | <lambdabot> | [0.7390851332151607,0.7390851332151607,0.7390851332151607,0.7390851332151607... |
| 2022-01-17 05:27:36 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-01-17 05:29:33 +0100 | mbuf | (~Shakthi@223.178.78.253) |
| 2022-01-17 05:30:17 +0100 | <jackdk> | Axman6: I was watching that vid this morning too |
| 2022-01-17 05:31:45 +0100 | stevenxl_ | (~stevenxl@174.128.182.40) |
| 2022-01-17 05:33:02 +0100 | stevenxl | (~stevenxl@174.128.182.101) (Ping timeout: 240 seconds) |
| 2022-01-17 05:33:55 +0100 | <Axman6> | ha |
| 2022-01-17 05:37:45 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480::41) |
| 2022-01-17 05:38:21 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-01-17 05:39:33 +0100 | <ephemient> | fix cos -- /s |
| 2022-01-17 05:45:26 +0100 | slack1256 | (~slack1256@191.126.227.201) (Remote host closed the connection) |
| 2022-01-17 05:46:11 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-01-17 05:52:37 +0100 | shapr | (~user@50-206-240-178-static.hfc.comcastbusiness.net) (Ping timeout: 256 seconds) |
| 2022-01-17 05:59:15 +0100 | <EvanR> | > fix cos :: CReal |
| 2022-01-17 05:59:17 +0100 | <lambdabot> | *Exception: <<loop>> |
| 2022-01-17 06:00:26 +0100 | <EvanR> | if real numbers are so real how come you've never seen one |
| 2022-01-17 06:01:26 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 06:03:48 +0100 | stevenxl_ | (~stevenxl@174.128.182.40) (Ping timeout: 250 seconds) |
| 2022-01-17 06:06:13 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Ping timeout: 256 seconds) |
| 2022-01-17 06:15:52 +0100 | stevenxl | (~stevenxl@174.128.182.118) |
| 2022-01-17 06:27:57 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480::41) (Ping timeout: 240 seconds) |
| 2022-01-17 06:29:22 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2022-01-17 06:32:17 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-01-17 06:33:59 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 06:41:23 +0100 | n3rdy1 | (~n3rdy1@2600:1700:4570:3480:1b88:50f:dae0:9293) |
| 2022-01-17 06:44:28 +0100 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-01-17 06:44:31 +0100 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) |
| 2022-01-17 06:46:32 +0100 | benin | (~benin@183.82.179.241) (Quit: Ping timeout (120 seconds)) |
| 2022-01-17 06:46:50 +0100 | benin | (~benin@183.82.179.241) |
| 2022-01-17 06:57:17 +0100 | emf | (~emf@2620:10d:c090:400::5:2d26) (Ping timeout: 240 seconds) |
| 2022-01-17 07:00:11 +0100 | emf | (~emf@2620:10d:c090:400::5:2d26) |
| 2022-01-17 07:03:10 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 250 seconds) |
| 2022-01-17 07:07:17 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-01-17 07:07:47 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2022-01-17 07:08:15 +0100 | <c_wraith> | real numbers are one of the more misnamed mathematical constructions. :P |
| 2022-01-17 07:08:23 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 07:17:01 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-01-17 07:18:06 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 07:19:45 +0100 | echoreply | (~echoreply@45.32.163.16) (Quit: WeeChat 2.8) |
| 2022-01-17 07:20:14 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2022-01-17 07:22:21 +0100 | chomwitt | (~chomwitt@athedsl-15695.home.otenet.gr) |
| 2022-01-17 07:26:25 +0100 | dut | (~dut@user/dut) |
| 2022-01-17 07:31:28 +0100 | jeremyn | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-01-17 07:31:28 +0100 | jeremyn_ | (~jeremyn@098-147-212-046.res.spectrum.com) (Quit: Leaving) |
| 2022-01-17 07:31:47 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 2022-01-17 07:33:19 +0100 | <hololeap> | what vid is this? |
| 2022-01-17 07:34:33 +0100 | <jackdk> | https://www.youtube.com/watch?v=qHnXE_h5c2M finding the fix point of `cos` |
| 2022-01-17 07:34:58 +0100 | <hololeap> | thanks |
| 2022-01-17 07:35:18 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:fd8d:5488:d800:7443) |
| 2022-01-17 07:35:20 +0100 | <hololeap> | what is the "dependent" in the package dependent-map? is this related to dependent types? |
| 2022-01-17 07:35:33 +0100 | <jackdk> | the type of the value depends on the key |
| 2022-01-17 07:36:37 +0100 | <EvanR> | if you think of a Data.Map as a function from key to value, dependent map is a dependent function from key to value |
| 2022-01-17 07:37:02 +0100 | <xsperry> | 7 |
| 2022-01-17 07:37:14 +0100 | <jackdk> | good number, I use it a lot in my work |
| 2022-01-17 07:37:36 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-01-17 07:37:47 +0100 | <hololeap> | but is this the same "dependent" that's in dependent types? I understand dependent-map but I haven't understood dependent types |
| 2022-01-17 07:38:34 +0100 | <hololeap> | just wondering if they're related somehow |
| 2022-01-17 07:39:13 +0100 | <EvanR> | yeah by dependent function i mean a function with a Pi type |
| 2022-01-17 07:39:29 +0100 | <EvanR> | where the type of output depends on the input value |
| 2022-01-17 07:41:20 +0100 | <hololeap> | what I understand of dependent types, is that things like finite-typelits can be expressed more naturally, and with arbitrary types (as opposed to just Nat/Integer). does this relate to what I just described, or am I mistaken? |
| 2022-01-17 07:42:43 +0100 | <hololeap> | sorry, there's a lot to unpack there. I should probably get some understanding of what dependent types are before asking ths. |
| 2022-01-17 07:43:01 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 07:43:02 +0100 | bollu | (~bollu@159.65.151.13) (Ping timeout: 250 seconds) |
| 2022-01-17 07:43:35 +0100 | bollu | (~bollu@159.65.151.13) |
| 2022-01-17 07:46:11 +0100 | <hololeap> | as far as dependent-map goes, I am going to use it to parse key-value pairs where different keys have different representations. I'll also have a Text "key" for unmatched representations, and a () (or Comment) key for comments |
| 2022-01-17 07:47:20 +0100 | bollu | (~bollu@159.65.151.13) (Client Quit) |
| 2022-01-17 07:47:40 +0100 | bollu | (~bollu@159.65.151.13) |
| 2022-01-17 07:47:41 +0100 | <geekosaur> | I think you're asking for the opposite of dependent-map? you want all the keys to have different types, instead of the values? |
| 2022-01-17 07:47:45 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 2022-01-17 07:48:15 +0100 | <hololeap> | no, I phrased that incorrectly, I meant "where different keys have different _value_ representations" |
| 2022-01-17 07:49:18 +0100 | <geekosaur> | okay, then this may be for you. it's not really dependent types although it's closely related |
| 2022-01-17 07:50:18 +0100 | <hololeap> | for instance, a key with the text "name" would yield a Name as its value, where "address" would yield an Address as its value |
| 2022-01-17 07:50:27 +0100 | _ht | (~quassel@2a02:a468:b619:1:a06e:65c3:1bfa:20a6) |
| 2022-01-17 07:50:55 +0100 | <geekosaur> | (I think internally it uses TypeRep and cast from Data.Typeable, so actually it's closer to dynamic typing, but to the extent that each key determines the type of a value, it's more principled than dynamic typing) |
| 2022-01-17 07:51:13 +0100 | <hololeap> | it doesn't fit very well into the traditional Map representation where all keys are one type and all values are also one type |
| 2022-01-17 07:52:33 +0100 | <awpr> | it does seem applicable here, but is there some reason this can't be just a record? I guess accepting arbitrary orderings of fields could be fiddly if not using a map to accumulate them |
| 2022-01-17 07:53:00 +0100 | <geekosaur> | also partial records are a PITA |
| 2022-01-17 07:53:16 +0100 | <hololeap> | yes, and there may be multiple lines of the same field with different values, and the values need to be appended |
| 2022-01-17 07:54:08 +0100 | <hololeap> | for instance: Address: 123 Main St -- this may be one of multiple "Address:" lines |
| 2022-01-17 07:54:18 +0100 | <awpr> | doesn't seem to be a problem for a record, especially if zero lines of a given field should be an empty value in whatever monoid |
| 2022-01-17 07:54:31 +0100 | <geekosaur> | yeh, at that point it sounds like a record oflists |
| 2022-01-17 07:54:37 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 240 seconds) |
| 2022-01-17 07:55:26 +0100 | <awpr> | (or HKD record where you collect everything and then validate that all the required bits were set at the end) |
| 2022-01-17 07:56:02 +0100 | <hololeap> | so accumulate it into a record of Text, and then split it into different types later? |
| 2022-01-17 07:56:41 +0100 | <geekosaur> | no, you accumulate it into a record of typed fields, you just initialize all of those fields to [] or whatever before parsing |
| 2022-01-17 07:56:42 +0100 | <awpr> | `data Thing = Thing { address :: Text, phones :: [IntOrSomething] }` |
| 2022-01-17 07:56:58 +0100 | <geekosaur> | this assumes you know all the types up front; if you don't then you may be back to a dependent map |
| 2022-01-17 07:57:08 +0100 | <geekosaur> | but then if you don't it may be difficult to work with anyway |
| 2022-01-17 07:57:12 +0100 | <awpr> | also assumes finitely many fields / a fixed set of fields |
| 2022-01-17 07:57:27 +0100 | <hololeap> | ok so they all have to be monoids and are initialized with mempty |
| 2022-01-17 07:57:48 +0100 | <hololeap> | all the fields |
| 2022-01-17 07:57:48 +0100 | <awpr> | yeah, that's one option, if it makes sense for them all to be accreted monoidally from each KV entry |
| 2022-01-17 07:58:21 +0100 | <hololeap> | that's basically what I'm doing, is a mappend operation from each line that comes in |
| 2022-01-17 07:58:48 +0100 | <hololeap> | ok, that makes sense |
| 2022-01-17 08:00:07 +0100 | chomwitt | (~chomwitt@athedsl-15695.home.otenet.gr) (Ping timeout: 256 seconds) |
| 2022-01-17 08:00:59 +0100 | <hololeap> | I was imagining this as one giant Map with different types, but it makes sense to create a sum of Maps, each with different types |
| 2022-01-17 08:01:20 +0100 | <hololeap> | or something like that |
| 2022-01-17 08:02:02 +0100 | <hololeap> | it doesn't even have to be a map since it already has |
| 2022-01-17 08:02:10 +0100 | <hololeap> | "keys" by being a record |
| 2022-01-17 08:02:28 +0100 | ahammer | (~ahammer@157.122.68.240) |
| 2022-01-17 08:03:34 +0100 | ahammer | (~ahammer@157.122.68.240) (Client Quit) |
| 2022-01-17 08:05:45 +0100 | <hololeap> | is it preferable to run a parser library on individual lines, or give it the whole input and break it into lines within the library? |
| 2022-01-17 08:07:56 +0100 | <dsal> | aLine `endBy` "\n" |
| 2022-01-17 08:08:55 +0100 | <dsal> | Though, it depends, I guess. I run attoparsec on a line at a time in a line based streaming protocol. |
| 2022-01-17 08:09:32 +0100 | benin | (~benin@183.82.179.241) (Ping timeout: 240 seconds) |
| 2022-01-17 08:09:58 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-01-17 08:11:41 +0100 | <hololeap> | with something like megaparsec, there might be context if I do the line breaks within the library |
| 2022-01-17 08:12:41 +0100 | <hololeap> | so if a parse error occurs I get more data |
| 2022-01-17 08:13:03 +0100 | rusrushal13 | (~rusrushal@2401:4900:5d3a:7a52:1002:e7e:5883:6105) |
| 2022-01-17 08:14:41 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-01-17 08:19:23 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-01-17 08:21:00 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-01-17 08:21:10 +0100 | chomwitt | (~chomwitt@2a02:587:dc0b:200:12c3:7bff:fe6d:d374) |
| 2022-01-17 08:22:47 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 08:23:45 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 2022-01-17 08:24:47 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2022-01-17 08:24:56 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2022-01-17 08:26:08 +0100 | <jackdk> | hololeap: Ed's given a couple of talks on Monoidal Parsing, and what you have to do to a language design to make it amenable to fast parsing |
| 2022-01-17 08:26:50 +0100 | <jackdk> | there's a 42 min keynote from scala world (in Haskell) and a 90min talk at Boston Haskell which I haven't watched |
| 2022-01-17 08:31:20 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 08:35:48 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-01-17 08:38:10 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-01-17 08:44:34 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-01-17 08:47:17 +0100 | emf | (~emf@2620:10d:c090:400::5:2d26) (Ping timeout: 240 seconds) |
| 2022-01-17 08:48:10 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 08:48:33 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2022-01-17 08:52:00 +0100 | emf | (~emf@2620:10d:c090:400::5:2d26) |
| 2022-01-17 08:55:47 +0100 | benin | (~benin@183.82.179.241) |
| 2022-01-17 08:55:57 +0100 | lewisje | (~lewisje@72.49.207.113) |
| 2022-01-17 08:56:43 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-01-17 08:57:32 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 240 seconds) |
| 2022-01-17 08:58:37 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9659:19c7:2455:b4cc) |
| 2022-01-17 08:58:38 +0100 | biog | (~user1@static.39.160.132.142.clients.your-server.de) |
| 2022-01-17 08:58:54 +0100 | cfricke | (~cfricke@user/cfricke) |
| 2022-01-17 09:00:24 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-01-17 09:01:10 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 2022-01-17 09:03:31 +0100 | michalz | (~michalz@185.246.204.107) |
| 2022-01-17 09:04:31 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 09:10:32 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) |
| 2022-01-17 09:12:29 +0100 | chele | (~chele@user/chele) |
| 2022-01-17 09:12:41 +0100 | <earthy> | 'do to a language' or to a grammar? |
| 2022-01-17 09:29:57 +0100 | MajorBiscuit | (~MajorBisc@c-001-020-016.client.tudelft.eduvpn.nl) |
| 2022-01-17 09:31:11 +0100 | rusrushal13 | (~rusrushal@2401:4900:5d3a:7a52:1002:e7e:5883:6105) (Ping timeout: 256 seconds) |
| 2022-01-17 09:33:02 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 240 seconds) |
| 2022-01-17 09:37:20 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-01-17 09:38:43 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 09:41:23 +0100 | xkuru | (~xkuru@user/xkuru) (Remote host closed the connection) |
| 2022-01-17 09:45:02 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-01-17 09:45:40 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 09:47:30 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:911c:c4ab:2f7e:d3f1) |
| 2022-01-17 09:49:50 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-01-17 09:54:44 +0100 | neurocyte091709 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
| 2022-01-17 09:59:52 +0100 | razetime | (~quassel@49.207.203.87) |
| 2022-01-17 10:00:47 +0100 | shriekingnoise | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-01-17 10:01:33 +0100 | neurocyte091709 | (~neurocyte@92.119.9.203) |
| 2022-01-17 10:01:33 +0100 | neurocyte091709 | (~neurocyte@92.119.9.203) (Changing host) |
| 2022-01-17 10:01:33 +0100 | neurocyte091709 | (~neurocyte@user/neurocyte) |
| 2022-01-17 10:01:48 +0100 | neurocyte091709 | (~neurocyte@user/neurocyte) (Client Quit) |
| 2022-01-17 10:02:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:911c:c4ab:2f7e:d3f1) (Remote host closed the connection) |
| 2022-01-17 10:05:35 +0100 | neurocyte091709 | (~neurocyte@92.119.9.203) |
| 2022-01-17 10:05:35 +0100 | neurocyte091709 | (~neurocyte@92.119.9.203) (Changing host) |
| 2022-01-17 10:05:35 +0100 | neurocyte091709 | (~neurocyte@user/neurocyte) |
| 2022-01-17 10:06:38 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-01-17 10:06:57 +0100 | kmein | (~weechat@user/kmein) |
| 2022-01-17 10:11:47 +0100 | loonycyborg_ | loonycyborg |
| 2022-01-17 10:12:03 +0100 | loonycyborg | (~loonycybo@chantal.wesnoth.org) (Quit: ZNC - http://znc.sourceforge.net) |
| 2022-01-17 10:12:22 +0100 | loonycyborg | (~loonycybo@wesnoth/developer/loonycyborg) |
| 2022-01-17 10:14:39 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-01-17 10:14:57 +0100 | kmein | (~weechat@user/kmein) |
| 2022-01-17 10:17:39 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 2022-01-17 10:17:40 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
| 2022-01-17 10:17:43 +0100 | allbery_b | geekosaur |
| 2022-01-17 10:19:32 +0100 | raym | (~raym@user/raym) (Ping timeout: 240 seconds) |
| 2022-01-17 10:21:11 +0100 | raym | (~raym@user/raym) |
| 2022-01-17 10:22:59 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2022-01-17 10:23:27 +0100 | jgeerds | (~jgeerds@55d4090e.access.ecotel.net) |
| 2022-01-17 10:23:30 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-01-17 10:24:29 +0100 | xb0o2 | (~xb0o2@user/xb0o2) |
| 2022-01-17 10:24:32 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 10:27:24 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-01-17 10:28:25 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-01-17 10:30:28 +0100 | `2jt | (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2022-01-17 10:30:51 +0100 | `2jt | (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) |
| 2022-01-17 10:38:59 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) |
| 2022-01-17 10:40:17 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-01-17 10:42:43 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.70) |
| 2022-01-17 10:43:19 +0100 | deadmarshal | (~deadmarsh@95.38.231.124) (Ping timeout: 256 seconds) |
| 2022-01-17 10:49:48 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-01-17 10:55:03 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 256 seconds) |
| 2022-01-17 10:56:34 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2022-01-17 10:57:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2022-01-17 10:58:13 +0100 | EsoAlgo4 | (~EsoAlgo@152.70.142.52) (Ping timeout: 240 seconds) |
| 2022-01-17 11:03:48 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-01-17 11:04:08 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-01-17 11:05:44 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:6c6d:89a3:38d7:fce1:bcf4) |
| 2022-01-17 11:08:11 +0100 | <DaringJoker> | Hey everyone, what is a good way to learn haskell . is there is some sort of exercises that could be seen as assessments to help me in the way of learning haskell? been learning for last few months. still do not feel confident enough with the language. |
| 2022-01-17 11:18:30 +0100 | <merijn> | @where exercises |
| 2022-01-17 11:18:30 +0100 | <lambdabot> | http://www.haskell.org/haskellwiki/H-99:_Ninety-Nine_Haskell_Problems https://github.com/bitemyapp/learnhaskell http://www.reddit.com/r/dailyprogrammer/ http://www.reddit.com/r/programmingchallenges/ |
| 2022-01-17 11:18:47 +0100 | <merijn> | There's also the Advent of Code of previous years, of course |
| 2022-01-17 11:19:12 +0100 | <merijn> | DaringJoker: Although I don't think any of those are really assessments of how well you understand Haskell |
| 2022-01-17 11:19:55 +0100 | <merijn> | DaringJoker: In the end "just build something, get stuck, ask for help to figure out why, repeat" is the most effective way to test understanding :) |
| 2022-01-17 11:21:33 +0100 | <DaringJoker> | thank you |
| 2022-01-17 11:22:30 +0100 | Sgeo_ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-01-17 11:23:19 +0100 | wmacmil | (~wmacmil@83-233-165-97.cust.bredband2.com) |
| 2022-01-17 11:24:05 +0100 | <DaringJoker> | also which book would you suggest to beginners "learn you a haskell for greater good" or "haskell programming from first principles" ? |
| 2022-01-17 11:25:39 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) |
| 2022-01-17 11:25:48 +0100 | phma | (phma@2001:5b0:2172:f858:cd4e:e80c:6117:de1e) (Read error: Connection reset by peer) |
| 2022-01-17 11:26:02 +0100 | dut_ | (~dut@user/dut) |
| 2022-01-17 11:26:08 +0100 | dut_ | (~dut@user/dut) (Client Quit) |
| 2022-01-17 11:26:44 +0100 | <merijn> | Not the first one |
| 2022-01-17 11:27:09 +0100 | <DaringJoker> | any other than those two? |
| 2022-01-17 11:27:11 +0100 | <merijn> | Learn You a Haskell is nice as a sort of "quick overview and intro", but it doesn't really teach you a lot about actually *writing* code |
| 2022-01-17 11:27:17 +0100 | <merijn> | @where books |
| 2022-01-17 11:27:17 +0100 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 2022-01-17 11:27:23 +0100 | <merijn> | @where PIH |
| 2022-01-17 11:27:23 +0100 | <lambdabot> | "Programming in Haskell" by Graham Hutton in 2007-01-15,2016-09-01 at <http://www.cs.nott.ac.uk/~pszgmh/pih.html> |
| 2022-01-17 11:27:35 +0100 | <merijn> | @where TFwH |
| 2022-01-17 11:27:35 +0100 | <lambdabot> | "Thinking Functionally with Haskell" by Richard Bird in Oct 2014 at <http://www.cs.ox.ac.uk/publications/books/functional/> |
| 2022-01-17 11:28:29 +0100 | jgeerds | (~jgeerds@55d4090e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-01-17 11:28:34 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
| 2022-01-17 11:29:13 +0100 | phma | (~phma@2001:5b0:211f:fa48:96c6:f96e:9bb9:85b2) |
| 2022-01-17 11:29:34 +0100 | <DaringJoker> | Thank you merijn |
| 2022-01-17 11:30:21 +0100 | dut | (~dut@user/dut) (Ping timeout: 256 seconds) |
| 2022-01-17 11:32:32 +0100 | biog | (~user1@static.39.160.132.142.clients.your-server.de) (Ping timeout: 240 seconds) |
| 2022-01-17 11:36:37 +0100 | EsoAlgo | (~EsoAlgo@152.70.142.52) |
| 2022-01-17 11:38:17 +0100 | deadmarshal_ | (~deadmarsh@95.38.228.70) (Ping timeout: 256 seconds) |
| 2022-01-17 11:38:42 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 11:41:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
| 2022-01-17 11:42:20 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) |
| 2022-01-17 11:42:43 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2022-01-17 11:46:37 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:6c6d:89a3:38d7:fce1:bcf4) (Ping timeout: 256 seconds) |
| 2022-01-17 11:47:57 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-01-17 11:50:19 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 11:55:07 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 2022-01-17 12:00:47 +0100 | coot | (~coot@89-64-85-93.dynamic.chello.pl) (Quit: coot) |
| 2022-01-17 12:01:05 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 12:01:18 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 250 seconds) |
| 2022-01-17 12:02:22 +0100 | jinsun | (~quassel@user/jinsun) |
| 2022-01-17 12:03:05 +0100 | ubert | (~Thunderbi@p200300ecdf0994547bbbb5c3c61d0cc2.dip0.t-ipconnect.de) |
| 2022-01-17 12:04:53 +0100 | jinsun | (~quassel@user/jinsun) (Client Quit) |
| 2022-01-17 12:05:52 +0100 | jinsun | (~quassel@user/jinsun) |
| 2022-01-17 12:11:27 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:763:2873:85bc:27c7:f81) |
| 2022-01-17 12:12:03 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-01-17 12:12:28 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:763:2873:85bc:27c7:f81) (Client Quit) |
| 2022-01-17 12:12:37 +0100 | Inst | (~delicacie@2601:6c4:4080:3f80:4437:11a4:119d:8219) (Ping timeout: 240 seconds) |
| 2022-01-17 12:24:13 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-01-17 12:26:26 +0100 | Erutuon | (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 2022-01-17 12:31:31 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2022-01-17 12:34:02 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-01-17 12:35:05 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-01-17 12:40:02 +0100 | jzsinatra | (~jzsinatra@88-114-238-31.elisa-laajakaista.fi) (Quit: leaving) |
| 2022-01-17 12:45:16 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 12:49:48 +0100 | cstml | (~cstml@user/cstml) |
| 2022-01-17 12:50:25 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) |
| 2022-01-17 12:52:07 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-01-17 12:59:19 +0100 | mmhat | (~mmh@55d4d096.access.ecotel.net) |
| 2022-01-17 13:05:31 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) (Quit: Konversation terminated!) |
| 2022-01-17 13:05:44 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) |
| 2022-01-17 13:07:36 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 250 seconds) |
| 2022-01-17 13:07:49 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) (Ping timeout: 256 seconds) |
| 2022-01-17 13:09:31 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-01-17 13:09:56 +0100 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.3) |
| 2022-01-17 13:10:26 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) |
| 2022-01-17 13:12:27 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) (Quit: Konversation terminated!) |
| 2022-01-17 13:12:59 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) |
| 2022-01-17 13:17:08 +0100 | MasseR | (~MasseR@51.15.143.128) (Quit: The Lounge - https://thelounge.chat) |
| 2022-01-17 13:17:45 +0100 | MasseR4 | (~MasseR@51.15.143.128) |
| 2022-01-17 13:25:48 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-01-17 13:25:52 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 13:30:08 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) (Ping timeout: 250 seconds) |
| 2022-01-17 13:32:31 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 13:33:49 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-01-17 13:34:08 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-01-17 13:34:23 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-01-17 13:34:28 +0100 | AlexNoo_ | AlexNoo |
| 2022-01-17 13:37:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-01-17 13:37:41 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 256 seconds) |
| 2022-01-17 13:49:05 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 13:50:19 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 13:54:17 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 256 seconds) |
| 2022-01-17 13:56:18 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 14:00:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-01-17 14:05:36 +0100 | bitdex_ | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2022-01-17 14:06:48 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 14:06:51 +0100 | ub | (~Thunderbi@141.98.252.232) |
| 2022-01-17 14:11:02 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 2022-01-17 14:11:08 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 14:11:48 +0100 | ahammer | (~ahammer@157.122.68.240) |
| 2022-01-17 14:14:05 +0100 | <wmacmil> | when working with a cabal executable operating on text files, i.e. /app/Main.hs, can one specify in the .cabal file the location of the text files, /text/foo.txt |
| 2022-01-17 14:15:23 +0100 | <wmacmil> | so that one merely just hast to specify foo = "foo.txt" :: FilePath |
| 2022-01-17 14:18:32 +0100 | ahammer | (~ahammer@157.122.68.240) (Ping timeout: 240 seconds) |
| 2022-01-17 14:18:42 +0100 | slack1256 | (~slack1256@186.11.101.174) |
| 2022-01-17 14:20:02 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-01-17 14:20:22 +0100 | slac26035 | (~slack1256@191.126.227.201) |
| 2022-01-17 14:21:59 +0100 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2022-01-17 14:22:30 +0100 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-01-17 14:23:11 +0100 | slack1256 | (~slack1256@186.11.101.174) (Ping timeout: 256 seconds) |
| 2022-01-17 14:24:19 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 14:24:46 +0100 | jespada | (~jespada@87.74.36.188) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 14:24:52 +0100 | <merijn> | wmacmil: "It Depends (TM)" |
| 2022-01-17 14:30:07 +0100 | <wmacmil> | i mean i can just append everything with text/*, but just wondering *best practices* |
| 2022-01-17 14:30:23 +0100 | <geekosaur> | wmacmil, usually one uses the (generated if referenced) Paths module for this. https://cabal.readthedocs.io/en/3.4/cabal-package.html#accessing-data-files-from-package-code |
| 2022-01-17 14:32:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 14:34:08 +0100 | <wmacmil> | thanks! |
| 2022-01-17 14:36:26 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2022-01-17 14:37:21 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-01-17 14:38:22 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 2022-01-17 14:39:04 +0100 | ahammer | (~ahammer@157.122.68.240) |
| 2022-01-17 14:39:08 +0100 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-01-17 14:41:26 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-01-17 14:41:33 +0100 | jinsun__ | (~quassel@user/jinsun) |
| 2022-01-17 14:41:57 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 2022-01-17 14:44:02 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:472b:cd73:30b0:2c02:6066) |
| 2022-01-17 14:45:06 +0100 | jinsun | (~quassel@user/jinsun) (Ping timeout: 250 seconds) |
| 2022-01-17 14:48:11 +0100 | dut | (~dut@user/dut) |
| 2022-01-17 14:51:02 +0100 | echoone | (~echoone@188.74.32.13) |
| 2022-01-17 14:51:39 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) |
| 2022-01-17 14:52:28 +0100 | Hypnosz | (~resende@2001:8a0:e389:bb00:24da:c021:5892:f151) (Ping timeout: 250 seconds) |
| 2022-01-17 14:53:09 +0100 | DaringJoker | (~DaringJok@2400:1a00:b030:472b:cd73:30b0:2c02:6066) (Quit: Client closed) |
| 2022-01-17 14:57:43 +0100 | jinsun__ | (~quassel@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2022-01-17 14:58:38 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:6155:4b1c:4cef:c11c) |
| 2022-01-17 14:59:00 +0100 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-01-17 14:59:07 +0100 | kuribas | (~user@ptr-25vy0i9haxfrs6rwale.18120a2.ip6.access.telenet.be) |
| 2022-01-17 14:59:10 +0100 | jinsun | (~quassel@user/jinsun) |
| 2022-01-17 14:59:16 +0100 | <wmacmil> | is there a way to interface hoogle with Dante |
| 2022-01-17 14:59:30 +0100 | <wmacmil> | so that one never has to leave the emacs terminal |
| 2022-01-17 14:59:49 +0100 | xb0o2 | (~xb0o2@user/xb0o2) |
| 2022-01-17 15:00:00 +0100 | <geekosaur> | I thought dante was dead/unsupported |
| 2022-01-17 15:01:34 +0100 | <geekosaur> | "Dante offers no support for eldoc (but can show type signatures in the minibuffer by modifying the variable: dante-tap-type-time), nor Hoogle." |
| 2022-01-17 15:02:23 +0100 | <Hecate> | damn I thought we were talking about network protocols all of a sudden |
| 2022-01-17 15:02:59 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 15:06:12 +0100 | <wmacmil> | :/ |
| 2022-01-17 15:06:26 +0100 | <wmacmil> | i've been using dante and it works just fine |
| 2022-01-17 15:07:05 +0100 | <wmacmil> | but just out of curiousity, what are other ide-type development setups compatible with emacs/spacemacs? |
| 2022-01-17 15:07:07 +0100 | <geekosaur> | probably does, but it's limited. there's an lsp-mode in emacs iirc, then you can use hls as the language server |
| 2022-01-17 15:07:38 +0100 | <geekosaur> | in fact I thought spacemacs came with that setup enabled |
| 2022-01-17 15:11:25 +0100 | jinsun | (~quassel@user/jinsun) (Quit: No Ping reply in 180 seconds.) |
| 2022-01-17 15:12:33 +0100 | echoone | (~echoone@188.74.32.13) (Quit: Client closed) |
| 2022-01-17 15:12:52 +0100 | jinsun | (~quassel@user/jinsun) |
| 2022-01-17 15:15:47 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-01-17 15:16:17 +0100 | phma | (~phma@2001:5b0:211f:fa48:96c6:f96e:9bb9:85b2) (Read error: Connection reset by peer) |
| 2022-01-17 15:17:04 +0100 | echoone | (~echoone@188.74.32.13) |
| 2022-01-17 15:18:53 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 15:18:53 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 2022-01-17 15:19:14 +0100 | jkaye | (~jkaye@2601:281:8300:7530:c6d6:7de6:6176:c300) |
| 2022-01-17 15:19:57 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) |
| 2022-01-17 15:25:22 +0100 | max22- | (~maxime@lfbn-ren-1-1026-62.w92-139.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-01-17 15:25:37 +0100 | xff0x | (~xff0x@2001:1a81:53cb:cc00:21cb:98bd:c9ae:29cb) (Ping timeout: 240 seconds) |
| 2022-01-17 15:26:49 +0100 | xff0x | (~xff0x@2001:1a81:53cb:cc00:be2f:4794:e7a4:33cb) |
| 2022-01-17 15:26:55 +0100 | max22- | (~maxime@2a01cb08833598008a0dded606ad9bd8.ipv6.abo.wanadoo.fr) |
| 2022-01-17 15:26:58 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 15:27:47 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) (Ping timeout: 256 seconds) |
| 2022-01-17 15:28:18 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 276 seconds) |
| 2022-01-17 15:28:53 +0100 | <polyphem> | wmacmil: thers also : https://github.com/lazamar/haskell-docs-cli |
| 2022-01-17 15:29:11 +0100 | <polyphem> | wmacmil: if it suits your environment |
| 2022-01-17 15:32:39 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 15:33:37 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-01-17 15:34:17 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 2022-01-17 15:34:40 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-01-17 15:37:27 +0100 | shapr | (~user@50-206-240-178-static.hfc.comcastbusiness.net) |
| 2022-01-17 15:40:03 +0100 | razetime | (~quassel@49.207.203.87) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-01-17 15:47:30 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-01-17 15:49:09 +0100 | Topsi | (~Tobias@dyndsl-095-033-095-097.ewe-ip-backbone.de) |
| 2022-01-17 15:49:23 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-01-17 15:53:59 +0100 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-01-17 15:54:25 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-01-17 15:58:54 +0100 | biog | (~user1@159.224.42.85) |
| 2022-01-17 16:00:51 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-01-17 16:04:19 +0100 | ahammer | (~ahammer@157.122.68.240) (Quit: Leaving) |
| 2022-01-17 16:05:07 +0100 | echoone | (~echoone@188.74.32.13) (Quit: Client closed) |
| 2022-01-17 16:10:12 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 16:14:28 +0100 | mikoto-chan | (~mikoto-ch@ptr-4oim6bu0n4pp6j2y5oj.18120a2.ip6.access.telenet.be) |
| 2022-01-17 16:14:35 +0100 | echoone | (~echoone@188.74.32.13) |
| 2022-01-17 16:19:31 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 16:20:45 +0100 | chele_ | (~chele@user/chele) |
| 2022-01-17 16:20:46 +0100 | chele | (~chele@user/chele) (Read error: Connection reset by peer) |
| 2022-01-17 16:22:43 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) |
| 2022-01-17 16:25:52 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 16:26:56 +0100 | raym | (~raym@user/raym) (Ping timeout: 250 seconds) |
| 2022-01-17 16:28:12 +0100 | raym | (~raym@user/raym) |
| 2022-01-17 16:31:05 +0100 | wolfshappen | (~waff@irc.furworks.de) (Ping timeout: 256 seconds) |
| 2022-01-17 16:32:35 +0100 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-01-17 16:32:54 +0100 | echoone | (~echoone@188.74.32.13) (Quit: Client closed) |
| 2022-01-17 16:34:51 +0100 | atwm | (~atwm@178.197.232.144) |
| 2022-01-17 16:36:21 +0100 | echoone | (~echoone@188.74.32.13) |
| 2022-01-17 16:37:02 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 16:37:03 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 16:37:03 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 16:38:38 +0100 | mikoto-chan | (~mikoto-ch@ptr-4oim6bu0n4pp6j2y5oj.18120a2.ip6.access.telenet.be) (Ping timeout: 250 seconds) |
| 2022-01-17 16:39:30 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 250 seconds) |
| 2022-01-17 16:39:45 +0100 | joes | (~joes@dyndsl-095-033-032-093.ewe-ip-backbone.de) |
| 2022-01-17 16:42:06 +0100 | jespada | (~jespada@87.74.36.188) |
| 2022-01-17 16:42:41 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 16:44:37 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-01-17 16:46:45 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 16:49:02 +0100 | xlei_ | (~akans@pool-71-125-19-142.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2022-01-17 16:51:37 +0100 | hays | (rootvegeta@fsf/member/hays) (Ping timeout: 240 seconds) |
| 2022-01-17 16:54:43 +0100 | hays | (~rootveget@fsf/member/hays) |
| 2022-01-17 16:58:46 +0100 | <Athas> | Is something wrong with 'cabal update'? It finishes very quickly and gives me an index-state from the 1st of December 2021. |
| 2022-01-17 17:00:08 +0100 | hughjfchen[m] | (~hughjfche@2001:470:69fc:105::c29d) (Quit: You have been kicked for being idle) |
| 2022-01-17 17:00:32 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-01-17 17:00:47 +0100 | <sclv> | Athas: check if you're actually pointing at hackage and don't have any weird caching proxies inbetween? |
| 2022-01-17 17:00:55 +0100 | <jkaye> | Worked for me this morning |
| 2022-01-17 17:01:12 +0100 | <sclv> | just worked for me. but any proxy between you and hackage might screw up things |
| 2022-01-17 17:01:23 +0100 | <Athas> | My $HOME/.cabal.config points at http://hackage.haskell.org/. |
| 2022-01-17 17:01:38 +0100 | <sclv> | right -- but do you have any network proxies in place? |
| 2022-01-17 17:01:52 +0100 | <Athas> | I guess there might be an intermediate proxy (I'm on a university network), but it'd have to be a recent screwup. It has worked for years. |
| 2022-01-17 17:02:06 +0100 | <sclv> | you can also try passing different --http-transport args which might work around that? |
| 2022-01-17 17:02:31 +0100 | <Athas> | https://hackage.haskell.org/timestamp.json gives me something sensible (that is, recent). |
| 2022-01-17 17:03:16 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 17:03:17 +0100 | stevenxl | (~stevenxl@174.128.182.118) (Quit: leaving) |
| 2022-01-17 17:03:23 +0100 | <Athas> | From what I can see, cabal downloads that file and then concludes everything is OK. |
| 2022-01-17 17:03:25 +0100 | <geekosaur> | just worked for me |
| 2022-01-17 17:04:27 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 17:05:13 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 17:05:53 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2022-01-17 17:06:50 +0100 | phma | (~phma@99.sub-174-212-111.myvzw.com) |
| 2022-01-17 17:07:29 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-01-17 17:10:01 +0100 | <Athas> | Blasting my ~/.cabal fixed it. I'm guessing some cache or state got corrupted. |
| 2022-01-17 17:10:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 17:10:26 +0100 | <Athas> | Or I just enabled Groundhog Day mode somehow. |
| 2022-01-17 17:10:42 +0100 | echoone | (~echoone@188.74.32.13) (Quit: Client closed) |
| 2022-01-17 17:11:29 +0100 | hays | (~rootveget@fsf/member/hays) (Ping timeout: 256 seconds) |
| 2022-01-17 17:13:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-01-17 17:14:06 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-01-17 17:16:46 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 17:19:02 +0100 | lechner | (~lechner@debian/lechner) (Ping timeout: 240 seconds) |
| 2022-01-17 17:20:38 +0100 | nek0 | (~nek0@nek0.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2022-01-17 17:21:15 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-01-17 17:21:50 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:9659:19c7:2455:b4cc) (Quit: WeeChat 2.8) |
| 2022-01-17 17:22:15 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 2022-01-17 17:23:50 +0100 | phma_ | (~phma@2600:1004:b113:67dc:6bd2:9395:38e4:5e62) |
| 2022-01-17 17:23:57 +0100 | phma | (~phma@99.sub-174-212-111.myvzw.com) (Ping timeout: 256 seconds) |
| 2022-01-17 17:26:44 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 250 seconds) |
| 2022-01-17 17:27:05 +0100 | max22- | (~maxime@2a01cb08833598008a0dded606ad9bd8.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-01-17 17:27:45 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 17:28:16 +0100 | phma | (phma@2001:5b0:211f:70f8:30d:c8c3:70a:f361) |
| 2022-01-17 17:28:26 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 17:28:37 +0100 | phma_ | (~phma@2600:1004:b113:67dc:6bd2:9395:38e4:5e62) (Ping timeout: 240 seconds) |
| 2022-01-17 17:28:47 +0100 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) |
| 2022-01-17 17:28:49 +0100 | pottsy | (~pottsy@129.227.183.244) |
| 2022-01-17 17:30:27 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-01-17 17:31:23 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 17:32:06 +0100 | atwm | (~atwm@178.197.232.144) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 17:32:47 +0100 | hays | (rootvegeta@fsf/member/hays) |
| 2022-01-17 17:33:02 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-01-17 17:33:46 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-01-17 17:33:49 +0100 | nek0 | (~nek0@nek0.eu) |
| 2022-01-17 17:37:41 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-01-17 17:39:23 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-01-17 17:41:07 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-01-17 17:41:08 +0100 | rtsn | (~nstr@user/rtsn) |
| 2022-01-17 17:49:22 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 17:51:06 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-01-17 17:51:23 +0100 | <sprout> | > pow |
| 2022-01-17 17:51:25 +0100 | <lambdabot> | error: Variable not in scope: pow |
| 2022-01-17 17:52:54 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 17:52:55 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 17:52:57 +0100 | chele_ | (~chele@user/chele) (Remote host closed the connection) |
| 2022-01-17 17:53:24 +0100 | <xerox> | :t (**) |
| 2022-01-17 17:53:25 +0100 | <lambdabot> | Floating a => a -> a -> a |
| 2022-01-17 17:53:33 +0100 | <xerox> | :t (^) |
| 2022-01-17 17:53:34 +0100 | <lambdabot> | (Integral b, Num a) => a -> b -> a |
| 2022-01-17 17:54:03 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 17:58:27 +0100 | val-host | (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) |
| 2022-01-17 18:00:54 +0100 | <geekosaur> | :t (^^) |
| 2022-01-17 18:00:55 +0100 | <lambdabot> | (Fractional a, Integral b) => a -> b -> a |
| 2022-01-17 18:01:22 +0100 | <val-host> | :t (id) |
| 2022-01-17 18:01:23 +0100 | <lambdabot> | a -> a |
| 2022-01-17 18:01:40 +0100 | <jackson99> | @src id |
| 2022-01-17 18:01:40 +0100 | <lambdabot> | id x = x |
| 2022-01-17 18:02:06 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 18:04:02 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 18:04:17 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 18:06:16 +0100 | megeve | (sid523379@id-523379.hampstead.irccloud.com) |
| 2022-01-17 18:07:38 +0100 | <sprout> | > 0 ** 0 |
| 2022-01-17 18:07:39 +0100 | <lambdabot> | 1.0 |
| 2022-01-17 18:08:29 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) |
| 2022-01-17 18:08:50 +0100 | dut | (~dut@user/dut) (Quit: Leaving) |
| 2022-01-17 18:09:23 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 18:10:55 +0100 | xlei | (~akans@pool-71-125-19-142.nycmny.fios.verizon.net) |
| 2022-01-17 18:11:05 +0100 | joes | (~joes@dyndsl-095-033-032-093.ewe-ip-backbone.de) (Changing host) |
| 2022-01-17 18:11:05 +0100 | joes | (~joes@hardfought/member/joes) |
| 2022-01-17 18:11:14 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-01-17 18:11:51 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 18:14:44 +0100 | fef | (~thedawn@user/thedawn) |
| 2022-01-17 18:17:19 +0100 | max22- | (~maxime@2a01cb0883359800879c6e536325f87b.ipv6.abo.wanadoo.fr) |
| 2022-01-17 18:19:00 +0100 | <xerox> | is this a bug in my own installation or is it the same for you all? you install a ghc, open the local copy of the ghc user guide from the installed docs, then search anything—it just hangs, without ever returning search results |
| 2022-01-17 18:20:17 +0100 | econo | (uid147250@user/econo) |
| 2022-01-17 18:20:23 +0100 | <monochrom> | No. GHC 8.10.7. I searched "forall", got fairly good results too. |
| 2022-01-17 18:21:11 +0100 | <geekosaur> | hm. I tried 9.2.1 as installed from ghcup and there was no user's guide :( |
| 2022-01-17 18:21:28 +0100 | <monochrom> | Yeah I can't test 9.2.1 because of that :) |
| 2022-01-17 18:21:51 +0100 | <monochrom> | But "vacuously no problem" is true :) |
| 2022-01-17 18:22:09 +0100 | slack1256 | (~slack1256@186.11.99.46) |
| 2022-01-17 18:22:12 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-01-17 18:22:34 +0100 | <geekosaur> | search works fine for me in 8.10.7 though |
| 2022-01-17 18:23:32 +0100 | <geekosaur> | 9.0.2 also missing user's guide |
| 2022-01-17 18:24:10 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) (Disconnected: closed) |
| 2022-01-17 18:24:23 +0100 | slac26035 | (~slack1256@191.126.227.201) (Ping timeout: 250 seconds) |
| 2022-01-17 18:24:23 +0100 | qrpnxz | (abc4f95c31@user/qrpnxz) |
| 2022-01-17 18:26:24 +0100 | delYsid | (~user@84-115-55-45.cable.dynamic.surfer.at) |
| 2022-01-17 18:27:11 +0100 | kaph | (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 2022-01-17 18:27:35 +0100 | <delYsid> | I wrote my first data structure (ok, sort of) with instances and stuff :-) It was a really neat learning experience, but I am fully aware this likely already exists. I havent found it yet though. Anyone care to tell me what package this is isomorphic to? https://blind.guru/ListMap.hs |
| 2022-01-17 18:27:44 +0100 | Guest16 | (~Guest16@2400:1a00:b030:a6c:c94f:12dc:44b9:6422) |
| 2022-01-17 18:28:30 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 18:29:06 +0100 | Guest16 | (~Guest16@2400:1a00:b030:a6c:c94f:12dc:44b9:6422) (Client Quit) |
| 2022-01-17 18:30:23 +0100 | <xerox> | delYsid: nice, what do you use it for? |
| 2022-01-17 18:30:35 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 18:30:35 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 18:30:35 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 18:30:48 +0100 | <delYsid> | xerox: I'd like to use it to do key sequences in Brick. |
| 2022-01-17 18:31:11 +0100 | <delYsid> | Basically an imitation of how Emacs keymaps work. |
| 2022-01-17 18:31:12 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 18:32:05 +0100 | <xerox> | deeper levels are for stuff like C-M-x ? |
| 2022-01-17 18:32:16 +0100 | <sshine> | delYsid, I don't think I've seen that before. |
| 2022-01-17 18:32:30 +0100 | <geekosaur> | more like C-x v, I think |
| 2022-01-17 18:32:36 +0100 | <sshine> | delYsid, it resembles a trie. |
| 2022-01-17 18:32:57 +0100 | <delYsid> | interesting, it looks so obvious once its implemented, I would be surprised if it hadn't been invented yet. |
| 2022-01-17 18:33:35 +0100 | <sshine> | delYsid, there might be reasons why you'd wish to nest ListMaps in a very explicit way as you do, i.e., you nest your configuration in a modular way, and you can load configurations and embed them into nested key-combination scopes, if that's what they're used for. |
| 2022-01-17 18:33:38 +0100 | <delYsid> | xerox: C-h v, or any kind of sequence of keystrokes. |
| 2022-01-17 18:34:05 +0100 | <sshine> | delYsid, but you could also flatten a ListMap, either into a plain Map, or into a trie. |
| 2022-01-17 18:34:29 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 18:34:37 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-01-17 18:34:40 +0100 | <geekosaur> | I should have used C-x v v as my example, since it's an actual emacs command :) |
| 2022-01-17 18:35:00 +0100 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 18:35:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-68-166.elisa-laajakaista.fi) |
| 2022-01-17 18:35:11 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 18:36:18 +0100 | <sshine> | do any of you use kmonad? |
| 2022-01-17 18:36:37 +0100 | <geekosaur> | no, although I'm aware of it |
| 2022-01-17 18:38:40 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 2022-01-17 18:40:45 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) |
| 2022-01-17 18:47:47 +0100 | joes | (~joes@hardfought/member/joes) (Quit: Leaving) |
| 2022-01-17 18:49:13 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 18:53:01 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 18:56:22 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-01-17 19:00:09 +0100 | lechner | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2022-01-17 19:00:26 +0100 | benin5 | (benin@gateway/vpn/protonvpn/benin) |
| 2022-01-17 19:01:27 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-01-17 19:01:36 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-01-17 19:01:41 +0100 | <slack1256> | Does a function exist that maps from a 6-tuple of (years, months, days, hours, minutes, seconds) to a `NominalDiffTime`? I can do it myself but I wonder if that already exists somewhere in `time`? |
| 2022-01-17 19:02:23 +0100 | benin | (~benin@183.82.179.241) (Ping timeout: 256 seconds) |
| 2022-01-17 19:02:23 +0100 | benin5 | benin |
| 2022-01-17 19:03:48 +0100 | <jkaye> | slack1256, that would be a little weird since NominalDiffTime is a length of time and not a point in time |
| 2022-01-17 19:04:09 +0100 | <slack1256> | Exactly, it is an interval. |
| 2022-01-17 19:04:52 +0100 | <slack1256> | That 6-tuple is an interval of time |
| 2022-01-17 19:04:55 +0100 | <monochrom> | "1 year" may be 365 days or 366 days. Would you like the average? |
| 2022-01-17 19:05:00 +0100 | <jkaye> | How does it know about leap days/seconds? |
| 2022-01-17 19:05:15 +0100 | <jkaye> | I think you are falling prey to https://infiniteundo.com/post/25326999628/falsehoods-programmers-believe-about-time |
| 2022-01-17 19:05:39 +0100 | <monochrom> | "1 month" is even more interesting... |
| 2022-01-17 19:06:01 +0100 | <jkaye> | monochrom, when you're right, you're right :) |
| 2022-01-17 19:06:02 +0100 | <slack1256> | I got this representation of the postgres Interval type. The graphql query generates the the 6-tuple. |
| 2022-01-17 19:06:39 +0100 | <slack1256> | Even if I am falling prey or whatever, I just wanted to know if somebody had done this work so I don't duplicate the logic. |
| 2022-01-17 19:07:03 +0100 | <jkaye> | I don't think you're understanding |
| 2022-01-17 19:07:14 +0100 | <monochrom> | I don't know whether someone has done this. I bet no. |
| 2022-01-17 19:07:23 +0100 | <jkaye> | That 6-tuple does not map to a NominalDiffTime without making some serious (probably wrong) assumptions |
| 2022-01-17 19:07:33 +0100 | <monochrom> | But even if yes, I bet you will not be duplicating. Everyone resolves my questions differently. |
| 2022-01-17 19:07:55 +0100 | <monochrom> | (All are wrong, but *shrug*) |
| 2022-01-17 19:09:06 +0100 | <monochrom> | (We're now in the territory of "since a famous FOSS program does it, so I'll do it", so every reason why they're doing it wrong will fall on deaf ears.) |
| 2022-01-17 19:09:10 +0100 | Jing | (~hedgehog@240e:390:7c53:a7e1:fd8d:5488:d800:7443) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 19:09:26 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 250 seconds) |
| 2022-01-17 19:09:32 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:6155:4b1c:4cef:c11c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 19:09:58 +0100 | <jkaye> | The issue isn't the Interval, it's trying to convert the Interval to a number of seconds, which is impossible without knowing what you're comparing the Interval to |
| 2022-01-17 19:10:19 +0100 | <jkaye> | (impossible in the general case, without assumptions etc.) |
| 2022-01-17 19:10:20 +0100 | <monochrom> | (Recall also in the corporate world, if you buy from Microsoft or IBM, you "can't go wrong", in the sense that when it's wrong, no one will blame you, "IBM and MS can't be wrong".) |
| 2022-01-17 19:10:50 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 19:10:52 +0100 | <monochrom> | (See how the altruistic FOSS people and the greedy capitalists think alike?) |
| 2022-01-17 19:10:56 +0100 | benin7 | (~benin@183.82.179.241) |
| 2022-01-17 19:11:36 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-01-17 19:11:46 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 19:12:45 +0100 | idk | (~idk@2804:29b8:505a:f33d:8187:1eee:9f1b:78aa) |
| 2022-01-17 19:12:45 +0100 | benin | (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 256 seconds) |
| 2022-01-17 19:12:46 +0100 | benin7 | benin |
| 2022-01-17 19:13:00 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-01-17 19:13:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 19:13:48 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 19:13:48 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 19:15:39 +0100 | Erutuon | (~Erutuon@user/erutuon) |
| 2022-01-17 19:16:17 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-01-17 19:16:22 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 2022-01-17 19:16:27 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2022-01-17 19:16:38 +0100 | <monochrom> | Oh haha, CalenderDiffDays and CalenderDiffTime exist. |
| 2022-01-17 19:17:01 +0100 | <monochrom> | Perhaps just use those instead of NominalDiffTime. |
| 2022-01-17 19:18:06 +0100 | <hpc> | i bet that's probably why NominalDiffTime isn't just called DiffTime |
| 2022-01-17 19:18:06 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 19:18:32 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 2022-01-17 19:19:07 +0100 | <monochrom> | Oh, that one is just about leap seconds. |
| 2022-01-17 19:19:26 +0100 | <jkaye> | Yep, I think the ISO8601 instance for CalendarDiffTime would map to the postgres interval type |
| 2022-01-17 19:19:47 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-01-17 19:20:09 +0100 | <hpc> | oh huh, DiffTime exists too |
| 2022-01-17 19:20:28 +0100 | <hpc> | shows what i know, i try and avoid timekeeping as much as i possibly can |
| 2022-01-17 19:21:39 +0100 | <sprout> | https://egel-language.blogspot.com/2022/01/hindley-milner-inference-is-not-that.html |
| 2022-01-17 19:21:49 +0100 | <sprout> | ^ a small critique. maybe of interest to Haskellers |
| 2022-01-17 19:22:57 +0100 | MajorBiscuit | (~MajorBisc@c-001-020-016.client.tudelft.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-01-17 19:23:32 +0100 | <jkaye> | For me at least, that doesn't explain quite enough. I'd be interested in understanding it better, but I didn't come away with much from reading that |
| 2022-01-17 19:23:34 +0100 | <monochrom> | It is an ignorant critique. Probably also barking up the wrong tree. |
| 2022-01-17 19:24:45 +0100 | dsrt^ | (~dsrt@wsip-98-188-242-61.mc.at.cox.net) (Remote host closed the connection) |
| 2022-01-17 19:24:51 +0100 | <sprout> | that must be it! |
| 2022-01-17 19:25:21 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:6155:4b1c:4cef:c11c) |
| 2022-01-17 19:25:26 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2022-01-17 19:28:11 +0100 | <monochrom> | The example rule T-Lam is among the rules for checking, not inference. You have to hand-annotated everything, and then the rules prove that you are right/wrong. |
| 2022-01-17 19:29:15 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) |
| 2022-01-17 19:29:15 +0100 | <monochrom> | Type inference is an entirely different algorithm. How to invent that algorithm in the first place is not helped by merely having inductive-style rules. |
| 2022-01-17 19:29:17 +0100 | merijn | (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 19:29:32 +0100 | cstml | (~cstml@user/cstml) (Ping timeout: 240 seconds) |
| 2022-01-17 19:30:07 +0100 | <monochrom> | Dependent typing proves that just because you have inductive proof rules doesn't mean an inference algorithm even exists, let alone inventing one. |
| 2022-01-17 19:30:57 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-01-17 19:31:14 +0100 | <monochrom> | I believe that the author also misunderstands at least one of: bisimulation proofs, Algol type checking. |
| 2022-01-17 19:32:18 +0100 | <monochrom> | I think that Algol type checking needs only the inductive-style checking that the author is so sick of. |
| 2022-01-17 19:34:11 +0100 | kojo5551 | (~kojo5551@fep.grid.pub.ro) |
| 2022-01-17 19:34:51 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Ping timeout: 256 seconds) |
| 2022-01-17 19:35:42 +0100 | <sprout> | no way |
| 2022-01-17 19:36:32 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 19:37:42 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2022-01-17 19:38:47 +0100 | otulp | (~otulp@ti0187q162-3172.bb.online.no) |
| 2022-01-17 19:40:24 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-01-17 19:40:41 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 19:40:58 +0100 | <monochrom> | Hell, Algol type checking is definitely by induction not bisimulation. |
| 2022-01-17 19:41:11 +0100 | val-host | (~val-host@2a02:2f0f:9108:b00:6891:37fc:a7bd:3738) (Quit: Leaving) |
| 2022-01-17 19:41:14 +0100 | phma | (phma@2001:5b0:211f:70f8:30d:c8c3:70a:f361) (Read error: Connection reset by peer) |
| 2022-01-17 19:41:38 +0100 | <monochrom> | Bisimulation is inappropriate for: 1. finite things; 2. trees |
| 2022-01-17 19:41:48 +0100 | <monochrom> | An Algol AST is both. |
| 2022-01-17 19:41:57 +0100 | <dolio> | The description of "bisimulation" sounds like the difference between checking and inference, really. |
| 2022-01-17 19:42:29 +0100 | <sprout> | 'postulate' comes straight from Algol vernacular. the K-algorithm |
| 2022-01-17 19:42:36 +0100 | phma | (~phma@2001:5b0:211f:70f8:30d:c8c3:70a:f361) |
| 2022-01-17 19:42:37 +0100 | <dolio> | Like, when you see `f x` you make an additional assumption about the type of `f`, even if it wasn't inductively derivable from the term. |
| 2022-01-17 19:43:17 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 19:47:41 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
| 2022-01-17 19:47:59 +0100 | lechner | (~lechner@debian/lechner) (Quit: WeeChat 3.0) |
| 2022-01-17 19:49:31 +0100 | lechner | (~lechner@debian/lechner) |
| 2022-01-17 19:56:13 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2022-01-17 19:56:31 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2022-01-17 19:57:22 +0100 | <qrpnxz> | is there a way to slice a Data.Array zero-copy? |
| 2022-01-17 19:57:32 +0100 | texasmynsted | (~texasmyns@99.96.221.112) (Ping timeout: 250 seconds) |
| 2022-01-17 19:57:42 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 19:57:53 +0100 | <c_wraith> | how would that even work with (Int, Int) as an index type? |
| 2022-01-17 19:59:20 +0100 | <monochrom> | Perhaps ixmap does not copy (or whatever overhead you're trying to avoid). But I haven't checked. |
| 2022-01-17 19:59:24 +0100 | <qrpnxz> | translating indices |
| 2022-01-17 19:59:39 +0100 | <qrpnxz> | i thought ixmap didn't copy, but it calls `array` so i think it does |
| 2022-01-17 19:59:48 +0100 | <monochrom> | OK yeah. |
| 2022-01-17 19:59:58 +0100 | <qrpnxz> | ixmap might not be a simple index shift, so it makes sense |
| 2022-01-17 20:00:31 +0100 | <qrpnxz> | even so, i did expect it to just get wrapped in something, or use Array internal details to not copy |
| 2022-01-17 20:00:35 +0100 | <qrpnxz> | but i guess not |
| 2022-01-17 20:00:49 +0100 | mbuf | (~Shakthi@223.178.78.253) (Quit: Leaving) |
| 2022-01-17 20:01:13 +0100 | Akiva | (~Akiva@user/Akiva) |
| 2022-01-17 20:01:26 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 20:02:37 +0100 | deadmarshal | (~deadmarsh@95.38.228.70) (Ping timeout: 256 seconds) |
| 2022-01-17 20:04:32 +0100 | merijn | (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-01-17 20:10:00 +0100 | dhwohrom^ | (~dhwohrom@wsip-98-188-242-61.mc.at.cox.net) |
| 2022-01-17 20:10:26 +0100 | Topsi | (~Tobias@dyndsl-095-033-095-097.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-01-17 20:10:36 +0100 | <qrpnxz> | i suppose a drop + take is the next best thing |
| 2022-01-17 20:12:35 +0100 | pottsy | (~pottsy@129.227.183.244) (Quit: Leaving) |
| 2022-01-17 20:13:54 +0100 | idk | (~idk@2804:29b8:505a:f33d:8187:1eee:9f1b:78aa) (Remote host closed the connection) |
| 2022-01-17 20:13:58 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 20:13:58 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 20:13:58 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 20:14:13 +0100 | idk | (~idk@ec2-54-87-145-249.compute-1.amazonaws.com) |
| 2022-01-17 20:15:53 +0100 | dut | (~dut@user/dut) |
| 2022-01-17 20:17:40 +0100 | phma | (~phma@2001:5b0:211f:70f8:30d:c8c3:70a:f361) (Read error: Connection reset by peer) |
| 2022-01-17 20:18:20 +0100 | shapr | (~user@50-206-240-178-static.hfc.comcastbusiness.net) (Ping timeout: 250 seconds) |
| 2022-01-17 20:19:03 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 20:19:19 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 20:19:19 +0100 | phma | (~phma@host-67-44-209-29.hnremote.net) |
| 2022-01-17 20:20:51 +0100 | idk | (~idk@ec2-54-87-145-249.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2022-01-17 20:21:17 +0100 | jkachmar | (~jkachmar@2001:470:69fc:105::c72d) () |
| 2022-01-17 20:22:08 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 20:24:00 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-01-17 20:24:12 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 20:29:11 +0100 | zincy_ | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) |
| 2022-01-17 20:29:52 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 20:30:46 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2022-01-17 20:31:05 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2022-01-17 20:31:56 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 20:32:35 +0100 | merijn | (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 20:33:04 +0100 | <qrpnxz> | or i should just use data.vector already |
| 2022-01-17 20:34:15 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 20:34:22 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-01-17 20:35:32 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 2022-01-17 20:37:09 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-01-17 20:37:35 +0100 | merijn | (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 20:37:35 +0100 | kaph | (~kaph@net-2-47-208-144.cust.vodafonedsl.it) (Ping timeout: 256 seconds) |
| 2022-01-17 20:39:26 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-01-17 20:39:48 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 20:40:46 +0100 | max22- | (~maxime@2a01cb0883359800879c6e536325f87b.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-01-17 20:41:33 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 256 seconds) |
| 2022-01-17 20:41:59 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 20:46:52 +0100 | max22- | (~maxime@2a01cb088335980049128fa85ccac36b.ipv6.abo.wanadoo.fr) |
| 2022-01-17 20:47:55 +0100 | dhwohrom^ | (~dhwohrom@wsip-98-188-242-61.mc.at.cox.net) (Remote host closed the connection) |
| 2022-01-17 20:49:51 +0100 | max22- | (~maxime@2a01cb088335980049128fa85ccac36b.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2022-01-17 20:50:13 +0100 | <qrpnxz> | ooooh, i always thought of applicative as pure and <*>, but liftA2 is cool too! Lifting a two argument function gets you thinking about general pairwise combination, where application is a special case. `id` being able to type (a -> b -> c) into ((b -> c) -> b -> c) hence giving you `<*>` is pretty neat too. Currying super power strickes again. Similar trick occurs with `fix`. |
| 2022-01-17 20:50:19 +0100 | burnsidesLlama | (~burnsides@dhcp168-045.wadham.ox.ac.uk) |
| 2022-01-17 20:53:18 +0100 | kaph | (~kaph@net-2-47-208-144.cust.vodafonedsl.it) |
| 2022-01-17 20:53:29 +0100 | <[exa]> | qrpnxz: try `drop<>take` btw |
| 2022-01-17 20:54:33 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2022-01-17 20:54:52 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2022-01-17 20:55:22 +0100 | polyphem_ | (~rod@2a02:810d:840:8754:e450:3ca3:b389:687a) |
| 2022-01-17 20:55:54 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 276 seconds) |
| 2022-01-17 20:56:02 +0100 | polyphem | (~rod@2a02:810d:840:8754:e450:3ca3:b389:687a) (Ping timeout: 250 seconds) |
| 2022-01-17 20:59:55 +0100 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 2022-01-17 20:59:59 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Remote host closed the connection) |
| 2022-01-17 21:00:17 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 21:00:18 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) |
| 2022-01-17 21:00:34 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-01-17 21:00:50 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) |
| 2022-01-17 21:00:50 +0100 | jgeerds_ | (~jgeerds@55d4090e.access.ecotel.net) (Remote host closed the connection) |
| 2022-01-17 21:01:08 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-01-17 21:01:11 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 21:03:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 21:04:34 +0100 | <qrpnxz> | doing `take a . drop b` |
| 2022-01-17 21:04:35 +0100 | Shiranai | (~Shiranai@190.237.13.17) |
| 2022-01-17 21:04:47 +0100 | ProfSimm | (~ProfSimm@176-12-60-137.pon.spectrumnet.bg) (Ping timeout: 256 seconds) |
| 2022-01-17 21:05:08 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 250 seconds) |
| 2022-01-17 21:06:10 +0100 | <Shiranai> | hello, how would you guys compute the list of all substring of a string? i.e. `substrs "abc" == ["a","b","c","ab","bc","abc"]` |
| 2022-01-17 21:06:26 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 250 seconds) |
| 2022-01-17 21:06:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 21:06:50 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 21:06:50 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 21:07:51 +0100 | <monochrom> | Something about inits and tails |
| 2022-01-17 21:08:10 +0100 | <monochrom> | > (map inits . tails) "abc" |
| 2022-01-17 21:08:11 +0100 | <lambdabot> | [["","a","ab","abc"],["","b","bc"],["","c"],[""]] |
| 2022-01-17 21:08:32 +0100 | <monochrom> | ah need a concat |
| 2022-01-17 21:09:23 +0100 | <Shiranai> | > (filter (not null) . concat . map inits . tails) "abcd" |
| 2022-01-17 21:09:24 +0100 | <lambdabot> | error: |
| 2022-01-17 21:09:24 +0100 | <lambdabot> | • Couldn't match expected type ‘[Char] -> Bool’ |
| 2022-01-17 21:09:24 +0100 | <lambdabot> | with actual type ‘Bool’ |
| 2022-01-17 21:09:50 +0100 | <tomsmeding> | > (([] :) . concat . map (tail . inits) . tails) "abc" |
| 2022-01-17 21:09:51 +0100 | briandaed | (~root@185.234.208.208.r.toneticgroup.pl) |
| 2022-01-17 21:09:51 +0100 | <lambdabot> | ["","a","ab","abc","b","bc","c"] |
| 2022-01-17 21:10:09 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-01-17 21:10:35 +0100 | <tomsmeding> | > (filter (not . null) . concat . map inits . tails) "abc" |
| 2022-01-17 21:10:37 +0100 | <lambdabot> | ["a","ab","abc","b","bc","c"] |
| 2022-01-17 21:10:42 +0100 | <tomsmeding> | heh misses the [] |
| 2022-01-17 21:11:13 +0100 | <Shiranai> | beautiful! Thanks guys |
| 2022-01-17 21:12:40 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-01-17 21:12:43 +0100 | <tomsmeding> | > (([] :) <$> fmap concat (fmap (fmap tail inits) <$> tails)) "abc" |
| 2022-01-17 21:12:44 +0100 | <lambdabot> | ["","a","ab","abc","b","bc","c"] |
| 2022-01-17 21:13:10 +0100 | <geekosaur> | isn't there a map [False,True] thing? I mean, this looks like a powerset |
| 2022-01-17 21:13:31 +0100 | <tomsmeding> | > subsequences "abc" |
| 2022-01-17 21:13:32 +0100 | <lambdabot> | ["","a","b","ab","c","ac","bc","abc"] |
| 2022-01-17 21:13:33 +0100 | <tomsmeding> | not the same thing |
| 2022-01-17 21:14:45 +0100 | fef | (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 2022-01-17 21:16:15 +0100 | roboguy22 | (~roboguy@2605:a601:ac65:3600:f1f8:6a51:ba00:46c) |
| 2022-01-17 21:17:05 +0100 | max22- | (~maxime@2a01cb088335980081b93665fb35a9cb.ipv6.abo.wanadoo.fr) |
| 2022-01-17 21:18:04 +0100 | Neuromancer_ | (~Neuromanc@user/neuromancer) |
| 2022-01-17 21:18:37 +0100 | yauhsien | (~yauhsien@61-231-62-246.dynamic-ip.hinet.net) |
| 2022-01-17 21:19:06 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 21:19:27 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 21:19:56 +0100 | zincy_ | (~zincy@host86-151-99-97.range86-151.btcentralplus.com) (Remote host closed the connection) |
| 2022-01-17 21:20:32 +0100 | `2jt | (~jtomas@10.red-83-58-228.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 2022-01-17 21:20:44 +0100 | Neuromancer | (~Neuromanc@user/neuromancer) (Ping timeout: 250 seconds) |
| 2022-01-17 21:20:49 +0100 | Neuromancer_ | Neuromancer |
| 2022-01-17 21:20:50 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 2022-01-17 21:21:22 +0100 | vglfr | (~vglfr@46.96.179.132) |
| 2022-01-17 21:22:21 +0100 | xsperry | (~xs@user/xsperry) (Ping timeout: 256 seconds) |
| 2022-01-17 21:23:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 21:23:29 +0100 | yauhsien | (~yauhsien@61-231-62-246.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-01-17 21:27:40 +0100 | xb0o2 | (~xb0o2@user/xb0o2) |
| 2022-01-17 21:27:54 +0100 | slac45828 | (~slack1256@191.125.227.201) |
| 2022-01-17 21:30:06 +0100 | niko | (~niko@libera/staff/niko) (Ping timeout: 633 seconds) |
| 2022-01-17 21:30:17 +0100 | slack1256 | (~slack1256@186.11.99.46) (Ping timeout: 256 seconds) |
| 2022-01-17 21:30:18 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) |
| 2022-01-17 21:31:33 +0100 | slack1256 | (~slack1256@186.11.99.46) |
| 2022-01-17 21:32:32 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2022-01-17 21:32:43 +0100 | slac45828 | (~slack1256@191.125.227.201) (Ping timeout: 256 seconds) |
| 2022-01-17 21:33:25 +0100 | <sshine> | can I write (\x -> f x && g x) in a point-free but short-circuiting way? |
| 2022-01-17 21:34:17 +0100 | <maerwald> | why |
| 2022-01-17 21:34:22 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2022-01-17 21:34:29 +0100 | <sshine> | because I'm curious :) |
| 2022-01-17 21:34:31 +0100 | <Yehoshua> | Arrow's `&&&` |
| 2022-01-17 21:34:31 +0100 | <Yehoshua> | Might be a starting point. |
| 2022-01-17 21:35:23 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 256 seconds) |
| 2022-01-17 21:35:29 +0100 | <Yehoshua> | (f &&& g) x |
| 2022-01-17 21:35:29 +0100 | <Yehoshua> | Is the same as (in this case) |
| 2022-01-17 21:35:29 +0100 | <Yehoshua> | (f x, g x) |
| 2022-01-17 21:35:30 +0100 | <monochrom> | liftA2 (&&) f g expands to (\x -> f x && g x) using the (->)e Applicative instance. |
| 2022-01-17 21:35:44 +0100 | <awpr> | :t getAll (All . even <> All . odd) |
| 2022-01-17 21:35:45 +0100 | <lambdabot> | error: |
| 2022-01-17 21:35:45 +0100 | <lambdabot> | • Couldn't match expected type ‘All’ with actual type ‘a0 -> All’ |
| 2022-01-17 21:35:45 +0100 | <lambdabot> | • Probable cause: ‘(<>)’ is applied to too few arguments |
| 2022-01-17 21:35:49 +0100 | <awpr> | :t getAll . (All . even <> All . odd) |
| 2022-01-17 21:35:50 +0100 | <lambdabot> | Integral a => a -> Bool |
| 2022-01-17 21:36:25 +0100 | martinmch | (~martinmch@127-0-0-1.dk) |
| 2022-01-17 21:36:37 +0100 | <Yehoshua> | :t liftA2 (&&) |
| 2022-01-17 21:36:38 +0100 | <lambdabot> | Applicative f => f Bool -> f Bool -> f Bool |
| 2022-01-17 21:36:40 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:911c:c4ab:2f7e:d3f1) |
| 2022-01-17 21:36:50 +0100 | <roboguy22> | > liftA2 (&&) even undefined 3 |
| 2022-01-17 21:36:52 +0100 | <lambdabot> | False |
| 2022-01-17 21:36:57 +0100 | <roboguy22> | > liftA2 (&&) even undefined 2 |
| 2022-01-17 21:36:59 +0100 | <lambdabot> | *Exception: Prelude.undefined |
| 2022-01-17 21:39:32 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-01-17 21:39:59 +0100 | Shiranai | (~Shiranai@190.237.13.17) (Quit: Connection closed) |
| 2022-01-17 21:41:01 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 21:43:55 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 21:44:53 +0100 | <lechner> | that (inits . tails) thing for substrings is very elegant |
| 2022-01-17 21:44:57 +0100 | dsrt^ | (~dsrt@wsip-98-188-242-61.mc.at.cox.net) |
| 2022-01-17 21:47:58 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 21:50:38 +0100 | yassernasc | (~yassernas@ec2-54-87-145-249.compute-1.amazonaws.com) |
| 2022-01-17 21:52:21 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-01-17 21:52:32 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 2022-01-17 21:52:58 +0100 | <lechner> | why isn't it ... map inits (tails "abc") ? |
| 2022-01-17 21:53:16 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) |
| 2022-01-17 21:55:03 +0100 | <geekosaur> | those do different things, don't they? tails only happens once with yours but on each element with the other |
| 2022-01-17 21:55:36 +0100 | <tomsmeding> | lechner: but it is, right? (map inits . tails) "abc" = (\x -> map inits (tails x)) "abc" = map inits (tails "abc") |
| 2022-01-17 21:55:43 +0100 | <Yehoshua> | > inits <$> (tails "abc") |
| 2022-01-17 21:55:44 +0100 | <lambdabot> | [["","a","ab","abc"],["","b","bc"],["","c"],[""]] |
| 2022-01-17 21:56:24 +0100 | <geekosaur> | but that's (map inits . tails), not map (inits . tails) |
| 2022-01-17 21:56:55 +0100 | <tomsmeding> | indeed, but the correct solution had 'map inits . tails' -- I assumed lechner meant that |
| 2022-01-17 21:57:26 +0100 | <geekosaur> | in that case it's just being pointfree |
| 2022-01-17 21:57:34 +0100 | <geekosaur> | some people prefer that, some the other |
| 2022-01-17 21:57:44 +0100 | <Yehoshua> | > map (inits . tails) "abc" |
| 2022-01-17 21:57:45 +0100 | <lambdabot> | error: |
| 2022-01-17 21:57:45 +0100 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 2022-01-17 21:57:45 +0100 | <lambdabot> | Expected type: [[a]] |
| 2022-01-17 21:57:57 +0100 | <Yehoshua> | lambdabot: Thought so. |
| 2022-01-17 21:58:02 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2022-01-17 21:58:13 +0100 | <geekosaur> | yeh, I wondered about that one briefly as well "wouldn't thst have to be a list of lists?" |
| 2022-01-17 21:59:07 +0100 | <tomsmeding> | lechner: exercise, write my first version without (.) |
| 2022-01-17 21:59:32 +0100 | <Yehoshua> | > map (map inits . tails) "abc" |
| 2022-01-17 21:59:33 +0100 | <lambdabot> | error: |
| 2022-01-17 21:59:33 +0100 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[a]’ |
| 2022-01-17 21:59:33 +0100 | <lambdabot> | Expected type: [[a]] |
| 2022-01-17 21:59:58 +0100 | <Yehoshua> | (map inits . tails) "abc" |
| 2022-01-17 22:00:08 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 22:00:09 +0100 | <Yehoshua> | > (map inits . tails) "abc" |
| 2022-01-17 22:00:10 +0100 | <lambdabot> | [["","a","ab","abc"],["","b","bc"],["","c"],[""]] |
| 2022-01-17 22:00:41 +0100 | <Yehoshua> | Which is already exactly the previous thing. |
| 2022-01-17 22:00:48 +0100 | <Yehoshua> | <Yehoshua> "> inits <$> (tails "abc")" <- . |
| 2022-01-17 22:01:02 +0100 | acidsys | (~LSD@2.lsd.systems) (Excess Flood) |
| 2022-01-17 22:02:24 +0100 | acidsys | (~LSD@2.lsd.systems) |
| 2022-01-17 22:02:55 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 22:04:14 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-01-17 22:04:17 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
| 2022-01-17 22:04:28 +0100 | _ht | (~quassel@2a02:a468:b619:1:a06e:65c3:1bfa:20a6) (Remote host closed the connection) |
| 2022-01-17 22:04:56 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 22:05:38 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2022-01-17 22:05:55 +0100 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: Connection reset by peer) |
| 2022-01-17 22:06:13 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-01-17 22:06:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-01-17 22:06:50 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2022-01-17 22:08:24 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 250 seconds) |
| 2022-01-17 22:08:57 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 22:09:42 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 250 seconds) |
| 2022-01-17 22:10:15 +0100 | <trccc> | I would like to do some Haskell development whenever I have time, which is not too often unfortunately. Any ideas on where to find “exercises” to do? I am between beginner and intermediate and I need to get a handle on making “production” applications that considers details such as e.g. logging. The end goal is to introduce Haskell at my |
| 2022-01-17 22:10:16 +0100 | <trccc> | workplace |
| 2022-01-17 22:10:25 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) (Client Quit) |
| 2022-01-17 22:11:02 +0100 | <geekosaur> | didn't stick around for an answer… |
| 2022-01-17 22:12:30 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 2022-01-17 22:13:08 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) |
| 2022-01-17 22:13:22 +0100 | <maerwald> | "introduce Haskell at my workplace" <-- makes me shiver :p |
| 2022-01-17 22:13:53 +0100 | <trccc> | In a bad or good way? 🙂 have a lot of non-critical services |
| 2022-01-17 22:14:26 +0100 | <sm> | ha! the old you thought I left trick! |
| 2022-01-17 22:14:35 +0100 | <maerwald> | It usually means people need a new toy at work. My opinion is that you shouldn't toy around at work. |
| 2022-01-17 22:15:03 +0100 | <geekosaur> | they rejoined 3 minutes later. odd thing to do after asking a question |
| 2022-01-17 22:15:05 +0100 | <sm> | trccc there's a lot of such things online now |
| 2022-01-17 22:15:23 +0100 | <trccc> | Geekosaur yes sorry bout that |
| 2022-01-17 22:15:50 +0100 | <geekosaur> | of course I sometimes do that because my router decided to fall over yet again |
| 2022-01-17 22:15:58 +0100 | <sm> | and don't let the #haskell channel talk you out of it :) |
| 2022-01-17 22:16:02 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Ping timeout: 240 seconds) |
| 2022-01-17 22:16:05 +0100 | <trccc> | Hehe |
| 2022-01-17 22:16:45 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 22:16:56 +0100 | <trccc> | am any in particular? The ones I tried before (couple of years ago) sort of ignored the packages out there that one needs to get something done |
| 2022-01-17 22:17:04 +0100 | <trccc> | sm* |
| 2022-01-17 22:18:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-01-17 22:18:05 +0100 | kuribas | (~user@ptr-25vy0i9haxfrs6rwale.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2022-01-17 22:18:15 +0100 | <Yehoshua> | I didn't actually do it myself, but found for someone else: |
| 2022-01-17 22:18:15 +0100 | <Yehoshua> | https://exercism.org/tracks/haskell |
| 2022-01-17 22:18:25 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-01-17 22:18:46 +0100 | <Yehoshua> | I have no idea if it gets out of the core language however |
| 2022-01-17 22:19:08 +0100 | <trccc> | Yehoshua I Will check it out. Thanks. That is exactly my concern |
| 2022-01-17 22:19:31 +0100 | <sm> | trccc, no none in particular, I would to a very wide skim of blogs and books |
| 2022-01-17 22:19:38 +0100 | <sm> | @where books |
| 2022-01-17 22:19:38 +0100 | <lambdabot> | https://www.extrema.is/articles/haskell-books, see also @where LYAH, RWH, YAHT, SOE, HR, PIH, TFwH, wikibook, PCPH, HPFFP, HTAC, TwT, FoP, PFAD, WYAH, non-haskell-books |
| 2022-01-17 22:19:40 +0100 | zebrag | (~chris@user/zebrag) (Ping timeout: 250 seconds) |
| 2022-01-17 22:19:50 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:911c:c4ab:2f7e:d3f1) (Remote host closed the connection) |
| 2022-01-17 22:19:57 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-01-17 22:19:58 +0100 | <sm> | https://planet.haskell.org |
| 2022-01-17 22:20:19 +0100 | <Yehoshua> | https://exercism.org/tracks/haskell/exercises/lens-person |
| 2022-01-17 22:20:19 +0100 | <Yehoshua> | Seems to have at least lens (did a quick look) |
| 2022-01-17 22:20:24 +0100 | <sm> | I'm partial to |
| 2022-01-17 22:20:24 +0100 | <sm> | @where HTAC |
| 2022-01-17 22:20:24 +0100 | <lambdabot> | "Haskell Tutorial and Cookbook" by Mark Watson in 2017-09-04 at <https://leanpub.com/haskell-cookbook> |
| 2022-01-17 22:20:26 +0100 | <Yehoshua> | Maybe others too |
| 2022-01-17 22:20:37 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 22:20:40 +0100 | <EvanR> | marches in to your work area with two nasty looking goons, "we will be instituting er introducing haskell at your workplace" |
| 2022-01-17 22:20:40 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-01-17 22:20:59 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-01-17 22:21:01 +0100 | <trccc> | Hehe |
| 2022-01-17 22:22:11 +0100 | xsperry | (~xs@user/xsperry) |
| 2022-01-17 22:22:20 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) |
| 2022-01-17 22:22:37 +0100 | johnw | (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Ping timeout: 240 seconds) |
| 2022-01-17 22:22:38 +0100 | <trccc> | Thank you. Think I had enough ideas to get startes from. |
| 2022-01-17 22:22:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 22:22:40 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 22:22:40 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 22:23:08 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-01-17 22:23:22 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 22:23:32 +0100 | trccc | (~trccc@2-104-60-169-cable.dk.customer.tdc.net) (Quit: Client closed) |
| 2022-01-17 22:25:02 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 22:27:40 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Quit: Leaving) |
| 2022-01-17 22:27:41 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
| 2022-01-17 22:27:46 +0100 | alp | (~alp@user/alp) |
| 2022-01-17 22:28:06 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) |
| 2022-01-17 22:28:20 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 250 seconds) |
| 2022-01-17 22:28:37 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-01-17 22:28:55 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 22:30:07 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-01-17 22:31:22 +0100 | boxscape_ | (~boxscape_@p4ff0b9d5.dip0.t-ipconnect.de) |
| 2022-01-17 22:32:35 +0100 | michalz | (~michalz@185.246.204.107) (Remote host closed the connection) |
| 2022-01-17 22:33:02 +0100 | xsperry | (~xs@user/xsperry) (Read error: Connection reset by peer) |
| 2022-01-17 22:33:34 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
| 2022-01-17 22:35:23 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 22:35:37 +0100 | jkaye | (~jkaye@2601:281:8300:7530:c6d6:7de6:6176:c300) (Ping timeout: 240 seconds) |
| 2022-01-17 22:37:39 +0100 | Hildegunst | (~luc@80.248.12.109.rev.sfr.net) (Quit: leaving) |
| 2022-01-17 22:38:30 +0100 | xb0o2 | (~xb0o2@user/xb0o2) |
| 2022-01-17 22:38:40 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 22:39:43 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 22:40:10 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Client Quit) |
| 2022-01-17 22:40:33 +0100 | briandaed | (~root@185.234.208.208.r.toneticgroup.pl) () |
| 2022-01-17 22:40:51 +0100 | Inst | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-01-17 22:41:46 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 22:42:15 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 22:44:09 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 22:44:11 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:6155:4b1c:4cef:c11c) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-01-17 22:47:57 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::55f8) (Ping timeout: 240 seconds) |
| 2022-01-17 22:48:15 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 22:49:19 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2022-01-17 22:51:38 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 22:51:47 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Remote host closed the connection) |
| 2022-01-17 22:52:04 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 22:53:04 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-01-17 22:53:33 +0100 | phma | (~phma@host-67-44-209-29.hnremote.net) (Read error: Connection reset by peer) |
| 2022-01-17 22:54:00 +0100 | zmt01 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-01-17 22:55:06 +0100 | yassernasc | (~yassernas@ec2-54-87-145-249.compute-1.amazonaws.com) (Remote host closed the connection) |
| 2022-01-17 22:55:18 +0100 | phma | (phma@2001:5b0:211b:a618:dfa3:a13:fe81:dc84) |
| 2022-01-17 23:00:43 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:708a:3729:1c6e:865e) |
| 2022-01-17 23:00:54 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 23:01:30 +0100 | Guest22 | (~Guest22@217.150.236.197) |
| 2022-01-17 23:02:42 +0100 | martinmch | (~martinmch@127-0-0-1.dk) (Quit: leaving) |
| 2022-01-17 23:03:52 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 23:05:32 +0100 | ubert | (~Thunderbi@p200300ecdf0994547bbbb5c3c61d0cc2.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-01-17 23:05:32 +0100 | ub | ubert |
| 2022-01-17 23:06:53 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:708a:3729:1c6e:865e) (Remote host closed the connection) |
| 2022-01-17 23:07:04 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 23:07:29 +0100 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-01-17 23:07:42 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-01-17 23:07:45 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-01-17 23:08:30 +0100 | red-snail | (~snail@static.151.210.203.116.clients.your-server.de) |
| 2022-01-17 23:09:20 +0100 | xsperry | (~xs@user/xsperry) |
| 2022-01-17 23:10:13 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) |
| 2022-01-17 23:10:36 +0100 | roboguy22 | (~roboguy@2605:a601:ac65:3600:f1f8:6a51:ba00:46c) (Quit: Leaving...) |
| 2022-01-17 23:10:41 +0100 | little_mac | (~little_ma@2601:410:4300:3ce0:ed98:da79:669a:f2be) |
| 2022-01-17 23:15:17 +0100 | merijn | (~merijn@c-001-001-018.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-01-17 23:17:05 +0100 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-01-17 23:17:32 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 23:22:02 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 240 seconds) |
| 2022-01-17 23:22:30 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 23:23:16 +0100 | pippijn | (~pippijn@ra.xinutec.org) (Ping timeout: 245 seconds) |
| 2022-01-17 23:24:14 +0100 | waleee | (~waleee@2001:9b0:21d:fc00:398f:b003:b90d:acf4) (Ping timeout: 250 seconds) |
| 2022-01-17 23:25:21 +0100 | xb0o2 | (~xb0o2@user/xb0o2) (Quit: Client closed) |
| 2022-01-17 23:25:33 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) |
| 2022-01-17 23:26:23 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 23:26:47 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 23:30:43 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Remote host closed the connection) |
| 2022-01-17 23:32:44 +0100 | ksqsf | (~user@134.209.106.31) |
| 2022-01-17 23:33:36 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 23:34:12 +0100 | wmacmil | (~wmacmil@83-233-165-97.cust.bredband2.com) (Ping timeout: 250 seconds) |
| 2022-01-17 23:35:02 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-01-17 23:36:09 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2022-01-17 23:36:12 +0100 | tromp | (~textual@dhcp-077-249-230-040.chello.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2022-01-17 23:36:33 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-01-17 23:37:32 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-01-17 23:37:57 +0100 | ksqsf | (~user@134.209.106.31) (Ping timeout: 256 seconds) |
| 2022-01-17 23:38:19 +0100 | benin | (~benin@183.82.179.241) (Quit: The Lounge - https://thelounge.chat) |
| 2022-01-17 23:40:18 +0100 | mvk | (~mvk@2607:fea8:5cdd:f000::55f8) |
| 2022-01-17 23:42:33 +0100 | alx741 | (~alx741@157.100.93.160) |
| 2022-01-17 23:43:14 +0100 | SlowLearner | (~SlowLearn@2804:14c:65a1:452d:faeb:2e8a:da33:265f) |
| 2022-01-17 23:43:28 +0100 | coot | (~coot@2a02:a310:e03f:8500:5cc8:47c:8ec0:b827) (Quit: coot) |
| 2022-01-17 23:44:56 +0100 | alx741 | (~alx741@157.100.93.160) (Read error: Connection reset by peer) |
| 2022-01-17 23:46:01 +0100 | Everything | (~Everythin@46-133-77-215.mobile.vf-ua.net) |
| 2022-01-17 23:46:06 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-01-17 23:46:06 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-01-17 23:46:06 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-01-17 23:50:47 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-01-17 23:50:49 +0100 | mixfix41 | (~homefame@user/mixfix41) (Ping timeout: 256 seconds) |
| 2022-01-17 23:50:52 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) (Quit: Leaving) |
| 2022-01-17 23:51:08 +0100 | Kaiepi | (~Kaiepi@156.34.47.253) |
| 2022-01-17 23:52:33 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-01-17 23:52:33 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) (Read error: Connection reset by peer) |
| 2022-01-17 23:52:49 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-01-17 23:52:59 +0100 | MironZ | (~MironZ@nat-infra.ehlab.uk) |
| 2022-01-17 23:54:39 +0100 | Guest22 | (~Guest22@217.150.236.197) (Quit: Client closed) |
| 2022-01-17 23:58:13 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-01-17 23:59:24 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
| 2022-01-17 23:59:57 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-9cdb-69bc-753b-1e50.res6.spectrum.com) (Ping timeout: 240 seconds) |