Logs on 2021-04-16 (freenode/#haskell)
| 00:00:02 | → | Alleria joins (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) |
| 00:00:26 | Alleria | is now known as Guest71715 |
| 00:01:54 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 00:02:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Client Quit) |
| 00:03:14 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 00:04:13 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 00:04:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 00:04:23 | × | Guest71715 quits (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 00:10:17 | → | desmond373 joins (~circuser-@180.150.112.239) |
| 00:14:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 00:15:17 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 00:16:17 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 00:17:34 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 00:18:00 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) |
| 00:26:44 | → | slack1256 joins (~slack1256@200-112-78-209.baf.movistar.cl) |
| 00:29:09 | → | ddellacosta joins (~ddellacos@86.106.143.248) |
| 00:33:32 | × | ddellacosta quits (~ddellacos@86.106.143.248) (Ping timeout: 246 seconds) |
| 00:37:35 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 00:38:14 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 00:40:20 | → | gawen joins (~gawen@movzbl.root.sx) |
| 00:41:22 | <desmond373> | is there some simple way to map a list of indicies to a list and return the list in the new order? e.g [0,1,3,2]->[1,2,3,4,5]->[1,2,4,3]] |
| 00:42:12 | <Axman6> | > let reorder is xs = map (xs !!) is |
| 00:42:14 | <lambdabot> | <no location info>: error: |
| 00:42:14 | <lambdabot> | not an expression: ‘let reorder is xs = map (xs !!) is’ |
| 00:42:19 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 00:42:26 | <Axman6> | > let reorder is xs = map (xs !!) is in reorder [0,1,3,2] [1,2,3,4,5] |
| 00:42:28 | <lambdabot> | [1,2,4,3] |
| 00:42:30 | ← | jophish parts (~joemonoid@li1766-207.members.linode.com) ("User left") |
| 00:44:26 | <desmond373> | thanks! |
| 00:47:34 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Ping timeout: 268 seconds) |
| 00:47:54 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 00:56:18 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 00:56:31 | × | Sheilong quits (uid293653@gateway/web/irccloud.com/x-ylxdmaadjlaxocvo) () |
| 00:57:16 | <desmond373> | it took me until just then to figure out how that works an now i feel stupid |
| 00:59:00 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 01:00:35 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:335e:738b:9066:e6) (Ping timeout: 248 seconds) |
| 01:01:13 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:05:33 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 01:07:27 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:08:26 | × | malumore quits (~malumore@151.62.126.218) (Ping timeout: 240 seconds) |
| 01:10:04 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-sdeodmvqokbrtcvh) (Quit: Connection closed for inactivity) |
| 01:11:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) |
| 01:11:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c85d:418a:b1dd:967b) (Read error: Connection reset by peer) |
| 01:12:14 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 01:13:04 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:fcb5:fe0b:76b4:5550) |
| 01:16:22 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 01:16:47 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:17:39 | × | xff0x quits (~xff0x@2001:1a81:5212:400:5254:5969:59c7:5023) (Ping timeout: 260 seconds) |
| 01:19:25 | → | xff0x joins (~xff0x@2001:1a81:5248:9d00:9381:fa96:9ca3:9618) |
| 01:20:10 | → | BalterNotz joins (790ddae7@121.13.218.231) |
| 01:22:32 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 01:25:27 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-grpkmlokorxpefir) |
| 01:27:52 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 01:28:37 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 01:30:23 | → | drbean_ joins (~drbean@TC210-63-209-186.static.apol.com.tw) |
| 01:31:16 | → | nineonine joins (~nineonine@50.216.62.2) |
| 01:32:03 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 01:33:16 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 01:39:23 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:d9af:dd7d:b8a9:dce) (Remote host closed the connection) |
| 01:40:31 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 01:44:59 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 01:46:12 | <infinisil> | Axman6: Huh, how does `is` work? |
| 01:47:42 | → | kiweun joins (~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322) |
| 01:50:06 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 01:51:13 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 01:51:55 | × | nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 01:53:37 | × | danso quits (~dan@23-233-111-52.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 01:53:42 | × | BalterNotz quits (790ddae7@121.13.218.231) (Ping timeout: 240 seconds) |
| 01:53:45 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 01:55:24 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 268 seconds) |
| 01:58:20 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
| 01:59:33 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 02:00:30 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Remote host closed the connection) |
| 02:00:51 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 02:01:48 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Max SendQ exceeded) |
| 02:02:49 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 02:03:59 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 02:06:06 | <xsperry> | infinisil, it is just a variable name (list of indices) |
| 02:06:26 | <infinisil> | Ohh lol, I see |
| 02:07:01 | <infinisil> | And here I thought it was some fancy weird Haskell feature for assigning values |
| 02:09:17 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 02:10:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:12:33 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 02:15:27 | → | glgirl joins (339ea683@gateway/web/cgi-irc/kiwiirc.com/ip.51.158.166.131) |
| 02:15:42 | <glgirl> | glguy: come give me a kiss |
| 02:15:46 | <glgirl> | im ur soulmate |
| 02:15:50 | <glgirl> | Uploaded file: https://uploads.kiwiirc.com/files/51ae74ae910573ebf8288299c7005f58/image.png |
| 02:15:53 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 02:16:23 | × | esp32_prog quits (~esp32_pro@37.120.201.122) (Ping timeout: 268 seconds) |
| 02:18:52 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 02:19:13 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 02:23:11 | glgirl | is now known as glgirl2 |
| 02:23:39 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 02:24:22 | × | friel- quits (Sputnik@cpe0c473d6a72b3-cm0c473d6a72b0.cpe.net.fido.ca) (Remote host closed the connection) |
| 02:27:35 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 02:28:09 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 02:28:58 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 02:30:02 | ChanServ | sets mode +o edwardk |
| 02:31:08 | edwardk | sets mode +b *!*@*/web/cgi-irc/kiwiirc.com/ip.51.158.166.131 |
| 02:31:13 | glgirl2 | is kicked by edwardk (glgirl2) |
| 02:31:13 | edwardk | sets mode +b glgirl2!*@* |
| 02:36:25 | → | danso joins (~dan@23-233-111-52.cpe.pppoe.ca) |
| 02:36:30 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:11f1:9ae5:d0dd:a8b2) |
| 02:39:03 | <Axman6> | desmond373: obviously this function is unsafe, so use care |
| 02:40:45 | <desmond373> | yeah i was thinking of trying to throw a maybe in there to handle Indices that are too large, but i left it seeing as its just a practice problem. |
| 02:42:20 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 246 seconds) |
| 02:44:55 | × | theDon quits (~td@94.134.91.244) (Ping timeout: 265 seconds) |
| 02:45:21 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 02:46:31 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:46:42 | → | theDon joins (~td@94.134.91.133) |
| 02:47:56 | × | desmond373 quits (~circuser-@180.150.112.239) (Remote host closed the connection) |
| 02:49:10 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:49:10 | finn_elija | is now known as Guest63390 |
| 02:49:10 | FinnElija | is now known as finn_elija |
| 02:49:41 | → | esp32_prog joins (~esp32_pro@37.120.201.122) |
| 02:52:21 | × | Guest63390 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:52:57 | → | ddellacosta joins (~ddellacos@86.106.143.196) |
| 02:53:12 | <dmj`> | edwardk: |
| 02:53:14 | <dmj`> | nice ban :) |
| 02:53:16 | <dmj`> | haha |
| 02:55:28 | → | egorbelibov joins (~65676f72@2001:8a0:5708:2a00:6084:24f9:c0d1:3aaf) |
| 02:56:21 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 02:57:35 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 02:57:46 | × | ddellacosta quits (~ddellacos@86.106.143.196) (Ping timeout: 252 seconds) |
| 02:59:02 | × | slack1256 quits (~slack1256@200-112-78-209.baf.movistar.cl) (Remote host closed the connection) |
| 03:00:04 | → | Alleria joins (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) |
| 03:00:19 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 03:00:27 | Alleria | is now known as Guest71948 |
| 03:00:52 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 265 seconds) |
| 03:01:21 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 03:04:27 | × | Guest71948 quits (~textual@2603-7000-3040-0000-8949-8f11-a2f4-9520.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 03:05:29 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 03:07:08 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 03:09:47 | → | nineonine joins (~nineonine@50.216.62.2) |
| 03:10:02 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 03:13:34 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 03:13:45 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 03:14:02 | → | nineonine joins (~nineonine@50.216.62.2) |
| 03:14:22 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-eeudlqiuuwrtzpbi) (Quit: Connection closed for inactivity) |
| 03:15:09 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 03:15:48 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:11f1:9ae5:d0dd:a8b2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 03:15:53 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 03:18:24 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 03:18:31 | × | alx741 quits (~alx741@181.196.68.193) (Quit: alx741) |
| 03:18:38 | → | desmond373 joins (~desmond37@180.150.112.239) |
| 03:21:07 | × | esp32_prog quits (~esp32_pro@37.120.201.122) (Ping timeout: 268 seconds) |
| 03:21:51 | × | loller_ quits (uid358106@gateway/web/irccloud.com/x-vwcbjpedwymxmltm) (Quit: Connection closed for inactivity) |
| 03:24:11 | × | puffnfresh1 quits (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 240 seconds) |
| 03:27:02 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:31:13 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 03:31:32 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 03:31:49 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 03:33:47 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 246 seconds) |
| 03:34:04 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 268 seconds) |
| 03:35:54 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 03:37:04 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 03:38:02 | → | Tario joins (~Tario@201.192.165.173) |
| 03:39:03 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 03:39:19 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) |
| 03:39:30 | → | vicfred__ joins (~vicfred@unaffiliated/vicfred) |
| 03:41:18 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 03:42:26 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Ping timeout: 265 seconds) |
| 03:42:56 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 03:45:14 | → | puffnfresh1 joins (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 03:49:04 | → | Sonderblade joins (~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def) |
| 03:53:47 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 03:54:07 | × | hyperisco_ quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Read error: Connection reset by peer) |
| 04:01:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 04:02:26 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 268 seconds) |
| 04:02:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:03:43 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 04:04:54 | × | vicfred__ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 04:07:04 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 04:11:46 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 240 seconds) |
| 04:14:11 | → | JanBessa1 joins (~JanB@85-22-17-38.ip.dokom21.de) |
| 04:16:55 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-jxdeabbswteucrim) |
| 04:16:58 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 04:17:11 | × | JanBessai quits (~JanB@85-22-21-116.ip.dokom21.de) (Ping timeout: 240 seconds) |
| 04:19:38 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 04:24:46 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 04:25:29 | × | aerona quits (~aerona@2600:6c54:4600:f300:9051:460a:b720:8d59) (Quit: Leaving) |
| 04:26:49 | → | falafel joins (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 04:26:53 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 04:27:13 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:fcb5:fe0b:76b4:5550) (Ping timeout: 250 seconds) |
| 04:27:46 | → | ace89320 joins (~ace89320@cpe-76-88-177-21.hawaii.res.rr.com) |
| 04:30:20 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Remote host closed the connection) |
| 04:31:43 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 04:34:50 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) |
| 04:38:24 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 04:38:37 | → | hexable joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 04:39:27 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:eb42:97e1:2138:8966) |
| 04:39:54 | × | hexable quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Client Quit) |
| 04:40:20 | → | hexable joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 04:40:27 | × | hexable quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 04:41:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:42:34 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 04:42:44 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 04:44:23 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:cac:8636:1ade:e81c) |
| 04:44:59 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:eb42:97e1:2138:8966) (Ping timeout: 258 seconds) |
| 04:46:09 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 04:48:41 | × | horatiohb quits (~horatiohb@165.227.120.74) (Ping timeout: 268 seconds) |
| 04:49:13 | → | imes joins (~imes@120.89.104.111) |
| 04:52:32 | → | zaquest joins (~notzaques@5.128.210.178) |
| 04:54:14 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 268 seconds) |
| 04:55:41 | × | myShoggoth quits (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 04:58:01 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 04:58:33 | → | Tario joins (~Tario@201.192.165.173) |
| 05:01:55 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-mduldyizmjdpywto) (Quit: Connection closed for inactivity) |
| 05:02:37 | → | bobajett joins (~user@2001:470:0:301::1e) |
| 05:03:34 | × | imes quits (~imes@120.89.104.111) (Quit: Leaving) |
| 05:04:10 | → | tionos- joins (~tionos@2a0b:b7c4:1:731::1) |
| 05:04:11 | × | tionos quits (~tionos@we.like.to.party.intercop.de) (Ping timeout: 240 seconds) |
| 05:11:20 | × | ace89320 quits (~ace89320@cpe-76-88-177-21.hawaii.res.rr.com) (Quit: leaving) |
| 05:13:43 | <bobajett> | hello, how can I write this function? foo ['a','b','c'] => [['A','b','c'], ['a','B','c], ['a','b','C']] |
| 05:14:36 | <bobajett> | in other words I want to map over the list, but return the mapped item along with the whole list |
| 05:15:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 05:18:22 | → | ddellacosta joins (~ddellacos@86.106.143.183) |
| 05:19:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 05:20:07 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 05:21:03 | × | desmond373 quits (~desmond37@180.150.112.239) (Remote host closed the connection) |
| 05:21:11 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Read error: No route to host) |
| 05:22:58 | × | ddellacosta quits (~ddellacos@86.106.143.183) (Ping timeout: 252 seconds) |
| 05:24:56 | × | Blkt quits (~Blkt@2a01:4f8:200:2425::adda) (Remote host closed the connection) |
| 05:25:12 | → | Blkt joins (~Blkt@2a01:4f8:200:2425::adda) |
| 05:26:17 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:28:26 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 05:29:17 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 246 seconds) |
| 05:31:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 05:31:44 | × | grumble quits (~Thunderbi@freenode/staff/grumble) (Ping timeout: 608 seconds) |
| 05:31:53 | × | drbean_ quits (~drbean@TC210-63-209-186.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 05:34:49 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 05:37:35 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Ping timeout: 260 seconds) |
| 05:39:58 | → | seveg joins (~gabriel@188-167-252-202.dynamic.chello.sk) |
| 05:40:08 | × | falafel quits (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 05:42:26 | → | drbean_ joins (~drbean@TC210-63-209-87.static.apol.com.tw) |
| 05:44:13 | × | pfurla_ quits (~pfurla@216.151.180.220) (Ping timeout: 240 seconds) |
| 05:45:18 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 05:46:19 | <gnumonic> | bobajett i think this does what you want (although i don't think it's very efficient) https://gist.github.com/gnumonik/1ae4bb58f2535ebbe1deff0129fbb1fc |
| 05:47:27 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 05:49:18 | → | wonko7 joins (~wonko7@62.115.229.50) |
| 05:54:53 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a582:5ae0:47b5:20e5) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:55:41 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
| 05:55:48 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 05:55:50 | <bobajett> | @gnumonic thanks! This looks a little complicated to newbie me. I was wondering if there was some idiomatic solution to such problems. |
| 05:55:50 | <lambdabot> | Unknown command, try @list |
| 05:55:52 | → | v01d4lph4 joins (~v01d4lph4@122.160.65.250) |
| 05:55:59 | <bobajett> | I came up with: |
| 05:56:25 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 05:56:31 | <bobajett> | someFunc xs = map (\(i, x) -> replace xs i (toUpper x)) $ zip [1..] xs |
| 05:56:53 | <bobajett> | replace xs i y = take (i-1) xs ++ [y] ++ drop i xs |
| 05:59:14 | × | Sonderblade quits (~helloman@2a02:aa1:100d:fe6f:6a75:3fbc:c81a:1def) (Quit: Konversation terminated!) |
| 05:59:36 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 06:00:38 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 06:03:29 | <dmwit> | > [pre ++ toUpper mid ++ post | pre <- inits "abc" | mid:post <- tails "abc"] |
| 06:03:31 | <lambdabot> | error: |
| 06:03:31 | <lambdabot> | • Couldn't match expected type ‘[Char]’ with actual type ‘Char’ |
| 06:03:31 | <lambdabot> | • In the first argument of ‘(++)’, namely ‘toUpper mid’ |
| 06:03:40 | <dmwit> | > [pre ++ [toUpper mid] ++ post | pre <- inits "abc" | mid:post <- tails "abc"] |
| 06:03:42 | <lambdabot> | ["Abc","aBc","abC"] |
| 06:03:44 | <gnumonic> | well that's shorter than what I did :P My intuition is that it's probably not a function where you'd reach for map. I mean the part that makes the uppercase chars is map-ey (there's probably a mapwithindex function somewhere that'd be good for that) |
| 06:03:47 | <dmwit> | bobajett: ^ |
| 06:05:07 | <dmwit> | Usually indexing is a sign you're Doing It Wrong. |
| 06:05:34 | <gnumonic> | actually yeah that list comprehension solution is probably the best. i need to use those more. i know how they work and all but a comprehension is almost never the first thing that occurs to me |
| 06:09:37 | <bobajett> | dmwit: Nice! thanks! |
| 06:12:58 | → | monochrom joins (trebla@216.138.220.146) |
| 06:13:59 | × | bobajett quits (~user@2001:470:0:301::1e) (Quit: ERC Version 5.3 (IRC client for Emacs)) |
| 06:13:59 | → | qwerty2o joins (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
| 06:14:04 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 06:15:14 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 06:15:53 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 06:16:46 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 06:18:31 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 06:22:18 | × | _xor quits (~xor@74.215.46.133) (Ping timeout: 240 seconds) |
| 06:23:53 | → | _xor joins (~xor@74.215.46.133) |
| 06:26:55 | × | ambiso99211 quits (~ambiso@209.182.239.205) (Quit: Ping timeout (120 seconds)) |
| 06:27:10 | → | ambiso99211 joins (~ambiso@209.182.239.205) |
| 06:27:19 | → | michalz joins (~user@185.246.204.56) |
| 06:30:29 | → | chele joins (~chele@5.53.222.202) |
| 06:32:02 | → | malumore joins (~malumore@151.62.123.125) |
| 06:32:25 | × | malumore quits (~malumore@151.62.123.125) (Remote host closed the connection) |
| 06:32:43 | → | malumore joins (~malumore@151.62.123.125) |
| 06:33:50 | → | ddellacosta joins (~ddellacos@86.106.143.40) |
| 06:36:32 | → | magthe joins (~magthe@c83-252-48-230.bredband.comhem.se) |
| 06:37:25 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 06:37:52 | × | ddellacosta quits (~ddellacos@86.106.143.40) (Ping timeout: 240 seconds) |
| 06:39:58 | × | echoreply quits (~echoreply@unaffiliated/echoreply) (Quit: WeeChat 1.9.1) |
| 06:40:26 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:40:27 | → | echoreply joins (~echoreply@unaffiliated/echoreply) |
| 06:40:33 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 06:40:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 06:40:51 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:43:45 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 06:44:23 | → | nineonine joins (~nineonine@50.216.62.2) |
| 06:47:28 | → | Sorny joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 06:52:08 | → | Sornaensis joins (~Sornaensi@79.142.232.102) |
| 06:53:35 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:54:26 | × | Sorny quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 06:57:03 | <glguy> | % let thing f xs = [xs | (xs, True) <- runStateT (traverse (\x -> StateT $ \s -> [(f x, True) | not s] ++ [(x, s)]) xs) False] in thing toUpper "abc" |
| 06:57:03 | <yahb> | glguy: ["Abc","aBc","abC"] |
| 06:57:15 | <glguy> | Weee |
| 06:57:34 | → | knupfer joins (~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de) |
| 06:57:36 | <gnumonic> | welp that's the idiomatic solution :P |
| 06:57:51 | <glguy> | That was hard to do on a phone |
| 06:57:52 | × | knupfer quits (~Thunderbi@200116b82be894004c696bfffe2c72c9.dip.versatel-1u1.de) (Client Quit) |
| 06:58:04 | → | knupfer joins (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) |
| 06:58:38 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:59:17 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 06:59:41 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 06:59:46 | <glguy> | I like the inits/tails solution better, of course |
| 07:01:21 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 07:01:45 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Remote host closed the connection) |
| 07:01:48 | <gnumonic> | now i feel like my solution is boring :-( time to see if i can do it with the store comonad. or at the type level. or... |
| 07:02:11 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 07:02:26 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 07:04:28 | → | s00pcan joins (~chris@107.181.165.217) |
| 07:07:08 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 07:09:29 | → | ddellacosta joins (~ddellacos@83.143.246.110) |
| 07:12:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:13:58 | × | ddellacosta quits (~ddellacos@83.143.246.110) (Ping timeout: 240 seconds) |
| 07:14:56 | × | magthe quits (~magthe@c83-252-48-230.bredband.comhem.se) (Quit: WeeChat 3.1) |
| 07:16:53 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 07:16:56 | → | vilpan joins (~0@212.117.1.172) |
| 07:17:32 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 07:21:30 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 07:23:12 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 07:25:48 | → | darkon joins (~darkon@90.212.77.86) |
| 07:26:18 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 07:27:39 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:27:40 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 07:27:56 | × | knupfer quits (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Remote host closed the connection) |
| 07:32:01 | × | s00pcan quits (~chris@107.181.165.217) (Ping timeout: 265 seconds) |
| 07:32:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 07:32:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 07:32:30 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 07:33:07 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:d1b3:8e6:fe83:6a87) (Ping timeout: 250 seconds) |
| 07:33:53 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 07:34:58 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 252 seconds) |
| 07:35:19 | → | jophish joins (~joemonoid@li1766-207.members.linode.com) |
| 07:36:27 | → | jophish__ joins (ca536851@202.83.104.81) |
| 07:37:03 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:38:44 | → | knupfer joins (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) |
| 07:39:15 | × | jophish__ quits (ca536851@202.83.104.81) (Client Quit) |
| 07:39:17 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:3c9f:7dbb:c98e:3fdd) |
| 07:40:41 | → | chele_ joins (~chele@5.53.222.202) |
| 07:41:22 | → | coot joins (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) |
| 07:41:35 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 07:42:53 | × | chele quits (~chele@5.53.222.202) (Ping timeout: 240 seconds) |
| 07:44:30 | <gnumonic> | comonad solution. actually i kinda like this https://gist.github.com/gnumonik/5e1682b6ec02e25c1bbdf97b4811ee00 |
| 07:45:02 | <gnumonic> | store comonad is a good comonad |
| 07:45:21 | chele_ | is now known as chele |
| 07:46:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 07:48:19 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 07:49:09 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 07:52:47 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 07:54:41 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 07:54:52 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 07:55:56 | → | ph88 joins (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) |
| 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:01:15 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 08:02:04 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 08:03:07 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 08:05:32 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 08:05:34 | → | fendor joins (~fendor@178.165.131.109.wireless.dyn.drei.com) |
| 08:06:26 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Ping timeout: 246 seconds) |
| 08:06:59 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:09:20 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 08:09:33 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:10:10 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 08:10:39 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) |
| 08:10:55 | × | freeman42x quits (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) (Max SendQ exceeded) |
| 08:12:25 | Stanley|00 | is now known as Stanley00 |
| 08:12:26 | → | freeman42x joins (~40726@2a02:2f0c:5a03:4a00:fd37:92df:20ce:93e3) |
| 08:12:44 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 246 seconds) |
| 08:13:16 | → | hahalps joins (284a4c12@40.74.76.18) |
| 08:13:27 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 08:13:33 | × | jophish quits (~joemonoid@li1766-207.members.linode.com) (Quit: Bridge terminating on SIGTERM) |
| 08:14:12 | × | gitgood quits (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) (Quit: Probably away to do something really awesome) |
| 08:14:18 | × | hahalps quits (284a4c12@40.74.76.18) (Client Quit) |
| 08:14:32 | → | hahalps joins (284a4c12@40.74.76.18) |
| 08:15:53 | × | qwerty2o quits (~qwerty2o@93-172-139-92.bb.netvision.net.il) (Ping timeout: 246 seconds) |
| 08:18:08 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 08:19:32 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-jxdeabbswteucrim) (Quit: Connection closed for inactivity) |
| 08:20:12 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 08:21:04 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 08:22:04 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 08:22:35 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 08:23:56 | × | ph88 quits (~ph88@2a02:8109:9e00:7e5c:4503:1bda:8362:f720) (Quit: Leaving) |
| 08:24:04 | × | drbean_ quits (~drbean@TC210-63-209-87.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 08:26:04 | → | ddellacosta joins (~ddellacos@86.106.143.118) |
| 08:29:04 | → | rdd joins (~rdd@c-407ce255.012-81-73746f39.cust.ownit.se) |
| 08:30:18 | × | ddellacosta quits (~ddellacos@86.106.143.118) (Ping timeout: 252 seconds) |
| 08:35:16 | → | esp32_prog joins (~esp32_pro@37.120.201.122) |
| 08:38:41 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 08:40:42 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection) |
| 08:41:01 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 08:44:36 | → | xourt joins (d4c620ea@212-198-32-234.rev.numericable.fr) |
| 08:44:48 | × | xourt quits (d4c620ea@212-198-32-234.rev.numericable.fr) (Client Quit) |
| 08:47:44 | → | kuribas joins (~user@ptr-25vy0i78n44u7lpjmac.18120a2.ip6.access.telenet.be) |
| 08:48:27 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:cac:8636:1ade:e81c) (Ping timeout: 260 seconds) |
| 08:53:22 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 08:55:26 | × | esp32_prog quits (~esp32_pro@37.120.201.122) (Ping timeout: 260 seconds) |
| 08:57:46 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 08:58:34 | × | hahalps quits (284a4c12@40.74.76.18) (Quit: Connection closed) |
| 09:00:03 | × | my_name_is_not_j quits (mynameisno@gateway/shell/matrix.org/x-luedefgkawhdrktp) (Quit: Idle for 30+ days) |
| 09:00:23 | → | esp32_prog joins (~esp32_pro@37.120.201.122) |
| 09:00:47 | ← | vilpan parts (~0@212.117.1.172) () |
| 09:00:51 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:4a57:5ae3:5d9f:3382) |
| 09:02:25 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 09:03:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:06:04 | × | esp32_prog quits (~esp32_pro@37.120.201.122) (Remote host closed the connection) |
| 09:06:16 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
| 09:07:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 09:08:26 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Read error: Connection reset by peer) |
| 09:08:32 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 09:10:44 | → | darko_ joins (~darkon@90.212.77.86) |
| 09:13:13 | × | darkon quits (~darkon@90.212.77.86) (Ping timeout: 260 seconds) |
| 09:14:31 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 252 seconds) |
| 09:16:05 | × | dave_uy quits (~david@108.61.193.26) (Ping timeout: 246 seconds) |
| 09:16:18 | → | dave_uy5 joins (~david@108.61.193.26) |
| 09:26:01 | × | quinn quits (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) (Quit: ZNC 1.8.1 - https://znc.in) |
| 09:26:11 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 268 seconds) |
| 09:29:09 | → | DavidEichmann joins (~david@47.27.93.209.dyn.plus.net) |
| 09:32:10 | × | blissful quits (~blissful@unaffiliated/azuline) (Quit: owo) |
| 09:32:31 | → | blissful joins (~blissful@unaffiliated/azuline) |
| 09:33:06 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 09:33:26 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 09:33:33 | × | Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds) |
| 09:33:36 | → | ddellacosta joins (~ddellacos@86.106.143.92) |
| 09:34:04 | → | Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 09:35:07 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 09:35:09 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 09:36:03 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 09:38:08 | × | ddellacosta quits (~ddellacos@86.106.143.92) (Ping timeout: 252 seconds) |
| 09:42:15 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 09:42:31 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 09:46:34 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds) |
| 09:47:07 | × | gzj quits (~gzj@unaffiliated/gzj) (Remote host closed the connection) |
| 09:47:15 | × | hiroaki_ quits (~hiroaki@2a02:908:4b18:8c40:8064:bb06:bb40:a0be) (Ping timeout: 260 seconds) |
| 09:49:06 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 09:51:10 | → | Feuermagier joins (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) |
| 09:54:48 | × | Maxdamantus quits (~Maxdamant@unaffiliated/maxdamantus) (Quit: Lost terminal) |
| 09:55:06 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:4a57:5ae3:5d9f:3382) (Ping timeout: 258 seconds) |
| 09:55:14 | → | Maxdamantus joins (~Maxdamant@unaffiliated/maxdamantus) |
| 09:57:23 | → | ubert1 joins (~Thunderbi@91.141.0.255.wireless.dyn.drei.com) |
| 09:58:46 | → | hiroaki_ joins (~hiroaki@2a02:908:4b18:8c40:8c7f:db9f:4c52:d3d3) |
| 10:01:16 | → | pierremoine joins (d466243c@212.102.36.60) |
| 10:01:22 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 265 seconds) |
| 10:02:01 | ← | pierremoine parts (d466243c@212.102.36.60) () |
| 10:03:00 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 10:04:04 | → | ubert joins (~Thunderbi@178.115.128.32.wireless.dyn.drei.com) |
| 10:04:25 | × | ubert1 quits (~Thunderbi@91.141.0.255.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 10:04:41 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:05:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:06:53 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 10:07:11 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:2a0f:6893:58ea:35ea) |
| 10:08:47 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 10:08:58 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:09:35 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 10:09:54 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 10:11:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:11:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:13:41 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 10:13:52 | → | dhil joins (~dhil@80.208.56.181) |
| 10:15:13 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 10:15:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 10:16:36 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:16:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:17:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:18:09 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 10:20:24 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Ping timeout: 258 seconds) |
| 10:20:54 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 10:21:40 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 10:24:58 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 10:25:01 | → | thevishy joins (~Nishant@117.216.194.189) |
| 10:27:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 10:28:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:29:28 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 10:30:33 | × | Natch quits (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 10:33:46 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:34:01 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 10:34:04 | × | gawen quits (~gawen@movzbl.root.sx) (Quit: cya) |
| 10:34:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:34:26 | Alleria | is now known as Guest46592 |
| 10:34:26 | → | gawen joins (~gawen@movzbl.root.sx) |
| 10:35:16 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 10:35:18 | × | MidAutumnHotaru quits (~MidAutumn@unaffiliated/midautumnhotaru) (Quit: Quit 啾) |
| 10:35:56 | → | MidAutumnHotaru joins (~MidAutumn@unaffiliated/midautumnhotaru) |
| 10:36:18 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 10:38:31 | × | glguy quits (x@freenode/staff/haskell.developer.glguy) (Read error: Connection reset by peer) |
| 10:39:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 10:40:09 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 10:40:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:44:11 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 240 seconds) |
| 10:44:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 10:45:12 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 10:47:38 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 10:48:51 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:50:04 | → | Natch joins (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 10:51:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 10:51:43 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:51:52 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 10:52:10 | × | ubert quits (~Thunderbi@178.115.128.32.wireless.dyn.drei.com) (Remote host closed the connection) |
| 10:55:50 | × | DavidEichmann quits (~david@47.27.93.209.dyn.plus.net) (Ping timeout: 246 seconds) |
| 10:57:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 10:57:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:57:57 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 10:59:36 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:59:58 | → | UmlGG joins (2505f1ad@ip2505f1ad.dynamic.kabel-deutschland.de) |
| 11:00:59 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 11:01:33 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 11:02:24 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 11:04:51 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds) |
| 11:05:11 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 11:05:27 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 11:06:06 | → | vk3fajo joins (~vk3fajo@pa49-183-165-249.pa.vic.optusnet.com.au) |
| 11:06:06 | → | aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 11:07:08 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 11:15:39 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 11:19:59 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:20:50 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) |
| 11:23:46 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 252 seconds) |
| 11:24:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 11:25:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 11:25:54 | → | drbean_ joins (~drbean@TC210-63-209-13.static.apol.com.tw) |
| 11:26:45 | <kuribas> | I am wondering if "lmap f" can be more descriptive than (. f) in some cases... |
| 11:27:07 | × | knupfer quits (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Quit: knupfer) |
| 11:27:39 | → | knupfer joins (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) |
| 11:29:58 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 11:30:30 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 11:34:46 | × | vchlup quits (~vchlup@nat.brnet.cz) (Ping timeout: 240 seconds) |
| 11:34:57 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 11:35:08 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 11:39:18 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 11:42:14 | × | jneira quits (501e65b6@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.101.182) (Quit: Connection closed) |
| 11:42:49 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 11:43:57 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Ping timeout: 240 seconds) |
| 11:45:37 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 11:47:43 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 11:47:53 | × | Guest46592 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 11:48:07 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 11:49:45 | → | Stanley|00 joins (~stanley00@unaffiliated/stanley00) |
| 11:50:02 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 11:50:25 | Alleria | is now known as Guest17968 |
| 11:51:11 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 11:51:15 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 11:52:05 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 11:52:18 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 11:52:22 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) (Ping timeout: 252 seconds) |
| 11:52:27 | × | ihower quits (~ihower@139.28.218.148) (Remote host closed the connection) |
| 11:54:16 | × | jlamothe quits (~jlamothe@198.251.57.81) (Quit: leaving) |
| 11:56:14 | → | larryba joins (~bc8134e3@217.29.117.252) |
| 11:56:40 | <larryba> | hi. can someone test this on *nix? System.FilePath.Glob.match "t*" "/bin/test.exe" |
| 11:56:58 | <larryba> | I expected it to return True, but it is returning False |
| 11:57:11 | <larryba> | > System.FilePath.Glob.match "t*" "/bin/test.exe" |
| 11:57:13 | <lambdabot> | error: |
| 11:57:13 | <lambdabot> | Not in scope: ‘System.FilePath.Glob.match’ |
| 11:57:13 | <lambdabot> | No module named ‘System.FilePath.Glob’ is imported. |
| 11:57:20 | → | ddellacosta joins (~ddellacos@86.106.143.222) |
| 11:57:27 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-kijutxhapbomxwul) |
| 11:57:46 | ← | vk3fajo parts (~vk3fajo@pa49-183-165-249.pa.vic.optusnet.com.au) ("Leaving") |
| 12:02:04 | × | UmlGG quits (2505f1ad@ip2505f1ad.dynamic.kabel-deutschland.de) (Quit: Connection closed) |
| 12:02:09 | × | ddellacosta quits (~ddellacos@86.106.143.222) (Ping timeout: 260 seconds) |
| 12:03:16 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 260 seconds) |
| 12:04:11 | × | seveg quits (~gabriel@188-167-252-202.dynamic.chello.sk) (Ping timeout: 240 seconds) |
| 12:06:35 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 12:06:58 | → | Deide joins (~Deide@217.155.19.23) |
| 12:07:30 | × | larryba quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (EOF)) |
| 12:08:32 | → | larryba joins (~bc8134e3@217.29.117.252) |
| 12:10:26 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-qepxyqcskivgrzsl) |
| 12:11:24 | × | larryba quits (~bc8134e3@217.29.117.252) (Client Quit) |
| 12:11:37 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 12:13:32 | <thblt> | larryba: should it? Shouldn't the glob be "/**/t*"? |
| 12:14:24 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 12:15:35 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 12:15:48 | <hpc> | he left |
| 12:16:07 | <merijn> | I already said that in #haskell-beginners |
| 12:17:38 | × | Stanley|00 quits (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 12:17:56 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 12:19:11 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 12:20:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 12:21:11 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds) |
| 12:21:53 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 12:22:53 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 12:23:04 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 12:23:18 | × | rprije quits (~rprije@59-102-63-15.tpgi.com.au) (Ping timeout: 240 seconds) |
| 12:23:27 | <thblt> | Ha sorry, I'm not there. |
| 12:23:44 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:23:59 | → | edge563 joins (~edge563@gateway/tor-sasl/edge563) |
| 12:27:10 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 252 seconds) |
| 12:28:27 | djanatyn1 | is now known as djanatyn |
| 12:29:04 | × | _ashbreeze_ quits (~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection) |
| 12:29:18 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 12:29:33 | × | byorgey quits (~byorgey@155.138.238.211) (Quit: leaving) |
| 12:29:39 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 12:30:20 | → | malumore joins (~malumore@151.62.123.125) |
| 12:30:37 | → | _ashbreeze_ joins (~mark@64.85.214.234.reverse.socket.net) |
| 12:30:44 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 12:32:04 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 12:33:50 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 12:35:35 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) |
| 12:37:09 | → | DTZUZU_ joins (~DTZUZO@205.ip-149-56-132.net) |
| 12:37:41 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 12:37:41 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 12:37:52 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 240 seconds) |
| 12:38:01 | → | malumore joins (~malumore@151.62.123.125) |
| 12:38:22 | × | malumore quits (~malumore@151.62.123.125) (Remote host closed the connection) |
| 12:38:41 | → | malumore joins (~malumore@151.62.123.125) |
| 12:41:11 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 12:45:13 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:45:59 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 268 seconds) |
| 12:48:32 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 12:49:36 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-13-70-54-76-62.dsl.bell.ca) (Remote host closed the connection) |
| 12:49:49 | → | sm2n joins (~sm2n@70.54.76.62) |
| 12:52:54 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 12:54:25 | × | vv8 quits (~egp_@2.95.117.163) (Ping timeout: 260 seconds) |
| 12:54:46 | × | Kaeipi quits (~Kaiepi@47.54.252.148) (Read error: No route to host) |
| 12:55:11 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 12:55:13 | → | Kaeipi joins (~Kaiepi@47.54.252.148) |
| 12:55:58 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 12:57:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:58:08 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 13:00:14 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:03:50 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) (Remote host closed the connection) |
| 13:03:57 | → | Sorna joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 13:04:06 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:34df:482b:a0b7:2d77) |
| 13:04:09 | → | ddellacosta joins (~ddellacos@86.106.143.92) |
| 13:07:43 | × | Sornaensis quits (~Sornaensi@79.142.232.102) (Ping timeout: 252 seconds) |
| 13:08:29 | × | ddellacosta quits (~ddellacos@86.106.143.92) (Ping timeout: 246 seconds) |
| 13:11:55 | → | son0p joins (~ff@181.136.122.143) |
| 13:19:49 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 13:20:28 | → | carlomagno joins (~cararell@148.87.23.11) |
| 13:20:44 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:26:56 | × | Ranhir quits (~Ranhir@157.97.53.139) (Read error: Connection reset by peer) |
| 13:27:08 | → | horatiohb joins (~horatiohb@104.236.205.187) |
| 13:28:32 | → | Sorny joins (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) |
| 13:28:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:29:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:29:11 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds) |
| 13:30:58 | × | Sorna quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 240 seconds) |
| 13:38:21 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 13:38:30 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:38:34 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 13:38:38 | × | kuribas quits (~user@ptr-25vy0i78n44u7lpjmac.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 13:39:26 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 13:40:24 | → | darkon joins (~darkon@90.212.77.86) |
| 13:42:05 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 246 seconds) |
| 13:42:56 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 13:43:08 | × | darko_ quits (~darkon@90.212.77.86) (Ping timeout: 246 seconds) |
| 13:43:51 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 13:43:52 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:44:02 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-sbirtyqsxkkyetzh) |
| 13:44:14 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 13:45:21 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 13:45:58 | → | alx741 joins (~alx741@181.196.68.193) |
| 13:46:56 | → | seven_three joins (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 13:48:06 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 13:48:19 | <seven_three> | Is there a nicer way to derive from Num here? This isnt even complete yet. http://dpaste.com/FGM4RN8N8 |
| 13:48:57 | × | drbean_ quits (~drbean@TC210-63-209-13.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 13:49:19 | × | lawid quits (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) (Quit: lawid) |
| 13:50:34 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 13:51:56 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 13:51:57 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Client Quit) |
| 13:52:01 | → | lawid joins (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 13:52:44 | × | mozzarella quits (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 13:53:16 | → | jonathanx joins (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 13:53:28 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-hrpqjuatvrzojcmn) |
| 13:54:06 | → | mozzarella joins (~sam@unaffiliated/sam113101) |
| 13:57:10 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 14:00:39 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:00:45 | → | Tario joins (~Tario@201.192.165.173) |
| 14:03:35 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:05:20 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:06:33 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 14:07:05 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 14:07:56 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 14:09:25 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 14:10:29 | × | acidjnk_new quits (~acidjnk@p200300d0c72b9573286e28f39b70c9d3.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:11:40 | → | byorgey joins (~byorgey@155.138.238.211) |
| 14:13:05 | → | glguy joins (x@freenode/staff/haskell.developer.glguy) |
| 14:17:15 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:7969:a01b:88d1:8650) |
| 14:17:41 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 14:18:25 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) |
| 14:19:14 | → | jumper149 joins (~jumper149@80.240.31.34) |
| 14:19:17 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 14:19:41 | → | kristijonas_ joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 14:22:14 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 14:22:59 | ← | seven_three parts (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 14:26:14 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 14:27:48 | → | qwerty2o joins (~qwerty2o@93-172-139-92.bb.netvision.net.il) |
| 14:28:21 | <qwerty2o> | hi. is there a way to write this without explicitly declaring a and b? |
| 14:28:28 | <qwerty2o> | pow a b = a ^ b `mod` 10 |
| 14:29:11 | <geekosaur> | @pl \a b -> a ^ b `mod` 10 |
| 14:29:11 | <lambdabot> | (. (`mod` 10)) . (^) |
| 14:29:13 | <qwerty2o> | i thought something like pow = (^) >>= (`mod` 10) but idk i guess |
| 14:29:18 | <qwerty2o> | not |
| 14:29:34 | <geekosaur> | there's a pointfree way to write lots of things. whether it's worth it is another question |
| 14:30:38 | <qwerty2o> | lambdabot, can you explain? |
| 14:31:08 | <merijn> | qwerty2o: Well, no, because its a bot :p |
| 14:31:25 | <qwerty2o> | oh oops |
| 14:31:34 | <qwerty2o> | seems it doesn't work anyway |
| 14:32:06 | <qwerty2o> | geekosaur, lets say it is |
| 14:32:11 | <qwerty2o> | u have an idea? |
| 14:32:22 | <qwerty2o> | i thought i could compose the two in a way |
| 14:32:46 | → | carlomagno1 joins (~cararell@148.87.23.6) |
| 14:32:50 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 14:33:54 | × | carlomagno quits (~cararell@148.87.23.11) (Ping timeout: 268 seconds) |
| 14:34:40 | <geekosaur> | ah, as I feared @pl doesn't handle operator precedence |
| 14:34:48 | <geekosaur> | which makes the result even uglier |
| 14:35:08 | <geekosaur> | @pl \a b -> (a ^ b) `mod` 10 |
| 14:35:09 | <lambdabot> | flip flip 10 . (mod .) . (^) |
| 14:36:43 | <qwerty2o> | mmm so no? |
| 14:37:18 | <geekosaur> | tbh "if you have to ask, the best answer is no" |
| 14:37:43 | <qwerty2o> | saddening |
| 14:37:52 | <geekosaur> | one should go for readability over cleverness |
| 14:37:58 | <[exa]> | y tho, your code will be readable! ;] |
| 14:38:06 | <geekosaur> | @quote kernighan clever |
| 14:38:06 | <lambdabot> | No quotes for this person. Take a stress pill and think things over. |
| 14:38:11 | <geekosaur> | bah |
| 14:38:22 | <geekosaur> | @quote twice.as.clever |
| 14:38:22 | <lambdabot> | No quotes match. My brain just exploded |
| 14:38:36 | <geekosaur> | thought we had that one. ah well |
| 14:39:10 | <qwerty2o> | i actually thought it could be nice since it's pretty straightforward what the two functions recieve and return |
| 14:39:17 | <geekosaur> | anyway the bot gave you an answer, it's just an ugly one |
| 14:39:24 | <geekosaur> | the "flip flip" thing |
| 14:39:47 | <geekosaur> | (which is usually a warning that you shouldn't pointfree that expression) |
| 14:39:54 | <qwerty2o> | yeah that's bad |
| 14:42:03 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 14:43:18 | <lambdabot> | *cough* do I have the rona? |
| 14:43:40 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 14:45:06 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 14:46:43 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 14:48:29 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 14:48:39 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 14:50:34 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Read error: Connection reset by peer) |
| 14:53:53 | × | carlomagno1 quits (~cararell@148.87.23.6) (Ping timeout: 240 seconds) |
| 14:56:16 | → | carlomagno joins (~cararell@148.87.23.10) |
| 14:59:12 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 14:59:19 | × | ajc_ quits (~ajc@69.231.232.79) (Read error: Connection reset by peer) |
| 15:00:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:00:50 | × | Varis quits (~Tadas@unaffiliated/varis) (Read error: Connection reset by peer) |
| 15:03:27 | × | adius quits (sid321344@gateway/web/irccloud.com/x-yfsibqzgqazbvhna) () |
| 15:04:07 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 268 seconds) |
| 15:04:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:06:16 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 15:10:15 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:10:31 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 15:11:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 15:13:03 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 15:14:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 15:16:56 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 246 seconds) |
| 15:17:15 | → | concept21 joins (~concept2@unaffiliated/tubo) |
| 15:18:35 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:2a0f:6893:58ea:35ea) (Ping timeout: 260 seconds) |
| 15:18:40 | × | concept2 quits (~concept2@unaffiliated/tubo) (Read error: Connection reset by peer) |
| 15:18:40 | concept21 | is now known as concept2 |
| 15:18:46 | × | wrunt quits (~ajc@vmx14030.hosting24.com.au) (Ping timeout: 252 seconds) |
| 15:19:11 | → | wrunt joins (~ajc@vmx14030.hosting24.com.au) |
| 15:20:19 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 15:20:51 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (Remote host closed the connection) |
| 15:21:55 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 15:22:52 | → | myShoggoth joins (~myShoggot@97-120-72-12.ptld.qwest.net) |
| 15:22:53 | tstat_ | is now known as tstat |
| 15:24:23 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 258 seconds) |
| 15:27:59 | × | fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Quit: leaving) |
| 15:29:33 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 15:30:10 | → | romesrf joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 15:30:21 | × | xelxebar_ quits (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 15:31:50 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845) |
| 15:32:01 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:902:be93:ec35:bb2b) |
| 15:32:22 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8da3:57c2:b9e6:3845) (Remote host closed the connection) |
| 15:32:34 | <romesrf> | hello! i have an issue with parsec, something i would hope to fix with `try` but haven't been able to. here's a working minimal example that showcases my problem: https://paste.tomsmeding.com/Iaj8UZyY - annotated with the issue |
| 15:33:34 | <romesrf> | i'll keep trying to fix it meanwhile but have been at this for some time and some help would be really appreciated :) |
| 15:34:05 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:34:48 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 15:34:59 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 15:35:34 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 15:36:15 | <monochrom> | I would first put "try letunit <|> letin" on the same line, or use explicit parentheses, to ensure that the computer is not misreading me. |
| 15:36:15 | → | romesrf_ joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 15:37:46 | <dmj`> | could combine them, result <- (fmap Left (char '_')) <|> (fmap Right (many1 letter)), then you could case match on which one you got back |
| 15:37:52 | × | romesrf quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 15:39:19 | <monochrom> | Meta-ly, I find let-var and let-wildcard sufficiently related that I may merge letin and letunit in the first place. |
| 15:39:19 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 250 seconds) |
| 15:40:18 | <romesrf_> | for this small example yes, but my issue is in a bigger parser that "needs" multiple letin constructors to "break down" basic types |
| 15:40:33 | <dmj`> | what monochrom said |
| 15:40:37 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) |
| 15:40:45 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:40:54 | <monochrom> | They literally differ in only one small spot. I would use "pat <- fmap Left (char '_') <|> fmap Right (many1 letter)" to address the difference. |
| 15:41:06 | <dmj`> | again what monochrom said |
| 15:41:07 | <romesrf_> | yeah that's what dmj` said too |
| 15:41:09 | <romesrf_> | ahahaha |
| 15:41:53 | <romesrf_> | i could try to merge all my letins into one big one, but it would kind of lose clarity |
| 15:42:12 | <romesrf_> | i wonder why the `try` isn't working like this |
| 15:42:42 | <monochrom> | In this case there are two clarities: clarity at the tree level, vs clarity at the forest level. And they are in conflict. |
| 15:42:44 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:43:14 | <monochrom> | What I mean is, you look at the code of letin and letunit, it violates DRY. |
| 15:43:58 | <romesrf_> | you're right, i should make a parser func for the deconstruction and call it in between the let =in... |
| 15:44:03 | <monochrom> | If you RY you usually gain clarity at the tree level, every tree is clear on its own, you lose sight that at the forest level you have two trees that are really the same. |
| 15:44:30 | <romesrf_> | thanks for the insight. i'll try it |
| 15:45:47 | <monochrom> | In this specific scenerio, I am inspired by Haskell's "let <pattern> = <expr> in <expr>" this is one single concept that spans a wide range of <pattern>s, no one seriously split this by different patterns. Oh one possible <pattern> is <var>, big deal. |
| 15:46:07 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 15:46:26 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 15:46:34 | <romesrf_> | :) you make a compelling argument |
| 15:46:36 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Remote host closed the connection) |
| 15:47:54 | → | __minoru__shirae joins (~shiraeesh@109.166.58.206) |
| 15:50:12 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 15:50:23 | <monochrom> | For "<|> letin" on its own line, you need to know a treacherous detail of Haskell layout. The compiler is required to search for a place to inserting "}" until it finds how to make your code legal. |
| 15:51:59 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:2926:4844:fa1f:b849) (Ping timeout: 258 seconds) |
| 15:52:03 | <monochrom> | Now, you have got "try letunit" and "<|> letin" aligned, so you have already forced a semicolon between them, "try letunit ; <|> letin", so the "}" is not going after them. |
| 15:52:48 | <monochrom> | BUT! The compiler sees that the "}" can go between them, "try letunit } <|> letin". That's the only way to make your code legal. |
| 15:53:06 | <monochrom> | You now have "do { ... ; try letunit} <|> letin". |
| 15:53:16 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 15:59:27 | <romesrf_> | OH |
| 15:59:34 | <romesrf_> | that's also really insightful hahahah |
| 16:00:06 | × | MahmoudMAZOUZ[m] quits (mazouzmaen@gateway/shell/matrix.org/x-imqdkovzqltlmznc) (Quit: Idle for 30+ days) |
| 16:00:07 | <romesrf_> | but i'm still going to change it up to use a new datatype "Pattern", and then use the "Pattern" in a general letin :: Parser Expr to return an Expr |
| 16:00:11 | → | idhugo joins (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) |
| 16:00:16 | <romesrf_> | you convinced me :) |
| 16:00:23 | <monochrom> | :) |
| 16:00:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:01:23 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:04:04 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 16:04:20 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:05:50 | → | barzo joins (~sosal@188.119.23.191) |
| 16:06:08 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 16:06:35 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 16:09:43 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 16:11:02 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:15:49 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 16:17:53 | × | knupfer quits (~Thunderbi@200116b82be894005038e5d10273cf38.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 16:21:06 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds) |
| 16:21:35 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:26:14 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 16:26:34 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 16:28:56 | → | jonatan joins (~nate@h77-53-70-163.cust.a3fiber.se) |
| 16:29:17 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 16:29:43 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 16:32:16 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 16:35:51 | × | dsrt^ quits (dsrt@ip98-184-89-2.mc.at.cox.net) () |
| 16:36:55 | → | gitgood joins (~gitgood@80-44-9-246.dynamic.dsl.as9105.com) |
| 16:38:17 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-ffewfqkvmgmtpxhy) |
| 16:39:31 | → | nrh^ joins (nrh@ip98-184-89-2.mc.at.cox.net) |
| 16:43:28 | × | jumper149 quits (~jumper149@80.240.31.34) (Quit: WeeChat 3.1) |
| 16:43:49 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 16:45:31 | × | jespada quits (~jespada@90.254.243.187) (Quit: Leaving) |
| 16:46:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 16:49:59 | → | dmytrish joins (~mitra@2a02:8084:a82:d900:319a:d200:a43d:3e3c) |
| 16:53:36 | → | Sornaensis joins (~Sornaensi@077213199124.dynamic.telenor.dk) |
| 16:54:25 | → | HannaM joins (~quassel@p54849510.dip0.t-ipconnect.de) |
| 16:54:56 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 16:57:05 | × | Sorny quits (~Sornaensi@79.142.232.102.static.router4.bolignet.dk) (Ping timeout: 260 seconds) |
| 16:57:55 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 16:57:59 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 16:58:21 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 16:58:55 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 17:00:38 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 17:03:39 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 17:04:08 | × | NieDzejkob quits (~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 17:04:24 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 17:07:49 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:13:30 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-sbirtyqsxkkyetzh) (Quit: Connection closed for inactivity) |
| 17:14:17 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 17:16:23 | × | xff0x quits (~xff0x@2001:1a81:5248:9d00:9381:fa96:9ca3:9618) (Ping timeout: 250 seconds) |
| 17:17:17 | → | xff0x joins (~xff0x@2001:1a81:526f:3a00:9b6e:f4dc:2aa2:1178) |
| 17:18:24 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 17:18:38 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 17:19:12 | → | elfets_ joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 17:21:38 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 17:21:50 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 17:22:03 | × | barzo quits (~sosal@188.119.23.191) (Read error: Connection reset by peer) |
| 17:23:14 | → | quinn joins (~quinn@c-73-223-224-163.hsd1.ca.comcast.net) |
| 17:23:15 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 17:24:41 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 17:26:47 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 17:28:15 | × | JanBessa1 quits (~JanB@85-22-17-38.ip.dokom21.de) (Quit: Lost terminal) |
| 17:28:25 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 268 seconds) |
| 17:29:56 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 246 seconds) |
| 17:30:22 | → | gaff joins (~user@49.207.220.137) |
| 17:30:58 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 17:31:43 | <gaff> | when i run cabal test --enable-coverage, it generates the hpc files, but when i view the HTML, all coverage information shows 0. i am using cabal 3.4 |
| 17:32:04 | <gaff> | any idea why? |
| 17:32:38 | <gaff> | also, if i run hpc report on the .tix file, it indeed shows coverage info |
| 17:33:37 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 17:34:04 | <gaff> | so it looks like there is some problem with the HTML report cabal generates. |
| 17:34:13 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 240 seconds) |
| 17:34:49 | <romesrf_> | btw monochrom i did it with the patterns successfully |
| 17:34:59 | <monochrom> | :) |
| 17:35:01 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:36:11 | <gaff> | appreciate any help. |
| 17:37:20 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 17:39:18 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 240 seconds) |
| 17:42:06 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:42:15 | <Uniaika> | tdammers: do you need help with taking care of ginger? |
| 17:44:30 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 17:45:28 | → | UpstreamSalmon joins (uid12077@gateway/web/irccloud.com/x-hrpllydlluhojkqp) |
| 17:47:04 | → | nvmd joins (~nvmd@177.30.111.232) |
| 17:47:24 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 17:48:22 | → | malumore joins (~malumore@151.62.123.125) |
| 17:48:23 | <gaff> | no modules are listed in the HTML hpc report after cabal test |
| 17:49:14 | × | dhil quits (~dhil@80.208.56.181) (Quit: Leaving) |
| 17:49:42 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 17:50:13 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 17:50:43 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-grpkmlokorxpefir) (Quit: Connection closed for inactivity) |
| 17:51:01 | → | bitmagie joins (~Thunderbi@200116b806152100bd99821fc90873a1.dip.versatel-1u1.de) |
| 17:51:38 | × | bitmagie quits (~Thunderbi@200116b806152100bd99821fc90873a1.dip.versatel-1u1.de) (Client Quit) |
| 17:51:44 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 17:53:14 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 17:53:22 | <gaff> | also, i am using ghc 8.10.4 |
| 17:53:37 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 17:54:00 | <gaff> | is the hpc integration broken in cabal 3.4? |
| 17:54:03 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:54:47 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 17:58:42 | → | carlomagno1 joins (~cararell@148.87.23.8) |
| 18:00:52 | × | carlomagno quits (~cararell@148.87.23.10) (Ping timeout: 240 seconds) |
| 18:01:17 | → | jaykru joins (~user@unaffiliated/jaykru) |
| 18:02:03 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 18:03:13 | <justsomeguy> | Is there something similar to a "debug mode", that allows you to determine where a name comes from by annotating where it was defined? |
| 18:04:18 | <justsomeguy> | So I could run ''definedIn f'', and get the source file and line number (or lexical scope) that ''f'' comes from? |
| 18:04:19 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 18:04:19 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 18:04:19 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 18:04:27 | <jaykru> | perhaps this would be useful? https://hackage.haskell.org/package/loch-th-0.2.2/docs/Debug-Trace-LocationTH.html |
| 18:05:45 | <jaykru> | __LOCATION__ in particular looks promising for what you're after |
| 18:06:41 | × | chele quits (~chele@5.53.222.202) (Remote host closed the connection) |
| 18:06:58 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 18:07:13 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 240 seconds) |
| 18:07:32 | <justsomeguy> | It looks useful. I've never used template haskell before, though. |
| 18:07:57 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 18:08:14 | × | v01d4lph4 quits (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 18:08:28 | <jaykru> | i think you could just enable TH and then use __LOCATION__ as a blackbox. but as a disclaimer i'm no expert and haven't tried this before. |
| 18:09:00 | <justsomeguy> | Well, thanks for pointing me to this. I'll experiment with it a bit and see how it goes :^). |
| 18:10:18 | × | DavidEichmann quits (~david@147.136.46.217.dyn.plus.net) (Remote host closed the connection) |
| 18:11:21 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 18:12:13 | × | myShoggoth quits (~myShoggot@97-120-72-12.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 18:12:38 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:13:57 | × | gaff quits (~user@49.207.220.137) (Quit: ERC (IRC client for Emacs 27.1)) |
| 18:14:14 | → | epicte7us joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 18:15:09 | → | myShoggoth joins (~myShoggot@75.164.11.109) |
| 18:15:50 | × | seveg quits (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) (Quit: WeeChat 3.1) |
| 18:16:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:16:46 | → | seveg joins (~gabriel@2a02-ab04-0249-8d00-dea6-32ff-fe17-0993.dynamic.v6.chello.sk) |
| 18:17:11 | × | ep1ctetus quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 18:17:47 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 18:18:45 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 18:19:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 18:20:50 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 268 seconds) |
| 18:23:11 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 18:25:25 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 18:27:03 | → | malumore joins (~malumore@151.62.123.125) |
| 18:28:33 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 18:28:36 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 18:30:52 | × | elfets_ quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 18:30:57 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:32:27 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 18:33:09 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:33:22 | × | Feuermagier quits (~Feuermagi@2a02:2488:4211:3400:7285:c2ff:fe22:172e) (Remote host closed the connection) |
| 18:33:56 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:43:03 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 18:43:48 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 18:43:51 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 18:45:11 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 18:48:08 | × | Guest78317 quits (~laudiacay@67.176.215.84) (Ping timeout: 252 seconds) |
| 18:50:21 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 18:56:49 | → | knupfer joins (~Thunderbi@200116b82be894008dbdccb75603bf46.dip.versatel-1u1.de) |
| 18:59:48 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 19:00:02 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:00:22 | × | johnw quits (~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in) |
| 19:05:09 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 19:06:53 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 19:09:04 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:09:16 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 19:09:52 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 19:10:14 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 19:10:33 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 19:10:36 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 19:11:05 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 19:11:11 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 19:11:19 | <nicholasbulka> | so, obviously new to haskell - why does the type of floor say (RealFrac, Integral b) => a -> b instead of, say, Real -> Integer or something |
| 19:13:25 | <Uniaika> | nicholasbulka: to enable a to be both a Real and a Fractional |
| 19:13:42 | <Uniaika> | and Integral is the mix of Real + Enum |
| 19:14:14 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 19:14:49 | <Uniaika> | nicholasbulka: so I guess the short answer is "for more polymorphism" |
| 19:15:12 | <nicholasbulka> | that makes sense. I'm reading that floats are a subset of fractional |
| 19:15:28 | <tomjaguarpaw> | What we call a "constructor" actually both constructs and destructs. It is a function and a pattern. This nomenclature is a bit unfortunate. Is there any way to describe the "function only" aspect of a "constructor" in the same way that "pattern" describes the other part? |
| 19:16:20 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 19:16:31 | <Uniaika> | tomjaguarpaw: I don't make such a distinction in my head |
| 19:16:40 | <Uniaika> | they are the two sides of the same coin |
| 19:16:58 | <Uniaika> | if I want a "pattern" that doesn't build, I make an accessor |
| 19:17:01 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.131) |
| 19:17:06 | × | __minoru__shirae quits (~shiraeesh@109.166.58.206) (Ping timeout: 252 seconds) |
| 19:17:34 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 19:19:26 | <nicholasbulka> | I get the distinction between Fractional and Floating. What is the difference between Real and a Floating ? |
| 19:20:22 | <nicholasbulka> | oh this is sort of helping ... |
| 19:20:22 | <nicholasbulka> | http://www.cantab.net/users/antoni.diller/haskell/units/unit03.html |
| 19:21:29 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 19:21:36 | <tomjaguarpaw> | Uniaika: It's important when naming things in lensy libraries. "Review/review" are incomprehensible names compared to "Constructor/construct". Unfortunately "Constructor" is overloaded ... |
| 19:22:16 | → | conal joins (~conal@64.71.133.70) |
| 19:24:48 | <Uniaika> | tomjaguarpaw: hmm I see your need |
| 19:25:43 | <tomjaguarpaw> | Ideally "AffineTraversal" should be called "Pattern" |
| 19:25:59 | <tomjaguarpaw> | Then either "Prism" should be called "Constructor" or "Review" should be called "Constructor", but it's hard to say which ... either choice will upset someone. |
| 19:32:40 | × | romesrf_ quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Ping timeout: 265 seconds) |
| 19:33:59 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 19:34:13 | <tomjaguarpaw> | Uniaika: See https://github.com/well-typed/optics/issues/420 for my work in this direction (and https://github.com/tomjaguarpaw/tilapia/issues/75) |
| 19:34:25 | → | conal joins (~conal@64.71.133.70) |
| 19:35:09 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 19:35:23 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 19:35:46 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 19:36:39 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:902:be93:ec35:bb2b) (Ping timeout: 260 seconds) |
| 19:37:03 | × | thevishy quits (~Nishant@117.216.194.189) (Quit: Leaving) |
| 19:38:52 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 19:39:49 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 19:40:57 | → | dpl_ joins (~dpl@77-121-78-163.chn.volia.net) |
| 19:41:31 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 19:43:28 | × | Guest17968 quits (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 19:43:46 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 19:49:23 | → | mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan) |
| 19:49:28 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:f42f:2cd9:4893:4d87) |
| 19:52:07 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 19:53:22 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 19:53:44 | → | conal joins (~conal@64.71.133.70) |
| 19:55:11 | × | UpstreamSalmon quits (uid12077@gateway/web/irccloud.com/x-hrpllydlluhojkqp) (Quit: Connection closed for inactivity) |
| 19:56:13 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 19:56:50 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds) |
| 19:57:30 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 19:57:56 | Alleria | is now known as Guest45254 |
| 19:59:02 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 19:59:03 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 19:59:20 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:01:22 | <monochrom> | No, what we call constructors don't destruct. The destruction is done by pattern matching. |
| 20:01:57 | <monochrom> | Since you are writing a pattern, the pattern has to cite the constructor so that you can match against it. |
| 20:02:25 | × | _xor quits (~xor@74.215.46.133) (Ping timeout: 252 seconds) |
| 20:02:38 | <monochrom> | Even in the regex world, if you write "c*" no one reasons "the c there destructs". |
| 20:02:53 | → | romesrf_ joins (~romesrf@44.190.189.46.rev.vodafone.pt) |
| 20:03:34 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 20:03:49 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:04:54 | × | ep1ctetus_ quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 20:05:41 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 20:06:00 | × | jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 20:07:46 | → | jrm joins (~jrm@freebsd/developer/jrm) |
| 20:07:49 | → | conal_ joins (~conal@64.71.133.70) |
| 20:08:29 | → | petersen joins (~petersen@redhat/juhp) |
| 20:12:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:13:23 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 20:14:19 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:14:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:18:07 | × | jrm quits (~jrm@freebsd/developer/jrm) (Quit: ciao) |
| 20:20:30 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 20:21:32 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 20:22:45 | → | jrm joins (~jrm@freebsd/developer/jrm) |
| 20:24:32 | → | Guest78317 joins (~laudiacay@67.176.215.84) |
| 20:25:56 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 20:26:10 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:26:55 | × | romesrf_ quits (~romesrf@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.1) |
| 20:28:31 | → | tsaka__ joins (~torstein@athedsl-4519432.home.otenet.gr) |
| 20:28:41 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 20:29:22 | × | todda7 quits (~torstein@athedsl-09242.home.otenet.gr) (Ping timeout: 252 seconds) |
| 20:31:07 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 20:32:41 | → | joncol joins (~jco@c83-248-173-38.bredband.comhem.se) |
| 20:33:26 | → | hexfive joins (~hexfive@50.35.83.177) |
| 20:33:26 | × | hexfive quits (~hexfive@50.35.83.177) (Client Quit) |
| 20:34:06 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 20:34:31 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 20:36:08 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 20:37:25 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:38:45 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 20:38:53 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 20:42:38 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 20:42:44 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 20:46:23 | → | Rudd0^ joins (~Rudd0@185.189.115.103) |
| 20:46:32 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Remote host closed the connection) |
| 20:46:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 20:49:10 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 20:49:31 | → | W3BV1P3R joins (~W3BV1P3R@c-73-5-91-226.hsd1.tn.comcast.net) |
| 20:50:25 | × | W3BV1P3R quits (~W3BV1P3R@c-73-5-91-226.hsd1.tn.comcast.net) (Client Quit) |
| 20:52:30 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:52:34 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 20:52:40 | <qwerty2o> | im looking to implement a fast exponent function, is there a haskell utility that can help me with that (or on that related note, an interesting algorithm that i could try and implement)? |
| 20:53:23 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 20:53:53 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 20:54:49 | × | egorbelibov quits (~65676f72@2001:8a0:5708:2a00:6084:24f9:c0d1:3aaf) (Read error: Connection reset by peer) |
| 20:56:35 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:59:20 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Quit: syntactic_sugar) |
| 20:59:23 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:441:ad95:9496:73d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:59:46 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 21:00:37 | <jaykru> | qwerty2o: try this: https://en.wikipedia.org/wiki/Exponentiation_by_squaring and then do the modular version. see if you can prove that the modular version is fast in terms of the length of the binary-encoded input data. i can't think of any particular haskell library that would be needed to implement this idea. in general, IMO, writing everything yourself is instructive for problems like this. |
| 21:01:19 | <SrPx> | https://github.com/uwu-tech/Kind/blob/master/blog/1-beyond-inductive-datatypes.md |
| 21:01:30 | <monochrom> | The standard library's ^ operator already uses such an algorithm. |
| 21:02:51 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 21:02:57 | <jaykru> | sure. i think the qwerty2o was looking for an exercise, but i might be wrong. the stdlib implementation would be a good thing to compare their solution with :) |
| 21:03:15 | <monochrom> | http://hackage.haskell.org/package/base-4.15.0.0/docs/src/GHC-Real.html#%5e is the source code |
| 21:03:52 | × | joncol quits (~jco@c83-248-173-38.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 21:04:45 | → | ep1ctetus joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 21:04:57 | <jaykru> | that's some interesting code. i didn't know about the RULES pragma |
| 21:05:04 | → | vicfred_ joins (~vicfred@unaffiliated/vicfred) |
| 21:06:04 | × | tsaka__ quits (~torstein@athedsl-4519432.home.otenet.gr) (Quit: Konversation terminated!) |
| 21:06:16 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Read error: Connection reset by peer) |
| 21:06:35 | <monochrom> | Yikes haha this is known as "sorry excuse for constant folding" |
| 21:07:00 | <jaykru> | i don't really see the point of this pragma; why not just do a pattern match in the language? |
| 21:07:44 | <jaykru> | and what's going on with the useless `let` in the right-hand sides? |
| 21:08:30 | <monochrom> | There is still a runtime difference between "during run time do a compare and then a conditional branch" and "during run time there is no conditional branching the code is u*u*u*u" |
| 21:09:06 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 21:09:11 | <monochrom> | But I don't know what's the author's motivation. |
| 21:10:24 | <monochrom> | That "let" is memoization vs recomputation when "x" is an arbitrary expression. |
| 21:11:11 | <jaykru> | is it actually memoization in lazy evaluation? |
| 21:11:12 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 21:11:20 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 21:11:34 | <monochrom> | lazy evaluation has a memoization part. I am referring to that part. |
| 21:11:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:11:57 | <monochrom> | err I mean "yes" :) |
| 21:12:24 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:13:07 | <jaykru> | oh right, haskell laziness = call-by-name + memoization. but i wonder why evaluating say x*x*x*x wouldn't cache x on its first evaluation whereas let u = x in u*u*u*u would |
| 21:13:43 | <ep1ctetus> | Is it a good practice to write IO actions into your own typeclass, so that you can test them outside of IO? As described in this post: https://making.pusher.com/unit-testing-io-in-haskell/ |
| 21:13:51 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 21:14:00 | <monochrom> | But if you do "(fib 100)*(fib 100)*(fib 100)" that will be recomputation rather than reuse. |
| 21:14:14 | <qwerty2o> | jakalx, you mean this: https://en.wikipedia.org/wiki/Modular_exponentiation |
| 21:14:18 | <qwerty2o> | ? |
| 21:14:53 | <monochrom> | It's when you do either "let u = fib 100 in u*u*u" or "(\u -> u*u*u) (fib 100)" that you enjoy the reuse. |
| 21:14:56 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 21:15:27 | <jaykru> | qwerty2o: that is indeed the problem, the other link i sent talks about how to use repeated squaring to solve that problem as well. scroll down a bit :) |
| 21:15:43 | <monochrom> | ep1ctetus: Yes IMO when within reason. |
| 21:16:10 | <jaykru> | monochrom: oh i see. so haskell only caches computations when associated with an identifier rather than, say, application expressions. |
| 21:17:39 | <jaykru> | and i guess the reason you need to introduce `u` is that the `x` in the RULE is some sort of weird metavariable rather than a proper haskell variable |
| 21:18:14 | <monochrom> | Yeah |
| 21:19:37 | <ep1ctetus> | monochrom: I've read various things about how it's unwieldy to make new Monad Transformers, but this post makes it seem like no big deal |
| 21:19:57 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 21:20:35 | <monochrom> | Monad transformers are on the instance side. But MonadHTTP is on the class side. |
| 21:21:07 | <monochrom> | And nothing says that you must or must not use, say, StateT for your instance of MonadHTTP. |
| 21:21:32 | <ep1ctetus> | ah, right, that makes sense |
| 21:22:34 | <monochrom> | And even the critiques against the classes in mtl is that MonadState, MonadReader, MonadWriter are too broad to be meaningful. The very same critiques conclude that you should design your own domain-specific MonadHTTP class. |
| 21:22:46 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:25:13 | <monochrom> | On the instance side, it is OK to newtype-wrap around StateT (X,Y) (ReaderT Z IO). This satisfies both encapsulation and don't-reinvent-the-wheel. |
| 21:26:33 | <ep1ctetus> | Yes, the Real World Haskell book has good examples of this |
| 21:26:48 | <monochrom> | But it is really the same logic as "should I use (Int, Double) or should define data MyType = Make Int Double", "should I use type Level = Int or should I use newtype Level = Level Int" |
| 21:27:34 | × | tumdedum quits (~tumdedum@unaffiliated/espiral) (Ping timeout: 276 seconds) |
| 21:28:06 | → | tumdedum joins (~tumdedum@unaffiliated/espiral) |
| 21:28:51 | × | hiroaki_ quits (~hiroaki@2a02:908:4b18:8c40:8c7f:db9f:4c52:d3d3) (Ping timeout: 248 seconds) |
| 21:29:07 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 21:29:58 | × | Guest45254 quits (~textual@zrcout.mskcc.org) (Ping timeout: 240 seconds) |
| 21:31:39 | <ep1ctetus> | It's considered safer to use newtype, right? Because when you just use plain type or a plain tuple you're open to bad values that are the correct type |
| 21:31:51 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 21:32:01 | → | eacameron joins (uid256985@gateway/web/irccloud.com/x-mgmmticzouvypcht) |
| 21:32:57 | <monochrom> | Yes. And also machine-checked meaningful type names. |
| 21:34:27 | → | jlode21 joins (54d781ab@84.215.129.171) |
| 21:34:56 | <jlode21> | Hey. I'm trying to multiply together two `Nat`s (from GHC.TypeLits). Should this be extremely difficult? |
| 21:35:15 | <monochrom> | Yes. |
| 21:35:19 | <jlode21> | :k! (1 :: Nat) + (1 :: Nat) |
| 21:35:22 | <jlode21> | gives me 1 as a result |
| 21:35:36 | <jlode21> | Replacing + by * gives |
| 21:35:38 | <jlode21> | Expected kind ‘* -> Nat -> k0’, but ‘5 :: Nat’ has kind ‘Nat’ |
| 21:35:50 | <jlode21> | Err, and I'm obviously using other numbers than 1 :)) |
| 21:35:57 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 21:36:02 | <monochrom> | Haha that's not even extremely difficult. It's extremely wrong. >:) |
| 21:36:42 | <jlode21> | How so? (: I don't see how I could be making any mistakes by replacing + by * |
| 21:37:08 | <monochrom> | Well, 1+1=1 is extremely wrong. |
| 21:37:10 | × | mikoto-chan quits (~anass@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 21:37:43 | <monochrom> | But * = Type so I don't think the computer is understanding you when you write "1*1". |
| 21:37:44 | <jlode21> | Haha, d'oh |
| 21:38:12 | <jlode21> | That's not what I'm actually getting. I just made up an example, and I'm really bad at arithmetic |
| 21:38:21 | <monochrom> | There is an extension, something like NoStarType, that you could use to regain * as a binary operator |
| 21:38:49 | <monochrom> | NoStarIsType is closer. I'm too lazy to look it up. |
| 21:39:24 | <hpc> | imagine a reasonable name for StarIsType and add "No" to it |
| 21:39:30 | <jlode21> | Thank you! |
| 21:39:47 | <jlode21> | I was unable to find anything useful via google |
| 21:39:51 | <hpc> | all of the No* extensions are turning off a yes extension |
| 21:40:18 | <jlode21> | I'd expect something like this to be explained under `type family n * m` in GHC.TypeLits |
| 21:40:19 | <monochrom> | Yeah it's from StarIsType |
| 21:43:08 | → | Alleria joins (~textual@2603-7000-3040-0000-7880-0355-734f-9c41.res6.spectrum.com) |
| 21:43:26 | <jlode21> | Now, in there an alternative way to say `Type` if I can't say it with * (since I just disabled that)? |
| 21:43:27 | × | Alleria quits (~textual@2603-7000-3040-0000-7880-0355-734f-9c41.res6.spectrum.com) (Client Quit) |
| 21:44:10 | × | fendor quits (~fendor@178.165.131.109.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 21:44:15 | <jlode21> | Guess that's Data.Kind (Type) |
| 21:45:01 | <monochrom> | Yeah import it from Data.Kind then you can use it. |
| 21:45:11 | <jlode21> | Sorry, I'll stop rubber ducking. That's a lot for the help :) |
| 21:45:19 | <monochrom> | :) |
| 21:45:20 | <jlode21> | Would have never found NoStarIsType on my own |
| 21:45:31 | <jlode21> | Thanks a lot* |
| 21:46:38 | <zzz> | does anyone have a suggestion of a vector graphics library for animating basic geometric shapes with antialiasing and whatnot? |
| 21:47:46 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 21:48:13 | → | spacebase joins (~spacebase@97-118-136-127.hlrn.qwest.net) |
| 21:48:34 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 252 seconds) |
| 21:48:34 | × | mrchampion quits (~mrchampio@38.18.109.23) (Ping timeout: 252 seconds) |
| 21:51:14 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 21:51:26 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 21:51:43 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 21:51:52 | <monochrom> | I haven't done vector graphics but http://hackage.haskell.org/package/diagrams |
| 21:53:57 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 21:54:06 | × | myShoggoth quits (~myShoggot@75.164.11.109) (Ping timeout: 240 seconds) |
| 21:54:40 | → | myShoggoth joins (~myShoggot@75.164.11.109) |
| 21:55:47 | <edwardk> | diagrams can spit out svg and you can use the quality of the svg renderer you use to get fancy antialiasing |
| 21:55:47 | → | syntactic_sugar joins (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) |
| 21:56:06 | × | syntactic_sugar quits (~syntactic@c-67-169-78-228.hsd1.ca.comcast.net) (Client Quit) |
| 21:56:30 | × | lambdaman quits (~lambdaman@s66-183-152-156.bc.hsia.telus.net) (Remote host closed the connection) |
| 22:00:33 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 22:00:33 | → | lambdaman joins (~lambdaman@s66-183-152-156.bc.hsia.telus.net) |
| 22:06:12 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 22:06:46 | <xerox_> | gloss is pretty decent too |
| 22:07:20 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Read error: Connection reset by peer) |
| 22:07:36 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:09:06 | <zzz> | i am looking at both. thanks |
| 22:14:29 | × | edge563 quits (~edge563@gateway/tor-sasl/edge563) (Quit: edge563) |
| 22:17:13 | × | nvmd quits (~nvmd@177.30.111.232) (Quit: Later nerds.) |
| 22:17:34 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 22:18:02 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 22:18:52 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 22:20:18 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:25:21 | × | knupfer quits (~Thunderbi@200116b82be894008dbdccb75603bf46.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 22:26:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:27:34 | <infinisil> | zzz: I've done this previously with gloss too, worked pretty well |
| 22:27:50 | <infinisil> | Though it is rather on the basic side, I don't think I've seen an option for antialiasing, and font rendering is super primitive |
| 22:27:51 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:29:35 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 22:30:56 | × | malumore quits (~malumore@151.62.123.125) (Ping timeout: 260 seconds) |
| 22:32:09 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 22:32:50 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 22:32:56 | × | carlomagno1 quits (~cararell@148.87.23.8) (Quit: Leaving.) |
| 22:34:53 | ← | michalz parts (~user@185.246.204.56) ("Changed major mode") |
| 22:35:15 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 22:35:25 | → | conal joins (~conal@64.71.133.70) |
| 22:36:29 | <zzz> | cabal is giving me a fdLock error and I found this; https://github.com/haskell/cabal/issues/7313 but I have no idea what I'm supposed to do. |
| 22:38:02 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 22:38:08 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 22:38:31 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 22:39:36 | <monochrom> | If you don't mind using cabal-install 3.2.0.0 for the moment, perhaps it doesn't have this issue. |
| 22:40:44 | × | wonko7 quits (~wonko7@62.115.229.50) (Ping timeout: 246 seconds) |
| 22:42:18 | <zzz> | seems to be working, thanks |
| 22:42:37 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 22:42:40 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: http://quassel-irc.org - Chat comfortably. Anywhere.) |
| 22:42:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:43:06 | × | jlode21 quits (54d781ab@84.215.129.171) (Quit: jlode21) |
| 22:44:03 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:7969:a01b:88d1:8650) (Quit: Leaving) |
| 22:47:06 | × | jijimofo quits (~cmo@S010610561191f5d6.lb.shawcable.net) (Remote host closed the connection) |
| 22:47:30 | → | jijimofo joins (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 22:48:29 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 22:48:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:50:31 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 22:52:40 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 22:54:08 | → | gzj joins (~gzj@unaffiliated/gzj) |
| 22:55:40 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 22:57:31 | × | Cale quits (~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 22:58:27 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:00:13 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-qepxyqcskivgrzsl) (Quit: Connection closed for inactivity) |
| 23:02:27 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 23:02:38 | × | hiredman quits (~hiredman@volyova.ec2.thelastcitadel.com) (Quit: leaving) |
| 23:02:47 | × | Sornaensis quits (~Sornaensi@077213199124.dynamic.telenor.dk) (Ping timeout: 246 seconds) |
| 23:02:52 | → | hiredman joins (~hiredman@138.68.1.198) |
| 23:04:28 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 23:04:32 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 23:04:43 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:65a5:9c8e:1bdd:dea9) |
| 23:05:41 | ← | usr25 parts (~usr25@unaffiliated/usr25) ("Leaving") |
| 23:07:28 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 23:10:12 | → | jao- joins (~jao@pdpc/supporter/professional/jao) |
| 23:10:51 | × | flow quits (~none@salem.informatik.uni-erlangen.de) (Ping timeout: 260 seconds) |
| 23:11:26 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 23:12:11 | → | flow joins (~none@salem.informatik.uni-erlangen.de) |
| 23:12:59 | ← | cafce25 parts (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) () |
| 23:13:15 | → | cafce25 joins (~cafce25@ipbcc3009d.dynamic.kabel-deutschland.de) |
| 23:14:26 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:16:39 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 23:17:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 23:17:52 | × | vicfred_ quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 23:22:52 | × | kristijonas_ quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 23:24:24 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 23:25:57 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 23:31:19 | × | Jesin quits (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) (Quit: Leaving) |
| 23:31:29 | × | son0p quits (~ff@181.136.122.143) (Quit: Using Circe, the loveliest of all IRC clients) |
| 23:32:03 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Read error: Connection reset by peer) |
| 23:32:52 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 23:35:11 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds) |
| 23:37:11 | × | tmciver quits (~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 268 seconds) |
| 23:38:38 | → | tmciver joins (~tmciver@cpe-172-101-40-226.maine.res.rr.com) |
| 23:40:02 | → | Jesin joins (~Jesin@pool-72-66-101-18.washdc.fios.verizon.net) |
| 23:40:52 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 23:40:57 | × | kiweun quits (~kiweun@2607:fea8:2a62:9600:cd10:8f6:88a1:a322) (Remote host closed the connection) |
| 23:43:09 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 23:47:13 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:47:19 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 23:47:55 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:47:59 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 23:48:09 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 23:48:39 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 23:48:58 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 23:53:25 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 23:54:13 | × | dpl_ quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 23:56:19 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 23:56:44 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
All times are in UTC on 2021-04-16.