Logs on 2021-05-09 (freenode/#haskell)
| 00:00:20 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 00:00:35 | → | desophos joins (~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) |
| 00:00:39 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 00:01:39 | × | Arahael quits (~arahael@123-243-38-74.tpgi.com.au) (Ping timeout: 252 seconds) |
| 00:03:52 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 00:04:38 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 246 seconds) |
| 00:06:59 | → | Stanley00 joins (~stanley00@unaffiliated/stanley00) |
| 00:08:45 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 00:13:06 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:13:27 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 00:13:44 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 00:14:45 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 00:16:21 | arahael1 | is now known as Arahael |
| 00:16:45 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 00:17:54 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 268 seconds) |
| 00:17:56 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 00:18:15 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 00:18:25 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393) |
| 00:18:38 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 00:20:03 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 00:20:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:21:01 | × | ericsagnes quits (~ericsagne@i220-108-228-29.s42.a013.ap.plala.or.jp) (Ping timeout: 260 seconds) |
| 00:21:31 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 00:21:41 | → | bennofs__ joins (~quassel@dynamic-078-055-001-072.78.55.pool.telefonica.de) |
| 00:23:29 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 00:25:31 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 00:25:55 | × | bennofs_ quits (~quassel@dynamic-089-012-008-221.89.12.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 00:27:54 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 00:33:33 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 00:34:19 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 00:40:41 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 00:41:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:43:32 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 00:48:01 | → | shiraeeshi joins (~shiraeesh@46.34.206.174) |
| 00:48:47 | → | Tristan joins (~tristan@luna.whatbox.ca) |
| 00:49:11 | Tristan | is now known as Guest27055 |
| 00:55:32 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 240 seconds) |
| 01:02:47 | → | sw4n joins (~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9) |
| 01:04:19 | × | sw4n quits (~dustinswa@2001:19f0:5c01:f12:5400:1ff:fe39:69d9) (Client Quit) |
| 01:04:24 | → | rootmolloch joins (~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad) |
| 01:04:40 | <rootmolloch> | hey smart ones :-) |
| 01:04:48 | <rootmolloch> | a round of chess ?? |
| 01:07:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:08:12 | × | fryguybo1 quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 240 seconds) |
| 01:09:03 | × | xff0x quits (~xff0x@2001:1a81:52ef:f00:5daf:a79:257d:70d5) (Ping timeout: 260 seconds) |
| 01:10:57 | → | xff0x joins (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) |
| 01:11:15 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-hbgtmzmnpyrxsuay) (Quit: Connection closed for inactivity) |
| 01:11:50 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 01:12:46 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:13:14 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:13:53 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:14:26 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:98d9:9567:ec99:15ba) (Read error: Connection reset by peer) |
| 01:14:32 | → | sillyotter joins (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) |
| 01:15:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 01:15:53 | × | sillyotter quits (~sillyotte@cpe-74-137-150-154.kya.res.rr.com) (Client Quit) |
| 01:16:56 | → | ADG1089 joins (~aditya@223.226.229.98) |
| 01:17:55 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 01:17:56 | × | ADG1089 quits (~aditya@223.226.229.98) (Read error: Connection reset by peer) |
| 01:18:34 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 01:22:46 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 01:26:20 | × | Stanley00 quits (~stanley00@unaffiliated/stanley00) () |
| 01:26:21 | <monochrom> | I prefer tic-tac-toe or global thermonuclear war |
| 01:26:23 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 01:26:41 | <rootmolloch> | hehe |
| 01:27:53 | <rootmolloch> | monochrom: come on one round ? |
| 01:28:14 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 01:31:29 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 01:32:08 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 01:41:38 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 01:42:01 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 01:42:15 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 01:44:24 | → | xcmw joins (~textual@128-092-110-163.biz.spectrum.com) |
| 01:46:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 01:46:39 | × | ollie quits (519fdcf4@host81-159-220-244.range81-159.btcentralplus.com) (Quit: Connection closed) |
| 01:50:25 | <pjb> | rootmolloch: https://www.chess.com |
| 01:51:01 | <rootmolloch> | pjb: naaahhh <- because i am about to code my own ideas |
| 01:51:17 | <rootmolloch> | pjb: for now only stanard chess |
| 01:51:34 | <rootmolloch> | pjb: but later -> garden eden chess and so on |
| 01:51:43 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 01:53:55 | <rootmolloch> | pjb: and zabuer strike chess and waht so else |
| 01:54:08 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 01:55:15 | → | stree joins (~stree@68.36.8.116) |
| 01:55:24 | → | bitmapper joins (uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv) |
| 01:55:41 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 240 seconds) |
| 01:56:46 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 01:59:22 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 02:01:14 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 02:01:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:02:57 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 02:05:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 02:06:05 | → | Matthias1 joins (~matthias@li890-22.members.linode.com) |
| 02:07:13 | × | Matthias1 quits (~matthias@li890-22.members.linode.com) (Read error: Connection reset by peer) |
| 02:08:07 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss) |
| 02:09:34 | × | plutoniix quits (~q@node-uhz.pool-125-24.dynamic.totinternet.net) (Quit: Leaving) |
| 02:10:14 | × | rootmolloch quits (~zanetto@2a02:3038:406:59de:ae59:febd:838d:9aad) (Quit: Leaving) |
| 02:14:53 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 02:15:25 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Remote host closed the connection) |
| 02:15:53 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:19:55 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 02:20:03 | × | chisui quits (588239e0@mue-88-130-57-224.dsl.tropolys.de) (Ping timeout: 240 seconds) |
| 02:20:11 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 02:20:12 | × | theDon quits (~td@94.134.91.193) (Ping timeout: 240 seconds) |
| 02:22:20 | → | theDon joins (~td@muedsl-82-207-238-217.citykom.de) |
| 02:24:52 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 02:25:01 | × | vict quits (~vict@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
| 02:25:24 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 02:27:46 | → | bakhase joins (~bakhase@modemcable159.116-21-96.mc.videotron.ca) |
| 02:29:04 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 02:29:04 | finn_elija | is now known as Guest78265 |
| 02:29:04 | FinnElija | is now known as finn_elija |
| 02:29:27 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 02:31:07 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:31:57 | × | Guest78265 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 02:33:00 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 02:36:51 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 02:37:42 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 02:38:30 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 02:42:01 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 260 seconds) |
| 02:42:46 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 02:46:33 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 02:51:04 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 03:01:44 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 03:05:02 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv) |
| 03:05:49 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:09:52 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 240 seconds) |
| 03:10:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 03:10:48 | × | alx741 quits (~alx741@186.178.108.184) (Quit: alx741) |
| 03:11:32 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 03:11:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 03:22:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 03:26:54 | → | drbean_ joins (~drbean@TC210-63-209-196.static.apol.com.tw) |
| 03:27:17 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 03:31:23 | × | yaroot quits (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 03:32:05 | → | yaroot joins (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 03:32:41 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 03:34:01 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 03:35:24 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 245 seconds) |
| 03:36:30 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 03:42:32 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 03:43:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) |
| 03:46:04 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 03:49:03 | → | ddellaco_ joins (~ddellacos@86.106.143.176) |
| 03:52:31 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 03:52:51 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 03:57:51 | × | Shuppiluliuma quits (~shuppilul@153.33.68.161) (Ping timeout: 260 seconds) |
| 03:58:50 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 04:00:18 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Remote host closed the connection) |
| 04:00:23 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 04:00:33 | → | motersen joins (~motersen@gateway/tor-sasl/motersen) |
| 04:03:07 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 04:04:05 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 04:16:01 | → | stree joins (~stree@68.36.8.116) |
| 04:17:32 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 04:23:14 | × | ddellaco_ quits (~ddellacos@86.106.143.176) (Remote host closed the connection) |
| 04:25:48 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 04:29:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 04:30:55 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:39:13 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 04:43:26 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 04:45:28 | × | mapperr quits (~mapperr@vmi389916.contaboserver.net) (Ping timeout: 252 seconds) |
| 04:47:11 | × | bakhase quits (~bakhase@modemcable159.116-21-96.mc.videotron.ca) (Remote host closed the connection) |
| 04:48:39 | → | mapperr joins (~mapperr@vmi389916.contaboserver.net) |
| 04:51:19 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 252 seconds) |
| 04:56:26 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 05:01:58 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 05:02:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 05:03:49 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 05:06:11 | × | shiraeeshi quits (~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds) |
| 05:08:04 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 05:08:19 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 05:08:51 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 05:13:40 | → | Guest18158 joins (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) |
| 05:13:52 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-wcndohrnqmiujhrv) (Quit: Connection closed for inactivity) |
| 05:16:49 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 05:19:18 | → | redmp joins (~redmp@172.58.75.196) |
| 05:19:27 | <redmp> | % import Control.Concurrent.STM |
| 05:19:27 | <yahb> | redmp: |
| 05:19:40 | <redmp> | % waitAnyCancel [] |
| 05:19:40 | <yahb> | redmp: ; <interactive>:73:1: error: Variable not in scope: waitAnyCancel :: [a0] -> t |
| 05:19:48 | <redmp> | % import Control.Concurrent.Async |
| 05:19:48 | <yahb> | redmp: |
| 05:19:49 | <redmp> | % waitAnyCancel [] |
| 05:19:54 | <yahb> | redmp: [Timed out] |
| 05:20:05 | <redmp> | on my machine this gets: *** Exception: thread blocked indefinitely in an STM transaction |
| 05:20:38 | <redmp> | I haven't looked at the source yet, but it seems like for an empty list it would just not start any asyncs, nor wait on them |
| 05:21:53 | <redmp> | Ah, it's implemented with a fold over STM actions that has STM.retry as the first accumulator.. |
| 05:22:26 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 05:23:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:24:59 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 05:28:05 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 05:28:40 | → | coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 05:29:27 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 05:37:52 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 05:38:23 | × | xcmw quits (~textual@128-092-110-163.biz.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 05:39:18 | × | waleee-cl quits (uid373333@gateway/web/irccloud.com/x-wcgdsdofsuaceqeo) (Quit: Connection closed for inactivity) |
| 05:42:39 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:46:35 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 05:47:08 | → | guriya joins (a0ee4b85@unaffiliated/guriya) |
| 05:48:37 | <Lycurgus> | also the most natural semantics for 'waitAnyCancel' on a list is to block until there's something in the list |
| 05:53:48 | × | safe quits (~safe@unaffiliated/safe) (Quit: Leaving) |
| 05:55:11 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 05:55:27 | × | vite quits (~vite@195.140.213.38) (Remote host closed the connection) |
| 05:55:45 | <redmp> | % :t waitAnyCancel |
| 05:55:45 | <yahb> | redmp: ; <interactive>:1:1: error: Variable not in scope: waitAnyCancel |
| 05:55:57 | <redmp> | % import Control.Concurrent.Async |
| 05:55:58 | <yahb> | redmp: |
| 05:55:59 | <redmp> | % :t waitAnyCancel |
| 05:55:59 | <yahb> | redmp: [Async a] -> IO (Async a, a) |
| 05:56:54 | <redmp> | but it's just a list.. if it's passed in empty, it's going to remain empty forever .. seems like there should be a fail-fast case that doesn't reach the foldr |
| 05:59:08 | → | wei2912 joins (~wei2912@unaffiliated/wei2912) |
| 06:00:52 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 06:03:07 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 06:03:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:03:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 06:04:02 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 06:04:56 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 06:08:06 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 06:09:21 | × | justBull quits (~justache@unaffiliated/justache) (Quit: Ping timeout (120 seconds)) |
| 06:09:54 | → | justBull joins (~justache@unaffiliated/justache) |
| 06:10:21 | × | p8m quits (p8m@gateway/vpn/protonvpn/p8m) (Quit: birdd) |
| 06:10:44 | → | p8m joins (p8m@gateway/vpn/protonvpn/p8m) |
| 06:11:39 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:1174:bcc9:701e:5393) (Ping timeout: 245 seconds) |
| 06:12:39 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:12:45 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:922:61df:bf50:e46b) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:15:54 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 06:16:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 06:17:02 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 06:18:58 | → | sphi joins (a0ca25b5@160.202.37.181) |
| 06:19:14 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 06:20:16 | × | xkapastel quits (uid17782@gateway/web/irccloud.com/x-nvxmqndcqoqioqwm) (Quit: Connection closed for inactivity) |
| 06:20:24 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 06:20:38 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:21:25 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 06:23:07 | × | sphi quits (a0ca25b5@160.202.37.181) (Client Quit) |
| 06:23:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 06:24:15 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a) |
| 06:24:48 | → | sphi joins (~arjun@160.202.37.181) |
| 06:26:34 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 06:26:50 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Ping timeout: 246 seconds) |
| 06:27:25 | × | sphi quits (~arjun@160.202.37.181) (Client Quit) |
| 06:36:21 | → | tenki joins (~tenki@115.171.244.89) |
| 06:36:26 | → | stree joins (~stree@68.36.8.116) |
| 06:37:58 | tenki | |
| 06:37:59 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 06:38:04 | tenki | |
| 06:38:14 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 06:39:30 | → | RusAlex joins (~Chel@unaffiliated/rusalex) |
| 06:40:07 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 06:41:36 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:42:42 | × | tenki quits (~tenki@115.171.244.89) (Quit: leaving) |
| 06:44:13 | → | todda7 joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 06:44:49 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 06:45:25 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 06:47:01 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 06:47:12 | → | Surya joins (31cea985@49.206.169.133) |
| 06:50:09 | <Athas> | So... 'cabal install' always prepares an sdist and installs from that? Does that mean it will never do incremental builds? |
| 06:50:26 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:52:43 | → | tsaka__ joins (~torstein@178-147-206-209.haap.dm.cosmote.net) |
| 06:53:38 | × | tsaka__ quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Remote host closed the connection) |
| 06:56:13 | → | ADG1089 joins (~aditya@223.226.229.98) |
| 06:56:46 | × | todda7 quits (~torstein@178-147-206-209.haap.dm.cosmote.net) (Ping timeout: 260 seconds) |
| 06:58:59 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 07:01:18 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 07:03:55 | × | redmp quits (~redmp@172.58.75.196) (Ping timeout: 265 seconds) |
| 07:03:55 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Read error: Connection reset by peer) |
| 07:04:10 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 07:05:43 | → | redmp joins (~redmp@172.58.75.196) |
| 07:08:45 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 07:09:06 | × | Surya quits (31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds)) |
| 07:09:48 | × | redmp quits (~redmp@172.58.75.196) (Client Quit) |
| 07:09:51 | × | greymalkin quits (~greymalki@199.180.249.79) (Ping timeout: 246 seconds) |
| 07:10:33 | → | greymalkin joins (~greymalki@199.180.249.79) |
| 07:11:13 | → | malumore joins (~malumore@151.62.119.114) |
| 07:15:11 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 240 seconds) |
| 07:19:24 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 07:22:08 | <ADG1089> | f x y = case x of Nothing -> case y of Nothing -> Nothing; Just v -> v; Just w -> w |
| 07:22:37 | <ADG1089> | i.e. how can i get the first Just value from two given values using monadic operators? |
| 07:24:17 | <Athas> | ADG1089: the Alternative instance for Maybe will do that. |
| 07:24:27 | <Athas> | f x y = x <|> y |
| 07:25:22 | <ADG1089> | Athas: thanks! |
| 07:27:06 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 07:27:25 | <sclv> | Athas: i expect so |
| 07:28:43 | → | Surya joins (31cea985@49.206.169.133) |
| 07:28:49 | <Athas> | sclv: so what do cabal users do instead during development? |
| 07:29:03 | <sclv> | just build |
| 07:29:11 | <sclv> | install is not for development |
| 07:30:21 | <Surya> | Problem while installing haskell platfom Link:https://stackoverflow.com/questions/67455260/no-space-in-device-error-while-installing-haskell-platform need some help |
| 07:31:01 | <sclv> | Surya: looks like you’re out of disk space |
| 07:31:29 | <Athas> | sclv: so something like 'cabal build && cp $(cabal list-bin foo) $HOME/.local/bin/'? |
| 07:31:33 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 07:31:36 | <Athas> | It seems awfully runabout. |
| 07:31:42 | <Surya> | Actually I have 139.2 GB free space in my disk |
| 07:31:53 | → | fendor_ joins (~fendor@178.165.129.59.wireless.dyn.drei.com) |
| 07:32:04 | <Athas> | Maybe most cabal users don't write executable, but the cabal developers themselves do! |
| 07:32:13 | <sclv> | Athas: just build, don’t copy |
| 07:32:28 | × | sdrodge_ quits (~sdrodge@unaffiliated/sdrodge) (Quit: WeeChat 3.1) |
| 07:33:11 | <Athas> | sclv: then how do I run the executable outside of the cabal directory? |
| 07:33:45 | → | sdrodge joins (~sdrodge@unaffiliated/sdrodge) |
| 07:33:55 | → | SSP joins (~surya@49.206.169.133) |
| 07:34:56 | <sclv> | Athas: you can invoke it directly or keep a symlink around I guess |
| 07:35:49 | <sclv> | Surya: sure you don’t have multiple disks? |
| 07:35:54 | <Athas> | The cabal-generated binary path is not very stable (depends on GHC and cabal-install version), so that would be annoying in the long term. |
| 07:36:11 | <tomsmeding> | Athas: merijn does this https://github.com/merijn/Belewitte/blob/master/cabal-run.sh |
| 07:36:13 | <Athas> | If I want to switch to cabal, I guess I have to keep a build invocation in my history. |
| 07:36:21 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Remote host closed the connection) |
| 07:36:38 | <sclv> | Athas or just a bash script :-) |
| 07:37:10 | → | kuribas joins (~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be) |
| 07:38:09 | <Surya> | @sclv:No I have only one disk mounted,I have another partition for dual boot but thats not mounted now |
| 07:38:09 | <lambdabot> | Unknown command, try @list |
| 07:38:16 | <Athas> | The problem is that I am likely to also have a system-installed version of the program I'm hacking on available on PATH. Unless my development workflow installs the development version on the PATH, there is 100% certainty that I will eventually use the system version for some test by mistake. |
| 07:39:03 | <Athas> | A secondary problem is that users and developers will need to use different commands... hm. This is probably not worth the effort to me. |
| 07:39:07 | <pjb> | Athas: use a prefix to the name! afoo instead of foo. |
| 07:40:52 | <Athas> | pjb: that still requires me to manually do the right thing. I prefer to set up things to that error sources are eliminated in the first place (that's why I use Haskell!). |
| 07:43:40 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:53:16 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 07:54:01 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 07:54:04 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Remote host closed the connection) |
| 07:54:59 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 245 seconds) |
| 07:57:44 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 07:59:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:00:23 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 08:05:34 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 08:06:34 | <tomsmeding> | Surya: sclv: likely the installation process is configuring ghc in /tmp which may be a tmpfs on your system, i.e. residing in RAM |
| 08:09:57 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 08:10:10 | <tomsmeding> | Surya: You may have success exporting TMPDIR=/some/temporary/directory/on/your/disk before running the installation |
| 08:13:24 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 08:15:27 | → | alexander joins (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 08:15:42 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 08:15:57 | alexander | is now known as Guest96828 |
| 08:18:50 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 08:19:15 | × | ADG1089 quits (~aditya@223.226.229.98) (Remote host closed the connection) |
| 08:19:42 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: quit) |
| 08:24:43 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx) |
| 08:27:40 | × | puke quits (~vroom@217.138.252.196) (Quit: puke) |
| 08:28:10 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 268 seconds) |
| 08:28:23 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 08:29:30 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 08:29:48 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 08:29:55 | → | olligobber joins (~olligobbe@unaffiliated/olligobber) |
| 08:30:09 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 08:30:30 | → | surya96 joins (31cea985@49.206.169.133) |
| 08:31:35 | <surya96> | tomsmeding:I am Surya,It got stucked can't even move the cursor |
| 08:31:46 | × | SSP quits (~surya@49.206.169.133) (Remote host closed the connection) |
| 08:32:18 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 08:32:33 | <tomsmeding> | surya96: indeed sounds like your ram is full and your machine is swapping :p |
| 08:33:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 08:34:22 | <surya96> | tomsmeding:I there any possible solution 🙁 |
| 08:34:36 | × | Surya quits (31cea985@49.206.169.133) (Quit: Ping timeout (120 seconds)) |
| 08:34:49 | × | chimera quits (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 08:35:37 | <surya96> | To install haskell platform im my system |
| 08:36:14 | <tomsmeding> | surya96: mkdir ~/tmpdir; export TMPDIR="$HOME/tmpdir" |
| 08:36:23 | <tomsmeding> | Then run the command you would normally run |
| 08:36:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 08:36:46 | <tomsmeding> | If my suspicion is right that should install fine |
| 08:37:06 | <tomsmeding> | (and then that directory can be deleted afterwards, but make sure to close this terminal too then) |
| 08:37:22 | → | bearcarl joins (b730f4b8@183.48.244.184) |
| 08:37:57 | <surya96> | tomsmeding ok I'll try now |
| 08:39:08 | × | bearcarl quits (b730f4b8@183.48.244.184) (Client Quit) |
| 08:39:27 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 08:39:29 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 08:39:47 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 08:42:23 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:43:09 | → | bearcarl joins (b730f4b8@183.48.244.184) |
| 08:44:22 | × | bearcarl quits (b730f4b8@183.48.244.184) (Client Quit) |
| 08:44:23 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 08:44:56 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 08:45:06 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 08:46:05 | <surya96> | Thank you tomsmeding It worked very well 😃 |
| 08:46:52 | × | desophos quits (~desophos@2601:249:1680:a570:45cb:bc96:d6c7:8cf9) (Quit: Leaving) |
| 08:47:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 08:52:36 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 08:53:26 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:53:34 | <tomsmeding> | surya96: cheers! |
| 08:55:10 | <tomsmeding> | I wonder if ghcup should do a check if there is a reasonable amount of space free on the device containing $TMPDIR, and if not print a warning containing the above-mentioned fix (before continuing anyway) |
| 08:57:57 | → | stree joins (~stree@68.36.8.116) |
| 08:59:20 | × | surya96 quits (31cea985@49.206.169.133) (Quit: Connection closed) |
| 09:00:23 | × | guriya quits (a0ee4b85@unaffiliated/guriya) (Ping timeout: 240 seconds) |
| 09:03:20 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!) |
| 09:04:32 | × | malumore quits (~malumore@151.62.119.114) (Ping timeout: 240 seconds) |
| 09:04:37 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:09:15 | → | motersen_ joins (~motersen@gateway/tor-sasl/motersen) |
| 09:10:21 | × | motersen quits (~motersen@gateway/tor-sasl/motersen) (Ping timeout: 240 seconds) |
| 09:11:34 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 09:11:35 | × | hypercube quits (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 09:13:10 | × | drbean_ quits (~drbean@TC210-63-209-196.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 09:20:29 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 09:20:33 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (Remote host closed the connection) |
| 09:21:00 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 09:22:51 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 09:27:21 | <maerwald> | tomsmeding: https://gitlab.haskell.org/haskell/ghcup-hs/-/commit/7d13836feaa8340161ed6d9bd9ee83da28b1db55#465b3aaa2d02413cccb5b6a46fce4e8ca991b07d_233_244 |
| 09:29:04 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 09:30:32 | → | Surya joins (31cea985@49.206.169.133) |
| 09:30:53 | × | Surya quits (31cea985@49.206.169.133) (Client Quit) |
| 09:32:21 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 240 seconds) |
| 09:32:33 | → | vgtw_ joins (~vgtw@gateway/tor-sasl/vgtw) |
| 09:32:57 | vgtw_ | is now known as vgtw |
| 09:33:13 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 09:34:19 | → | jacks2 joins (~bc8134e3@217.29.117.252) |
| 09:35:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 09:39:17 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 09:42:50 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 09:46:59 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 09:48:09 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) |
| 09:52:49 | → | Nahra joins (~user@unaffiliated/nahra) |
| 09:53:19 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 09:53:33 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 09:54:23 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 09:54:44 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:55:34 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 10:02:10 | → | Ariakenom joins (~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) |
| 10:05:11 | × | jassob quits (~jassob@korrob.vth.sgsnet.se) (Ping timeout: 252 seconds) |
| 10:06:11 | × | Guest18158 quits (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 10:15:04 | → | boxscape joins (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) |
| 10:17:11 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 10:17:28 | → | jassob joins (~jassob@korrob.vth.sgsnet.se) |
| 10:18:00 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 10:21:01 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 10:25:41 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 10:27:55 | × | lieven quits (~mal@2001:41d0:1:66c4::1) (Ping timeout: 276 seconds) |
| 10:28:06 | × | cheater2 quits (~user@unaffiliated/cheater) (Ping timeout: 240 seconds) |
| 10:28:20 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 10:29:38 | <tomsmeding> | maerwald: You're prescient. Awesome! |
| 10:29:44 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 10:29:55 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:30:19 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 10:32:31 | <Philonous> | Should unsafeCoerce come with a runtime cost? I'm coercing some values to and alter back from Any, and this coercion seems to introduce runtime costs; I've checkd core and the only difference seems to be additional `cast`-s, is that expected to introduce costs? |
| 10:32:43 | <Philonous> | s/alter/later |
| 10:34:47 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 10:36:31 | → | lieven joins (~mal@unaffiliated/lieven) |
| 10:44:22 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 10:51:58 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 10:57:15 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 10:57:24 | → | leafgecko joins (~leafgecko@218.108.17.58) |
| 10:57:30 | × | leafgecko quits (~leafgecko@218.108.17.58) (Read error: Connection reset by peer) |
| 10:57:57 | → | grulfen joins (~grulfen@h-148-119.A163.priv.bahnhof.se) |
| 10:58:05 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 10:58:39 | → | cheater2 joins (~user@unaffiliated/cheater) |
| 11:01:47 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 11:02:04 | × | xff0x quits (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 245 seconds) |
| 11:04:04 | → | xff0x joins (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) |
| 11:04:08 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 11:05:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 11:07:01 | → | chisui joins (59f77c9d@i59F77C9D.versanet.de) |
| 11:09:18 | → | ad_ joins (~ad@185.169.233.51) |
| 11:10:02 | × | ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 11:10:29 | → | ram19890 joins (~ram@49.205.84.15) |
| 11:13:02 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 11:13:18 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 11:13:38 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 11:14:06 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 11:14:52 | × | ram19890 quits (~ram@49.205.84.15) (Ping timeout: 252 seconds) |
| 11:15:21 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 11:15:56 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 11:19:32 | → | stree joins (~stree@68.36.8.116) |
| 11:19:34 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 245 seconds) |
| 11:21:36 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 11:23:33 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 11:28:44 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 11:31:11 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 11:33:05 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 246 seconds) |
| 11:35:46 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 11:35:53 | × | jacks2 quits (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
| 11:36:41 | → | asfswdf joins (~as@cpe-188-129-124-33.dynamic.amis.hr) |
| 11:36:45 | × | asfswdf quits (~as@cpe-188-129-124-33.dynamic.amis.hr) (Remote host closed the connection) |
| 11:37:59 | × | xsperry quits (~as@unaffiliated/xsperry) (Ping timeout: 246 seconds) |
| 11:40:57 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 11:44:25 | × | aveltras quits (uid364989@gateway/web/irccloud.com/x-tgluoemwgszedtgx) (Quit: Connection closed for inactivity) |
| 11:45:09 | → | clefru joins (~clefru@unaffiliated/clefru) |
| 11:45:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 11:47:26 | × | juuandyy quits (~juuandyy@90.106.228.121) (Ping timeout: 246 seconds) |
| 11:47:27 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 11:52:47 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Quit: Konversation terminated!) |
| 11:52:47 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 11:57:49 | → | Guest18158 joins (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) |
| 12:00:26 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 12:01:16 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 12:02:04 | × | Guest18158 quits (~joseph@2603-7000-7607-112b-351c-7687-8787-1bee.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 12:02:27 | × | olligobber quits (~olligobbe@unaffiliated/olligobber) (Remote host closed the connection) |
| 12:02:29 | × | boxscape quits (54a350dc@gateway/web/cgi-irc/kiwiirc.com/ip.84.163.80.220) (Ping timeout: 246 seconds) |
| 12:03:11 | × | gnumonic quits (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 12:03:32 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 12:06:19 | × | p3n quits (~p3n@217.198.124.246) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:08:12 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 12:09:23 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 12:10:51 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-znzzchzkdvsvanxc) |
| 12:12:04 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 12:16:07 | × | wei2912 quits (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 12:16:43 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 12:25:22 | → | bytheseaside joins (~bytheseas@modemcable159.116-21-96.mc.videotron.ca) |
| 12:32:10 | × | Guest53940 quits (~textual@2603-7000-3040-0000-e8d4-b4be-a934-005b.res6.spectrum.com) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 12:35:13 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 12:35:14 | → | drbean_ joins (~drbean@TC210-63-209-33.static.apol.com.tw) |
| 12:36:43 | × | chisui quits (59f77c9d@i59F77C9D.versanet.de) (Ping timeout: 240 seconds) |
| 12:37:42 | fendor_ | is now known as fendor |
| 12:39:57 | × | snowflake quits (~snowflake@gateway/tor-sasl/snowflake) (Ping timeout: 240 seconds) |
| 12:39:59 | → | snowflake_ joins (~snowflake@gateway/tor-sasl/snowflake) |
| 12:40:27 | × | xff0x quits (~xff0x@2001:1a81:5389:3400:8fd7:aa31:820e:ef7d) (Ping timeout: 250 seconds) |
| 12:41:18 | → | xff0x joins (~xff0x@2001:1a81:5389:3400:2b01:e41a:6d1e:863a) |
| 12:44:23 | → | Wuzzy joins (~Wuzzy@p5790e74f.dip0.t-ipconnect.de) |
| 12:46:44 | → | seven_three joins (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 12:48:00 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 12:49:22 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 12:51:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 12:51:59 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 12:54:21 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 12:56:31 | → | cno joins (~christof@159.48.55.76) |
| 12:58:11 | → | shiraeeshi joins (~shiraeesh@46.34.206.28) |
| 12:58:32 | × | mrchampion quits (~mrchampio@38.18.109.23) (Remote host closed the connection) |
| 12:59:24 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 12:59:48 | Alleria | is now known as Guest48058 |
| 13:00:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:01:31 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) |
| 13:03:32 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 13:05:09 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 13:05:49 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:06:16 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 13:11:08 | → | chimera joins (~chimera@168-182-134-95.pool.ukrtel.net) |
| 13:15:32 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 13:16:43 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 13:16:43 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 13:16:43 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 13:19:18 | ← | seven_three parts (~user@pool-96-252-123-136.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 13:23:34 | <kuribas> | Is it possible to use XsdToHaskell with duplicateRecordFields? |
| 13:24:26 | × | dpl quits (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 13:24:35 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 13:25:13 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 13:25:53 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 13:27:12 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 13:27:29 | <kuribas> | Why does haxml redefine primite types? |
| 13:27:42 | <kuribas> | http://hackage.haskell.org/package/HaXml-1.25.5/docs/Text-XML-HaXml-Schema-PrimitiveTypes.html |
| 13:31:48 | <kuribas> | Text.XML.HaXml.Schema.PrimitiveTypes.Int looks exactly like Int to me. |
| 13:31:57 | <kuribas> | I don't see why it would need to be redefined. |
| 13:33:17 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:34:20 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 13:34:38 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 13:35:22 | × | neiluj quits (~jco@unaffiliated/neiluj) (Remote host closed the connection) |
| 13:35:46 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 13:38:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 13:39:05 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 13:40:14 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 13:40:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 13:41:06 | → | stree joins (~stree@68.36.8.116) |
| 13:41:07 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 13:42:04 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 13:42:51 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 13:43:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 13:45:07 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 13:45:17 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 13:45:31 | <kuribas> | great, XsdToHaskell doesn't even seem to work |
| 13:45:34 | <kuribas> | it's missing some types. |
| 13:45:54 | → | fendor_ joins (~fendor@178.165.129.14.wireless.dyn.drei.com) |
| 13:46:45 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 250 seconds) |
| 13:46:49 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds) |
| 13:47:03 | → | ram19890 joins (~ram@49.205.84.15) |
| 13:48:16 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:48:50 | × | fendor quits (~fendor@178.165.129.59.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 13:50:43 | × | ad_ quits (~ad@185.169.233.51) (Remote host closed the connection) |
| 13:52:43 | × | shiraeeshi quits (~shiraeesh@46.34.206.28) (Ping timeout: 252 seconds) |
| 13:55:03 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 13:55:21 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 13:58:31 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 13:59:00 | → | alx741 joins (~alx741@186.178.108.184) |
| 13:59:49 | <tomsmeding> | kuribas: that Int is just a re-export |
| 14:00:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 14:01:21 | <kuribas> | right... |
| 14:01:29 | <kuribas> | there is also XsdString, why not just use String? |
| 14:01:41 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 14:02:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) |
| 14:02:43 | <tomsmeding> | I guess because they think a string meant for xml has different semantics than a list of characters? |
| 14:02:49 | <tomsmeding> | i.e. for instances |
| 14:03:21 | <tomsmeding> | Though they don't have [a] instances for the classes in question |
| 14:04:35 | → | nbloomf_ joins (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) |
| 14:04:50 | <tomsmeding> | Ah right they also have instances for ID and such, which are also just newtypes over String |
| 14:05:23 | <tomsmeding> | kuribas: so they have different strings with different semantics -- one of which happens to be a normal string |
| 14:05:54 | <kuribas> | hmm, ok. |
| 14:06:08 | <kuribas> | I'd hoped XsdToHaskell would use standard haskell primitives. |
| 14:06:23 | <kuribas> | translate String to Text for example. |
| 14:06:39 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:e8b4:b98a:50b8:994d) (Ping timeout: 245 seconds) |
| 14:10:25 | × | drbean_ quits (~drbean@TC210-63-209-33.static.apol.com.tw) (Ping timeout: 268 seconds) |
| 14:11:27 | → | kierra joins (~kierra@195.140.213.38) |
| 14:12:59 | × | nbloomf_ quits (~nbloomf@2600:1700:ad14:3020:89ee:f3d4:789d:7129) (Quit: Textual IRC Client: www.textualapp.com) |
| 14:21:14 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 14:21:20 | → | nullniv15 joins (~null@unaffiliated/nullniverse) |
| 14:21:30 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 14:21:30 | × | nullniv15 quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 14:21:59 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 14:22:00 | <kuribas> | how to create a "diff" from two records? |
| 14:22:49 | → | LKoen joins (~LKoen@156.168.9.109.rev.sfr.net) |
| 14:22:51 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 14:23:02 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:23:29 | → | malumore joins (~malumore@151.62.119.114) |
| 14:23:29 | → | kenran joins (~kenran@i59F67BEC.versanet.de) |
| 14:24:01 | <kuribas> | ah, I could convert to JSON, then use aeson-diff |
| 14:25:39 | → | shiraeeshi joins (~shiraeesh@46.34.206.28) |
| 14:25:49 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 268 seconds) |
| 14:26:29 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 14:26:37 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 14:26:45 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 14:29:14 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 14:29:59 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:30:00 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 14:31:00 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 14:33:15 | → | Deide joins (~Deide@217.155.19.23) |
| 14:33:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 14:34:14 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 14:35:12 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 14:35:27 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 14:38:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 14:43:52 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 14:46:07 | × | acidjnk_new2 quits (~acidjnk@p200300d0c72b952744537a9ba826644f.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 14:47:22 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 14:49:04 | × | marinelli quits (~marinelli@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 14:49:24 | → | marinelli joins (~marinelli@gateway/tor-sasl/marinelli) |
| 14:52:23 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 14:53:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:54:28 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-fzaqsjhbxqzhfzhw) |
| 15:00:29 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:01:22 | × | grulfen quits (~grulfen@h-148-119.A163.priv.bahnhof.se) (Quit: WeeChat 2.9) |
| 15:04:12 | × | nrdmn98 quits (~nrdmn@95.129.53.118) (Read error: Connection reset by peer) |
| 15:04:21 | × | s00pcan quits (~chris@075-133-056-178.res.spectrum.com) (Remote host closed the connection) |
| 15:04:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 15:08:02 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:17:01 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 15:17:48 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 15:19:37 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 15:21:59 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 15:22:13 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 15:24:19 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 276 seconds) |
| 15:24:31 | → | puke joins (~vroom@217.138.252.196) |
| 15:25:25 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 15:29:01 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 15:30:20 | → | Shuppiluliuma joins (~shuppilul@153.33.68.161) |
| 15:30:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 15:31:43 | × | proofofkeags quits (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 252 seconds) |
| 15:31:51 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 15:33:14 | → | sphi joins (~sphi@unaffiliated/sphi) |
| 15:36:27 | × | kuribas quits (~user@ptr-25vy0i7beyvs4gs9lz1.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 15:42:39 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 15:43:53 | → | knupfer joins (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) |
| 15:44:30 | × | knupfer quits (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Client Quit) |
| 15:44:42 | → | knupfer joins (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) |
| 15:46:26 | → | s00pcan joins (~chris@075-133-056-178.res.spectrum.com) |
| 15:49:13 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 15:49:19 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 15:49:33 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:51:26 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 15:52:59 | → | Nobita joins (ca0e785e@202.14.120.94) |
| 15:54:37 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 15:54:47 | × | pjb quits (~pjb@2a01cb04063ec50060d83fce37963843.ipv6.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 15:55:00 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 15:57:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 16:01:01 | → | pjb joins (~pjb@2a01cb04063ec50010b77dfbed5a7ace.ipv6.abo.wanadoo.fr) |
| 16:01:26 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:01:53 | → | stree joins (~stree@68.36.8.116) |
| 16:02:51 | × | knupfer quits (~Thunderbi@200116b82bf5b300441c6985cefc3ca1.dip.versatel-1u1.de) (Quit: knupfer) |
| 16:03:16 | × | Nobita quits (ca0e785e@202.14.120.94) (Quit: Connection closed) |
| 16:03:31 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:03:55 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Read error: Connection reset by peer) |
| 16:04:22 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 16:04:52 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 16:05:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 16:06:25 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 16:07:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 16:07:46 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 16:08:10 | → | nullniv38 joins (~null@unaffiliated/nullniverse) |
| 16:11:06 | × | nullniverse quits (~null@unaffiliated/nullniverse) (Ping timeout: 260 seconds) |
| 16:11:12 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 16:12:02 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 16:12:14 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 16:13:15 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 16:13:45 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 16:16:08 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
| 16:20:07 | × | cdsmith quits (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 252 seconds) |
| 16:21:30 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 16:21:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:22:09 | fendor_ | is now known as fendor |
| 16:26:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 16:27:25 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:30:46 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 16:30:47 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 16:31:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:31:54 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 16:32:15 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:32:48 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-mkmevptkirixfume) |
| 16:34:53 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) |
| 16:35:49 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 16:36:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 16:36:20 | × | shiraeeshi quits (~shiraeesh@46.34.206.28) (Remote host closed the connection) |
| 16:37:00 | → | shiraeeshi joins (~shiraeesh@46.34.206.28) |
| 16:42:46 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 16:45:33 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:47:22 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 16:48:41 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 16:51:06 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 16:53:16 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 16:54:53 | → | dexterlb joins (~dexterlb@2a01:9e40:2:2::2) |
| 16:57:22 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 16:57:39 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 16:58:48 | → | kuribas joins (~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be) |
| 16:59:17 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 246 seconds) |
| 17:02:17 | × | shiraeeshi quits (~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds) |
| 17:02:29 | → | electricityZZZZ joins (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 17:03:10 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 17:04:26 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:1cdd:1f85:2d1f:cc7) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 17:09:27 | × | hiroaki quits (~hiroaki@2a02:8108:8c40:2bb8:4d33:5c3c:fcf9:dcea) (Ping timeout: 260 seconds) |
| 17:10:26 | → | renzhi joins (~renzhi@2607:fa49:6500:bc00::e7b) |
| 17:11:20 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 17:12:52 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:13:28 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 17:16:48 | → | shiraeeshi joins (~shiraeesh@46.34.206.28) |
| 17:17:32 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:17:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:19:37 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:21:26 | × | sphi quits (~sphi@unaffiliated/sphi) (Ping timeout: 240 seconds) |
| 17:22:46 | → | slaterr joins (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) |
| 17:23:11 | → | Vortex12 joins (8cb80538@140.184.5.56) |
| 17:24:05 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:24:09 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 17:24:11 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 17:24:26 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 17:24:49 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 17:25:06 | <dmj`> | kuribas: gdiff |
| 17:25:12 | <dmj`> | @package gdiff |
| 17:25:12 | <lambdabot> | https://hackage.haskell.org/package/gdiff |
| 17:25:37 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 17:25:50 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:26:03 | <kuribas> | dmj`: neat, but complicated type level stuff is not an option... |
| 17:27:01 | <dmj`> | kuribas: internally it might do type level stuff but I think the interface is simple iirc |
| 17:27:08 | → | guriya joins (a0ee4b35@unaffiliated/guriya) |
| 17:27:15 | × | Vortex12 quits (8cb80538@140.184.5.56) (Client Quit) |
| 17:29:52 | × | Feuermagier quits (~Feuermagi@213.178.26.41) (Ping timeout: 240 seconds) |
| 17:30:21 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 17:30:46 | → | knupfer joins (~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de) |
| 17:30:56 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 17:31:37 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 17:31:53 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 260 seconds) |
| 17:36:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:36:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:37:04 | × | knupfer quits (~Thunderbi@p200300eb4f3eab0020dc92fffef921d9.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
| 17:38:29 | → | knupfer joins (~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de) |
| 17:38:30 | × | knupfer quits (~Thunderbi@p200300eb4f3eab00b8fde2fffe7a1e5d.dip0.t-ipconnect.de) (Client Quit) |
| 17:41:12 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 17:42:55 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 17:43:00 | → | fryguybob joins (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) |
| 17:43:33 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) |
| 17:44:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 17:44:59 | × | bitmapper quits (uid464869@gateway/web/irccloud.com/x-zlcfevtikjnrahqv) (Quit: Connection closed for inactivity) |
| 17:52:31 | × | jneira quits (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Ping timeout: 252 seconds) |
| 17:54:01 | × | copypasteque quits (~copypaste@2001:41d0:8:b325::1) (Quit: WeeChat 2.9) |
| 17:54:09 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 17:55:31 | → | hexfive joins (~hexfive@50.35.83.177) |
| 17:57:45 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 17:58:46 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 17:58:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:00:00 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 18:00:59 | → | nineonine joins (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) |
| 18:01:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:04:06 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 18:04:22 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 18:05:44 | × | Guest48058 quits (~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:05:58 | × | nineonine quits (~nineonine@S0106a0ff7073d5d5.vf.shawcable.net) (Ping timeout: 268 seconds) |
| 18:07:19 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:08:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 18:08:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:08:46 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 240 seconds) |
| 18:09:46 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 18:12:20 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 18:14:42 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-jmpqhvzulmqpvjss) (Quit: Connection closed for inactivity) |
| 18:15:36 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 18:16:14 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 260 seconds) |
| 18:20:38 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 18:20:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:21:56 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:22:06 | → | LKoen_ joins (~LKoen@156.168.9.109.rev.sfr.net) |
| 18:22:17 | → | stree joins (~stree@68.36.8.116) |
| 18:24:06 | × | LKoen quits (~LKoen@156.168.9.109.rev.sfr.net) (Ping timeout: 240 seconds) |
| 18:24:11 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 18:25:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 18:28:48 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 265 seconds) |
| 18:29:38 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 18:31:03 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:3f46:104f:9f93:5042) |
| 18:31:06 | × | incertia quits (~incertia@d4-50-26-103.nap.wideopenwest.com) (Ping timeout: 260 seconds) |
| 18:32:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 18:32:36 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 18:32:54 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 18:33:46 | × | ram19890 quits (~ram@49.205.84.15) (Quit: Konversation terminated!) |
| 18:34:01 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 18:35:32 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 18:36:34 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 18:37:39 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:39:50 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 18:41:16 | × | coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 18:43:48 | × | dexterlb quits (~dexterlb@2a01:9e40:2:2::2) (Quit: Boing) |
| 18:44:31 | × | renzhi quits (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 276 seconds) |
| 18:45:28 | → | Feuermagier joins (~Feuermagi@213.178.26.41) |
| 18:45:50 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 18:46:16 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 260 seconds) |
| 18:49:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 18:51:42 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 18:52:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:54:53 | → | jgt_ joins (~jgt@92-247-237-116.spectrumnet.bg) |
| 18:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 18:55:49 | × | hackage quits (mniip@haskell/bot/hackage) (Read error: Connection reset by peer) |
| 18:56:46 | × | Kaiepi quits (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 18:57:14 | → | Kaiepi joins (~Kaiepi@47.54.252.148) |
| 18:57:22 | → | hackage joins (mniip@haskell/bot/hackage) |
| 18:57:55 | × | Paks quits (~paks@c-69-136-183-189.hsd1.il.comcast.net) (Read error: Connection reset by peer) |
| 19:00:14 | × | Katarushisu quits (~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 268 seconds) |
| 19:05:10 | → | knupfer joins (~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de) |
| 19:07:36 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 19:07:49 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 19:09:49 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 19:10:32 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 246 seconds) |
| 19:11:19 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:cc13:5292:6bd3:1cef) (Ping timeout: 250 seconds) |
| 19:11:46 | × | kuribas quits (~user@ptr-25vy0i9zf0thjlfh30h.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 19:13:55 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 19:14:46 | × | dcoutts_ quits (~duncan@94.186.125.91.dyn.plus.net) (Ping timeout: 240 seconds) |
| 19:15:04 | × | knupfer quits (~Thunderbi@200116b82bc00c0071d45d1406321d5a.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 19:16:20 | → | miho joins (~miho@93-139-109-136.adsl.net.t-com.hr) |
| 19:16:33 | miho | is now known as Guest1972 |
| 19:17:52 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 19:17:58 | × | Guest1972 quits (~miho@93-139-109-136.adsl.net.t-com.hr) (Client Quit) |
| 19:18:03 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:8509:1194:46cd:65cb) |
| 19:20:34 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 19:21:02 | × | bytheseaside quits (~bytheseas@modemcable159.116-21-96.mc.videotron.ca) (Ping timeout: 252 seconds) |
| 19:21:05 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 19:22:11 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 19:24:56 | → | Somf1c joins (~Somf1c@modemcable159.116-21-96.mc.videotron.ca) |
| 19:25:43 | → | unknown_develope joins (~unknown_d@93-139-109-136.adsl.net.t-com.hr) |
| 19:26:39 | × | ericsagn1 quits (~ericsagne@2405:6580:0:5100:9d04:a396:248a:e13a) (Ping timeout: 260 seconds) |
| 19:27:27 | × | unknown_develope quits (~unknown_d@93-139-109-136.adsl.net.t-com.hr) (Client Quit) |
| 19:30:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:30:15 | × | lazyshrk quits (~lazyshrk@128.199.58.13) (Quit: ZNC 1.8.2 - https://znc.in) |
| 19:31:05 | → | lazyshrk joins (~lazyshrk@128.199.58.13) |
| 19:32:12 | <heebo> | can someone tell me what the .\/ operator does |
| 19:32:18 | <heebo> | is it type merge? |
| 19:34:20 | → | dpl joins (~dpl@77-121-78-163.chn.volia.net) |
| 19:35:12 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 19:38:07 | <ski> | @hoogle (.\/) |
| 19:38:08 | <lambdabot> | No results found |
| 19:38:24 | <ski> | it would probably help saying what package it's from |
| 19:38:42 | <monochrom> | Which package? |
| 19:39:15 | → | ericsagn1 joins (~ericsagne@2405:6580:0:5100:44a9:4dc5:2863:2677) |
| 19:42:55 | → | ircbrowse_tom joins (~ircbrowse@64.225.78.177) |
| 19:42:56 | Server | sets mode +CLnt |
| 19:44:20 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 19:50:14 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 19:50:47 | × | guriya quits (a0ee4b35@unaffiliated/guriya) (Quit: Connection closed) |
| 19:51:33 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 19:52:16 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 19:54:25 | → | m_shiraeeshi joins (~shiraeesh@46.34.206.81) |
| 19:56:17 | × | shiraeeshi quits (~shiraeesh@46.34.206.28) (Ping timeout: 265 seconds) |
| 19:56:57 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 20:00:00 | → | Alleria joins (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
| 20:00:24 | Alleria | is now known as Guest47670 |
| 20:01:35 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:02:56 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:04:12 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:04:37 | × | Guest47670 quits (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 20:04:46 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 20:05:08 | → | thongpv87 joins (~thongpv87@27.76.236.94) |
| 20:05:15 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 20:06:45 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 20:06:51 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Quit: WeeChat 2.8) |
| 20:07:14 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 20:07:44 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 20:08:04 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 20:08:48 | → | petersen joins (~petersen@redhat/juhp) |
| 20:11:28 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 20:13:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 20:13:23 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 20:14:32 | × | cno quits (~christof@159.48.55.76) (Ping timeout: 240 seconds) |
| 20:14:56 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 20:15:07 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 20:18:03 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 20:18:39 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 20:23:33 | × | ByronJohnson quits (~bairyn@unaffiliated/bob0) (Ping timeout: 240 seconds) |
| 20:23:55 | × | LKoen_ quits (~LKoen@156.168.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 20:23:56 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 20:24:06 | × | Tene quits (~tene@poipu/supporter/slacker/tene) (Ping timeout: 252 seconds) |
| 20:26:48 | → | acidjnk_new2 joins (~acidjnk@p200300d0c72b954961c97aa4238b8f7b.dip0.t-ipconnect.de) |
| 20:30:13 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 20:30:19 | → | ByronJohnson joins (~bairyn@unaffiliated/bob0) |
| 20:30:46 | × | heebo quits (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 20:30:59 | → | Tene joins (~tene@mail.digitalkingdom.org) |
| 20:30:59 | × | Tene quits (~tene@mail.digitalkingdom.org) (Changing host) |
| 20:30:59 | → | Tene joins (~tene@poipu/supporter/slacker/tene) |
| 20:32:41 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 20:33:37 | × | todda7 quits (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 20:33:49 | → | todda7 joins (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 20:33:59 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 20:36:10 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 20:40:26 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 20:40:42 | → | Sgeo_ joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 20:41:09 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 20:41:22 | × | Sgeo quits (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 20:43:54 | → | stree joins (~stree@68.36.8.116) |
| 20:47:37 | → | corvusdev joins (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) |
| 20:50:03 | → | ixlun joins (~matthew@109.249.184.235) |
| 20:50:59 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 20:54:44 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-lrhowubsvaodihlk) |
| 20:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 20:57:29 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 21:00:44 | × | kenran quits (~kenran@i59F67BEC.versanet.de) (Remote host closed the connection) |
| 21:02:51 | → | olle joins (~olle@i5E866616.versanet.de) |
| 21:04:49 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:05:27 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:06:20 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 21:07:27 | × | Guest96828 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 21:07:50 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 21:08:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:08:32 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:08:40 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 21:09:11 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 21:09:15 | → | Alleria joins (~textual@2603-7000-3040-0000-b56e-d773-5c05-1652.res6.spectrum.com) |
| 21:09:39 | Alleria | is now known as Guest67052 |
| 21:09:50 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 21:10:12 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 21:10:21 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 21:14:59 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 21:15:41 | → | nut joins (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 21:15:52 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 21:15:54 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:17:17 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 21:18:08 | → | rond_ joins (5940206b@89-64-32-107.dynamic.chello.pl) |
| 21:19:49 | × | kristijonas quits (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 21:20:12 | → | kristijonas joins (~kristijon@78-56-32-39.static.zebra.lt) |
| 21:21:24 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:e1e0:777e:85c3:9996) (Quit: Leaving) |
| 21:23:02 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 21:23:21 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:25:21 | → | son0p joins (~ff@181.136.122.143) |
| 21:27:38 | × | corvusdev quits (~corvusdev@99-151-203-47.lightspeed.snantx.sbcglobal.net) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:28:05 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 21:28:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 21:29:16 | → | corvusdev joins (~corvusdev@50.212.103.45) |
| 21:29:43 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:31:41 | × | nut quits (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 21:32:13 | → | vicfred joins (vicfred@gateway/vpn/mullvad/vicfred) |
| 21:32:58 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 21:34:32 | → | cdsmith joins (~cdsmithus@c-73-207-21-162.hsd1.ga.comcast.net) |
| 21:36:40 | → | jump joins (~jump@cpe-67-247-15-155.nyc.res.rr.com) |
| 21:36:45 | × | mikoto-chan quits (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 21:39:48 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 21:42:36 | × | fendor quits (~fendor@178.165.129.14.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:43:26 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 21:43:28 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 21:46:56 | × | corvusdev quits (~corvusdev@50.212.103.45) (Quit: Textual IRC Client: www.textualapp.com) |
| 21:49:27 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 21:51:39 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 21:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 21:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 21:55:26 | × | malumore quits (~malumore@151.62.119.114) (Ping timeout: 240 seconds) |
| 21:55:33 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:58:20 | × | olle quits (~olle@i5E866616.versanet.de) (Ping timeout: 252 seconds) |
| 22:04:34 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 22:04:51 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 265 seconds) |
| 22:09:20 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 22:15:35 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-laxwxrhojyoowvvz) |
| 22:17:24 | × | jgt_ quits (~jgt@92-247-237-116.spectrumnet.bg) (Ping timeout: 252 seconds) |
| 22:18:24 | × | ixlun quits (~matthew@109.249.184.235) (Read error: Connection reset by peer) |
| 22:19:17 | → | dcoutts_ joins (~duncan@94.186.125.91.dyn.plus.net) |
| 22:22:31 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:22:52 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:24:22 | → | safe joins (~safe@unaffiliated/safe) |
| 22:25:51 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 22:27:33 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 22:30:12 | → | Guest87676 joins (~laudiacay@67.176.215.84) |
| 22:30:14 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:30:41 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Remote host closed the connection) |
| 22:31:40 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 22:31:49 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 22:32:24 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:34:49 | × | Guest87676 quits (~laudiacay@67.176.215.84) (Ping timeout: 265 seconds) |
| 22:35:25 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 22:37:22 | × | slaterr quits (~bc817c21@1582020-static.lxtnkya3.metronetinc.net) (Quit: CGI:IRC (Session timeout)) |
| 22:40:10 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 22:40:42 | → | nullniverse joins (~null@unaffiliated/nullniverse) |
| 22:41:49 | × | DavidEichmann quits (~david@156.59.147.147.dyn.plus.net) (Ping timeout: 252 seconds) |
| 22:42:04 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 265 seconds) |
| 22:43:02 | × | nullniv38 quits (~null@unaffiliated/nullniverse) (Ping timeout: 265 seconds) |
| 22:43:48 | → | heebo joins (~user@cpc97956-croy24-2-0-cust20.19-2.cable.virginm.net) |
| 22:45:41 | <jackdk> | crococodile emoticon |
| 22:46:34 | <pjb> | 🐊 |
| 22:48:17 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 22:48:59 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 22:51:33 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 22:51:52 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 22:54:24 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:56:20 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Remote host closed the connection) |
| 22:56:22 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 22:57:00 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 22:58:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 23:01:22 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 23:01:25 | × | nineonine quits (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) (Ping timeout: 250 seconds) |
| 23:02:33 | → | jul1u5 joins (~julius@85.206.103.207) |
| 23:04:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 23:04:29 | → | stree joins (~stree@68.36.8.116) |
| 23:07:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:08:11 | <Shuppiluliuma> | does anyone know how to implement a zipper for n-ary trees? |
| 23:09:31 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection) |
| 23:09:52 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 23:10:57 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 23:14:18 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 23:15:28 | → | ddere joins (uid110888@gateway/web/irccloud.com/x-rqwfdfncjcxqtnku) |
| 23:16:31 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 23:17:00 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-ekuqsqzasggslgwf) (Quit: Connection closed for inactivity) |
| 23:17:43 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:18:02 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:18:42 | → | nineonine joins (~nineonine@2604:3d08:7783:f200:5c3d:ae41:1644:7ac) |
| 23:19:31 | <dibblego> | https://hackage.haskell.org/package/rosezipper-0.2/docs/Data-Tree-Zipper.html |
| 23:23:07 | → | proofofkeags joins (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 23:23:09 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 23:25:57 | <Shuppiluliuma> | ty |
| 23:28:25 | → | delimax joins (max@gateway/vpn/protonvpn/delimax) |
| 23:31:28 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 23:34:23 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 23:39:02 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 23:39:49 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 23:40:32 | × | delimax quits (max@gateway/vpn/protonvpn/delimax) (Quit: leaving) |
| 23:43:35 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 23:43:50 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 23:45:29 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:53:11 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 23:55:01 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:55:20 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-99-167.w86-212.abo.wanadoo.fr) |
| 23:57:48 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 23:58:55 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
All times are in UTC on 2021-05-09.