2021-11-28 00:02:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:02:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:04:06 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:04:24 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:06:04 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:06:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:06:55 +0100 | evocatus | (~evocatus@213.193.2.105) (Quit: Leaving) |
2021-11-28 00:08:22 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-11-28 00:10:03 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:10:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:12:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:12:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:13:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:14:06 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 245 seconds) |
2021-11-28 00:14:17 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:15:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:16:15 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:17:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:18:13 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:19:45 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
2021-11-28 00:21:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:22:16 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:23:51 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 00:25:07 +0100 | Cajun | (~Cajun@user/cajun) |
2021-11-28 00:25:55 +0100 | chomwitt | (~chomwitt@94.69.34.153) (Ping timeout: 250 seconds) |
2021-11-28 00:27:11 +0100 | accio | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 00:27:19 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Quit: Lost terminal) |
2021-11-28 00:29:23 +0100 | accio | jonatanb |
2021-11-28 00:32:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:33:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:33:49 +0100 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) |
2021-11-28 00:34:14 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) |
2021-11-28 00:34:29 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:9c86:91d6:b6fa:287b) (Quit: gone to sleep. ZZZzzz…) |
2021-11-28 00:37:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:38:02 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:38:37 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-11-28 00:39:17 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-11-28 00:41:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:42:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:43:13 +0100 | max22- | (~maxime@2a01cb08833598002d178c07f23bab16.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
2021-11-28 00:45:31 +0100 | slac59050 | (~slack1256@181.42.48.169) (Ping timeout: 268 seconds) |
2021-11-28 00:46:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
2021-11-28 00:46:30 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-28 00:47:01 +0100 | Jing | (~hedgehog@2604:a840:3::1065) (Remote host closed the connection) |
2021-11-28 00:47:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 00:47:28 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 00:47:39 +0100 | Jing | (~hedgehog@2604:a840:3::1065) |
2021-11-28 00:48:46 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 00:50:04 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-28 00:50:11 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:e80:8ab6:f849:2190) (Ping timeout: 250 seconds) |
2021-11-28 00:51:02 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-11-28 00:51:10 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:f0ef:5c35:fcd3:7767) |
2021-11-28 00:51:47 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Client Quit) |
2021-11-28 00:52:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-28 00:57:36 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 00:58:08 +0100 | mmhat | (~mmh@55d430d9.access.ecotel.net) (Quit: WeeChat 3.3) |
2021-11-28 01:00:36 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-28 01:00:36 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-28 01:00:36 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-28 01:02:31 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 01:09:41 +0100 | hololeap | (~hololeap@user/hololeap) |
2021-11-28 01:09:48 +0100 | hololeap_ | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
2021-11-28 01:10:39 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-11-28 01:11:17 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
2021-11-28 01:14:13 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Client Quit) |
2021-11-28 01:15:21 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 01:19:50 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 01:22:45 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
2021-11-28 01:22:51 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
2021-11-28 01:22:53 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
2021-11-28 01:35:15 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 01:40:02 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-11-28 01:45:27 +0100 | Jing | (~hedgehog@2604:a840:3::1065) (Remote host closed the connection) |
2021-11-28 01:45:35 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 01:46:18 +0100 | Jing | (~hedgehog@2604:a840:3::1065) |
2021-11-28 02:01:39 +0100 | pfurla | (~pfurla@201.17.118.230) |
2021-11-28 02:03:25 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-11-28 02:04:41 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 02:05:24 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 02:05:59 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Remote host closed the connection) |
2021-11-28 02:06:37 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 02:07:49 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Client Quit) |
2021-11-28 02:08:31 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 02:08:39 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Ping timeout: 260 seconds) |
2021-11-28 02:10:05 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2021-11-28 02:10:42 +0100 | Midjak2 | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Client Quit) |
2021-11-28 02:11:14 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 02:11:42 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-11-28 02:11:59 +0100 | jumper149 | (~jumper149@static.6.71.203.116.clients.your-server.de) (Quit: WeeChat 3.3) |
2021-11-28 02:13:04 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-11-28 02:17:50 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-11-28 02:25:16 +0100 | renzhi | (~xp@2607:fa49:6500:b100::5cef) |
2021-11-28 02:26:09 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-28 02:35:16 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-11-28 02:37:28 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 02:41:09 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-28 02:42:40 +0100 | jespada | (~jespada@87.74.37.56) (Ping timeout: 268 seconds) |
2021-11-28 02:43:21 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Quit: WeeChat 3.3) |
2021-11-28 02:44:31 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 268 seconds) |
2021-11-28 02:44:32 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 240 seconds) |
2021-11-28 02:44:33 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-28 02:44:49 +0100 | jespada | (~jespada@87.74.37.56) |
2021-11-28 02:48:19 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-11-28 02:48:32 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-11-28 02:50:28 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
2021-11-28 02:55:00 +0100 | yaroot | (~yaroot@47.70.30.125.dy.iij4u.or.jp) (Ping timeout: 268 seconds) |
2021-11-28 03:00:29 +0100 | pretty_d1 | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-11-28 03:05:23 +0100 | <ozzloy> | https://paste.tomsmeding.com/aiY7KeGt i want to take the length of a list, divide by 2, and see if the result is less than another number |
2021-11-28 03:05:59 +0100 | <ozzloy> | > length [1,2] / 2 < 3 |
2021-11-28 03:06:00 +0100 | <lambdabot> | error: |
2021-11-28 03:06:00 +0100 | <lambdabot> | • No instance for (Fractional Int) arising from a use of ‘/’ |
2021-11-28 03:06:00 +0100 | <lambdabot> | • In the first argument of ‘(<)’, namely ‘length [1, 2] / 2’ |
2021-11-28 03:06:31 +0100 | <ozzloy> | > 2 / 2 |
2021-11-28 03:06:33 +0100 | <lambdabot> | 1.0 |
2021-11-28 03:06:40 +0100 | <ozzloy> | > 1.0 < 3 |
2021-11-28 03:06:42 +0100 | <lambdabot> | True |
2021-11-28 03:07:04 +0100 | <ozzloy> | > length [1,2] / 2 |
2021-11-28 03:07:06 +0100 | <lambdabot> | error: |
2021-11-28 03:07:06 +0100 | <lambdabot> | • No instance for (Fractional Int) arising from a use of ‘/’ |
2021-11-28 03:07:06 +0100 | <lambdabot> | • In the expression: length [1, 2] / 2 |
2021-11-28 03:07:49 +0100 | <EvanR> | there's / and there's `div` |
2021-11-28 03:08:07 +0100 | <EvanR> | > 22 / 7 -- float division |
2021-11-28 03:08:09 +0100 | <lambdabot> | 3.142857142857143 |
2021-11-28 03:08:18 +0100 | <EvanR> | > 22 `div` 7 -- integer division |
2021-11-28 03:08:19 +0100 | <lambdabot> | 3 |
2021-11-28 03:08:23 +0100 | <ozzloy> | > length [1,2] |
2021-11-28 03:08:24 +0100 | <lambdabot> | 2 |
2021-11-28 03:08:27 +0100 | <ozzloy> | > 2 / 2 |
2021-11-28 03:08:29 +0100 | <lambdabot> | 1.0 |
2021-11-28 03:08:39 +0100 | <EvanR> | when you use / on literals they default to Double |
2021-11-28 03:08:48 +0100 | <EvanR> | you can't use it on Ints |
2021-11-28 03:09:10 +0100 | <ozzloy> | i see |
2021-11-28 03:09:14 +0100 | <EvanR> | > length [1,2] `div` 2 |
2021-11-28 03:09:15 +0100 | <lambdabot> | 1 |
2021-11-28 03:09:18 +0100 | <EvanR> | > length [1,2,3] `div` 2 |
2021-11-28 03:09:19 +0100 | <lambdabot> | 1 |
2021-11-28 03:10:15 +0100 | <ozzloy> | so length gives back an integer, and '/' doesn't work on integers |
2021-11-28 03:10:19 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-11-28 03:10:21 +0100 | <EvanR> | pretty much |
2021-11-28 03:10:46 +0100 | <EvanR> | unless you convert them to float first |
2021-11-28 03:10:47 +0100 | <ozzloy> | i feel like it would be clearer if 2 / 2 also gave a type error |
2021-11-28 03:10:57 +0100 | <EvanR> | heh |
2021-11-28 03:11:29 +0100 | <ozzloy> | because as it stands, length [1,2] -> 2, and 2 / 2 works, but length [1,2] / 2 doesn't |
2021-11-28 03:11:35 +0100 | <EvanR> | it's funny defaulting rules are probably there so beginners aren't so frustrated? |
2021-11-28 03:11:39 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2021-11-28 03:12:02 +0100 | <EvanR> | trying stuff on the terminal like we are doing xD |
2021-11-28 03:12:21 +0100 | <ozzloy> | it sure looks like substitution doesn't work in this instance, you can't replace an expression with something that reduces to it |
2021-11-28 03:12:37 +0100 | <EvanR> | it doesn't work, until you remember that numeric literals have additional magic |
2021-11-28 03:12:42 +0100 | <ozzloy> | go hard, or go home |
2021-11-28 03:12:44 +0100 | <EvanR> | 2 isn't just 2 |
2021-11-28 03:12:58 +0100 | <EvanR> | it's a polymorphic value that depends on the results of type inference / checking |
2021-11-28 03:13:07 +0100 | <ozzloy> | if you're going to go hard on types, go all the way |
2021-11-28 03:13:12 +0100 | <EvanR> | :t 2 |
2021-11-28 03:13:13 +0100 | <lambdabot> | Num p => p |
2021-11-28 03:13:30 +0100 | <EvanR> | so when you use it with /, it's not obviously a type error |
2021-11-28 03:13:37 +0100 | <EvanR> | it depends on p |
2021-11-28 03:13:59 +0100 | <ozzloy> | > div 3 2 |
2021-11-28 03:14:00 +0100 | <EvanR> | when you use it with length [1,2] :: Int, definitely a type error |
2021-11-28 03:14:01 +0100 | <lambdabot> | 1 |
2021-11-28 03:14:10 +0100 | <ozzloy> | > div -3 -2 |
2021-11-28 03:14:11 +0100 | <lambdabot> | error: |
2021-11-28 03:14:11 +0100 | <lambdabot> | • No instance for (Num (Integer -> Integer -> Integer)) |
2021-11-28 03:14:11 +0100 | <lambdabot> | arising from a use of ‘e_132’ |
2021-11-28 03:14:17 +0100 | <EvanR> | > div (-3) (-2) |
2021-11-28 03:14:18 +0100 | <lambdabot> | 1 |
2021-11-28 03:14:36 +0100 | <ozzloy> | > div (-3) 2 |
2021-11-28 03:14:38 +0100 | <lambdabot> | -2 |
2021-11-28 03:14:44 +0100 | <EvanR> | > quot (-3) (-2) |
2021-11-28 03:14:45 +0100 | <lambdabot> | 1 |
2021-11-28 03:14:58 +0100 | <boxscape_> | % :set -XLexicalNegation |
2021-11-28 03:14:58 +0100 | <yahb> | boxscape_: |
2021-11-28 03:14:59 +0100 | <ozzloy> | so div rounds towards negative infinity? |
2021-11-28 03:15:01 +0100 | <EvanR> | > quot (-3) 2 |
2021-11-28 03:15:03 +0100 | <lambdabot> | -1 |
2021-11-28 03:15:06 +0100 | <boxscape_> | % quot -3 -2 |
2021-11-28 03:15:06 +0100 | <yahb> | boxscape_: 1 |
2021-11-28 03:15:58 +0100 | <EvanR> | > divMod (-3) 2 |
2021-11-28 03:15:59 +0100 | <lambdabot> | (-2,1) |
2021-11-28 03:16:01 +0100 | <ozzloy> | well, in this case, div will do |
2021-11-28 03:16:04 +0100 | <EvanR> | > quotRem (-3) 2 |
2021-11-28 03:16:05 +0100 | <lambdabot> | (-1,-1) |
2021-11-28 03:16:20 +0100 | <EvanR> | they do the same thing if both arguments are positive |
2021-11-28 03:19:18 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 03:20:51 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 03:21:55 +0100 | <EvanR> | ozzloy, you're going to hate this extension that lets you use "string literals" in the same way as number literals, they can be interpreted by a type class to become whatever value xD |
2021-11-28 03:22:28 +0100 | <EvanR> | can be handy, and abuse xD |
2021-11-28 03:22:34 +0100 | <EvanR> | d |
2021-11-28 03:22:45 +0100 | <ozzloy> | heh |
2021-11-28 03:22:58 +0100 | <boxscape_> | we've got the same thing for lists, too! |
2021-11-28 03:23:04 +0100 | <ozzloy> | i am impressed and horrified |
2021-11-28 03:24:57 +0100 | <ozzloy> | makes me think of #define i (rand() % i) from c |
2021-11-28 03:25:00 +0100 | <dsal> | The list can lead to excitement. |
2021-11-28 03:25:34 +0100 | <ozzloy> | that'll teach you to use single letter variables for iteration |
2021-11-28 03:25:55 +0100 | <EvanR> | but single letter variables are awesome :'( |
2021-11-28 03:26:39 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-28 03:26:53 +0100 | <ozzloy> | so, ok, it's implemented in a principled way |
2021-11-28 03:27:13 +0100 | <ozzloy> | it's not a special hack for integers to sometimes be autoconverted to doubles |
2021-11-28 03:28:17 +0100 | <boxscape_> | yeah implicit conversions aren't a thing in Haskell |
2021-11-28 03:28:25 +0100 | <dsal> | No, you generally know what type you're dealing with. |
2021-11-28 03:28:54 +0100 | <ozzloy> | well, maybe not me specifically, but someone well versed enough |
2021-11-28 03:29:16 +0100 | <EvanR> | if you don't know what type you're dealing with, stop immediately |
2021-11-28 03:29:26 +0100 | <ozzloy> | there are rules that can be learned that aren't just "except in that case, because." |
2021-11-28 03:29:32 +0100 | <boxscape_> | the neat thing is you can usually tell what type you're dealing with by asking the compiler |
2021-11-28 03:29:47 +0100 | <boxscape_> | > map ((+1) :: _) [1..5] |
2021-11-28 03:29:49 +0100 | <lambdabot> | [2,3,4,5,6] |
2021-11-28 03:29:57 +0100 | <boxscape_> | I expected it to tell me the type :( |
2021-11-28 03:30:01 +0100 | <dsal> | Haha |
2021-11-28 03:30:06 +0100 | <boxscape_> | % map ((+1) :: _) [1..5] |
2021-11-28 03:30:06 +0100 | <yahb> | boxscape_: ; <interactive>:25:14: error:; * Found type wildcard `_' standing for `b -> b'; Where: `b' is a rigid type variable bound by; the inferred type of it :: (Enum b, Num b) => [b]; at <interactive>:25:1-22; To use the inferred type, enable PartialTypeSignatures; * In an expression type signature: _; In the first argument of `map', namely `((+ 1) :: _)'; |
2021-11-28 03:30:08 +0100 | <dsal> | You could try a value hole |
2021-11-28 03:30:18 +0100 | <boxscape_> | I guess lambdabot has -XPartialTypeSignatures |
2021-11-28 03:30:53 +0100 | <ozzloy> | "dear compiler, how long has it been since our last conversation. i can barely recall. it is with great excitement that i come to you for help in my time of need, for i am most certain that you will know the answer to my queries... |
2021-11-28 03:31:27 +0100 | <boxscape_> | There has been some discussion about making compiler messages friendlier and sounding less like it's yelling at you about mistakes :) |
2021-11-28 03:31:49 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 250 seconds) |
2021-11-28 03:31:50 +0100 | <EvanR> | ozzloy, the relevant feature is called "defaults" ... https://www.haskell.org/onlinereport/decls.html#sect4.3.4 |
2021-11-28 03:32:09 +0100 | <EvanR> | since its related to ambiguous types, it's worth knowing xD |
2021-11-28 03:32:16 +0100 | <EvanR> | since that's a common compilation error |
2021-11-28 03:34:44 +0100 | <EvanR> | the formatting here needs work xD |
2021-11-28 03:34:51 +0100 | <ozzloy> | i feel like it would be great to have a primer on haskell's types all by itself |
2021-11-28 03:35:32 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
2021-11-28 03:36:31 +0100 | <EvanR> | the ahem... default "default" rule appears to be |
2021-11-28 03:36:32 +0100 | xff0x | (~xff0x@2001:1a81:53f8:4700:f0ef:5c35:fcd3:7767) (Ping timeout: 240 seconds) |
2021-11-28 03:36:33 +0100 | <EvanR> | default (Integer, Double) |
2021-11-28 03:37:12 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 03:37:13 +0100 | <EvanR> | if Integer works, Integer, else try Double, else give up |
2021-11-28 03:37:25 +0100 | <ozzloy> | i see |
2021-11-28 03:37:34 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Ping timeout: 268 seconds) |
2021-11-28 03:38:23 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:3d37:9c6b:bc10:3149) |
2021-11-28 03:41:47 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
2021-11-28 03:41:48 +0100 | notzmv | (~zmv@user/notzmv) |
2021-11-28 03:43:19 +0100 | <ozzloy> | https://paste.tomsmeding.com/rh1Fc6SX i have "helper (pieces + 1) xs" in 3 places for the function "repeats" at the bottom |
2021-11-28 03:43:37 +0100 | <ozzloy> | i feel like it could be better |
2021-11-28 03:43:38 +0100 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
2021-11-28 03:44:13 +0100 | <EvanR> | as long as helper pieces and xs are referring to the same thing in each place, it can be lifted out |
2021-11-28 03:44:53 +0100 | <ozzloy> | the goal of repeats is to find the longest subsequence of xs where xs is some positive whole number repeats of that subsequence |
2021-11-28 03:44:55 +0100 | <EvanR> | I guess, as we just discussed, 1 has to refer to the same kind of 1 in each place xD |
2021-11-28 03:45:12 +0100 | <ozzloy> | heh |
2021-11-28 03:45:21 +0100 | <EvanR> | it's your recursion call |
2021-11-28 03:45:48 +0100 | <EvanR> | you can still lift it out thanks to lazy evaluation xD |
2021-11-28 03:45:55 +0100 | <ozzloy> | the one on line 79 should never happen |
2021-11-28 03:46:13 +0100 | <ozzloy> | "lift it out" |
2021-11-28 03:46:19 +0100 | <EvanR> | if true, you could put error "impossible" |
2021-11-28 03:47:21 +0100 | <EvanR> | but yeah the function could use some tidying |
2021-11-28 03:48:19 +0100 | <EvanR> | here's what lifted it out could look like |
2021-11-28 03:48:23 +0100 | <EvanR> | where |
2021-11-28 03:48:44 +0100 | <EvanR> | helper pieces xs = let loop = helper (pieces + 1) xs in |
2021-11-28 03:48:55 +0100 | <EvanR> | (all that other code with loop substituted) |
2021-11-28 03:49:06 +0100 | wei2912 | (~wei2912@116.88.103.128) |
2021-11-28 03:49:22 +0100 | wei2912 | (~wei2912@116.88.103.128) (Client Quit) |
2021-11-28 03:49:25 +0100 | <EvanR> | not saying it's easier to read but it's less repetitive |
2021-11-28 03:49:32 +0100 | <ozzloy> | i see |
2021-11-28 03:50:24 +0100 | <EvanR> | oh, you have guards... |
2021-11-28 03:51:08 +0100 | jbox | (~jbox@user/jbox) |
2021-11-28 03:52:02 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 03:53:35 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-11-28 03:54:06 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-28 03:55:46 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
2021-11-28 03:55:54 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2021-11-28 03:56:40 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 268 seconds) |
2021-11-28 03:56:47 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-28 03:56:57 +0100 | <Square> | if i have : class MyClz a where ; type MyType a. How can a function "fkn :: MyClz a => MyType a -> SomeType" be "non injective" regarding MyType. I thought it would defined solely by MyClz a? |
2021-11-28 03:59:14 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-11-28 03:59:29 +0100 | ubert1 | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-28 04:00:02 +0100 | renzhi | (~xp@2607:fa49:6500:b100::5cef) (Ping timeout: 240 seconds) |
2021-11-28 04:00:54 +0100 | ubert | (~Thunderbi@p200300ecdf0ba253e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 04:00:54 +0100 | ubert1 | ubert |
2021-11-28 04:04:41 +0100 | <EvanR> | I'm not sure but, MyType could certainly be non injective |
2021-11-28 04:04:43 +0100 | <pavonia> | Square: "type" is just a type synonym, so different instances could define the same type |
2021-11-28 04:04:50 +0100 | <EvanR> | ^ |
2021-11-28 04:05:16 +0100 | <EvanR> | MyType a doesn't necessarily lead back to a |
2021-11-28 04:05:24 +0100 | <EvanR> | only* |
2021-11-28 04:08:25 +0100 | <Square> | yeah i saw that injectivity definition. f a ∼ f b implies a ∼ b |
2021-11-28 04:11:36 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 245 seconds) |
2021-11-28 04:14:38 +0100 | <Square> | Oh seems TypeFamilyDependencies saved me for now atleast. |
2021-11-28 04:17:15 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
2021-11-28 04:17:15 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
2021-11-28 04:17:15 +0100 | finn_elija | FinnElija |
2021-11-28 04:19:07 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 04:21:32 +0100 | td_ | (~td@94.134.91.117) (Ping timeout: 240 seconds) |
2021-11-28 04:21:59 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-28 04:23:36 +0100 | td_ | (~td@muedsl-82-207-238-244.citykom.de) |
2021-11-28 04:24:41 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
2021-11-28 04:34:02 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 04:40:00 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
2021-11-28 04:40:23 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-28 04:44:20 +0100 | <yin> | what does this mean: [__0] rejecting: aoc2021-0.1.0.0 (conflict: requires LexicalNegation) |
2021-11-28 04:44:23 +0100 | <yin> | ? |
2021-11-28 04:44:38 +0100 | <yin> | i can't use LexicalNegation? |
2021-11-28 04:46:47 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-11-28 04:48:47 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
2021-11-28 04:49:09 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) |
2021-11-28 04:52:17 +0100 | jkaye | (~jkaye@2601:281:8300:7530:ee04:303f:9e4f:aa70) |
2021-11-28 04:52:32 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
2021-11-28 04:52:57 +0100 | <EvanR> | maybe your ghc doesn't support it |
2021-11-28 04:57:05 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Remote host closed the connection) |
2021-11-28 04:57:23 +0100 | <yin> | i think that's it |
2021-11-28 04:58:02 +0100 | <yin> | 8.10.7 |
2021-11-28 04:58:20 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-11-28 04:58:43 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 04:58:47 +0100 | Jing | (~hedgehog@2604:a840:3::1065) (Remote host closed the connection) |
2021-11-28 04:59:08 +0100 | <yushyin> | LexicalNegation is since 9.0.1 |
2021-11-28 04:59:21 +0100 | Jing | (~hedgehog@125.105.11.101) |
2021-11-28 05:00:46 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 245 seconds) |
2021-11-28 05:00:59 +0100 | hiruji | (~hiruji@user/hiruji) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-28 05:03:33 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Remote host closed the connection) |
2021-11-28 05:05:02 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
2021-11-28 05:14:43 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-11-28 05:17:47 +0100 | hiruji | (~hiruji@2606:6080:1002:9:ffc4:b9c1:20ad:82f9) |
2021-11-28 05:17:51 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Ping timeout: 245 seconds) |
2021-11-28 05:20:27 +0100 | jkaye | (~jkaye@2601:281:8300:7530:ee04:303f:9e4f:aa70) (Ping timeout: 260 seconds) |
2021-11-28 05:27:39 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
2021-11-28 05:27:47 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Read error: Connection reset by peer) |
2021-11-28 05:27:48 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-28 05:28:10 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-28 05:31:22 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) |
2021-11-28 05:32:27 +0100 | <superstar64> | How do I debug non-termination? Running this program takes up all my swap. |
2021-11-28 05:32:36 +0100 | <superstar64> | *system memory and swap. |
2021-11-28 05:37:55 +0100 | <EvanR> | Well other than profiling fu... you could try to narrow down where in the program is happening by excising 1/2 of the program at a time |
2021-11-28 05:38:16 +0100 | <EvanR> | where in the program the loop is happening |
2021-11-28 05:38:35 +0100 | <EvanR> | are you sure its non-termination and not just something very inefficient |
2021-11-28 05:38:54 +0100 | <EvanR> | (is there any print outs or anything during the loop) |
2021-11-28 05:41:48 +0100 | <superstar64> | EvanR, I kinda have this problem where running the program makes my system unusable. |
2021-11-28 05:42:07 +0100 | <EvanR> | so it's using a lot of memory |
2021-11-28 05:42:39 +0100 | <EvanR> | can you run it and press control C very fast to recover |
2021-11-28 05:42:55 +0100 | <EvanR> | if so, that's your ticket to starting to bisect search through it |
2021-11-28 05:45:16 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 05:50:06 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 05:51:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 05:53:33 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 05:55:34 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-28 05:55:42 +0100 | ubert | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 05:55:51 +0100 | img | (~img@user/img) |
2021-11-28 05:57:19 +0100 | ubert | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-28 06:00:10 +0100 | justBOOMER | justache |
2021-11-28 06:02:03 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
2021-11-28 06:10:18 +0100 | <yin> | if i do readFile "./file" from src/Main.hs inside a cabal project is the path relative to Main.hs or the project's root? |
2021-11-28 06:13:10 +0100 | <EvanR> | I would guess neither |
2021-11-28 06:14:39 +0100 | <EvanR> | once the exe is compiled and run, the working directory (which can be changed at runtime) is ...... *gets a book on unix* |
2021-11-28 06:15:59 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
2021-11-28 06:17:02 +0100 | <EvanR> | https://en.wikipedia.org/wiki/Working_directory |
2021-11-28 06:19:14 +0100 | <EvanR> | I actually have no idea what it is by default, but it could be e.g. the current working dir of the user who ran it for example. The cabal project is very unlikely as that will not be on the end users machine |
2021-11-28 06:24:03 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) (Ping timeout: 268 seconds) |
2021-11-28 06:24:39 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-11-28 06:28:37 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 06:29:48 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
2021-11-28 06:29:58 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
2021-11-28 06:35:30 +0100 | reumeth | (~reumeth@user/reumeth) |
2021-11-28 06:36:00 +0100 | <yin> | i'm trying to set up a cabal project for advent of code where i have a folder "input" with one input file per day. the goal is to have one module per day, each module reading it's own file from that folder |
2021-11-28 06:37:08 +0100 | <sclv> | typically if you're running an executable, the cwd is whatever directory your terminal happened to be in when you ran it |
2021-11-28 06:37:36 +0100 | <sclv> | which is usually the top level of the cabal project, but obviously it can be anywhere |
2021-11-28 06:39:37 +0100 | <EvanR> | so make sure the exe and the user are in that folder |
2021-11-28 06:40:11 +0100 | <sclv> | well the exe need not be in that folder |
2021-11-28 06:40:55 +0100 | <EvanR> | it would make it convenient to organize the days and run it |
2021-11-28 06:41:01 +0100 | <sclv> | like if your exe is in ./dist-newstyle/foo/x/something/foo and you invoke it with that path then that's fine |
2021-11-28 06:41:17 +0100 | <sclv> | your cwd is still where you invoked it from |
2021-11-28 06:41:42 +0100 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
2021-11-28 06:41:45 +0100 | <sclv> | alternately just pass the damn thing a path to the desired directory |
2021-11-28 06:42:04 +0100 | <EvanR> | yeah it is pretty easy to type ./dist-newstyle/build/x86_64-linux/ghc-8.10.7/Nov2021-C-0.1.0.0/x/Nov2021-C/build/Nov2021-C/N^C2021-C |
2021-11-28 06:42:24 +0100 | <sclv> | it is for me, since its tab-complete, tab complete, tab complete |
2021-11-28 06:42:25 +0100 | <EvanR> | when did cabal start doing this crap xD |
2021-11-28 06:42:38 +0100 | <sclv> | and thenceforth its "uparrow" |
2021-11-28 06:42:39 +0100 | <EvanR> | my autocomplete gets caught up 4 times |
2021-11-28 06:42:57 +0100 | <sclv> | do you not have an up arrow on your keyboard |
2021-11-28 06:43:04 +0100 | <EvanR> | I just cabal run usually |
2021-11-28 06:43:09 +0100 | <sclv> | that works too :-P |
2021-11-28 06:43:14 +0100 | <EvanR> | so the command is not in my history lol |
2021-11-28 06:43:31 +0100 | <sclv> | also it prints the path at the end of a build, so its double-click to select, copy, paste |
2021-11-28 06:43:52 +0100 | <sclv> | or cabal list-bin |
2021-11-28 06:44:27 +0100 | alzgh | (~alzgh@user/alzgh) |
2021-11-28 06:45:20 +0100 | nahcetan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
2021-11-28 06:45:28 +0100 | n8chan | (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
2021-11-28 06:46:03 +0100 | <EvanR> | why does it seem like a duplicate build tree under /x/ |
2021-11-28 06:46:27 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 06:49:06 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 06:49:57 +0100 | <sclv> | project structure means we need packages, and subcomponents both |
2021-11-28 06:50:20 +0100 | <sclv> | i think potentially if we were very careful there's at most one too many directories |
2021-11-28 06:50:46 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 245 seconds) |
2021-11-28 06:51:10 +0100 | <sclv> | but most naive attempts to factor it away have failed -- they look like they work, but eventually two subcomponents or something end up trying to put things in the same directory and name clashes can occur |
2021-11-28 06:53:16 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
2021-11-28 06:54:34 +0100 | <sclv> | like i don't recall exactly why you need the additional thing after /build/ but iirc there's some stuff that doesn't go in there but that ends up in /build directly (maybe preprocessor-related?) and if you collapsed the two you could get certain possible clashes |
2021-11-28 06:55:14 +0100 | <sclv> | arguably what would be nice is if the final artifact was _also_ auto-symlinked to somewhere pleasant high up in the tree |
2021-11-28 07:11:24 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 07:15:21 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 07:15:52 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:3d37:9c6b:bc10:3149) (Ping timeout: 268 seconds) |
2021-11-28 07:16:34 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:8cc:44db:ddba:ac5d) |
2021-11-28 07:23:08 +0100 | bliminse | (~bliminse@host86-188-36-178.range86-188.btcentralplus.com) (Quit: Lost terminal) |
2021-11-28 07:26:52 +0100 | bliminse | (~bliminse@host86-188-36-178.range86-188.btcentralplus.com) |
2021-11-28 07:29:54 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
2021-11-28 07:31:27 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
2021-11-28 07:31:38 +0100 | pragma- | (~chaos@user/pragmatic-chaos) |
2021-11-28 07:37:25 +0100 | phma_ | (~phma@host-67-44-208-5.hnremote.net) |
2021-11-28 07:37:27 +0100 | phma_ | (~phma@host-67-44-208-5.hnremote.net) (Read error: Connection reset by peer) |
2021-11-28 07:37:52 +0100 | phma_ | (~phma@host-67-44-208-5.hnremote.net) |
2021-11-28 07:38:08 +0100 | phma | (phma@2001:5b0:2144:5518:1989:d92a:fa65:167d) (Read error: Connection reset by peer) |
2021-11-28 07:42:17 +0100 | p3n_ | p3n |
2021-11-28 07:42:27 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
2021-11-28 07:42:49 +0100 | chexum | (~quassel@gateway/tor-sasl/chexum) |
2021-11-28 07:43:02 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 07:43:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 07:44:57 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 07:49:02 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
2021-11-28 07:51:03 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
2021-11-28 07:56:20 +0100 | ubert | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection) |
2021-11-28 07:56:28 +0100 | yaroot | (~yaroot@52.102.13.160.dy.iij4u.or.jp) |
2021-11-28 07:58:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 07:58:58 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:00:38 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:00:47 +0100 | ubert | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) |
2021-11-28 08:00:56 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:01:18 +0100 | superstar64 | (~superstar@2600:1700:ed80:50a0:d250:99ff:fe2c:53c4) (Quit: Leaving) |
2021-11-28 08:04:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:05:13 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:09:20 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:09:38 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:13:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:13:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:15:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:15:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:15:46 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 245 seconds) |
2021-11-28 08:16:19 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-28 08:19:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:19:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:20:33 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 08:24:12 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:24:30 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:26:18 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:26:36 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:30:24 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:30:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:32:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:32:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:32:59 +0100 | davean | (~davean@davean.sciesnet.net) (Quit: WeeChat 2.8) |
2021-11-28 08:33:07 +0100 | davean | (~davean@davean.sciesnet.net) |
2021-11-28 08:34:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:35:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:36:02 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:36:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:37:59 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:39:56 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:41:36 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:41:54 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:43:34 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:43:52 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:46:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:46:24 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:48:04 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:48:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:49:35 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 08:50:29 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 08:50:31 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 08:50:58 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 08:52:50 +0100 | ph88^ | (~ph88@ip5f5af068.dynamic.kabel-deutschland.de) (Quit: Leaving) |
2021-11-28 08:54:30 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:54:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:55:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
2021-11-28 08:55:23 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 256 seconds) |
2021-11-28 08:55:23 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-11-28 08:57:03 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 08:57:20 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 08:58:50 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 268 seconds) |
2021-11-28 09:01:01 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 09:01:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 09:02:19 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 09:05:05 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 09:06:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 09:06:54 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 09:07:34 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 09:07:50 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-11-28 09:10:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 09:13:20 +0100 | xcmw | (~textual@dyn-72-33-0-245.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-28 09:15:34 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 09:20:44 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 09:21:40 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
2021-11-28 09:21:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 09:22:00 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 09:23:40 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 09:27:44 +0100 | chomwitt | (~chomwitt@2a02:587:dc14:4600:12c3:7bff:fe6d:d374) |
2021-11-28 09:30:59 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2021-11-28 09:32:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-11-28 09:34:29 +0100 | namkeleser | (~namkelese@101.175.102.188) (Ping timeout: 256 seconds) |
2021-11-28 09:35:40 +0100 | aliosablack | (~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) |
2021-11-28 09:38:12 +0100 | chomwitt | (~chomwitt@2a02:587:dc14:4600:12c3:7bff:fe6d:d374) (Ping timeout: 265 seconds) |
2021-11-28 09:39:34 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
2021-11-28 09:41:40 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-11-28 09:42:15 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
2021-11-28 09:46:33 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-28 09:49:38 +0100 | mmhat | (~mmh@55d4d614.access.ecotel.net) |
2021-11-28 09:49:38 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-11-28 09:50:01 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-28 09:54:38 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Ping timeout: 265 seconds) |
2021-11-28 09:54:45 +0100 | SSCC | (~SSCC@59-102-95-229.tpgi.com.au) |
2021-11-28 09:54:57 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 268 seconds) |
2021-11-28 09:55:28 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-28 09:57:37 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 09:58:54 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) (Remote host closed the connection) |
2021-11-28 09:59:40 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
2021-11-28 10:01:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 10:02:28 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 10:07:36 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 10:10:45 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
2021-11-28 10:10:56 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 10:14:47 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
2021-11-28 10:14:56 +0100 | aliosablack | (~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) (Ping timeout: 265 seconds) |
2021-11-28 10:14:56 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) |
2021-11-28 10:15:14 +0100 | <arahael> | I'm trying to make sense of the new Amazonka 2.0 API, and it's very confusing. How should I make a "Paths"? (Reference: https://github.com/brendanhay/amazonka/blob/aeecded1501510d607082bb9a65aa5086755251f/lib/services/… ) |
2021-11-28 10:15:25 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
2021-11-28 10:15:57 +0100 | <arahael> | It seems to suggest that I should use 'newPaths', but the implementation doesn't make sense there... I've got a bunch of paths I want to invalidate, why would I use provide 'nothing'? |
2021-11-28 10:17:48 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
2021-11-28 10:17:48 +0100 | allbery_b | (~geekosaur@xmonad/geekosaur) |
2021-11-28 10:17:51 +0100 | allbery_b | geekosaur |
2021-11-28 10:18:02 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
2021-11-28 10:19:15 +0100 | <arahael> | I mean, the implementation is: newPaths pQuantity_ = Paths' { items = Prelude.Nothing, quantity = pQuantity_ } |
2021-11-28 10:19:21 +0100 | <arahael> | That makes no sense, does it? |
2021-11-28 10:23:13 +0100 | <jackdk> | arahael: general amazonka convention: newFoo makes a "minimal" value of a shape (all required fields provided) and then you use lenses to set the remaining fields |
2021-11-28 10:23:45 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 10:25:09 +0100 | <jackdk> | arahael: https://github.com/brendanhay/amazonka/blob/0ccede621e56fb6f240e4850e205cde82d0e4a4b/examples/src/… look at the way `newTagging` is assembled |
2021-11-28 10:27:25 +0100 | <arahael> | jackdk: Why would the number of items differ from the contents, though? It seems a bit weird. |
2021-11-28 10:27:54 +0100 | <arahael> | jackdk: So basically I provide the paths twice - firstly in that 'newPaths' to set the count, and then using lenses again to give the actual paths again? |
2021-11-28 10:28:31 +0100 | <arahael> | jackdk: I'm also getting the impression that, eg in that example, @"tagSet" isn't actually a string? |
2021-11-28 10:29:20 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
2021-11-28 10:29:42 +0100 | <jackdk> | arahael: it probably wouldn't - amazonka is generated by parsing service and payload defintions from aws' botocore project |
2021-11-28 10:30:06 +0100 | <jackdk> | arahael: @"tagSet" is an explicit type application - that's the @ - of a type-level string "tagSet" |
2021-11-28 10:30:14 +0100 | <jackdk> | arahael: see https://hackage.haskell.org/package/generic-lens |
2021-11-28 10:31:52 +0100 | <arahael> | Well, that works. I guess I really do need to give generic-lens a proper read now, and figure out what "type-level strings" are. |
2021-11-28 10:31:55 +0100 | <arahael> | Thanks again :) |
2021-11-28 10:32:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-11-28 10:32:40 +0100 | <arahael> | I'll rewrite the 'runAWST' using bit another time :) Slow-and-steady... Between nethack games, of course. :) |
2021-11-28 10:33:18 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
2021-11-28 10:35:35 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 10:35:45 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Quit: Leaving) |
2021-11-28 10:35:54 +0100 | <jackdk> | arahael: I would probably shove the Env into whatever ReaderT you have lying around, and then write your own wrapper around `send` which feeds the Env to amazonka's send |
2021-11-28 10:36:42 +0100 | <arahael> | jackdk: That's the thing, I very rarely even use ReaderT - infact, I've barely learnt about MonadTransformers, though I'm aware of the need to do 'liftIO' and the like when I need to get into that. |
2021-11-28 10:39:32 +0100 | pfurla | (~pfurla@201.17.118.230) (Read error: Connection reset by peer) |
2021-11-28 10:39:38 +0100 | pfurla_ | (~pfurla@2804:14d:5c81:4104:c02e:81ef:e775:3a9e) |
2021-11-28 10:39:49 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 10:40:05 +0100 | <jackdk> | arahael: I see. https://github.com/qfpl/applied-fp-course might be a good read for you then, in particular bonus/mtl.md |
2021-11-28 10:40:08 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-28 10:41:03 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
2021-11-28 10:41:10 +0100 | <arahael> | jackdk: Thanks for the recommendation. :) I'll check it out. |
2021-11-28 10:42:30 +0100 | <arahael> | Woo, and as a bonus, that's an example of markdown-based literate haskell. I was going to play with that for the Advent of Code! |
2021-11-28 10:45:25 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 10:46:19 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-11-28 10:50:09 +0100 | SSCC | (~SSCC@59-102-95-229.tpgi.com.au) (Quit: Client closed) |
2021-11-28 10:50:13 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
2021-11-28 10:51:09 +0100 | <arahael> | Hmm, I should probably find some time to do those data61 courses again. |
2021-11-28 10:51:23 +0100 | <arahael> | (Probably lots I've forgotten or missed) |
2021-11-28 10:59:41 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-11-28 11:00:32 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 240 seconds) |
2021-11-28 11:01:28 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
2021-11-28 11:03:40 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 11:04:40 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) |
2021-11-28 11:05:22 +0100 | chomwitt | (~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) |
2021-11-28 11:08:50 +0100 | ubert | (~Thunderbi@p200300ecdf0ba234e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 11:09:47 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Quit: ZNC 1.8.2 - https://znc.in) |
2021-11-28 11:10:00 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-28 11:10:12 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 11:11:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 11:12:12 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 11:15:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 11:16:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 11:16:20 +0100 | aliosablack | (~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) |
2021-11-28 11:16:20 +0100 | chomwitt | (~chomwitt@2a02:587:dc16:f200:12c3:7bff:fe6d:d374) (Read error: Connection reset by peer) |
2021-11-28 11:18:00 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 11:18:16 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 11:20:31 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 11:20:48 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 11:21:30 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) |
2021-11-28 11:22:27 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 11:24:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 11:30:39 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 11:30:47 +0100 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 11:31:31 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 11:33:42 +0100 | hololeap_ | (~hololeap@user/hololeap) |
2021-11-28 11:33:48 +0100 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
2021-11-28 11:34:38 +0100 | fef | (~thedawn@user/thedawn) |
2021-11-28 11:34:46 +0100 | x88x88x | (~cheeg@218.212.160.154) |
2021-11-28 11:36:39 +0100 | hololeap_ | (~hololeap@user/hololeap) (Remote host closed the connection) |
2021-11-28 11:37:54 +0100 | hololeap_ | (~hololeap@user/hololeap) |
2021-11-28 11:37:59 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:8cc:44db:ddba:ac5d) (Ping timeout: 260 seconds) |
2021-11-28 11:38:08 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 11:38:46 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) |
2021-11-28 11:40:32 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-28 11:42:33 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds) |
2021-11-28 11:45:20 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 268 seconds) |
2021-11-28 11:49:37 +0100 | jstolarek | (~jstolarek@137.220.120.162) |
2021-11-28 11:52:11 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
2021-11-28 11:52:25 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 11:57:37 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-11-28 11:57:51 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 256 seconds) |
2021-11-28 11:59:19 +0100 | linkedlistist | (uid528169@lymington.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 11:59:42 +0100 | fef | (~thedawn@user/thedawn) (Remote host closed the connection) |
2021-11-28 12:00:06 +0100 | fef | (~thedawn@user/thedawn) |
2021-11-28 12:01:08 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-28 12:15:37 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
2021-11-28 12:21:54 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) |
2021-11-28 12:24:48 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Ping timeout: 268 seconds) |
2021-11-28 12:26:23 +0100 | zaquest | (~notzaques@5.130.79.72) (Remote host closed the connection) |
2021-11-28 12:27:23 +0100 | zaquest | (~notzaques@5.130.79.72) |
2021-11-28 12:28:36 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 12:29:35 +0100 | x88x88x | (~cheeg@218.212.160.154) (Ping timeout: 256 seconds) |
2021-11-28 12:35:18 +0100 | desantra | (~skykanin@user/skykanin) |
2021-11-28 12:35:32 +0100 | kennyd | (~bc8165b6@cerf.good1.com) |
2021-11-28 12:38:27 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-11-28 12:40:54 +0100 | neurocyte0132889 | (~neurocyte@94.16.91.65) |
2021-11-28 12:40:54 +0100 | neurocyte0132889 | (~neurocyte@94.16.91.65) (Changing host) |
2021-11-28 12:40:54 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-11-28 12:42:18 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) |
2021-11-28 12:43:59 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 12:45:10 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-28 12:51:58 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
2021-11-28 12:53:53 +0100 | jstolarek | (~jstolarek@137.220.120.162) |
2021-11-28 12:56:44 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) (Quit: The Lounge - https://thelounge.chat) |
2021-11-28 13:00:14 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 256 seconds) |
2021-11-28 13:01:41 +0100 | neurocyte0132889 | (~neurocyte@94.16.91.65) |
2021-11-28 13:01:41 +0100 | neurocyte0132889 | (~neurocyte@94.16.91.65) (Changing host) |
2021-11-28 13:01:41 +0100 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
2021-11-28 13:03:08 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-11-28 13:06:44 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) (Quit: This computer has gone to sleep) |
2021-11-28 13:07:51 +0100 | lyiriyah` | (~lyiriyah@2a00:23c8:5f85:9101:2e5c:cadb:3fa7:7a3b) |
2021-11-28 13:08:00 +0100 | lyiriyah` | (~lyiriyah@2a00:23c8:5f85:9101:2e5c:cadb:3fa7:7a3b) (Remote host closed the connection) |
2021-11-28 13:09:18 +0100 | rtsn | (~nstr@c-c7fe225c.07-59-7570703.bbcust.telenor.se) (Ping timeout: 256 seconds) |
2021-11-28 13:11:08 +0100 | Guest17 | (~Guest17@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
2021-11-28 13:16:19 +0100 | forell_ | forell |
2021-11-28 13:16:56 +0100 | forell | (~forell@host-178-216-90-220.sta.tvknaszapraca.pl) (Changing host) |
2021-11-28 13:16:56 +0100 | forell | (~forell@user/forell) |
2021-11-28 13:19:03 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) |
2021-11-28 13:22:28 +0100 | pfurla_ | (~pfurla@2804:14d:5c81:4104:c02e:81ef:e775:3a9e) (Ping timeout: 265 seconds) |
2021-11-28 13:23:49 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 13:27:04 +0100 | hskpractice | hskpr |
2021-11-28 13:30:21 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-28 13:30:51 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) (Quit: Connection closed) |
2021-11-28 13:35:17 +0100 | hskpr | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 13:35:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 13:39:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 13:39:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 13:41:04 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 13:41:15 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Quit: gone to sleep. ZZZzzz…) |
2021-11-28 13:43:05 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-28 13:44:57 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 13:46:23 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 13:48:04 +0100 | _ht_ | (~quassel@94.198.43.109) |
2021-11-28 13:48:05 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Ping timeout: 265 seconds) |
2021-11-28 13:50:48 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 13:51:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 13:51:11 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-11-28 13:52:37 +0100 | machinedgod | (~machinedg@24.105.81.50) |
2021-11-28 13:53:01 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) |
2021-11-28 13:54:03 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Client Quit) |
2021-11-28 13:55:13 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) |
2021-11-28 13:56:09 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) (Client Quit) |
2021-11-28 13:57:49 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 13:58:06 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 13:59:36 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 13:59:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 14:01:33 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 14:01:58 +0100 | MoC | (~moc@user/moc) |
2021-11-28 14:03:32 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 240 seconds) |
2021-11-28 14:04:18 +0100 | nckx | (~nckx@tobias.gr) (Ping timeout: 260 seconds) |
2021-11-28 14:05:21 +0100 | namkeleser | (~namkelese@101.175.102.188) (Ping timeout: 256 seconds) |
2021-11-28 14:07:49 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-28 14:10:24 +0100 | koz | (~koz@121.99.240.58) |
2021-11-28 14:10:41 +0100 | namkeleser | (~namkelese@101.175.102.188) |
2021-11-28 14:16:05 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
2021-11-28 14:17:52 +0100 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
2021-11-28 14:18:43 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 14:19:31 +0100 | namkeleser | (~namkelese@101.175.102.188) (Ping timeout: 256 seconds) |
2021-11-28 14:20:23 +0100 | shriekingnoise | (~shrieking@186.137.144.80) (Quit: Quit) |
2021-11-28 14:21:39 +0100 | <yin> | how can I cabal run with command line arguments? |
2021-11-28 14:22:44 +0100 | <Franciman> | cabal run progname -- arguments |
2021-11-28 14:22:56 +0100 | <Franciman> | I don't remember if you actually need -- |
2021-11-28 14:23:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
2021-11-28 14:23:48 +0100 | mcglk_ | (~mcglk@131.191.49.120) (Read error: Connection reset by peer) |
2021-11-28 14:24:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
2021-11-28 14:25:03 +0100 | <yin> | ah, i was missing progname |
2021-11-28 14:25:18 +0100 | <yin> | thanks |
2021-11-28 14:29:40 +0100 | <geekosaur> | you need -- if it takes options starting with -, otherwise they'll be eaten by cabal |
2021-11-28 14:29:56 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-28 14:29:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 14:33:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 14:34:32 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) (Quit: mikoto-chan) |
2021-11-28 14:34:40 +0100 | mikoto-chan | (~mikoto-ch@esm-84-240-99-143.netplaza.fi) |
2021-11-28 14:47:54 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 14:49:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 14:53:33 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-28 14:56:34 +0100 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 260 seconds) |
2021-11-28 14:58:17 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-28 14:59:00 +0100 | <albet70> | what kleisli arrow is used for? |
2021-11-28 14:59:15 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 14:59:50 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-28 15:00:16 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
2021-11-28 15:01:12 +0100 | jmorris | (uid433911@id-433911.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2021-11-28 15:01:15 +0100 | <Rembane_> | :t (>=>) -- Are you thinking of this one, albet70? |
2021-11-28 15:01:16 +0100 | <lambdabot> | Monad m => (a -> m b) -> (b -> m c) -> a -> m c |
2021-11-28 15:01:35 +0100 | <albet70> | yes |
2021-11-28 15:01:48 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) |
2021-11-28 15:01:55 +0100 | <albet70> | effect? |
2021-11-28 15:02:23 +0100 | betelgeuse9 | (~betelgeus@94-225-47-8.access.telenet.be) (Remote host closed the connection) |
2021-11-28 15:04:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:04:20 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 256 seconds) |
2021-11-28 15:04:22 +0100 | cheater1__ | (~Username@user/cheater) |
2021-11-28 15:04:25 +0100 | cheater1__ | cheater |
2021-11-28 15:04:35 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-28 15:05:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:05:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:07:06 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:07:08 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-11-28 15:07:43 +0100 | <albet70> | >>= is an advanced version of <$> which can do if-else, is >=> an advanced version of >>=? |
2021-11-28 15:08:10 +0100 | <hpc> | @src (>=>) |
2021-11-28 15:08:10 +0100 | <lambdabot> | Source not found. Do you think like you type? |
2021-11-28 15:08:14 +0100 | <hpc> | bah |
2021-11-28 15:08:18 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:08:27 +0100 | <hpc> | (>=>) is defined in terms of (>>=) |
2021-11-28 15:08:41 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fabc-15.dhcp.inet.fi) |
2021-11-28 15:08:43 +0100 | <hpc> | https://hackage.haskell.org/package/base-4.16.0.0/docs/src/Control.Monad.html#%3E%3D%3E |
2021-11-28 15:09:29 +0100 | <hpc> | if you consider (<=<) instead, it has some nice parallels to (.) |
2021-11-28 15:09:31 +0100 | <hpc> | :t (<=<) |
2021-11-28 15:09:32 +0100 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
2021-11-28 15:09:35 +0100 | <hpc> | :t (.) |
2021-11-28 15:09:36 +0100 | <lambdabot> | (b -> c) -> (a -> b) -> a -> c |
2021-11-28 15:09:57 +0100 | <hpc> | so it's like function composition with extra goodies |
2021-11-28 15:10:47 +0100 | jstolarek | (~jstolarek@137.220.120.162) |
2021-11-28 15:11:38 +0100 | <hpc> | :t (=<<) |
2021-11-28 15:11:39 +0100 | <lambdabot> | Monad m => (a -> m b) -> m a -> m b |
2021-11-28 15:11:40 +0100 | <hpc> | :t ($) |
2021-11-28 15:11:40 +0100 | <lambdabot> | (a -> b) -> a -> b |
2021-11-28 15:11:49 +0100 | <hpc> | ^ is another point of comparison |
2021-11-28 15:12:42 +0100 | cosimone` | (~user@93-44-184-115.ip98.fastwebnet.it) |
2021-11-28 15:14:02 +0100 | cosimone | (~user@2001:b07:ae5:db26:a7aa:8027:6b4e:2fb3) (Ping timeout: 240 seconds) |
2021-11-28 15:14:22 +0100 | <albet70> | . is a subset of <=<? |
2021-11-28 15:15:19 +0100 | <albet70> | why people prefer <<= than <=<? |
2021-11-28 15:15:32 +0100 | Robin_Jadoul | (~Robin_Jad@152.67.64.160) (Quit: Robin_Jadoul) |
2021-11-28 15:15:48 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 15:16:00 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 15:16:06 +0100 | <albet70> | :t (<<=) |
2021-11-28 15:16:07 +0100 | <lambdabot> | error: |
2021-11-28 15:16:07 +0100 | <lambdabot> | • Variable not in scope: <<= |
2021-11-28 15:16:07 +0100 | <lambdabot> | • Perhaps you meant one of these: |
2021-11-28 15:16:21 +0100 | <Rembane_> | albet70: If you already have a value =<< is much easier to work with. :) |
2021-11-28 15:16:49 +0100 | helby | (helby@alpine/moderator/helby) |
2021-11-28 15:16:57 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 15:17:07 +0100 | <Rembane_> | albet70: getLine >>= putStrLn -- is easier than: |
2021-11-28 15:17:09 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 15:17:36 +0100 | <hpc> | yeah, (<=<) is more useful for the theoretical connections |
2021-11-28 15:17:45 +0100 | <Rembane_> | albet70: (const getLine) >=> putStrLn () |
2021-11-28 15:18:12 +0100 | <hpc> | being able to wave your hands and say "Kleisli is a category" makes various other things possible |
2021-11-28 15:18:16 +0100 | <Rembane_> | Indeed, although both (<=<) and (>=>) are very nice for doing pointless style programming with monads. |
2021-11-28 15:18:40 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 15:21:31 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:21:38 +0100 | <helby> | Hello people, I got some error during cabal build > linux-musl/bin/ld: cannot find -lffi Any idea? https://envs.sh/Eub.txt |
2021-11-28 15:21:49 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:22:59 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 256 seconds) |
2021-11-28 15:25:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:26:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:26:47 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 15:28:18 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e120859696da5d9d189.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
2021-11-28 15:28:24 +0100 | <helby> | I would say, I failed in fail |
2021-11-28 15:28:35 +0100 | <helby> | hups not, here |
2021-11-28 15:31:13 +0100 | <albet70> | >>= :: (e->a) -> (a->e->b) ->e -> b is ok? |
2021-11-28 15:31:24 +0100 | fusion86 | (~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) |
2021-11-28 15:31:49 +0100 | <geekosaur> | % :t (>>=) @((->) _) |
2021-11-28 15:31:49 +0100 | <yahb> | geekosaur: (w -> a) -> (a -> w -> b) -> w -> b |
2021-11-28 15:33:08 +0100 | <geekosaur> | which is the same as: (w -> a) -> (a -> w -> b) -> (w -> b) |
2021-11-28 15:33:23 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
2021-11-28 15:33:45 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-11-28 15:33:51 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
2021-11-28 15:34:15 +0100 | <albet70> | :% :t (<=<) @((->) _) |
2021-11-28 15:34:36 +0100 | <albet70> | % :t (<=<) @((->) _) |
2021-11-28 15:34:36 +0100 | <yahb> | albet70: (b -> w -> c) -> (a -> w -> b) -> a -> w -> c |
2021-11-28 15:36:33 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:36:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:39:37 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-11-28 15:41:26 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-28 15:42:46 +0100 | <fusion86> | Hey all, for a homework assignment we have to write a simple ical parser. So far so good. However I am currently stuck on verifying whether the lexed tokens actually from a valid structure. For this I need to check whether a token at a given position is of a certain type. I currently do this with a crappy pattern match, but I was wondering whether there is a better way to solve this. Code: https://paste.tomsmeding.co |
2021-11-28 15:42:46 +0100 | <fusion86> | m/aML9L05e |
2021-11-28 15:43:01 +0100 | <fusion86> | Non-linebroken link: https://paste.tomsmeding.com/aML9L05e |
2021-11-28 15:43:03 +0100 | desantra | (~skykanin@user/skykanin) (Quit: WeeChat 3.3) |
2021-11-28 15:44:01 +0100 | <fusion86> | This does use an in house parser, but the pattern match thingy should be understandable without knowing about the parser lib. |
2021-11-28 15:44:57 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e12682d634f453929c6.dip0.t-ipconnect.de) |
2021-11-28 15:45:11 +0100 | renzhi | (~xp@2607:fa49:6500:b100::5cef) |
2021-11-28 15:45:46 +0100 | <helby> | fixed, missed libffi-dev crap |
2021-11-28 15:47:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:47:44 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:49:24 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:49:26 +0100 | <albet70> | % :t (>=>) @((->) _) |
2021-11-28 15:49:26 +0100 | <yahb> | albet70: (a -> w -> b) -> (b -> w -> c) -> a -> w -> c |
2021-11-28 15:49:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:51:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 15:51:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 15:52:19 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds) |
2021-11-28 15:54:13 +0100 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) |
2021-11-28 15:56:26 +0100 | haask | (~harry@92.234.0.237) |
2021-11-28 15:57:08 +0100 | haask | (~harry@92.234.0.237) (Remote host closed the connection) |
2021-11-28 15:58:33 +0100 | haask | (~harry@92.234.0.237) |
2021-11-28 15:59:16 +0100 | hololeap_ | hololeap |
2021-11-28 16:02:03 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:02:20 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:03:02 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 16:03:50 +0100 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
2021-11-28 16:04:33 +0100 | <albet70> | I wonder what's the case to use >>= and >=> on function form |
2021-11-28 16:05:15 +0100 | jkaye | (~jkaye@2601:281:8300:7530:9397:8874:2ff1:8d72) |
2021-11-28 16:06:01 +0100 | <geekosaur> | we don't, usually. but the Functor instance is useful and we get the Applicative and Monad instances "for free", as it were |
2021-11-28 16:06:21 +0100 | <geekosaur> | every so often we use those, but they tend to make for really confusing code |
2021-11-28 16:07:33 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Ping timeout: 250 seconds) |
2021-11-28 16:07:53 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 16:08:19 +0100 | <geekosaur> | people's minds just don't seem to generalize that way |
2021-11-28 16:08:28 +0100 | <hpc> | there's Reader, if you don't count newtype wrappers |
2021-11-28 16:08:58 +0100 | <hpc> | but you probably should in this case, you go crazy pretty quickly without it :D |
2021-11-28 16:10:38 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:10:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:12:35 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:12:43 +0100 | <geekosaur> | (there's a bit of "just because you can, doesn't mean you should" in here) |
2021-11-28 16:12:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:13:10 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 16:14:48 +0100 | x88x88x | (~cheeg@218.212.160.154) |
2021-11-28 16:16:00 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Quit: ERC 5.4.1 (IRC client for GNU Emacs 29.0.50)) |
2021-11-28 16:17:25 +0100 | x88x88x- | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-28 16:17:32 +0100 | _ht_ | (~quassel@94.198.43.109) (Ping timeout: 240 seconds) |
2021-11-28 16:17:35 +0100 | zebrag | (~chris@user/zebrag) |
2021-11-28 16:18:18 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
2021-11-28 16:18:24 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
2021-11-28 16:19:05 +0100 | benjamin[m]12 | (~benjaminm@2001:470:69fc:105::1:3f2f) |
2021-11-28 16:19:39 +0100 | x88x88x | (~cheeg@218.212.160.154) (Ping timeout: 256 seconds) |
2021-11-28 16:20:03 +0100 | <albet70> | so Reader is useless? |
2021-11-28 16:20:19 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
2021-11-28 16:20:54 +0100 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) |
2021-11-28 16:21:24 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) |
2021-11-28 16:22:45 +0100 | kronicmage | (user72429@neotame.csclub.uwaterloo.ca) (Quit: WeeChat 3.0.1) |
2021-11-28 16:22:46 +0100 | <hpc> | Reader is useful, doing Reader stuff with bare (->) is what geekosaur is refering to |
2021-11-28 16:25:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:26:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:27:35 +0100 | <geekosaur> | right, Reader adds just enough that it's sane to work with. ((->) e) directly is mind-bending |
2021-11-28 16:29:37 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e12682d634f453929c6.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
2021-11-28 16:29:51 +0100 | alzgh | (~alzgh@user/alzgh) (Ping timeout: 256 seconds) |
2021-11-28 16:34:34 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 16:35:15 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
2021-11-28 16:36:39 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-28 16:36:39 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-28 16:36:39 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-28 16:38:41 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 245 seconds) |
2021-11-28 16:40:09 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 265 seconds) |
2021-11-28 16:41:14 +0100 | waleee | (~waleee@h-82-196-111-63.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
2021-11-28 16:41:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
2021-11-28 16:41:48 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) |
2021-11-28 16:43:28 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:43:39 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 16:43:46 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:43:58 +0100 | alzgh | (alzgh@user/alzgh) |
2021-11-28 16:45:12 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-28 16:45:23 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 16:47:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 16:47:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 16:47:57 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-28 16:49:19 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2021-11-28 16:49:32 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Ping timeout: 240 seconds) |
2021-11-28 16:50:07 +0100 | pfurla | (~pfurla@2804:14d:5c81:4104:40b9:a545:8d47:6552) |
2021-11-28 16:52:17 +0100 | fusion86 | (~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) (Remote host closed the connection) |
2021-11-28 16:52:39 +0100 | fusion86 | (~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) |
2021-11-28 16:53:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 16:55:31 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) (Ping timeout: 268 seconds) |
2021-11-28 16:57:33 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
2021-11-28 16:58:07 +0100 | hiruji` | (~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) |
2021-11-28 16:58:16 +0100 | hiruji | (~hiruji@2606:6080:1002:9:ffc4:b9c1:20ad:82f9) (Ping timeout: 245 seconds) |
2021-11-28 16:58:24 +0100 | hiruji` | (~hiruji@pool-100-4-208-71.albyny.fios.verizon.net) (Remote host closed the connection) |
2021-11-28 16:59:19 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
2021-11-28 16:59:29 +0100 | mcglk | (~mcglk@131.191.49.120) |
2021-11-28 16:59:33 +0100 | hiruji | (~hiruji@user/hiruji) |
2021-11-28 16:59:48 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 17:00:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 17:00:09 +0100 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) (Quit: lambdap) |
2021-11-28 17:00:24 +0100 | lambdap | (~lambdap@static.167.190.119.168.clients.your-server.de) |
2021-11-28 17:01:41 +0100 | helby | (helby@alpine/moderator/helby) () |
2021-11-28 17:01:46 +0100 | hiruji | (~hiruji@user/hiruji) (Client Quit) |
2021-11-28 17:03:39 +0100 | hiruji | (~hiruji@user/hiruji) |
2021-11-28 17:04:19 +0100 | koz | (~koz@121.99.240.58) (Ping timeout: 265 seconds) |
2021-11-28 17:04:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-28 17:08:24 +0100 | alzgh | (alzgh@user/alzgh) (Remote host closed the connection) |
2021-11-28 17:10:18 +0100 | slowButPresent | (~slowButPr@user/slowbutpresent) |
2021-11-28 17:11:33 +0100 | fusion86 | (~fusion@2a02-a44c-e6e5-1-f563-676f-4b4e-88fc.fixed6.kpn.net) (Quit: Leaving) |
2021-11-28 17:13:33 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
2021-11-28 17:14:01 +0100 | alzgh | (alzgh@user/alzgh) |
2021-11-28 17:15:38 +0100 | phma_ | phma |
2021-11-28 17:17:28 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) |
2021-11-28 17:19:54 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection) |
2021-11-28 17:21:46 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 17:22:59 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-28 17:26:20 +0100 | bollu | (uid233390@id-233390.helmsley.irccloud.com) |
2021-11-28 17:26:31 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-11-28 17:28:29 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2021-11-28 17:28:43 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-28 17:29:25 +0100 | koz | (~koz@121.99.240.58) |
2021-11-28 17:31:22 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 17:32:31 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 17:33:27 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
2021-11-28 17:34:51 +0100 | cheater | (~Username@user/cheater) |
2021-11-28 17:35:06 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 17:35:15 +0100 | x88x88x- | (~cheeg@gateway/vpn/pia/x88x88x) (Ping timeout: 265 seconds) |
2021-11-28 17:36:08 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-11-28 17:36:29 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-28 17:37:40 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-11-28 17:41:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 17:42:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 17:43:02 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 240 seconds) |
2021-11-28 17:45:39 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 17:45:58 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) |
2021-11-28 17:48:00 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
2021-11-28 17:48:57 +0100 | kennyd | (~bc8165b6@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
2021-11-28 17:49:14 +0100 | hiruji | (~hiruji@user/hiruji) (Ping timeout: 256 seconds) |
2021-11-28 17:52:15 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 260 seconds) |
2021-11-28 17:54:49 +0100 | haask | (~harry@92.234.0.237) (Remote host closed the connection) |
2021-11-28 17:59:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 17:59:29 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection) |
2021-11-28 17:59:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 18:00:20 +0100 | ees | (~user@pool-108-18-30-46.washdc.fios.verizon.net) (Remote host closed the connection) |
2021-11-28 18:00:29 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-28 18:03:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 18:04:11 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 18:04:38 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-28 18:04:46 +0100 | random-jellyfish | (~random-je@user/random-jellyfish) |
2021-11-28 18:07:48 +0100 | ph88 | (~ph88@2a02:8109:9e00:71d0:cdf3:eec1:2823:7459) (Quit: Leaving) |
2021-11-28 18:07:52 +0100 | fendor | (~fendor@77.119.160.165.wireless.dyn.drei.com) |
2021-11-28 18:08:00 +0100 | haask | (~harry@92.234.0.237) |
2021-11-28 18:08:01 +0100 | jkaye | (~jkaye@2601:281:8300:7530:9397:8874:2ff1:8d72) (Ping timeout: 250 seconds) |
2021-11-28 18:08:17 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 18:12:57 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
2021-11-28 18:14:25 +0100 | <koz> | A while back, someone posted a link in here which argued that 'constant time' access is really Theta(sqrt(n)) due to (among other things) limitations of our physics. I can't seem to find that link anymore - does anyone know what I'm looking for? |
2021-11-28 18:14:53 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
2021-11-28 18:15:43 +0100 | <hpc> | haha, that's awesome |
2021-11-28 18:16:30 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-28 18:17:08 +0100 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
2021-11-28 18:20:22 +0100 | reumeth | (~reumeth@user/reumeth) |
2021-11-28 18:23:37 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-28 18:24:40 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Client Quit) |
2021-11-28 18:29:23 +0100 | <EvanR> | true, try implementing constant time lookup in conway life |
2021-11-28 18:30:23 +0100 | <EvanR> | you can only access at most order of t^2 things around you in a given time |
2021-11-28 18:30:47 +0100 | Sgeo | (~Sgeo@user/sgeo) |
2021-11-28 18:31:34 +0100 | <hpc> | wouldn't it be the light-sphere's volume, not its surface area? |
2021-11-28 18:32:04 +0100 | <koz> | hpc: The thing I'm trying to find specifies why it's not volume. |
2021-11-28 18:32:06 +0100 | <EvanR> | the volume of the light sphere is a square xD |
2021-11-28 18:32:19 +0100 | <EvanR> | proof by cellular automaton |
2021-11-28 18:32:44 +0100 | sheb | (~sheb@31.223.228.71) |
2021-11-28 18:33:20 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 18:34:36 +0100 | <hpc> | also space is expanding, so you only have a few hundred trillion years to work with |
2021-11-28 18:34:42 +0100 | <hpc> | so asymptotic notation doesn't really work :D |
2021-11-28 18:36:32 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2021-11-28 18:38:02 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
2021-11-28 18:39:42 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 18:40:38 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 18:40:39 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
2021-11-28 18:42:03 +0100 | <[exa]> | koz: it's called "the myth of ram" |
2021-11-28 18:42:16 +0100 | <[exa]> | koz: http://www.ilikebigbits.com/2014_04_21_myth_of_ram_1.html |
2021-11-28 18:42:19 +0100 | <EvanR> | holographic principle says all information in the volume is encoded on the surface |
2021-11-28 18:42:26 +0100 | <koz> | [exa]: Thank you! |
2021-11-28 18:43:18 +0100 | <dolio> | The holographic principle explanation is silly, though. |
2021-11-28 18:44:00 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
2021-11-28 18:44:31 +0100 | <[exa]> | hard computer science truths: 1] universe is finite 2] dimensions are few |
2021-11-28 18:45:06 +0100 | <EvanR> | keep your universe to yourself |
2021-11-28 18:45:07 +0100 | <dolio> | The actual relevant reason is that chips are flat, and will probably remain mostly flat, because of heat dissipation. |
2021-11-28 18:45:44 +0100 | fef | (~thedawn@user/thedawn) (Quit: Leaving) |
2021-11-28 18:45:47 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 18:46:26 +0100 | <yin> | how do i tell cabal to run with -O2 by default? |
2021-11-28 18:47:07 +0100 | <sclv> | you can put it in ghc options in the ~/.cabal/config file |
2021-11-28 18:47:08 +0100 | mvk | (~mvk@2607:fea8:5cc1:fa00::4702) |
2021-11-28 18:47:10 +0100 | <sclv> | i dont recommend it tho |
2021-11-28 18:47:20 +0100 | <yin> | ghc-options: -O2 ? |
2021-11-28 18:48:00 +0100 | <yin> | can't i put it in my projectname.cabal file? |
2021-11-28 18:48:11 +0100 | <yin> | and why not? |
2021-11-28 18:48:26 +0100 | <sclv> | well then it only runs on that package by default |
2021-11-28 18:48:28 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-28 18:48:35 +0100 | <sclv> | which isn't what i thought you were asking |
2021-11-28 18:48:39 +0100 | <sclv> | but yes, you can also put it there! |
2021-11-28 18:48:42 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
2021-11-28 18:48:43 +0100 | <yin> | sclv: that's exactly what i wat |
2021-11-28 18:48:46 +0100 | <yin> | *want |
2021-11-28 18:48:47 +0100 | <sclv> | ok, then put it there :-) |
2021-11-28 18:48:56 +0100 | <yin> | i did |
2021-11-28 18:49:05 +0100 | <yin> | it's not working |
2021-11-28 18:49:53 +0100 | <yin> | cabal run myporject is using -O1 (which is the default, according to docs) |
2021-11-28 18:49:56 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 18:50:05 +0100 | <yin> | project, even |
2021-11-28 18:50:25 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
2021-11-28 18:50:36 +0100 | <EvanR> | so constant time is both not physically accurate for RAM and theoretically misleading for hashtables since they're based on finite ints, got it |
2021-11-28 18:51:28 +0100 | <EvanR> | or with finite anything everything is O(1), and then it's really not |
2021-11-28 18:52:29 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 18:53:35 +0100 | <[exa]> | EvanR: there's O, theta and omega. Everything is O(1) in an universe that ends with the big-antibang, but we're usually going for the average/lower/amortized complexity |
2021-11-28 18:54:01 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 18:54:24 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-11-28 18:55:31 +0100 | <[exa]> | in this view, you're usually trying to get the average/amortized complexity, where universe size is luckily not relevant |
2021-11-28 18:57:11 +0100 | <EvanR> | actually how did physics even sneak in. Don't you usually just identify what it is you are counting as basic operations and say that has cost 1 or size 1 and go from there. And the result is relative to that and not stephen hawking shit |
2021-11-28 18:57:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Ping timeout: 256 seconds) |
2021-11-28 18:57:14 +0100 | <dolio> | O doesn't have anything to do with what sort of performance you're measuring. |
2021-11-28 18:59:25 +0100 | <[exa]> | EvanR: physics sneaks in because it creates the O bound on the amount of RAM vs latency. (in 2D universe the RAM access would be A(n)). |
2021-11-28 18:59:44 +0100 | <EvanR> | A? |
2021-11-28 19:00:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-28 19:00:14 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-28 19:00:14 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-28 19:00:15 +0100 | <[exa]> | dolio: I'm usually using O for asymptotic upper bound, theta for both-bounds, omega for lower bound, A for amortized time ( <- EvanR ) |
2021-11-28 19:00:37 +0100 | <[exa]> | we might just be clashing on notation, sorry :] |
2021-11-28 19:01:21 +0100 | <dolio> | There are upper bounds, both bounds and lower bounds for worst case, average case and amortized cost. |
2021-11-28 19:02:32 +0100 | <[exa]> | dolio: that sounds overly complicated (like, average case is amortized right, by beancounting), do you have a link to definitions? |
2021-11-28 19:03:30 +0100 | <dolio> | Wikipedia. O, Ω, Θ, o, etc. have nothing inherently to do with costs of algorithms. |
2021-11-28 19:03:51 +0100 | <dolio> | They are abount bounds on functions. |
2021-11-28 19:04:54 +0100 | <dolio> | Average, worst, amortized, etc. identifies which cost function is being analyzed. |
2021-11-28 19:05:00 +0100 | <[exa]> | that checks, I was pointing out that the finite-universe shortcut to O(1) doesn't work with Θ |
2021-11-28 19:05:05 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 19:05:22 +0100 | econo | (uid147250@user/econo) |
2021-11-28 19:05:35 +0100 | <EvanR> | (also who invited the big anti-bang?) |
2021-11-28 19:05:57 +0100 | <[exa]> | EvanR: I couldn't remember how's the end of universe called. Big shrink? Big squash? |
2021-11-28 19:06:08 +0100 | <EvanR> | big crunch? |
2021-11-28 19:06:14 +0100 | <[exa]> | ah yes, likely |
2021-11-28 19:06:40 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:06:45 +0100 | <hpc> | that only happens in desitter spaces |
2021-11-28 19:07:05 +0100 | <EvanR> | last I checked expansion is accelerating |
2021-11-28 19:07:08 +0100 | <hpc> | our universe will accelerate its expansion until light-cones are too small to support mass |
2021-11-28 19:07:40 +0100 | <hpc> | and then if roger penrose is correct, really weird stuff happens |
2021-11-28 19:07:49 +0100 | <EvanR> | yawn xD |
2021-11-28 19:07:52 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection) |
2021-11-28 19:08:05 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:08:30 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:08:51 +0100 | <hpc> | ? |
2021-11-28 19:09:30 +0100 | <EvanR> | penrose tiling IP scandal |
2021-11-28 19:09:38 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 19:10:00 +0100 | <dolio> | Also, amortized is not the same as average. Amortized analysis involves attributing some costs of expensive operations to cheaper operations, and ensuring the enough cheap operations occur between expensive ones to ensure that the total cost is less per operation than the expensive ones. |
2021-11-28 19:10:35 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 268 seconds) |
2021-11-28 19:10:47 +0100 | <dolio> | Whereas average case is about the performance of 'most' inputs or something. |
2021-11-28 19:10:49 +0100 | <hpc> | EvanR: link? |
2021-11-28 19:11:53 +0100 | <EvanR> | http://bit-player.org/2017/sir-roger-penroses-toilet-paper |
2021-11-28 19:11:56 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 19:12:53 +0100 | <[exa]> | dolio: we usually did beancounting and divided that by the number of operations, which sounds a lot like average... although "average" might be over a different set, yeah |
2021-11-28 19:13:04 +0100 | <dolio> | Like, quicksort's average case might be some function of log n, because most inputs will sort in log time. |
2021-11-28 19:13:44 +0100 | <hpc> | heh |
2021-11-28 19:13:51 +0100 | <dolio> | Er, n*(log n). |
2021-11-28 19:13:55 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:14:41 +0100 | <[exa]> | ah yeah "average run over a random input of size n" vs "average in a series of related runs" |
2021-11-28 19:14:52 +0100 | [exa] | punishes self |
2021-11-28 19:15:29 +0100 | fendor | (~fendor@77.119.160.165.wireless.dyn.drei.com) (Remote host closed the connection) |
2021-11-28 19:15:47 +0100 | <dolio> | Yeah. And amortized is better than that, even, I think. It's like, something 'expensive' doesn't happen until you've accumulated enough slack from cheap stuff. |
2021-11-28 19:16:05 +0100 | Algernon69 | (~Algernon6@2a04:cec0:11d8:d959:c93d:9f3e:f0b5:db46) |
2021-11-28 19:16:19 +0100 | <dolio> | So, it's not just averaging out randomly. |
2021-11-28 19:16:34 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:16:47 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:17:05 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:17:14 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 265 seconds) |
2021-11-28 19:17:17 +0100 | cheater1__ | (~Username@user/cheater) |
2021-11-28 19:17:19 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-28 19:17:21 +0100 | cheater1__ | cheater |
2021-11-28 19:17:31 +0100 | lavaman | (~lavaman@98.38.249.169) |
2021-11-28 19:20:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 19:20:41 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 19:21:02 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 19:22:41 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:22:45 +0100 | Lycurgus | (~juan@98.4.112.204) |
2021-11-28 19:22:51 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:24:19 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:24:28 +0100 | lorenzuru_ | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:24:57 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:25:05 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Quit: Client closed) |
2021-11-28 19:25:11 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3) |
2021-11-28 19:25:26 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-11-28 19:26:46 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:27:03 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:27:16 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:27:30 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:27:43 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:30:22 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-28 19:32:53 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-11-28 19:32:53 +0100 | Vajb | (~Vajb@nalkaylds2h97nzof-2.v6.elisa-mobile.fi) (Read error: Connection reset by peer) |
2021-11-28 19:33:33 +0100 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
2021-11-28 19:35:42 +0100 | <yin> | how do we pass command line arguments to ghcid? |
2021-11-28 19:36:17 +0100 | lemmyd | (~bc8165b6@cerf.good1.com) |
2021-11-28 19:37:10 +0100 | lemmyd | (~bc8165b6@cerf.good1.com) () |
2021-11-28 19:37:20 +0100 | <Hecate> | --setup |
2021-11-28 19:37:39 +0100 | jollygood2 | (~bc8165b6@cerf.good1.com) |
2021-11-28 19:37:48 +0100 | jollygood2 | (~bc8165b6@cerf.good1.com) () |
2021-11-28 19:38:36 +0100 | Lycurgus | (~juan@98.4.112.204) (Quit: Exeunt) |
2021-11-28 19:40:06 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 19:44:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 19:44:56 +0100 | jstolarek | (~jstolarek@137.220.120.162) |
2021-11-28 19:45:03 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 19:45:07 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Remote host closed the connection) |
2021-11-28 19:45:51 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 19:48:17 +0100 | gdown | (~gavin@h69-11-248-109.kndrid.broadband.dynamic.tds.net) |
2021-11-28 19:48:21 +0100 | boxscape_ | (~boxscape_@p4ff0bb6c.dip0.t-ipconnect.de) |
2021-11-28 19:49:44 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
2021-11-28 19:50:35 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 265 seconds) |
2021-11-28 19:51:01 +0100 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
2021-11-28 19:51:11 +0100 | Midjak | (~Midjak@may53-1-78-226-116-92.fbx.proxad.net) |
2021-11-28 19:51:45 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Quit: lorenzuru) |
2021-11-28 19:51:58 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 19:52:26 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Client Quit) |
2021-11-28 19:54:56 +0100 | cosimone` | (~user@93-44-184-115.ip98.fastwebnet.it) (Ping timeout: 265 seconds) |
2021-11-28 19:56:03 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) |
2021-11-28 19:56:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-28 19:59:39 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Remote host closed the connection) |
2021-11-28 20:00:42 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 20:01:47 +0100 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 256 seconds) |
2021-11-28 20:02:10 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.3) |
2021-11-28 20:02:29 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-11-28 20:02:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-28 20:02:34 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-28 20:02:34 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-28 20:02:56 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) (Client Quit) |
2021-11-28 20:03:09 +0100 | Algernon69 | (~Algernon6@2a04:cec0:11d8:d959:c93d:9f3e:f0b5:db46) (Ping timeout: 265 seconds) |
2021-11-28 20:03:16 +0100 | danso | (~danso@23-233-111-52.cpe.pppoe.ca) |
2021-11-28 20:05:16 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-28 20:06:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-28 20:09:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:09:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:10:43 +0100 | xkuru | (~xkuru@user/xkuru) |
2021-11-28 20:13:03 +0100 | Guest878 | (~Guest87@93-42-90-100.ip86.fastwebnet.it) |
2021-11-28 20:13:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-28 20:15:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:15:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:18:07 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
2021-11-28 20:19:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:19:48 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
2021-11-28 20:20:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:20:09 +0100 | <yin> | i did --run=":main args" |
2021-11-28 20:20:51 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
2021-11-28 20:20:51 +0100 | <yin> | culdn't seem to get setup to work |
2021-11-28 20:21:00 +0100 | <yin> | i'm sure i'm missing something |
2021-11-28 20:21:18 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2021-11-28 20:21:28 +0100 | <yin> | also for some reason --no-status is not working |
2021-11-28 20:21:39 +0100 | jakalx | (~jakalx@base.jakalx.net) |
2021-11-28 20:28:37 +0100 | max22- | (~maxime@2a01cb0883359800f9d5861d99da2e2e.ipv6.abo.wanadoo.fr) |
2021-11-28 20:30:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:30:56 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:31:21 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
2021-11-28 20:32:21 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2021-11-28 20:32:58 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) |
2021-11-28 20:33:28 +0100 | glider_ | glider |
2021-11-28 20:34:14 +0100 | hays | (rootvegeta@fsf/member/hays) (Quit: hays) |
2021-11-28 20:34:18 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
2021-11-28 20:34:33 +0100 | hays | (rootvegeta@fsf/member/hays) |
2021-11-28 20:34:48 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 20:36:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:37:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:37:29 +0100 | yauhsien | (~yauhsien@61-231-63-167.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
2021-11-28 20:39:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:39:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:39:45 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-11-28 20:41:26 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:41:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:42:40 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:42:58 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 20:47:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 20:49:20 +0100 | <Franciman> | yin: |
2021-11-28 20:49:38 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 20:49:47 +0100 | <Franciman> | are you trying to pass arguents to cabal? |
2021-11-28 20:49:57 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection) |
2021-11-28 20:50:48 +0100 | <geekosaur> | ghcid, if I read scrollback correctly |
2021-11-28 20:50:57 +0100 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) |
2021-11-28 20:52:30 +0100 | cosimone | (~user@93-44-184-115.ip98.fastwebnet.it) |
2021-11-28 20:54:02 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-28 20:54:15 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) |
2021-11-28 20:54:19 +0100 | lorenzuru | (~lorenzuru@host-82-54-5-120.retail.telecomitalia.it) (Remote host closed the connection) |
2021-11-28 20:56:53 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
2021-11-28 20:56:53 +0100 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
2021-11-28 20:56:53 +0100 | wroathe | (~wroathe@user/wroathe) |
2021-11-28 20:57:43 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection) |
2021-11-28 20:58:37 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:852c:89ad:25b7:fe51) (Remote host closed the connection) |
2021-11-28 21:00:29 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
2021-11-28 21:01:01 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-11-28 21:01:17 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 256 seconds) |
2021-11-28 21:04:59 +0100 | juhp | (~juhp@128.106.188.82) (Ping timeout: 260 seconds) |
2021-11-28 21:07:14 +0100 | juhp | (~juhp@128.106.188.82) |
2021-11-28 21:09:22 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
2021-11-28 21:10:38 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.3) |
2021-11-28 21:11:57 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 21:12:26 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 21:12:39 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
2021-11-28 21:13:19 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 21:14:40 +0100 | dschrempf | (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.3) |
2021-11-28 21:17:05 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
2021-11-28 21:17:09 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds) |
2021-11-28 21:19:23 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 21:19:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 21:20:42 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) (Quit: WeeChat 3.3) |
2021-11-28 21:20:58 +0100 | zava | (~zava@ip5f5bdf0f.dynamic.kabel-deutschland.de) |
2021-11-28 21:23:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 21:23:39 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 21:23:43 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
2021-11-28 21:24:52 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) (Remote host closed the connection) |
2021-11-28 21:25:23 +0100 | curiousgay_ | (~curiousga@77-120-141-90.kha.volia.net) |
2021-11-28 21:25:30 +0100 | notzmv | (~zmv@user/notzmv) |
2021-11-28 21:25:31 +0100 | curiousgay | (~curiousga@77-120-141-90.kha.volia.net) (Read error: Connection reset by peer) |
2021-11-28 21:25:39 +0100 | Guest878 | (~Guest87@93-42-90-100.ip86.fastwebnet.it) (Ping timeout: 256 seconds) |
2021-11-28 21:26:17 +0100 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 265 seconds) |
2021-11-28 21:26:21 +0100 | x_kuru | (~xkuru@user/xkuru) |
2021-11-28 21:28:16 +0100 | waleee | (~waleee@h-82-196-111-63.na.cust.bahnhof.se) |
2021-11-28 21:29:06 +0100 | xkuru | (~xkuru@user/xkuru) (Ping timeout: 245 seconds) |
2021-11-28 21:29:51 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
2021-11-28 21:31:51 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 21:32:09 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 21:33:38 +0100 | reumeth | (~reumeth@user/reumeth) (Ping timeout: 268 seconds) |
2021-11-28 21:35:28 +0100 | <sm> | @where paste, yin |
2021-11-28 21:35:28 +0100 | <lambdabot> | I know nothing about paste,. |
2021-11-28 21:35:34 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) |
2021-11-28 21:35:50 +0100 | <Hecate> | @where paste |
2021-11-28 21:35:50 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2021-11-28 21:36:12 +0100 | <sm> | (a similarish ghcid command works here) |
2021-11-28 21:37:35 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3) |
2021-11-28 21:37:57 +0100 | <hpc> | @where paste -- ooh, does that error message mean this works now? |
2021-11-28 21:37:57 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2021-11-28 21:38:00 +0100 | <mreh> | could someone explain the type of runF? |
2021-11-28 21:38:00 +0100 | <hpc> | yessssss |
2021-11-28 21:38:18 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) |
2021-11-28 21:39:05 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 21:39:06 +0100 | <mreh> | I'm not quite sure how to use it |
2021-11-28 21:39:49 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:f9b1:c475:746a:8f2c) (Ping timeout: 265 seconds) |
2021-11-28 21:40:00 +0100 | mreh | reads http://comonad.com/reader/2011/free-monads-for-less-2/ |
2021-11-28 21:40:13 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 21:40:40 +0100 | xff0x | (~xff0x@2001:1a81:523b:c600:e658:9e80:725:12f4) |
2021-11-28 21:41:40 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
2021-11-28 21:41:47 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 21:42:18 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 21:43:39 +0100 | burnsidesLlama | (~burnsides@dhcp168-015.wadham.ox.ac.uk) |
2021-11-28 21:43:47 +0100 | cjb | (~cjb@user/cjb) |
2021-11-28 21:43:49 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
2021-11-28 21:43:55 +0100 | <sm> | hpc, this also works: |
2021-11-28 21:43:55 +0100 | <sm> | @where paste (@ must be in column 0, argument word must have nothing next to it) |
2021-11-28 21:43:55 +0100 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
2021-11-28 21:44:15 +0100 | nckx | (~nckx@tobias.gr) |
2021-11-28 21:44:58 +0100 | <sm> | it would save some noise if it were a little more forgiving |
2021-11-28 21:46:57 +0100 | <edwardk> | mreh: runF takes come computation in the 'free' monad, how to convert 'a's at the leaves to values of type 'r' and the ability to convert layers of 'f r -> r' and runs the whole tree of actions represented by the free monad. |
2021-11-28 21:47:45 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds) |
2021-11-28 21:48:01 +0100 | <edwardk> | e.g. if you have some other monad 'm', you might pick r = 'm a' pass it 'pure as the first argument, and something that converts f (m a) -> m a as the second. and interpret into the other monad |
2021-11-28 21:48:52 +0100 | <edwardk> | that is what 'fromF' does, using runF. |
2021-11-28 21:50:30 +0100 | P1RATEZ | (piratez@user/p1ratez) |
2021-11-28 21:53:51 +0100 | acidjnk_new | (~acidjnk@p200300d0c7271e27c5c24316ea6f3b87.dip0.t-ipconnect.de) |
2021-11-28 21:56:15 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 21:56:32 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 21:59:08 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 21:59:27 +0100 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
2021-11-28 22:02:27 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:02:45 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:05:51 +0100 | Hecate | (~mariposa@163.172.211.189) (Changing host) |
2021-11-28 22:05:51 +0100 | Hecate | (~mariposa@user/hecate) |
2021-11-28 22:07:03 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 22:07:12 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 22:08:31 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 250 seconds) |
2021-11-28 22:10:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:11:15 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:12:21 +0100 | zincy_ | (~zincy@host86-181-60-139.range86-181.btcentralplus.com) (Remote host closed the connection) |
2021-11-28 22:13:02 +0100 | alx741 | (~alx741@181.196.69.248) (Ping timeout: 240 seconds) |
2021-11-28 22:14:38 +0100 | dsrt^ | (~dsrt@68.101.58.90) (Remote host closed the connection) |
2021-11-28 22:15:57 +0100 | x88x88x | (~cheeg@gateway/vpn/pia/x88x88x) |
2021-11-28 22:16:01 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 22:16:31 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 22:18:08 +0100 | curiousgay_ | curiousgay |
2021-11-28 22:19:48 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:19:48 +0100 | haask | (~harry@92.234.0.237) (Read error: Connection reset by peer) |
2021-11-28 22:20:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:21:00 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) |
2021-11-28 22:21:11 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 256 seconds) |
2021-11-28 22:24:07 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:24:13 +0100 | Algernon69 | (~Algernon6@2a01:e0a:511:6ce0:c935:9328:4c7f:5838) |
2021-11-28 22:24:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:25:55 +0100 | alx741 | (~alx741@181.196.69.176) |
2021-11-28 22:27:52 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) |
2021-11-28 22:28:17 +0100 | nitrix | (~nitrix@user/nitrix) |
2021-11-28 22:28:38 +0100 | Algernon69 | (~Algernon6@2a01:e0a:511:6ce0:c935:9328:4c7f:5838) (Ping timeout: 265 seconds) |
2021-11-28 22:30:47 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:31:05 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:32:31 +0100 | deadmarshal | (~deadmarsh@95.38.228.7) (Ping timeout: 256 seconds) |
2021-11-28 22:34:45 +0100 | Pickchea | (~private@user/pickchea) |
2021-11-28 22:34:53 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) |
2021-11-28 22:36:10 +0100 | n8ess163 | (~b@pool-72-80-171-162.nycmny.fios.verizon.net) (Client Quit) |
2021-11-28 22:38:44 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 22:39:31 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 245 seconds) |
2021-11-28 22:39:42 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) |
2021-11-28 22:39:45 +0100 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 265 seconds) |
2021-11-28 22:40:32 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
2021-11-28 22:42:51 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
2021-11-28 22:43:24 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:d2c:da22:1ce0:f7f1) |
2021-11-28 22:43:51 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
2021-11-28 22:48:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:49:15 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:51:13 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:51:31 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:53:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:53:29 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:54:24 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3) (Remote host closed the connection) |
2021-11-28 22:57:25 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 22:57:43 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 22:58:29 +0100 | mastarija | (~mastarija@2a05:4f46:e0e:5000:d2c:da22:1ce0:f7f1) (Quit: Leaving) |
2021-11-28 23:02:37 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) |
2021-11-28 23:02:59 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 23:03:28 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 23:05:44 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Remote host closed the connection) |
2021-11-28 23:06:14 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 23:07:01 +0100 | gnyeki | (~gnyeki@li578-216.members.linode.com) (Changing host) |
2021-11-28 23:07:01 +0100 | gnyeki | (~gnyeki@user/gnyeki) |
2021-11-28 23:09:22 +0100 | n3t | (~n3t@user/n3t) (Quit: WeeChat 2.9) |
2021-11-28 23:09:30 +0100 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
2021-11-28 23:10:13 +0100 | n3t | (n3t@s45.mydevil.net) |
2021-11-28 23:10:19 +0100 | n3t | (n3t@s45.mydevil.net) (Changing host) |
2021-11-28 23:10:19 +0100 | n3t | (n3t@user/n3t) |
2021-11-28 23:11:39 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) (Ping timeout: 265 seconds) |
2021-11-28 23:12:45 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fabc-15.dhcp.inet.fi) (Ping timeout: 256 seconds) |
2021-11-28 23:13:12 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 276 seconds) |
2021-11-28 23:13:57 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
2021-11-28 23:19:31 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 23:19:49 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 23:20:40 +0100 | pavonia | (~user@user/siracusa) |
2021-11-28 23:22:48 +0100 | mreh | (~matthew@host81-157-195-163.range81-157.btcentralplus.com) (Ping timeout: 268 seconds) |
2021-11-28 23:25:41 +0100 | nuh^ | (~nuh@68.101.58.90) |
2021-11-28 23:27:30 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
2021-11-28 23:32:40 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 23:32:57 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 23:33:24 +0100 | jonatanb | (~accio@31-178-144-108.dynamic.chello.pl) |
2021-11-28 23:35:04 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 23:35:21 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 23:37:28 +0100 | narendraj9 | (~user@2a02:8109:b63f:ff7c::57b2) (Remote host closed the connection) |
2021-11-28 23:39:59 +0100 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
2021-11-28 23:41:23 +0100 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
2021-11-28 23:41:43 +0100 | <EvanR> | https://paste.tomsmeding.com/RyJqXSBg 😎 |
2021-11-28 23:43:53 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 23:44:11 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 23:45:15 +0100 | <EvanR> | dangit I think I missed something |
2021-11-28 23:46:32 +0100 | nautical | (~nautical@2601:602:900:1630::396f) |
2021-11-28 23:46:40 +0100 | <nautical> | help |
2021-11-28 23:47:16 +0100 | <EvanR> | to integrate I need an initial value |
2021-11-28 23:48:12 +0100 | <Axman6> | @help |
2021-11-28 23:48:12 +0100 | <lambdabot> | help <command>. Ask for help for <command>. Try 'list' for all commands |
2021-11-28 23:49:53 +0100 | <EvanR> | and I only had one pair of shades |
2021-11-28 23:50:03 +0100 | <geekosaur> | nautical, what is your problem? |
2021-11-28 23:50:18 +0100 | <nautical> | sorry, that was an accident |
2021-11-28 23:51:07 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
2021-11-28 23:52:47 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:4cc1:c671:40b5:6186) (Remote host closed the connection) |
2021-11-28 23:52:59 +0100 | alzgh | (alzgh@user/alzgh) (Ping timeout: 256 seconds) |
2021-11-28 23:53:02 +0100 | nautical | (~nautical@2601:602:900:1630::396f) (Quit: WeeChat 3.3) |
2021-11-28 23:53:18 +0100 | nautical | (~nautical@2601:602:900:1630::396f) |
2021-11-28 23:54:54 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:356c:6df7:ff7f:48a3) |
2021-11-28 23:56:55 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) (Remote host closed the connection) |
2021-11-28 23:57:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
2021-11-28 23:57:13 +0100 | hskpractice | (~hskpracti@94-255-217-215.cust.bredband2.com) |
2021-11-28 23:57:29 +0100 | alzgh | (~alzgh@user/alzgh) |
2021-11-28 23:59:09 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |